Trace number 3492600

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 508.485 505.922

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo
MD5SUMcd9d62896ad241b3e0bc0c585d812475
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark139.442
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 constraints930
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 46532
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46531
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 717
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.08	c version 2.3.1.v20110525
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.18-164.el5
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		9996466904
0.05/0.08	c Max memory 		10048897024
0.05/0.08	c Total memory 		10048897024
0.05/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492600-1307910020.wbo
0.10/0.10	c reading problem ... 
0.28/0.30	c ... done. Wall clock time 0.192s.
0.28/0.30	c #vars     1161
0.28/0.30	c #constraints  2707
0.28/0.30	c constraints type 
0.28/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2534
0.28/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
0.28/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 150
0.28/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9
0.50/0.39	c SATISFIABLE
0.50/0.39	c OPTIMIZING...
0.50/0.39	c Got one! Elapsed wall clock time (in seconds):0.284
0.50/0.39	o 435
0.77/0.42	c Got one! Elapsed wall clock time (in seconds):0.319
0.77/0.42	o 433
0.77/0.46	c Got one! Elapsed wall clock time (in seconds):0.352
0.77/0.46	o 378
0.77/0.49	c Got one! Elapsed wall clock time (in seconds):0.389
0.77/0.49	o 370
1.06/0.52	c Got one! Elapsed wall clock time (in seconds):0.412
1.06/0.52	o 307
1.06/0.54	c Got one! Elapsed wall clock time (in seconds):0.436
1.06/0.54	o 225
1.06/0.56	c Got one! Elapsed wall clock time (in seconds):0.452
1.06/0.56	o 159
1.06/0.59	c Got one! Elapsed wall clock time (in seconds):0.483
1.06/0.59	o 149
1.35/0.66	c Got one! Elapsed wall clock time (in seconds):0.561
1.35/0.66	o 136
1.35/0.69	c Got one! Elapsed wall clock time (in seconds):0.584
1.35/0.69	o 130
1.47/0.78	c Got one! Elapsed wall clock time (in seconds):0.68
1.47/0.78	o 125
1.70/0.92	c Got one! Elapsed wall clock time (in seconds):0.812
1.70/0.92	o 119
1.82/1.01	c Got one! Elapsed wall clock time (in seconds):0.908
1.82/1.01	o 106
1.92/1.19	c Got one! Elapsed wall clock time (in seconds):1.086
1.92/1.19	o 94
2.22/1.46	c Got one! Elapsed wall clock time (in seconds):1.359
2.22/1.46	o 93
2.35/1.59	c cleaning 5497 clauses out of 10995 with flag 1000/10995
2.50/1.67	c Got one! Elapsed wall clock time (in seconds):1.568
2.50/1.67	o 90
2.89/2.02	c Got one! Elapsed wall clock time (in seconds):1.916
2.89/2.02	o 82
2.89/2.09	c Got one! Elapsed wall clock time (in seconds):1.991
2.89/2.09	o 53
3.10/2.23	c Got one! Elapsed wall clock time (in seconds):2.131
3.10/2.23	o 51
3.19/2.36	c cleaning 6779 clauses out of 13568 with flag 1001/19065
3.55/2.55	c Got one! Elapsed wall clock time (in seconds):2.445
3.55/2.55	o 50
4.14/2.81	c cleaning 6035 clauses out of 12074 with flag 3001/24350
4.48/3.18	c cleaning 6018 clauses out of 12039 with flag 9001/30350
4.59/3.25	c Got one! Elapsed wall clock time (in seconds):3.146
4.59/3.25	o 34
4.99/3.66	c cleaning 5968 clauses out of 11941 with flag 5002/36270
5.19/3.84	c Got one! Elapsed wall clock time (in seconds):3.736
5.19/3.84	o 27
5.39/4.07	c cleaning 5932 clauses out of 11869 with flag 3002/42166
5.59/4.24	c Got one! Elapsed wall clock time (in seconds):4.14
5.59/4.24	o 21
5.70/4.39	c cleaning 5587 clauses out of 11189 with flag 2001/47418
6.10/4.75	c cleaning 5797 clauses out of 11604 with flag 8003/53420
6.50/5.12	c cleaning 6400 clauses out of 12805 with flag 15001/60418
7.00/5.63	c cleaning 7196 clauses out of 14404 with flag 23000/68417
7.50/6.16	c cleaning 8103 clauses out of 16211 with flag 32003/77420
8.10/6.77	c cleaning 9048 clauses out of 18105 with flag 42000/87417
8.71/7.38	c cleaning 9526 clauses out of 19057 with flag 52000/97417
9.42/8.03	c cleaning 9761 clauses out of 19531 with flag 62000/107417
10.12/8.70	c cleaning 9880 clauses out of 19770 with flag 72000/117417
10.22/8.86	c Got one! Elapsed wall clock time (in seconds):8.756
10.22/8.86	o 20
10.42/9.03	c cleaning 7862 clauses out of 15731 with flag 3002/123258
10.72/9.32	c cleaning 6927 clauses out of 13867 with flag 9000/129256
11.12/9.73	c cleaning 6968 clauses out of 13942 with flag 16002/136258
11.52/10.16	c cleaning 7481 clauses out of 14973 with flag 24001/144257
11.72/10.33	c Got one! Elapsed wall clock time (in seconds):10.226
11.72/10.33	o 18
11.82/10.46	c cleaning 6558 clauses out of 13123 with flag 2001/149888
12.22/10.81	c cleaning 6279 clauses out of 12566 with flag 8002/155889
12.52/11.18	c cleaning 6636 clauses out of 13288 with flag 15003/162890
13.02/11.61	c cleaning 7318 clauses out of 14649 with flag 23000/170887
13.53/12.13	c cleaning 8161 clauses out of 16332 with flag 32001/179888
14.02/12.67	c cleaning 9078 clauses out of 18170 with flag 42000/189887
14.53/13.19	c cleaning 9542 clauses out of 19092 with flag 52000/199887
15.13/13.79	c cleaning 9766 clauses out of 19550 with flag 62000/209887
15.73/14.33	c cleaning 9888 clauses out of 19787 with flag 72003/219890
16.23/14.86	c cleaning 9944 clauses out of 19896 with flag 82000/229887
16.84/15.43	c cleaning 9972 clauses out of 19952 with flag 92000/239887
17.33/15.97	c cleaning 9981 clauses out of 19981 with flag 102001/249888
17.94/16.51	c cleaning 9996 clauses out of 20001 with flag 112002/259889
18.44/17.08	c cleaning 9996 clauses out of 20004 with flag 122001/269888
18.84/17.45	c Got one! Elapsed wall clock time (in seconds):17.343
18.84/17.45	o 17
19.24/17.88	c cleaning 11044 clauses out of 22101 with flag 5001/281981
19.64/18.20	c cleaning 8525 clauses out of 17056 with flag 11000/287980
19.94/18.55	c cleaning 7759 clauses out of 15533 with flag 18002/294982
20.34/18.96	c cleaning 7882 clauses out of 15772 with flag 26000/302980
20.84/19.41	c cleaning 8440 clauses out of 16891 with flag 35001/311981
21.04/19.64	c Got one! Elapsed wall clock time (in seconds):19.539
21.04/19.64	o 13
21.15/19.71	c cleaning 7214 clauses out of 14440 with flag 1000/317970
21.44/20.07	c cleaning 6606 clauses out of 13230 with flag 7004/323974
21.84/20.46	c cleaning 6805 clauses out of 13620 with flag 14000/330970
22.35/20.91	c cleaning 7402 clauses out of 14816 with flag 22001/338971
22.86/21.48	c cleaning 8199 clauses out of 16413 with flag 31000/347970
23.47/22.08	c cleaning 9102 clauses out of 18215 with flag 41001/357971
24.16/22.71	c cleaning 9549 clauses out of 19113 with flag 51001/367971
24.66/23.28	c cleaning 9779 clauses out of 19563 with flag 61000/377970
25.27/23.84	c cleaning 9884 clauses out of 19784 with flag 71000/387970
25.87/24.40	c cleaning 9942 clauses out of 19900 with flag 81000/397970
26.07/24.61	c Got one! Elapsed wall clock time (in seconds):24.504
26.07/24.61	o 7
26.07/24.67	c cleaning 7554 clauses out of 15120 with flag 1002/403132
26.47/25.04	c cleaning 6778 clauses out of 13565 with flag 7001/409131
26.87/25.44	c cleaning 6887 clauses out of 13786 with flag 14000/416130
27.27/25.85	c cleaning 7441 clauses out of 14899 with flag 22000/424130
27.88/26.41	c cleaning 8221 clauses out of 16459 with flag 31001/433131
28.47/27.00	c cleaning 9109 clauses out of 18237 with flag 41000/443130
28.88/27.50	c cleaning 9561 clauses out of 19130 with flag 51002/453132
29.48/28.01	c cleaning 9778 clauses out of 19568 with flag 61001/463131
29.98/28.52	c cleaning 9891 clauses out of 19792 with flag 71003/473133
30.48/29.02	c cleaning 9944 clauses out of 19899 with flag 81001/483131
30.98/29.54	c cleaning 9968 clauses out of 19954 with flag 91000/493130
31.58/30.11	c cleaning 9988 clauses out of 19986 with flag 101000/503130
32.08/30.68	c cleaning 9995 clauses out of 19998 with flag 111000/513130
32.68/31.22	c cleaning 9996 clauses out of 20004 with flag 121001/523131
33.18/31.77	c cleaning 10001 clauses out of 20007 with flag 131000/533130
33.79/32.30	c cleaning 10000 clauses out of 20007 with flag 141001/543131
34.29/32.84	c cleaning 10000 clauses out of 20006 with flag 151000/553130
34.79/33.33	c cleaning 9998 clauses out of 20007 with flag 161001/563131
35.30/33.83	c cleaning 10001 clauses out of 20010 with flag 171002/573132
35.80/34.37	c cleaning 9993 clauses out of 20008 with flag 181001/583131
36.30/34.86	c cleaning 9997 clauses out of 20014 with flag 191000/593130
36.80/35.40	c cleaning 9998 clauses out of 20017 with flag 201000/603130
37.40/35.90	c cleaning 10000 clauses out of 20019 with flag 211000/613130
37.90/36.40	c cleaning 10005 clauses out of 20020 with flag 221001/623131
38.30/36.89	c cleaning 10002 clauses out of 20015 with flag 231001/633131
38.91/37.43	c cleaning 10002 clauses out of 20013 with flag 241001/643131
39.41/37.95	c cleaning 10004 clauses out of 20011 with flag 251001/653131
39.91/38.46	c cleaning 9994 clauses out of 20006 with flag 261000/663130
40.41/38.98	c cleaning 10002 clauses out of 20013 with flag 271001/673131
40.91/39.50	c cleaning 10000 clauses out of 20011 with flag 281001/683131
41.51/40.03	c cleaning 9999 clauses out of 20010 with flag 291000/693130
42.01/40.53	c cleaning 10001 clauses out of 20014 with flag 301003/703133
42.51/41.08	c cleaning 10002 clauses out of 20010 with flag 311000/713130
43.02/41.59	c cleaning 9999 clauses out of 20009 with flag 321001/723131
43.62/42.10	c cleaning 9995 clauses out of 20009 with flag 331000/733130
44.12/42.63	c cleaning 10005 clauses out of 20015 with flag 341001/743131
44.62/43.13	c cleaning 10001 clauses out of 20011 with flag 351002/753132
45.12/43.65	c cleaning 10001 clauses out of 20011 with flag 361003/763133
45.62/44.16	c cleaning 9999 clauses out of 20007 with flag 371000/773130
46.22/44.70	c cleaning 9999 clauses out of 20008 with flag 381000/783130
46.72/45.26	c cleaning 10002 clauses out of 20013 with flag 391004/793134
47.32/45.80	c cleaning 9997 clauses out of 20007 with flag 401000/803130
47.82/46.34	c cleaning 10000 clauses out of 20011 with flag 411001/813131
48.42/46.90	c cleaning 10000 clauses out of 20010 with flag 421000/823130
48.92/47.43	c cleaning 9999 clauses out of 20011 with flag 431001/833131
49.42/47.93	c cleaning 9999 clauses out of 20012 with flag 441001/843131
49.93/48.43	c cleaning 10002 clauses out of 20012 with flag 451000/853130
50.42/48.95	c cleaning 9997 clauses out of 20010 with flag 461000/863130
50.93/49.45	c cleaning 10004 clauses out of 20015 with flag 471002/873132
51.42/49.95	c cleaning 9998 clauses out of 20009 with flag 481000/883130
51.93/50.48	c cleaning 10001 clauses out of 20013 with flag 491002/893132
52.53/51.03	c cleaning 10001 clauses out of 20011 with flag 501001/903131
53.03/51.56	c cleaning 9991 clauses out of 20009 with flag 511000/913130
53.64/52.10	c cleaning 10003 clauses out of 20018 with flag 521000/923130
54.14/52.67	c cleaning 10006 clauses out of 20016 with flag 531001/933131
54.74/53.23	c cleaning 9996 clauses out of 20012 with flag 541003/943133
55.34/53.80	c cleaning 10002 clauses out of 20013 with flag 551000/953130
55.74/54.29	c cleaning 10001 clauses out of 20011 with flag 561000/963130
56.34/54.83	c cleaning 9999 clauses out of 20010 with flag 571000/973130
56.84/55.35	c cleaning 9997 clauses out of 20011 with flag 581000/983130
57.34/55.86	c cleaning 10003 clauses out of 20016 with flag 591002/993132
57.84/56.37	c cleaning 9995 clauses out of 20012 with flag 601001/1003131
58.35/56.88	c cleaning 10004 clauses out of 20018 with flag 611002/1013132
58.85/57.39	c cleaning 9995 clauses out of 20013 with flag 621001/1023131
59.45/57.93	c cleaning 10002 clauses out of 20017 with flag 631000/1033130
59.95/58.47	c cleaning 10001 clauses out of 20016 with flag 641001/1043131
60.45/58.96	c cleaning 10000 clauses out of 20014 with flag 651000/1053130
60.95/59.49	c cleaning 10000 clauses out of 20014 with flag 661000/1063130
61.55/60.00	c cleaning 10005 clauses out of 20016 with flag 671002/1073132
61.95/60.49	c cleaning 9998 clauses out of 20009 with flag 681000/1083130
62.55/61.01	c cleaning 10000 clauses out of 20011 with flag 691000/1093130
63.06/61.53	c cleaning 10001 clauses out of 20011 with flag 701000/1103130
63.55/62.02	c cleaning 10003 clauses out of 20013 with flag 711003/1113133
64.06/62.50	c cleaning 10001 clauses out of 20010 with flag 721003/1123133
64.46/62.98	c cleaning 9995 clauses out of 20007 with flag 731001/1133131
64.96/63.49	c cleaning 10001 clauses out of 20012 with flag 741001/1143131
65.56/64.00	c cleaning 9997 clauses out of 20012 with flag 751002/1153132
66.06/64.51	c cleaning 10003 clauses out of 20014 with flag 761001/1163131
66.56/65.01	c cleaning 9998 clauses out of 20010 with flag 771000/1173130
67.06/65.54	c cleaning 9997 clauses out of 20012 with flag 781000/1183130
67.57/66.08	c cleaning 10000 clauses out of 20016 with flag 791001/1193131
68.16/66.62	c cleaning 10003 clauses out of 20015 with flag 801000/1203130
68.67/67.16	c cleaning 10004 clauses out of 20015 with flag 811003/1213133
69.17/67.69	c cleaning 10000 clauses out of 20009 with flag 821001/1223131
69.77/68.23	c cleaning 9998 clauses out of 20009 with flag 831001/1233131
70.37/68.80	c cleaning 10002 clauses out of 20011 with flag 841001/1243131
70.88/69.31	c cleaning 9998 clauses out of 20009 with flag 851001/1253131
71.27/69.80	c cleaning 9998 clauses out of 20011 with flag 861001/1263131
71.77/70.29	c cleaning 9999 clauses out of 20014 with flag 871002/1273132
72.27/70.79	c cleaning 10003 clauses out of 20014 with flag 881001/1283131
72.87/71.32	c cleaning 10000 clauses out of 20014 with flag 891004/1293134
73.37/71.85	c cleaning 10001 clauses out of 20010 with flag 901000/1303130
73.98/72.40	c cleaning 9999 clauses out of 20009 with flag 911000/1313130
74.48/72.92	c cleaning 9996 clauses out of 20010 with flag 921000/1323130
74.98/73.44	c cleaning 10000 clauses out of 20014 with flag 931000/1333130
75.48/73.96	c cleaning 9995 clauses out of 20014 with flag 941000/1343130
76.08/74.51	c cleaning 10004 clauses out of 20020 with flag 951001/1353131
76.58/75.05	c cleaning 10000 clauses out of 20015 with flag 961000/1363130
77.18/75.60	c cleaning 10002 clauses out of 20017 with flag 971002/1373132
77.68/76.16	c cleaning 10004 clauses out of 20015 with flag 981002/1383132
78.18/76.69	c cleaning 9991 clauses out of 20010 with flag 991001/1393131
78.78/77.22	c cleaning 10005 clauses out of 20018 with flag 1001000/1403130
79.28/77.79	c cleaning 10000 clauses out of 20013 with flag 1011000/1413130
79.78/78.29	c cleaning 10003 clauses out of 20014 with flag 1021001/1423131
80.38/78.84	c cleaning 9999 clauses out of 20012 with flag 1031002/1433132
80.98/79.42	c cleaning 9996 clauses out of 20011 with flag 1041000/1443130
81.49/79.91	c cleaning 10005 clauses out of 20015 with flag 1051000/1453130
81.90/80.37	c cleaning 10001 clauses out of 20014 with flag 1061004/1463134
82.40/80.86	c cleaning 10002 clauses out of 20010 with flag 1071001/1473131
83.01/81.41	c cleaning 10001 clauses out of 20009 with flag 1081002/1483132
83.50/81.91	c cleaning 9996 clauses out of 20006 with flag 1091000/1493130
84.01/82.49	c cleaning 9990 clauses out of 20010 with flag 1101000/1503130
84.60/83.05	c cleaning 10003 clauses out of 20021 with flag 1111001/1513131
85.11/83.59	c cleaning 9998 clauses out of 20017 with flag 1121000/1523130
85.70/84.18	c cleaning 10006 clauses out of 20021 with flag 1131002/1533132
86.21/84.70	c cleaning 10002 clauses out of 20016 with flag 1141003/1543133
86.81/85.21	c cleaning 10002 clauses out of 20014 with flag 1151003/1553133
87.31/85.74	c cleaning 9992 clauses out of 20009 with flag 1161000/1563130
87.81/86.27	c cleaning 10004 clauses out of 20018 with flag 1171001/1573131
88.41/86.82	c cleaning 9999 clauses out of 20013 with flag 1181000/1583130
88.91/87.34	c cleaning 9999 clauses out of 20016 with flag 1191002/1593132
89.41/87.88	c cleaning 9996 clauses out of 20015 with flag 1201000/1603130
90.01/88.41	c cleaning 10000 clauses out of 20019 with flag 1211000/1613130
90.51/88.95	c cleaning 10002 clauses out of 20020 with flag 1221001/1623131
91.01/89.47	c cleaning 10002 clauses out of 20017 with flag 1231000/1633130
91.51/89.97	c cleaning 10000 clauses out of 20016 with flag 1241001/1643131
92.11/90.51	c cleaning 9998 clauses out of 20015 with flag 1251000/1653130
92.61/91.06	c cleaning 10004 clauses out of 20017 with flag 1261000/1663130
93.11/91.59	c cleaning 10003 clauses out of 20015 with flag 1271002/1673132
93.71/92.14	c cleaning 9999 clauses out of 20010 with flag 1281000/1683130
94.21/92.68	c cleaning 10001 clauses out of 20011 with flag 1291000/1693130
94.71/93.18	c cleaning 10000 clauses out of 20010 with flag 1301000/1703130
95.31/93.73	c cleaning 10000 clauses out of 20010 with flag 1311000/1713130
95.82/94.28	c cleaning 10004 clauses out of 20013 with flag 1321003/1723133
96.32/94.78	c cleaning 9999 clauses out of 20009 with flag 1331003/1733133
96.82/95.29	c cleaning 9993 clauses out of 20008 with flag 1341001/1743131
97.42/95.81	c cleaning 10002 clauses out of 20014 with flag 1351000/1753130
97.92/96.34	c cleaning 9997 clauses out of 20012 with flag 1361000/1763130
98.43/96.87	c cleaning 9998 clauses out of 20015 with flag 1371000/1773130
99.02/97.43	c cleaning 9994 clauses out of 20017 with flag 1381000/1783130
99.62/98.00	c cleaning 10004 clauses out of 20025 with flag 1391002/1793132
100.12/98.54	c cleaning 10001 clauses out of 20019 with flag 1401000/1803130
100.63/99.07	c cleaning 9998 clauses out of 20018 with flag 1411000/1813130
101.23/99.64	c cleaning 10006 clauses out of 20021 with flag 1421001/1823131
101.83/100.25	c cleaning 9998 clauses out of 20014 with flag 1431000/1833130
102.43/100.80	c cleaning 10004 clauses out of 20017 with flag 1441001/1843131
102.93/101.36	c cleaning 10005 clauses out of 20013 with flag 1451001/1853131
103.53/101.91	c cleaning 10001 clauses out of 20009 with flag 1461002/1863132
104.04/102.43	c cleaning 9997 clauses out of 20006 with flag 1471000/1873130
104.54/102.98	c cleaning 9999 clauses out of 20009 with flag 1481000/1883130
105.14/103.57	c cleaning 9997 clauses out of 20011 with flag 1491001/1893131
105.84/104.20	c cleaning 9987 clauses out of 20014 with flag 1501001/1903131
106.44/104.84	c cleaning 10007 clauses out of 20026 with flag 1511000/1913130
106.94/105.39	c cleaning 10006 clauses out of 20019 with flag 1521000/1923130
107.54/105.93	c cleaning 10000 clauses out of 20013 with flag 1531000/1933130
108.04/106.49	c cleaning 10000 clauses out of 20013 with flag 1541000/1943130
108.64/107.02	c cleaning 10003 clauses out of 20015 with flag 1551002/1953132
109.15/107.57	c cleaning 10001 clauses out of 20012 with flag 1561002/1963132
109.75/108.15	c cleaning 10001 clauses out of 20011 with flag 1571002/1973132
110.35/108.74	c cleaning 9998 clauses out of 20008 with flag 1581000/1983130
110.95/109.30	c cleaning 10000 clauses out of 20014 with flag 1591004/1993134
111.45/109.86	c cleaning 10002 clauses out of 20013 with flag 1601003/2003133
111.95/110.39	c cleaning 9997 clauses out of 20008 with flag 1611000/2013130
112.55/110.93	c cleaning 9992 clauses out of 20012 with flag 1621001/2023131
113.05/111.46	c cleaning 10005 clauses out of 20019 with flag 1631000/2033130
113.65/112.00	c cleaning 9995 clauses out of 20014 with flag 1641000/2043130
114.15/112.53	c cleaning 10005 clauses out of 20019 with flag 1651000/2053130
114.65/113.07	c cleaning 10000 clauses out of 20014 with flag 1661000/2063130
115.25/113.63	c cleaning 10000 clauses out of 20016 with flag 1671002/2073132
115.75/114.17	c cleaning 10001 clauses out of 20017 with flag 1681003/2083133
116.25/114.68	c cleaning 10000 clauses out of 20013 with flag 1691000/2093130
116.75/115.19	c cleaning 10000 clauses out of 20013 with flag 1701000/2103130
117.25/115.66	c cleaning 10005 clauses out of 20013 with flag 1711000/2113130
117.75/116.15	c cleaning 10002 clauses out of 20010 with flag 1721002/2123132
118.26/116.67	c cleaning 9998 clauses out of 20006 with flag 1731000/2133130
118.75/117.20	c cleaning 9999 clauses out of 20009 with flag 1741001/2143131
119.26/117.70	c cleaning 9998 clauses out of 20009 with flag 1751000/2153130
119.86/118.20	c cleaning 10000 clauses out of 20012 with flag 1761001/2163131
120.36/118.74	c cleaning 10003 clauses out of 20015 with flag 1771004/2173134
120.86/119.27	c cleaning 9997 clauses out of 20008 with flag 1781000/2183130
121.46/119.81	c cleaning 10004 clauses out of 20014 with flag 1791003/2193133
121.96/120.32	c cleaning 9999 clauses out of 20007 with flag 1801000/2203130
122.46/120.84	c cleaning 10001 clauses out of 20009 with flag 1811001/2213131
122.96/121.35	c cleaning 10000 clauses out of 20008 with flag 1821001/2223131
123.46/121.89	c cleaning 9999 clauses out of 20007 with flag 1831000/2233130
124.06/122.41	c cleaning 9999 clauses out of 20009 with flag 1841001/2243131
124.57/122.98	c cleaning 10000 clauses out of 20011 with flag 1851002/2253132
125.17/123.53	c cleaning 9999 clauses out of 20011 with flag 1861002/2263132
125.67/124.07	c cleaning 10001 clauses out of 20013 with flag 1871003/2273133
126.27/124.61	c cleaning 9999 clauses out of 20009 with flag 1881000/2283130
126.77/125.15	c cleaning 9997 clauses out of 20010 with flag 1891000/2293130
127.28/125.68	c cleaning 10001 clauses out of 20013 with flag 1901000/2303130
127.88/126.23	c cleaning 9999 clauses out of 20012 with flag 1911000/2313130
128.38/126.79	c cleaning 10003 clauses out of 20015 with flag 1921002/2323132
128.98/127.35	c cleaning 10002 clauses out of 20012 with flag 1931002/2333132
129.48/127.88	c cleaning 9999 clauses out of 20008 with flag 1941000/2343130
130.08/128.41	c cleaning 9998 clauses out of 20010 with flag 1951001/2353131
130.58/128.93	c cleaning 10002 clauses out of 20012 with flag 1961001/2363131
131.08/129.45	c cleaning 9996 clauses out of 20011 with flag 1971002/2373132
131.58/129.97	c cleaning 9998 clauses out of 20014 with flag 1981001/2383131
132.18/130.52	c cleaning 9998 clauses out of 20015 with flag 1991000/2393130
132.68/131.05	c cleaning 10002 clauses out of 20018 with flag 2001001/2403131
133.18/131.56	c cleaning 10002 clauses out of 20015 with flag 2011000/2413130
133.78/132.11	c cleaning 10000 clauses out of 20013 with flag 2021000/2423130
134.28/132.64	c cleaning 9996 clauses out of 20014 with flag 2031001/2433131
134.79/133.17	c cleaning 9994 clauses out of 20017 with flag 2041000/2443130
135.29/133.69	c cleaning 10006 clauses out of 20023 with flag 2051000/2453130
135.89/134.20	c cleaning 10002 clauses out of 20018 with flag 2061001/2463131
136.39/134.73	c cleaning 10003 clauses out of 20016 with flag 2071001/2473131
136.89/135.26	c cleaning 10002 clauses out of 20013 with flag 2081001/2483131
137.39/135.78	c cleaning 10000 clauses out of 20010 with flag 2091000/2493130
137.89/136.30	c cleaning 10001 clauses out of 20010 with flag 2101000/2503130
138.49/136.83	c cleaning 10000 clauses out of 20010 with flag 2111001/2513131
138.99/137.37	c cleaning 9997 clauses out of 20009 with flag 2121000/2523130
139.59/137.91	c cleaning 10004 clauses out of 20015 with flag 2131003/2533133
140.09/138.42	c cleaning 10000 clauses out of 20009 with flag 2141001/2543131
140.59/138.94	c cleaning 10003 clauses out of 20012 with flag 2151004/2553134
141.09/139.47	c cleaning 9999 clauses out of 20007 with flag 2161002/2563132
141.69/140.02	c cleaning 9993 clauses out of 20007 with flag 2171001/2573131
142.20/140.57	c cleaning 10000 clauses out of 20015 with flag 2181002/2583132
142.79/141.10	c cleaning 10002 clauses out of 20013 with flag 2191000/2593130
143.30/141.64	c cleaning 9999 clauses out of 20013 with flag 2201002/2603132
143.80/142.18	c cleaning 10003 clauses out of 20013 with flag 2211001/2613131
144.40/142.71	c cleaning 9998 clauses out of 20011 with flag 2221002/2623132
144.90/143.26	c cleaning 9999 clauses out of 20011 with flag 2231000/2633130
145.50/143.81	c cleaning 9996 clauses out of 20012 with flag 2241000/2643130
146.00/144.34	c cleaning 10002 clauses out of 20018 with flag 2251002/2653132
146.50/144.86	c cleaning 10002 clauses out of 20014 with flag 2261000/2663130
147.11/145.43	c cleaning 10001 clauses out of 20012 with flag 2271000/2673130
147.61/145.98	c cleaning 10002 clauses out of 20012 with flag 2281001/2683131
148.21/146.50	c cleaning 10002 clauses out of 20011 with flag 2291002/2693132
148.71/147.02	c cleaning 10000 clauses out of 20008 with flag 2301001/2703131
149.22/147.56	c cleaning 9996 clauses out of 20007 with flag 2311000/2713130
149.82/148.13	c cleaning 10002 clauses out of 20011 with flag 2321000/2723130
150.32/148.68	c cleaning 10002 clauses out of 20009 with flag 2331000/2733130
150.92/149.24	c cleaning 10002 clauses out of 20009 with flag 2341002/2743132
151.52/149.80	c cleaning 9997 clauses out of 20005 with flag 2351000/2753130
152.02/150.33	c cleaning 10000 clauses out of 20009 with flag 2361001/2763131
152.52/150.86	c cleaning 10001 clauses out of 20009 with flag 2371001/2773131
153.02/151.38	c cleaning 9997 clauses out of 20009 with flag 2381002/2783132
153.63/151.93	c cleaning 9995 clauses out of 20010 with flag 2391000/2793130
154.13/152.44	c cleaning 10004 clauses out of 20018 with flag 2401003/2803133
154.63/152.94	c cleaning 9994 clauses out of 20011 with flag 2411000/2813130
155.13/153.49	c cleaning 9999 clauses out of 20017 with flag 2421000/2823130
155.64/153.99	c cleaning 9999 clauses out of 20018 with flag 2431000/2833130
156.13/154.49	c cleaning 10007 clauses out of 20021 with flag 2441002/2843132
156.63/155.00	c cleaning 10000 clauses out of 20012 with flag 2451000/2853130
157.23/155.52	c cleaning 10003 clauses out of 20013 with flag 2461001/2863131
157.74/156.04	c cleaning 10000 clauses out of 20009 with flag 2471000/2873130
158.24/156.57	c cleaning 9999 clauses out of 20009 with flag 2481000/2883130
158.74/157.07	c cleaning 9995 clauses out of 20010 with flag 2491000/2893130
159.24/157.59	c cleaning 10003 clauses out of 20018 with flag 2501003/2903133
159.84/158.16	c cleaning 9996 clauses out of 20012 with flag 2511000/2913130
160.44/158.71	c cleaning 10004 clauses out of 20017 with flag 2521001/2923131
160.94/159.21	c cleaning 10002 clauses out of 20013 with flag 2531001/2933131
161.44/159.73	c cleaning 10000 clauses out of 20016 with flag 2541006/2943136
161.94/160.23	c cleaning 9998 clauses out of 20010 with flag 2551000/2953130
162.54/160.81	c cleaning 10001 clauses out of 20012 with flag 2561000/2963130
163.04/161.33	c cleaning 10000 clauses out of 20011 with flag 2571000/2973130
163.54/161.81	c cleaning 9996 clauses out of 20011 with flag 2581000/2983130
164.04/162.32	c cleaning 10003 clauses out of 20015 with flag 2591000/2993130
164.54/162.86	c cleaning 9995 clauses out of 20013 with flag 2601001/3003131
165.14/163.42	c cleaning 10005 clauses out of 20017 with flag 2611000/3013130
165.65/163.97	c cleaning 10002 clauses out of 20014 with flag 2621002/3023132
166.24/164.51	c cleaning 10002 clauses out of 20011 with flag 2631001/3033131
166.75/165.01	c cleaning 9998 clauses out of 20010 with flag 2641002/3043132
167.24/165.53	c cleaning 9995 clauses out of 20010 with flag 2651000/3053130
167.75/166.07	c cleaning 10001 clauses out of 20015 with flag 2661000/3063130
168.35/166.64	c cleaning 10000 clauses out of 20014 with flag 2671000/3073130
168.85/167.16	c cleaning 10004 clauses out of 20016 with flag 2681002/3083132
169.45/167.75	c cleaning 9997 clauses out of 20010 with flag 2691000/3093130
170.07/168.37	c cleaning 10000 clauses out of 20014 with flag 2701001/3103131
170.66/168.93	c cleaning 10000 clauses out of 20013 with flag 2711000/3113130
171.17/169.49	c cleaning 9998 clauses out of 20013 with flag 2721000/3123130
171.77/170.03	c cleaning 10006 clauses out of 20018 with flag 2731003/3133133
172.27/170.54	c cleaning 10003 clauses out of 20011 with flag 2741002/3143132
172.77/171.06	c cleaning 9997 clauses out of 20008 with flag 2751002/3153132
173.27/171.56	c cleaning 10002 clauses out of 20010 with flag 2761001/3163131
173.77/172.04	c cleaning 9999 clauses out of 20007 with flag 2771000/3173130
174.27/172.59	c cleaning 10000 clauses out of 20008 with flag 2781000/3183130
174.87/173.12	c cleaning 10000 clauses out of 20009 with flag 2791001/3193131
175.37/173.64	c cleaning 9997 clauses out of 20008 with flag 2801000/3203130
175.87/174.19	c cleaning 10004 clauses out of 20013 with flag 2811002/3213132
176.47/174.75	c cleaning 9995 clauses out of 20007 with flag 2821000/3223130
176.98/175.29	c cleaning 9996 clauses out of 20014 with flag 2831002/3233132
177.58/175.82	c cleaning 10001 clauses out of 20017 with flag 2841001/3243131
178.08/176.37	c cleaning 10000 clauses out of 20015 with flag 2851000/3253130
178.68/176.92	c cleaning 9995 clauses out of 20015 with flag 2861000/3263130
179.18/177.48	c cleaning 10003 clauses out of 20020 with flag 2871000/3273130
179.78/178.02	c cleaning 9999 clauses out of 20019 with flag 2881002/3283132
180.28/178.58	c cleaning 10004 clauses out of 20018 with flag 2891000/3293130
180.88/179.12	c cleaning 9999 clauses out of 20014 with flag 2901000/3303130
181.38/179.66	c cleaning 10001 clauses out of 20015 with flag 2911000/3313130
181.98/180.26	c cleaning 10002 clauses out of 20015 with flag 2921001/3323131
182.59/180.89	c cleaning 10000 clauses out of 20013 with flag 2931001/3333131
183.20/181.41	c cleaning 10003 clauses out of 20014 with flag 2941002/3343132
183.69/181.91	c cleaning 10000 clauses out of 20009 with flag 2951000/3353130
184.19/182.46	c cleaning 9998 clauses out of 20009 with flag 2961000/3363130
184.69/182.98	c cleaning 9998 clauses out of 20011 with flag 2971000/3373130
185.29/183.51	c cleaning 9999 clauses out of 20013 with flag 2981000/3383130
185.79/184.05	c cleaning 10002 clauses out of 20015 with flag 2991001/3393131
186.39/184.66	c cleaning 10004 clauses out of 20013 with flag 3001001/3403131
186.99/185.24	c cleaning 9996 clauses out of 20011 with flag 3011003/3413133
187.60/185.81	c cleaning 9997 clauses out of 20013 with flag 3021001/3423131
188.09/186.33	c cleaning 10002 clauses out of 20015 with flag 3031000/3433130
188.60/186.89	c cleaning 9997 clauses out of 20013 with flag 3041000/3443130
189.20/187.42	c cleaning 10000 clauses out of 20016 with flag 3051000/3453130
189.70/187.98	c cleaning 10002 clauses out of 20018 with flag 3061002/3463132
190.30/188.53	c cleaning 10000 clauses out of 20014 with flag 3071000/3473130
190.80/189.08	c cleaning 10001 clauses out of 20014 with flag 3081000/3483130
191.40/189.62	c cleaning 10000 clauses out of 20016 with flag 3091003/3493133
191.90/190.20	c cleaning 10004 clauses out of 20013 with flag 3101000/3503130
192.51/190.76	c cleaning 10001 clauses out of 20011 with flag 3111002/3513132
193.11/191.31	c cleaning 9994 clauses out of 20011 with flag 3121003/3523133
193.61/191.86	c cleaning 10002 clauses out of 20014 with flag 3131000/3533130
194.21/192.42	c cleaning 9998 clauses out of 20012 with flag 3141000/3543130
194.71/192.95	c cleaning 10002 clauses out of 20015 with flag 3151001/3553131
195.21/193.49	c cleaning 10003 clauses out of 20013 with flag 3161001/3563131
195.81/194.03	c cleaning 9998 clauses out of 20010 with flag 3171001/3573131
196.31/194.58	c cleaning 9999 clauses out of 20012 with flag 3181001/3583131
196.91/195.17	c cleaning 9999 clauses out of 20012 with flag 3191000/3593130
197.51/195.71	c cleaning 10000 clauses out of 20014 with flag 3201001/3603131
198.01/196.25	c cleaning 10003 clauses out of 20017 with flag 3211004/3613134
198.61/196.82	c cleaning 9998 clauses out of 20012 with flag 3221002/3623132
199.11/197.35	c cleaning 10003 clauses out of 20015 with flag 3231003/3633133
199.61/197.90	c cleaning 10001 clauses out of 20009 with flag 3241000/3643130
200.22/198.48	c cleaning 10001 clauses out of 20011 with flag 3251003/3653133
200.83/199.05	c cleaning 9999 clauses out of 20008 with flag 3261001/3663131
201.42/199.63	c cleaning 9997 clauses out of 20008 with flag 3271000/3673130
202.03/200.21	c cleaning 10000 clauses out of 20012 with flag 3281001/3683131
202.53/200.76	c cleaning 9998 clauses out of 20011 with flag 3291000/3693130
203.14/201.32	c cleaning 9999 clauses out of 20014 with flag 3301001/3703131
203.63/201.86	c cleaning 10000 clauses out of 20014 with flag 3311000/3713130
204.14/202.38	c cleaning 10003 clauses out of 20017 with flag 3321003/3723133
204.73/202.92	c cleaning 9999 clauses out of 20012 with flag 3331001/3733131
205.24/203.45	c cleaning 9990 clauses out of 20012 with flag 3341000/3743130
205.75/203.97	c cleaning 10006 clauses out of 20025 with flag 3351003/3753133
206.25/204.47	c cleaning 10003 clauses out of 20018 with flag 3361002/3763132
206.85/205.01	c cleaning 10002 clauses out of 20013 with flag 3371000/3773130
207.35/205.52	c cleaning 10002 clauses out of 20011 with flag 3381000/3783130
207.85/206.05	c cleaning 9999 clauses out of 20010 with flag 3391001/3793131
208.35/206.58	c cleaning 10003 clauses out of 20011 with flag 3401001/3803131
208.95/207.11	c cleaning 9999 clauses out of 20010 with flag 3411003/3813133
209.45/207.66	c cleaning 9999 clauses out of 20008 with flag 3421000/3823130
210.05/208.22	c cleaning 10002 clauses out of 20009 with flag 3431000/3833130
210.55/208.73	c cleaning 9999 clauses out of 20007 with flag 3441000/3843130
211.05/209.27	c cleaning 9999 clauses out of 20008 with flag 3451000/3853130
211.65/209.81	c cleaning 9999 clauses out of 20010 with flag 3461001/3863131
212.15/210.36	c cleaning 10002 clauses out of 20013 with flag 3471003/3873133
212.65/210.89	c cleaning 10000 clauses out of 20008 with flag 3481000/3883130
213.35/211.50	c cleaning 9985 clauses out of 20012 with flag 3491004/3893134
213.86/212.08	c cleaning 10007 clauses out of 20023 with flag 3501000/3903130
214.46/212.62	c cleaning 10003 clauses out of 20016 with flag 3511000/3913130
215.06/213.21	c cleaning 9999 clauses out of 20013 with flag 3521000/3923130
215.56/213.75	c cleaning 9996 clauses out of 20014 with flag 3531000/3933130
216.06/214.28	c cleaning 10005 clauses out of 20018 with flag 3541000/3943130
216.66/214.83	c cleaning 10001 clauses out of 20013 with flag 3551000/3953130
217.16/215.36	c cleaning 9996 clauses out of 20012 with flag 3561000/3963130
217.76/215.91	c cleaning 10000 clauses out of 20016 with flag 3571000/3973130
218.26/216.47	c cleaning 10002 clauses out of 20017 with flag 3581001/3983131
218.86/217.04	c cleaning 10003 clauses out of 20014 with flag 3591000/3993130
219.36/217.57	c cleaning 10002 clauses out of 20014 with flag 3601003/4003133
219.96/218.11	c cleaning 9999 clauses out of 20010 with flag 3611001/4013131
220.46/218.65	c cleaning 9999 clauses out of 20012 with flag 3621002/4023132
220.97/219.20	c cleaning 10000 clauses out of 20011 with flag 3631000/4033130
221.58/219.76	c cleaning 9995 clauses out of 20011 with flag 3641000/4043130
222.18/220.31	c cleaning 9999 clauses out of 20016 with flag 3651000/4053130
222.68/220.87	c cleaning 9997 clauses out of 20017 with flag 3661000/4063130
223.28/221.43	c cleaning 10004 clauses out of 20021 with flag 3671001/4073131
223.88/222.02	c cleaning 10003 clauses out of 20018 with flag 3681002/4083132
224.38/222.58	c cleaning 10002 clauses out of 20013 with flag 3691000/4093130
224.98/223.16	c cleaning 9999 clauses out of 20014 with flag 3701003/4103133
225.58/223.72	c cleaning 10000 clauses out of 20014 with flag 3711002/4113132
226.08/224.25	c cleaning 10002 clauses out of 20015 with flag 3721003/4123133
226.58/224.76	c cleaning 9995 clauses out of 20011 with flag 3731001/4133131
227.08/225.28	c cleaning 10005 clauses out of 20018 with flag 3741003/4143133
227.68/225.82	c cleaning 9994 clauses out of 20010 with flag 3751000/4153130
228.18/226.35	c cleaning 10004 clauses out of 20017 with flag 3761001/4163131
228.68/226.89	c cleaning 10003 clauses out of 20013 with flag 3771001/4173131
229.28/227.45	c cleaning 9995 clauses out of 20009 with flag 3781000/4183130
229.79/227.99	c cleaning 9995 clauses out of 20017 with flag 3791003/4193133
230.39/228.52	c cleaning 10003 clauses out of 20021 with flag 3801002/4203132
230.89/229.02	c cleaning 10000 clauses out of 20017 with flag 3811001/4213131
231.39/229.54	c cleaning 10001 clauses out of 20017 with flag 3821001/4223131
231.89/230.07	c cleaning 10006 clauses out of 20019 with flag 3831004/4233134
232.49/230.64	c cleaning 9999 clauses out of 20009 with flag 3841000/4243130
232.99/231.16	c cleaning 10001 clauses out of 20012 with flag 3851002/4253132
233.49/231.67	c cleaning 9999 clauses out of 20011 with flag 3861002/4263132
234.09/232.20	c cleaning 9997 clauses out of 20010 with flag 3871000/4273130
234.69/232.84	c cleaning 9999 clauses out of 20014 with flag 3881001/4283131
235.29/233.41	c cleaning 10002 clauses out of 20015 with flag 3891001/4293131
235.79/233.92	c cleaning 9999 clauses out of 20015 with flag 3901003/4303133
236.40/234.52	c cleaning 9991 clauses out of 20013 with flag 3911000/4313130
236.91/235.09	c cleaning 10002 clauses out of 20024 with flag 3921002/4323132
237.51/235.64	c cleaning 10006 clauses out of 20022 with flag 3931002/4333132
238.01/236.17	c cleaning 10004 clauses out of 20018 with flag 3941004/4343134
238.61/236.71	c cleaning 10002 clauses out of 20012 with flag 3951002/4353132
239.11/237.21	c cleaning 10000 clauses out of 20009 with flag 3961001/4363131
239.61/237.71	c cleaning 9999 clauses out of 20008 with flag 3971000/4373130
240.21/238.33	c cleaning 9995 clauses out of 20010 with flag 3981001/4383131
240.71/238.88	c cleaning 10004 clauses out of 20018 with flag 3991004/4393134
241.31/239.40	c cleaning 9999 clauses out of 20010 with flag 4001000/4403130
241.81/239.94	c cleaning 10000 clauses out of 20012 with flag 4011001/4413131
242.31/240.46	c cleaning 9994 clauses out of 20011 with flag 4021000/4423130
242.82/240.99	c cleaning 10006 clauses out of 20017 with flag 4031000/4433130
243.31/241.49	c cleaning 10002 clauses out of 20014 with flag 4041003/4443133
243.92/242.05	c cleaning 9995 clauses out of 20009 with flag 4051000/4453130
244.51/242.63	c cleaning 10001 clauses out of 20015 with flag 4061001/4463131
245.02/243.17	c cleaning 10000 clauses out of 20015 with flag 4071002/4473132
245.61/243.72	c cleaning 10002 clauses out of 20014 with flag 4081001/4483131
246.12/244.28	c cleaning 10001 clauses out of 20012 with flag 4091001/4493131
246.72/244.87	c cleaning 10001 clauses out of 20012 with flag 4101002/4503132
247.32/245.42	c cleaning 9995 clauses out of 20009 with flag 4111000/4513130
247.82/245.98	c cleaning 10002 clauses out of 20016 with flag 4121002/4523132
248.42/246.51	c cleaning 9998 clauses out of 20014 with flag 4131002/4533132
248.92/247.03	c cleaning 10002 clauses out of 20015 with flag 4141001/4543131
249.43/247.59	c cleaning 10001 clauses out of 20013 with flag 4151001/4553131
250.02/248.13	c cleaning 9998 clauses out of 20014 with flag 4161003/4563133
250.53/248.64	c cleaning 9997 clauses out of 20013 with flag 4171000/4573130
251.03/249.18	c cleaning 9998 clauses out of 20016 with flag 4181000/4583130
251.64/249.72	c cleaning 10004 clauses out of 20021 with flag 4191003/4593133
252.13/250.29	c cleaning 9996 clauses out of 20014 with flag 4201000/4603130
252.74/250.84	c cleaning 10002 clauses out of 20018 with flag 4211000/4613130
253.24/251.37	c cleaning 10006 clauses out of 20018 with flag 4221002/4623132
253.74/251.87	c cleaning 9998 clauses out of 20012 with flag 4231002/4633132
254.24/252.40	c cleaning 10002 clauses out of 20014 with flag 4241002/4643132
254.84/252.91	c cleaning 10001 clauses out of 20012 with flag 4251002/4653132
255.34/253.46	c cleaning 10003 clauses out of 20010 with flag 4261001/4663131
255.84/253.98	c cleaning 9995 clauses out of 20006 with flag 4271000/4673130
256.44/254.52	c cleaning 10001 clauses out of 20011 with flag 4281000/4683130
256.94/255.07	c cleaning 9995 clauses out of 20010 with flag 4291000/4693130
257.54/255.60	c cleaning 10000 clauses out of 20015 with flag 4301000/4703130
258.04/256.12	c cleaning 10005 clauses out of 20016 with flag 4311001/4713131
258.54/256.67	c cleaning 10000 clauses out of 20011 with flag 4321001/4723131
259.14/257.22	c cleaning 9998 clauses out of 20011 with flag 4331001/4733131
259.65/257.77	c cleaning 9995 clauses out of 20012 with flag 4341000/4743130
260.24/258.31	c cleaning 10006 clauses out of 20018 with flag 4351001/4753131
260.75/258.84	c cleaning 10000 clauses out of 20012 with flag 4361001/4763131
261.25/259.37	c cleaning 9996 clauses out of 20011 with flag 4371000/4773130
261.75/259.88	c cleaning 10003 clauses out of 20017 with flag 4381002/4783132
262.35/260.44	c cleaning 10004 clauses out of 20015 with flag 4391003/4793133
262.85/260.98	c cleaning 9997 clauses out of 20008 with flag 4401000/4803130
263.45/261.53	c cleaning 10003 clauses out of 20013 with flag 4411002/4813132
263.95/262.08	c cleaning 9997 clauses out of 20010 with flag 4421002/4823132
264.55/262.60	c cleaning 9999 clauses out of 20012 with flag 4431001/4833131
265.05/263.14	c cleaning 9999 clauses out of 20012 with flag 4441000/4843130
265.65/263.72	c cleaning 10002 clauses out of 20013 with flag 4451000/4853130
266.15/264.28	c cleaning 10002 clauses out of 20013 with flag 4461002/4863132
266.75/264.82	c cleaning 9995 clauses out of 20009 with flag 4471000/4873130
267.25/265.36	c cleaning 10001 clauses out of 20014 with flag 4481000/4883130
267.85/265.90	c cleaning 10002 clauses out of 20016 with flag 4491003/4893133
268.36/266.40	c cleaning 10001 clauses out of 20011 with flag 4501000/4903130
268.86/266.92	c cleaning 10000 clauses out of 20010 with flag 4511000/4913130
269.36/267.45	c cleaning 10002 clauses out of 20011 with flag 4521001/4923131
269.86/267.96	c cleaning 10000 clauses out of 20009 with flag 4531001/4933131
270.37/268.46	c cleaning 9999 clauses out of 20009 with flag 4541001/4943131
270.86/268.98	c cleaning 9999 clauses out of 20009 with flag 4551000/4953130
271.47/269.52	c cleaning 9999 clauses out of 20010 with flag 4561000/4963130
272.07/270.17	c cleaning 9995 clauses out of 20011 with flag 4571000/4973130
272.67/270.71	c cleaning 10001 clauses out of 20017 with flag 4581001/4983131
273.17/271.28	c cleaning 10005 clauses out of 20017 with flag 4591002/4993132
273.77/271.82	c cleaning 9996 clauses out of 20010 with flag 4601000/5003130
274.27/272.35	c cleaning 10000 clauses out of 20014 with flag 4611000/5013130
274.78/272.86	c cleaning 10006 clauses out of 20017 with flag 4621003/5023133
275.28/273.36	c cleaning 10000 clauses out of 20009 with flag 4631001/5033131
275.78/273.87	c cleaning 10000 clauses out of 20010 with flag 4641002/5043132
276.28/274.39	c cleaning 9997 clauses out of 20008 with flag 4651000/5053130
276.88/274.91	c cleaning 9999 clauses out of 20012 with flag 4661001/5063131
277.38/275.40	c cleaning 10001 clauses out of 20012 with flag 4671000/5073130
277.88/275.90	c cleaning 9999 clauses out of 20011 with flag 4681000/5083130
278.28/276.38	c cleaning 9999 clauses out of 20013 with flag 4691001/5093131
278.78/276.87	c cleaning 10001 clauses out of 20014 with flag 4701001/5103131
279.28/277.38	c cleaning 10000 clauses out of 20012 with flag 4711000/5113130
279.89/277.90	c cleaning 10003 clauses out of 20013 with flag 4721001/5123131
280.39/278.40	c cleaning 10000 clauses out of 20009 with flag 4731000/5133130
280.89/278.98	c cleaning 9997 clauses out of 20009 with flag 4741000/5143130
281.49/279.52	c cleaning 9995 clauses out of 20014 with flag 4751002/5153132
281.99/280.05	c cleaning 10003 clauses out of 20017 with flag 4761000/5163130
282.50/280.57	c cleaning 10002 clauses out of 20014 with flag 4771000/5173130
282.99/281.06	c cleaning 9993 clauses out of 20012 with flag 4781000/5183130
283.50/281.57	c cleaning 10004 clauses out of 20019 with flag 4791000/5193130
284.09/282.10	c cleaning 10001 clauses out of 20015 with flag 4801000/5203130
284.60/282.63	c cleaning 9999 clauses out of 20014 with flag 4811000/5213130
285.10/283.12	c cleaning 9999 clauses out of 20015 with flag 4821000/5223130
285.60/283.63	c cleaning 10003 clauses out of 20016 with flag 4831000/5233130
286.09/284.16	c cleaning 9995 clauses out of 20013 with flag 4841000/5243130
286.60/284.69	c cleaning 10000 clauses out of 20018 with flag 4851000/5253130
287.20/285.27	c cleaning 10004 clauses out of 20018 with flag 4861000/5263130
287.80/285.89	c cleaning 10003 clauses out of 20015 with flag 4871001/5273131
288.40/286.42	c cleaning 10000 clauses out of 20011 with flag 4881000/5283130
288.90/286.98	c cleaning 10002 clauses out of 20015 with flag 4891004/5293134
289.50/287.53	c cleaning 10002 clauses out of 20009 with flag 4901000/5303130
290.00/288.09	c cleaning 9996 clauses out of 20008 with flag 4911001/5313131
290.61/288.62	c cleaning 9996 clauses out of 20012 with flag 4921001/5323131
291.11/289.14	c cleaning 9978 clauses out of 20015 with flag 4931000/5333130
291.61/289.68	c cleaning 9989 clauses out of 20038 with flag 4941001/5343131
292.21/290.21	c cleaning 9992 clauses out of 20049 with flag 4951001/5353131
292.71/290.73	c cleaning 9982 clauses out of 20056 with flag 4961000/5363130
293.21/291.24	c cleaning 9986 clauses out of 20074 with flag 4971000/5373130
293.81/291.82	c cleaning 10003 clauses out of 20088 with flag 4981000/5383130
294.31/292.36	c cleaning 9996 clauses out of 20085 with flag 4991000/5393130
294.82/292.85	c cleaning 9978 clauses out of 20093 with flag 5001004/5403134
295.32/293.35	c cleaning 9995 clauses out of 20111 with flag 5011000/5413130
295.92/293.94	c cleaning 9991 clauses out of 20117 with flag 5021001/5423131
296.42/294.48	c cleaning 10001 clauses out of 20125 with flag 5031000/5433130
296.93/294.98	c cleaning 9993 clauses out of 20124 with flag 5041000/5443130
297.43/295.49	c cleaning 9985 clauses out of 20132 with flag 5051001/5453131
298.03/296.04	c cleaning 9981 clauses out of 20146 with flag 5061000/5463130
298.53/296.54	c cleaning 9984 clauses out of 20165 with flag 5071000/5473130
299.03/297.03	c cleaning 9991 clauses out of 20182 with flag 5081001/5483131
299.53/297.54	c cleaning 9992 clauses out of 20190 with flag 5091000/5493130
300.14/298.11	c cleaning 10002 clauses out of 20201 with flag 5101003/5503133
300.63/298.66	c cleaning 9973 clauses out of 20198 with flag 5111002/5513132
301.14/299.18	c cleaning 9996 clauses out of 20223 with flag 5121000/5523130
301.73/299.71	c cleaning 9992 clauses out of 20228 with flag 5131001/5533131
302.24/300.21	c cleaning 9976 clauses out of 20235 with flag 5141000/5543130
302.73/300.73	c cleaning 9978 clauses out of 20261 with flag 5151002/5553132
303.23/301.22	c cleaning 9951 clauses out of 20282 with flag 5161001/5563131
303.73/301.76	c cleaning 9970 clauses out of 20330 with flag 5171000/5573130
304.24/302.30	c cleaning 9989 clauses out of 20362 with flag 5181002/5583132
304.84/302.83	c cleaning 9947 clauses out of 20371 with flag 5191000/5593130
305.34/303.36	c cleaning 9971 clauses out of 20427 with flag 5201003/5603133
305.85/303.88	c cleaning 9993 clauses out of 20455 with flag 5211002/5613132
306.45/304.40	c cleaning 9988 clauses out of 20463 with flag 5221003/5623133
306.95/304.92	c cleaning 9999 clauses out of 20472 with flag 5231000/5633130
307.45/305.47	c cleaning 9984 clauses out of 20474 with flag 5241001/5643131
307.95/305.99	c cleaning 9992 clauses out of 20489 with flag 5251000/5653130
308.55/306.52	c cleaning 9984 clauses out of 20498 with flag 5261001/5663131
309.05/307.03	c cleaning 9990 clauses out of 20515 with flag 5271002/5673132
309.55/307.59	c cleaning 10001 clauses out of 20523 with flag 5281000/5683130
310.15/308.18	c cleaning 9999 clauses out of 20523 with flag 5291001/5693131
310.76/308.71	c cleaning 9966 clauses out of 20524 with flag 5301001/5703131
311.26/309.25	c cleaning 10001 clauses out of 20559 with flag 5311002/5713132
311.85/309.81	c cleaning 9991 clauses out of 20556 with flag 5321000/5723130
312.36/310.35	c cleaning 9994 clauses out of 20565 with flag 5331000/5733130
312.86/310.85	c cleaning 9968 clauses out of 20571 with flag 5341000/5743130
313.36/311.34	c cleaning 9996 clauses out of 20605 with flag 5351002/5753132
313.86/311.85	c cleaning 9988 clauses out of 20607 with flag 5361000/5763130
314.36/312.37	c cleaning 9988 clauses out of 20619 with flag 5371000/5773130
314.86/312.89	c cleaning 9987 clauses out of 20634 with flag 5381003/5783133
315.47/313.42	c cleaning 9990 clauses out of 20645 with flag 5391001/5793131
316.06/314.01	c cleaning 9995 clauses out of 20655 with flag 5401001/5803131
316.57/314.56	c cleaning 9994 clauses out of 20660 with flag 5411001/5813131
317.26/315.20	c cleaning 10006 clauses out of 20665 with flag 5421000/5823130
317.77/315.73	c cleaning 9985 clauses out of 20661 with flag 5431002/5833132
318.26/316.25	c cleaning 9989 clauses out of 20675 with flag 5441001/5843131
318.77/316.76	c cleaning 9994 clauses out of 20688 with flag 5451003/5853133
319.27/317.30	c cleaning 9984 clauses out of 20692 with flag 5461001/5863131
319.87/317.82	c cleaning 9990 clauses out of 20707 with flag 5471000/5873130
320.47/318.41	c cleaning 9999 clauses out of 20717 with flag 5481000/5883130
320.97/318.94	c cleaning 9985 clauses out of 20719 with flag 5491001/5893131
321.48/319.44	c cleaning 9988 clauses out of 20735 with flag 5501002/5903132
321.98/319.99	c cleaning 9991 clauses out of 20745 with flag 5511000/5913130
322.58/320.53	c cleaning 9980 clauses out of 20754 with flag 5521000/5923130
323.08/321.07	c cleaning 10009 clauses out of 20779 with flag 5531005/5933135
323.68/321.64	c cleaning 9991 clauses out of 20765 with flag 5541000/5943130
324.29/322.22	c cleaning 9999 clauses out of 20774 with flag 5551000/5953130
324.78/322.76	c cleaning 10000 clauses out of 20775 with flag 5561000/5963130
325.39/323.32	c cleaning 9998 clauses out of 20775 with flag 5571000/5973130
325.88/323.87	c cleaning 10004 clauses out of 20779 with flag 5581002/5983132
326.49/324.41	c cleaning 9996 clauses out of 20775 with flag 5591002/5993132
326.98/324.96	c cleaning 10002 clauses out of 20777 with flag 5601000/6003130
327.59/325.56	c cleaning 9994 clauses out of 20775 with flag 5611000/6013130
328.18/326.10	c cleaning 10008 clauses out of 20783 with flag 5621002/6023132
328.79/326.78	c cleaning 9995 clauses out of 20775 with flag 5631002/6033132
329.38/327.34	c cleaning 9987 clauses out of 20778 with flag 5641000/6043130
329.89/327.87	c cleaning 9977 clauses out of 20792 with flag 5651001/6053131
330.49/328.44	c cleaning 9985 clauses out of 20816 with flag 5661002/6063132
330.99/328.99	c cleaning 9995 clauses out of 20830 with flag 5671001/6073131
331.59/329.55	c cleaning 9992 clauses out of 20836 with flag 5681002/6083132
332.10/330.10	c cleaning 9995 clauses out of 20844 with flag 5691002/6093132
332.69/330.64	c cleaning 9988 clauses out of 20848 with flag 5701001/6103131
333.20/331.16	c cleaning 9988 clauses out of 20859 with flag 5711000/6113130
333.80/331.70	c cleaning 9988 clauses out of 20873 with flag 5721002/6123132
334.30/332.25	c cleaning 9981 clauses out of 20885 with flag 5731002/6133132
334.80/332.77	c cleaning 9966 clauses out of 20902 with flag 5741000/6143130
335.30/333.29	c cleaning 9990 clauses out of 20937 with flag 5751001/6153131
335.90/333.86	c cleaning 9983 clauses out of 20948 with flag 5761002/6163132
336.50/334.41	c cleaning 9989 clauses out of 20964 with flag 5771001/6173131
337.10/335.00	c cleaning 10002 clauses out of 20975 with flag 5781001/6183131
337.60/335.57	c cleaning 9996 clauses out of 20974 with flag 5791002/6193132
338.20/336.14	c cleaning 9991 clauses out of 20976 with flag 5801000/6203130
338.80/336.78	c cleaning 10004 clauses out of 20985 with flag 5811000/6213130
339.40/337.35	c cleaning 9984 clauses out of 20982 with flag 5821001/6223131
339.90/337.89	c cleaning 9990 clauses out of 20997 with flag 5831000/6233130
340.51/338.41	c cleaning 9988 clauses out of 21007 with flag 5841000/6243130
341.01/338.91	c cleaning 9998 clauses out of 21020 with flag 5851001/6253131
341.51/339.41	c cleaning 9975 clauses out of 21022 with flag 5861001/6263131
342.02/339.93	c cleaning 9983 clauses out of 21047 with flag 5871001/6273131
342.51/340.44	c cleaning 9983 clauses out of 21063 with flag 5881000/6283130
343.01/340.95	c cleaning 9984 clauses out of 21080 with flag 5891000/6293130
343.61/341.51	c cleaning 9987 clauses out of 21096 with flag 5901000/6303130
344.12/342.02	c cleaning 10001 clauses out of 21111 with flag 5911002/6313132
344.61/342.59	c cleaning 9994 clauses out of 21111 with flag 5921003/6323133
345.23/343.13	c cleaning 9974 clauses out of 21114 with flag 5931000/6333130
345.72/343.68	c cleaning 9998 clauses out of 21142 with flag 5941002/6343132
346.33/344.20	c cleaning 9980 clauses out of 21142 with flag 5951000/6353130
346.82/344.72	c cleaning 9993 clauses out of 21165 with flag 5961003/6363133
347.32/345.26	c cleaning 9986 clauses out of 21169 with flag 5971000/6373130
347.83/345.78	c cleaning 9998 clauses out of 21184 with flag 5981001/6383131
348.43/346.32	c cleaning 10001 clauses out of 21187 with flag 5991002/6393132
348.93/346.85	c cleaning 9998 clauses out of 21185 with flag 6001001/6403131
349.53/347.41	c cleaning 9998 clauses out of 21186 with flag 6011000/6413130
350.03/347.94	c cleaning 9956 clauses out of 21188 with flag 6021000/6423130
350.53/348.46	c cleaning 9992 clauses out of 21232 with flag 6031000/6433130
351.13/349.01	c cleaning 9988 clauses out of 21241 with flag 6041001/6443131
351.73/349.61	c cleaning 9996 clauses out of 21253 with flag 6051001/6453131
352.23/350.14	c cleaning 9983 clauses out of 21256 with flag 6061000/6463130
352.74/350.67	c cleaning 9980 clauses out of 21273 with flag 6071000/6473130
353.34/351.20	c cleaning 9975 clauses out of 21293 with flag 6081000/6483130
353.84/351.76	c cleaning 9999 clauses out of 21319 with flag 6091001/6493131
354.44/352.33	c cleaning 9985 clauses out of 21320 with flag 6101001/6503131
354.94/352.87	c cleaning 9984 clauses out of 21336 with flag 6111002/6513132
355.54/353.44	c cleaning 9990 clauses out of 21352 with flag 6121002/6523132
356.14/354.00	c cleaning 9987 clauses out of 21361 with flag 6131001/6533131
356.64/354.58	c cleaning 9999 clauses out of 21375 with flag 6141002/6543132
357.24/355.15	c cleaning 9984 clauses out of 21374 with flag 6151000/6553130
357.74/355.67	c cleaning 9980 clauses out of 21390 with flag 6161000/6563130
358.25/356.19	c cleaning 9998 clauses out of 21410 with flag 6171000/6573130
358.85/356.76	c cleaning 9997 clauses out of 21413 with flag 6181001/6583131
359.55/357.45	c cleaning 9999 clauses out of 21415 with flag 6191000/6593130
360.15/358.09	c cleaning 9986 clauses out of 21417 with flag 6201001/6603131
360.75/358.65	c cleaning 9997 clauses out of 21433 with flag 6211003/6613133
361.35/359.21	c cleaning 9981 clauses out of 21433 with flag 6221000/6623130
361.86/359.73	c cleaning 9980 clauses out of 21453 with flag 6231001/6633131
362.35/360.27	c cleaning 9995 clauses out of 21472 with flag 6241000/6643130
362.96/360.82	c cleaning 9990 clauses out of 21477 with flag 6251000/6653130
363.55/361.44	c cleaning 9997 clauses out of 21488 with flag 6261001/6663131
364.15/362.08	c cleaning 10000 clauses out of 21490 with flag 6271000/6673130
364.76/362.61	c cleaning 9992 clauses out of 21490 with flag 6281000/6683130
365.26/363.17	c cleaning 9986 clauses out of 21500 with flag 6291002/6693132
365.86/363.71	c cleaning 9988 clauses out of 21512 with flag 6301000/6703130
366.36/364.25	c cleaning 9988 clauses out of 21525 with flag 6311001/6713131
367.06/364.90	c cleaning 9999 clauses out of 21537 with flag 6321001/6723131
367.66/365.54	c cleaning 9992 clauses out of 21537 with flag 6331000/6733130
368.26/366.12	c cleaning 9988 clauses out of 21546 with flag 6341001/6743131
368.86/366.70	c cleaning 9990 clauses out of 21561 with flag 6351004/6753134
369.37/367.22	c cleaning 9975 clauses out of 21568 with flag 6361001/6763131
369.87/367.76	c cleaning 9989 clauses out of 21593 with flag 6371001/6773131
370.47/368.38	c cleaning 9999 clauses out of 21603 with flag 6381000/6783130
371.07/368.97	c cleaning 9977 clauses out of 21605 with flag 6391001/6793131
371.68/369.52	c cleaning 9965 clauses out of 21627 with flag 6401000/6803130
372.17/370.08	c cleaning 9998 clauses out of 21668 with flag 6411006/6813136
372.78/370.64	c cleaning 9965 clauses out of 21664 with flag 6421000/6823130
373.27/371.19	c cleaning 9986 clauses out of 21699 with flag 6431000/6833130
373.98/371.82	c cleaning 10005 clauses out of 21714 with flag 6441001/6843131
374.47/372.37	c cleaning 9979 clauses out of 21708 with flag 6451000/6853130
375.17/373.03	c cleaning 9994 clauses out of 21732 with flag 6461003/6863133
375.78/373.61	c cleaning 9979 clauses out of 21738 with flag 6471003/6873133
376.28/374.17	c cleaning 9955 clauses out of 21761 with flag 6481005/6883135
376.88/374.74	c cleaning 9958 clauses out of 21801 with flag 6491000/6893130
377.48/375.30	c cleaning 9985 clauses out of 21844 with flag 6501001/6903131
378.09/375.90	c cleaning 9989 clauses out of 21859 with flag 6511001/6913131
378.59/376.46	c cleaning 9975 clauses out of 21869 with flag 6521000/6923130
379.09/376.98	c cleaning 9979 clauses out of 21894 with flag 6531000/6933130
379.69/377.51	c cleaning 9972 clauses out of 21916 with flag 6541001/6943131
380.19/378.06	c cleaning 9973 clauses out of 21944 with flag 6551001/6953131
380.80/378.61	c cleaning 9987 clauses out of 21970 with flag 6561000/6963130
381.30/379.16	c cleaning 9994 clauses out of 21983 with flag 6571000/6973130
381.90/379.73	c cleaning 9975 clauses out of 21989 with flag 6581000/6983130
382.40/380.28	c cleaning 9958 clauses out of 22016 with flag 6591002/6993132
383.00/380.85	c cleaning 9978 clauses out of 22058 with flag 6601002/7003132
383.60/381.41	c cleaning 9981 clauses out of 22080 with flag 6611002/7013132
384.10/381.94	c cleaning 9976 clauses out of 22101 with flag 6621004/7023134
384.60/382.48	c cleaning 9971 clauses out of 22121 with flag 6631000/7033130
385.20/383.03	c cleaning 9988 clauses out of 22151 with flag 6641001/7043131
385.70/383.57	c cleaning 9984 clauses out of 22162 with flag 6651000/7053130
386.30/384.14	c cleaning 9987 clauses out of 22180 with flag 6661002/7063132
386.80/384.67	c cleaning 9986 clauses out of 22193 with flag 6671002/7073132
387.40/385.22	c cleaning 9978 clauses out of 22206 with flag 6681001/7083131
387.90/385.74	c cleaning 9977 clauses out of 22227 with flag 6691000/7093130
388.40/386.28	c cleaning 9975 clauses out of 22252 with flag 6701002/7103132
389.00/386.83	c cleaning 9980 clauses out of 22277 with flag 6711002/7113132
389.51/387.34	c cleaning 9983 clauses out of 22295 with flag 6721000/7123130
390.01/387.87	c cleaning 9980 clauses out of 22312 with flag 6731000/7133130
390.51/388.39	c cleaning 9989 clauses out of 22333 with flag 6741001/7143131
391.11/388.91	c cleaning 9978 clauses out of 22344 with flag 6751001/7153131
391.62/389.46	c cleaning 9974 clauses out of 22367 with flag 6761002/7163132
392.11/389.98	c cleaning 9989 clauses out of 22392 with flag 6771001/7173131
392.72/390.54	c cleaning 9989 clauses out of 22403 with flag 6781001/7183131
393.31/391.11	c cleaning 9989 clauses out of 22419 with flag 6791006/7193136
393.82/391.66	c cleaning 9978 clauses out of 22424 with flag 6801000/7203130
394.41/392.22	c cleaning 9988 clauses out of 22448 with flag 6811002/7213132
394.92/392.79	c cleaning 9978 clauses out of 22458 with flag 6821000/7223130
395.52/393.35	c cleaning 9968 clauses out of 22481 with flag 6831001/7233131
396.12/393.92	c cleaning 9976 clauses out of 22513 with flag 6841001/7243131
396.62/394.49	c cleaning 9982 clauses out of 22536 with flag 6851000/7253130
397.23/395.04	c cleaning 9979 clauses out of 22555 with flag 6861001/7263131
397.73/395.59	c cleaning 9988 clauses out of 22575 with flag 6871000/7273130
398.33/396.17	c cleaning 9990 clauses out of 22587 with flag 6881000/7283130
398.93/396.74	c cleaning 9983 clauses out of 22597 with flag 6891000/7293130
399.53/397.35	c cleaning 9999 clauses out of 22614 with flag 6901000/7303130
400.13/397.94	c cleaning 9981 clauses out of 22618 with flag 6911003/7313133
400.73/398.51	c cleaning 9980 clauses out of 22634 with flag 6921000/7323130
401.24/399.06	c cleaning 9993 clauses out of 22655 with flag 6931001/7333131
401.85/399.60	c cleaning 9979 clauses out of 22661 with flag 6941000/7343130
402.34/400.18	c cleaning 9981 clauses out of 22685 with flag 6951003/7353133
402.95/400.73	c cleaning 9971 clauses out of 22702 with flag 6961001/7363131
403.55/401.30	c cleaning 9985 clauses out of 22731 with flag 6971001/7373131
404.05/401.84	c cleaning 9990 clauses out of 22745 with flag 6981000/7383130
404.55/402.40	c cleaning 9981 clauses out of 22755 with flag 6991000/7393130
405.15/402.93	c cleaning 9991 clauses out of 22775 with flag 7001001/7403131
405.65/403.48	c cleaning 9975 clauses out of 22783 with flag 7011000/7413130
406.25/404.02	c cleaning 9983 clauses out of 22809 with flag 7021001/7423131
406.75/404.56	c cleaning 9980 clauses out of 22825 with flag 7031000/7433130
407.36/405.11	c cleaning 9997 clauses out of 22845 with flag 7041000/7443130
407.86/405.65	c cleaning 9963 clauses out of 22849 with flag 7051001/7453131
408.46/406.22	c cleaning 9985 clauses out of 22886 with flag 7061001/7463131
408.96/406.76	c cleaning 9974 clauses out of 22901 with flag 7071001/7473131
409.56/407.32	c cleaning 9975 clauses out of 22928 with flag 7081002/7483132
410.06/407.88	c cleaning 9978 clauses out of 22954 with flag 7091003/7493133
410.66/408.44	c cleaning 9987 clauses out of 22973 with flag 7101000/7503130
411.26/409.01	c cleaning 9986 clauses out of 22986 with flag 7111000/7513130
411.76/409.58	c cleaning 10000 clauses out of 23000 with flag 7121000/7523130
412.36/410.17	c cleaning 9972 clauses out of 23002 with flag 7131002/7533132
412.96/410.74	c cleaning 9979 clauses out of 23029 with flag 7141001/7543131
413.57/411.31	c cleaning 9987 clauses out of 23049 with flag 7151000/7553130
414.06/411.85	c cleaning 9994 clauses out of 23062 with flag 7161000/7563130
414.56/412.37	c cleaning 9988 clauses out of 23068 with flag 7171000/7573130
415.16/412.92	c cleaning 9983 clauses out of 23080 with flag 7181000/7583130
415.66/413.46	c cleaning 9980 clauses out of 23099 with flag 7191002/7593132
416.27/414.04	c cleaning 9978 clauses out of 23117 with flag 7201000/7603130
416.77/414.59	c cleaning 9984 clauses out of 23139 with flag 7211000/7613130
417.37/415.15	c cleaning 9986 clauses out of 23157 with flag 7221002/7623132
417.87/415.69	c cleaning 9982 clauses out of 23169 with flag 7231000/7633130
418.47/416.23	c cleaning 9983 clauses out of 23190 with flag 7241003/7643133
418.97/416.79	c cleaning 9966 clauses out of 23204 with flag 7251000/7653130
419.58/417.34	c cleaning 9990 clauses out of 23239 with flag 7261001/7663131
420.08/417.89	c cleaning 9987 clauses out of 23248 with flag 7271000/7673130
420.68/418.45	c cleaning 9991 clauses out of 23261 with flag 7281000/7683130
421.28/419.02	c cleaning 9989 clauses out of 23270 with flag 7291000/7693130
421.78/419.59	c cleaning 9985 clauses out of 23284 with flag 7301003/7703133
422.39/420.14	c cleaning 9992 clauses out of 23299 with flag 7311003/7713133
422.98/420.71	c cleaning 9990 clauses out of 23304 with flag 7321000/7723130
423.49/421.29	c cleaning 9994 clauses out of 23314 with flag 7331000/7733130
424.18/421.90	c cleaning 10004 clauses out of 23321 with flag 7341001/7743131
424.69/422.47	c cleaning 9975 clauses out of 23317 with flag 7351001/7753131
425.29/423.02	c cleaning 9992 clauses out of 23341 with flag 7361000/7763130
425.80/423.56	c cleaning 9990 clauses out of 23350 with flag 7371001/7773131
426.39/424.12	c cleaning 9984 clauses out of 23359 with flag 7381000/7783130
426.99/424.75	c cleaning 9975 clauses out of 23375 with flag 7391000/7793130
427.59/425.34	c cleaning 9986 clauses out of 23402 with flag 7401002/7803132
428.10/425.88	c cleaning 9981 clauses out of 23416 with flag 7411002/7813132
428.70/426.44	c cleaning 9985 clauses out of 23434 with flag 7421001/7823131
429.30/427.03	c cleaning 9984 clauses out of 23448 with flag 7431000/7833130
429.90/427.61	c cleaning 9988 clauses out of 23464 with flag 7441000/7843130
430.40/428.18	c cleaning 9992 clauses out of 23476 with flag 7451000/7853130
431.00/428.75	c cleaning 9990 clauses out of 23484 with flag 7461000/7863130
431.60/429.31	c cleaning 9987 clauses out of 23495 with flag 7471001/7873131
432.11/429.85	c cleaning 9987 clauses out of 23508 with flag 7481001/7883131
432.71/430.43	c cleaning 9988 clauses out of 23520 with flag 7491000/7893130
433.31/431.03	c cleaning 9988 clauses out of 23533 with flag 7501001/7903131
433.81/431.59	c cleaning 9974 clauses out of 23544 with flag 7511000/7913130
434.41/432.14	c cleaning 9993 clauses out of 23571 with flag 7521001/7923131
434.91/432.66	c cleaning 9981 clauses out of 23578 with flag 7531001/7933131
435.41/433.20	c cleaning 9985 clauses out of 23597 with flag 7541001/7943131
436.01/433.74	c cleaning 9992 clauses out of 23612 with flag 7551001/7953131
436.63/434.30	c cleaning 9977 clauses out of 23619 with flag 7561000/7963130
437.13/434.86	c cleaning 9996 clauses out of 23643 with flag 7571001/7973131
437.73/435.42	c cleaning 9990 clauses out of 23646 with flag 7581000/7983130
438.23/435.99	c cleaning 9988 clauses out of 23658 with flag 7591002/7993132
438.83/436.57	c cleaning 9975 clauses out of 23668 with flag 7601000/8003130
439.43/437.14	c cleaning 9995 clauses out of 23694 with flag 7611001/8013131
440.04/437.73	c cleaning 9996 clauses out of 23700 with flag 7621002/8023132
440.63/438.31	c cleaning 9991 clauses out of 23703 with flag 7631001/8033131
441.14/438.84	c cleaning 9987 clauses out of 23712 with flag 7641001/8043131
441.64/439.39	c cleaning 9993 clauses out of 23725 with flag 7651001/8053131
442.24/439.97	c cleaning 9983 clauses out of 23731 with flag 7661000/8063130
442.84/440.52	c cleaning 9985 clauses out of 23748 with flag 7671000/8073130
443.34/441.10	c cleaning 9987 clauses out of 23765 with flag 7681002/8083132
443.94/441.63	c cleaning 9987 clauses out of 23776 with flag 7691000/8093130
444.45/442.17	c cleaning 9983 clauses out of 23791 with flag 7701002/8103132
445.04/442.79	c cleaning 9986 clauses out of 23807 with flag 7711001/8113131
445.65/443.38	c cleaning 9996 clauses out of 23822 with flag 7721002/8123132
446.25/443.95	c cleaning 9988 clauses out of 23826 with flag 7731002/8133132
446.86/444.50	c cleaning 9991 clauses out of 23836 with flag 7741000/8143130
447.36/445.06	c cleaning 9995 clauses out of 23849 with flag 7751004/8153134
448.06/445.70	c cleaning 9993 clauses out of 23851 with flag 7761001/8163131
448.66/446.30	c cleaning 9985 clauses out of 23859 with flag 7771002/8173132
449.16/446.84	c cleaning 9988 clauses out of 23873 with flag 7781001/8183131
449.77/447.42	c cleaning 9984 clauses out of 23884 with flag 7791000/8193130
450.27/447.99	c cleaning 9988 clauses out of 23901 with flag 7801001/8203131
450.87/448.53	c cleaning 9978 clauses out of 23912 with flag 7811000/8213130
451.37/449.07	c cleaning 9986 clauses out of 23935 with flag 7821001/8223131
451.97/449.64	c cleaning 9987 clauses out of 23948 with flag 7831000/8233130
452.57/450.24	c cleaning 9988 clauses out of 23962 with flag 7841001/8243131
453.07/450.79	c cleaning 9990 clauses out of 23974 with flag 7851001/8253131
453.67/451.36	c cleaning 9990 clauses out of 23983 with flag 7861000/8263130
454.27/451.92	c cleaning 9979 clauses out of 23995 with flag 7871002/8273132
454.87/452.52	c cleaning 10001 clauses out of 24018 with flag 7881004/8283134
455.48/453.13	c cleaning 9978 clauses out of 24014 with flag 7891001/8293131
455.97/453.67	c cleaning 9982 clauses out of 24036 with flag 7901001/8303131
456.58/454.22	c cleaning 9978 clauses out of 24054 with flag 7911001/8313131
457.08/454.79	c cleaning 9979 clauses out of 24078 with flag 7921003/8323133
457.68/455.37	c cleaning 9991 clauses out of 24099 with flag 7931003/8333133
458.28/455.95	c cleaning 9991 clauses out of 24106 with flag 7941001/8343131
458.89/456.54	c cleaning 10000 clauses out of 24115 with flag 7951001/8353131
459.48/457.13	c cleaning 9984 clauses out of 24119 with flag 7961005/8363135
459.99/457.67	c cleaning 9980 clauses out of 24130 with flag 7971000/8373130
460.58/458.21	c cleaning 9988 clauses out of 24150 with flag 7981000/8383130
461.09/458.75	c cleaning 9991 clauses out of 24162 with flag 7991000/8393130
461.59/459.28	c cleaning 9986 clauses out of 24171 with flag 8001000/8403130
462.19/459.89	c cleaning 9986 clauses out of 24186 with flag 8011001/8413131
462.79/460.50	c cleaning 9988 clauses out of 24201 with flag 8021002/8423132
463.39/461.05	c cleaning 9987 clauses out of 24211 with flag 8031000/8433130
464.00/461.64	c cleaning 9999 clauses out of 24225 with flag 8041001/8443131
464.60/462.20	c cleaning 9977 clauses out of 24225 with flag 8051000/8453130
465.20/462.85	c cleaning 9983 clauses out of 24248 with flag 8061000/8463130
465.80/463.43	c cleaning 10008 clauses out of 24265 with flag 8071000/8473130
466.41/464.02	c cleaning 9984 clauses out of 24258 with flag 8081001/8483131
466.91/464.59	c cleaning 9982 clauses out of 24274 with flag 8091001/8493131
467.51/465.13	c cleaning 9986 clauses out of 24293 with flag 8101002/8503132
468.01/465.69	c cleaning 9984 clauses out of 24307 with flag 8111002/8513132
468.61/466.24	c cleaning 9984 clauses out of 24324 with flag 8121003/8523133
469.21/466.82	c cleaning 9986 clauses out of 24338 with flag 8131001/8533131
469.71/467.40	c cleaning 9981 clauses out of 24351 with flag 8141000/8543130
470.32/467.99	c cleaning 9988 clauses out of 24371 with flag 8151001/8553131
470.93/468.56	c cleaning 9986 clauses out of 24383 with flag 8161001/8563131
471.52/469.14	c cleaning 9991 clauses out of 24397 with flag 8171001/8573131
472.13/469.72	c cleaning 9984 clauses out of 24408 with flag 8181003/8583133
472.62/470.29	c cleaning 9993 clauses out of 24422 with flag 8191001/8593131
473.23/470.86	c cleaning 9977 clauses out of 24428 with flag 8201000/8603130
473.73/471.39	c cleaning 9987 clauses out of 24451 with flag 8211000/8613130
474.33/472.00	c cleaning 9996 clauses out of 24466 with flag 8221002/8623132
474.93/472.59	c cleaning 9980 clauses out of 24469 with flag 8231001/8633131
475.53/473.12	c cleaning 9996 clauses out of 24488 with flag 8241000/8643130
476.13/473.70	c cleaning 10001 clauses out of 24492 with flag 8251000/8653130
476.73/474.30	c cleaning 9987 clauses out of 24491 with flag 8261000/8663130
477.23/474.85	c cleaning 9987 clauses out of 24506 with flag 8271002/8673132
477.83/475.42	c cleaning 9992 clauses out of 24517 with flag 8281000/8683130
478.43/476.03	c cleaning 9991 clauses out of 24525 with flag 8291000/8693130
478.93/476.59	c cleaning 9979 clauses out of 24535 with flag 8301001/8703131
479.53/477.14	c cleaning 9990 clauses out of 24556 with flag 8311001/8713131
480.13/477.75	c cleaning 9994 clauses out of 24565 with flag 8321000/8723130
480.73/478.39	c cleaning 9989 clauses out of 24571 with flag 8331000/8733130
481.33/478.96	c cleaning 9986 clauses out of 24584 with flag 8341002/8743132
481.84/479.49	c cleaning 9990 clauses out of 24599 with flag 8351003/8753133
482.44/480.03	c cleaning 9995 clauses out of 24606 with flag 8361000/8763130
482.94/480.57	c cleaning 9983 clauses out of 24612 with flag 8371001/8773131
483.64/481.22	c cleaning 9999 clauses out of 24628 with flag 8381000/8783130
484.34/481.91	c cleaning 9986 clauses out of 24629 with flag 8391000/8793130
484.84/482.49	c cleaning 9985 clauses out of 24644 with flag 8401001/8803131
485.45/483.04	c cleaning 9983 clauses out of 24660 with flag 8411002/8813132
486.06/483.64	c cleaning 9990 clauses out of 24678 with flag 8421003/8823133
486.66/484.26	c cleaning 9997 clauses out of 24685 with flag 8431000/8833130
487.26/484.82	c cleaning 9974 clauses out of 24689 with flag 8441001/8843131
487.76/485.36	c cleaning 9989 clauses out of 24715 with flag 8451001/8853131
488.36/485.91	c cleaning 9984 clauses out of 24727 with flag 8461002/8863132
488.86/486.46	c cleaning 9982 clauses out of 24743 with flag 8471002/8873132
489.46/487.02	c cleaning 9999 clauses out of 24760 with flag 8481001/8883131
490.07/487.65	c cleaning 9994 clauses out of 24764 with flag 8491004/8893134
490.67/488.22	c cleaning 9993 clauses out of 24768 with flag 8501002/8903132
491.27/488.80	c cleaning 9990 clauses out of 24775 with flag 8511002/8913132
491.77/489.35	c cleaning 9993 clauses out of 24783 with flag 8521000/8923130
492.37/489.92	c cleaning 9983 clauses out of 24792 with flag 8531002/8933132
492.98/490.51	c cleaning 9997 clauses out of 24808 with flag 8541001/8943131
493.58/491.17	c cleaning 9998 clauses out of 24813 with flag 8551003/8953133
494.28/491.82	c cleaning 9987 clauses out of 24812 with flag 8561000/8963130
494.88/492.40	c cleaning 9996 clauses out of 24826 with flag 8571001/8973131
495.48/493.00	c cleaning 9983 clauses out of 24829 with flag 8581000/8983130
495.98/493.59	c cleaning 9995 clauses out of 24847 with flag 8591001/8993131
496.68/494.22	c cleaning 10003 clauses out of 24857 with flag 8601006/9003136
497.29/494.85	c cleaning 9992 clauses out of 24848 with flag 8611000/9013130
497.89/495.48	c cleaning 10000 clauses out of 24856 with flag 8621000/9023130
498.52/496.09	c cleaning 9997 clauses out of 24857 with flag 8631001/9033131
499.22/496.74	c cleaning 9996 clauses out of 24860 with flag 8641001/9043131
499.82/497.33	c cleaning 9985 clauses out of 24865 with flag 8651002/9053132
500.32/497.89	c cleaning 9994 clauses out of 24879 with flag 8661001/9063131
500.92/498.47	c cleaning 9991 clauses out of 24885 with flag 8671001/9073131
501.52/499.02	c cleaning 9987 clauses out of 24893 with flag 8681000/9083130
502.13/499.61	c cleaning 9995 clauses out of 24910 with flag 8691004/9093134
502.63/500.17	c cleaning 9996 clauses out of 24911 with flag 8701000/9103130
503.33/500.85	c cleaning 9991 clauses out of 24915 with flag 8711000/9113130
503.93/501.47	c cleaning 10000 clauses out of 24924 with flag 8721000/9123130
504.54/502.03	c cleaning 9991 clauses out of 24924 with flag 8731000/9133130
505.04/502.59	c cleaning 9987 clauses out of 24933 with flag 8741000/9143130
505.74/503.22	c cleaning 10003 clauses out of 24948 with flag 8751002/9153132
506.25/503.74	c cleaning 9996 clauses out of 24944 with flag 8761001/9163131
506.84/504.34	c cleaning 9996 clauses out of 24947 with flag 8771000/9173130
507.45/504.93	c cleaning 9998 clauses out of 24953 with flag 8781002/9183132
507.95/505.50	c cleaning 9947 clauses out of 24952 with flag 8791001/9193131
508.46/505.91	c starts		: 328
508.46/505.91	c conflicts		: 9200729
508.46/505.91	c decisions		: 13085216
508.46/505.91	c propagations		: 471427298
508.46/505.91	c inspects		: 4967304845
508.46/505.91	c shortcuts		: 0
508.46/505.91	c learnt literals	: 4
508.46/505.91	c learnt binary clauses	: 29
508.46/505.91	c learnt ternary clauses	: 1237
508.46/505.91	c learnt constraints	: 9200724
508.46/505.91	c ignored constraints	: 0
508.46/505.91	c root simplifications	: 0
508.46/505.91	c removed literals (reason simplification)	: 46904666
508.46/505.91	c reason swapping (by a shorter reason)	: 0
508.46/505.91	c Calls to reduceDB	: 929
508.46/505.91	c number of reductions to clauses (during analyze)	: 0
508.46/505.91	c number of learned constraints concerned by reduction	: 0
508.46/505.91	c number of learning phase by resolution	: 0
508.46/505.91	c number of learning phase by cutting planes	: 0
508.46/505.91	c speed (assignments/second)	: 979479.2854412181
508.46/505.91	c non guided choices	3749
508.46/505.91	c learnt constraints type 
508.46/505.91	c constraints type 
508.46/505.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2534
508.46/505.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
508.46/505.91	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 150
508.46/505.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 9
508.46/505.91	s OPTIMUM FOUND
508.46/505.91	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 
508.46/505.91	c objective function=7
508.46/505.91	c Total wall clock time (in seconds): 505.809

Verifier Data 

OK	7

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-3492600-1307910020/watcher-3492600-1307910020 -o /var/tmp/evaluation-result-3492600-1307910020/solver-3492600-1307910020 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492600-1307910020.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: 1.84 1.97 1.91 4/191 30167
/proc/meminfo: memFree=1491044/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 883417584 31260672 957 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 7632 957 730 9 0 383 0
[pid=30167/tid=30168] ppid=30165 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 125 0 0 0 0 0 0 0 25 0 2 0 883417584 31272960 959 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264726404923 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0599631 s]
/proc/loadavg: 1.84 1.97 1.91 4/191 30167
/proc/meminfo: memFree=1491044/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10538460 CPUtime=0.05 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 11679 0 1 0 4 1 0 0 25 0 18 0 883417584 10791383040 11375 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2634615 11375 1733 9 0 2625356 0
[pid=30167/tid=30168] ppid=30165 vsize=10538460 CPUtime=0.05 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 10502 0 1 0 4 1 0 0 18 0 18 0 883417584 10791383040 11375 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 46912505201576 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538460

[startup+0.100955 s]
/proc/loadavg: 1.84 1.97 1.91 4/191 30167
/proc/meminfo: memFree=1491044/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10540276 CPUtime=0.1 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 13147 0 1 0 9 1 0 0 25 0 18 0 883417584 10793242624 12818 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2635069 12820 2092 9 0 2625803 0
[pid=30167/tid=30168] ppid=30165 vsize=10540276 CPUtime=0.09 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 11210 0 1 0 8 1 0 0 18 0 18 0 883417584 10793242624 12822 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 47574625113624 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540276

[startup+0.300975 s]
/proc/loadavg: 1.84 1.97 1.91 4/191 30167
/proc/meminfo: memFree=1491044/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10543336 CPUtime=0.5 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 16413 0 1 0 48 2 0 0 25 0 18 0 883417584 10796376064 15619 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2635834 15619 2209 9 0 2626568 0
[pid=30167/tid=30168] ppid=30165 vsize=10543336 CPUtime=0.28 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 13181 0 1 0 27 1 0 0 18 0 18 0 883417584 10796376064 15620 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738231755 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10543336

[startup+0.70084 s]
/proc/loadavg: 1.84 1.97 1.91 4/191 30167
/proc/meminfo: memFree=1491044/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10549676 CPUtime=1.47 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 22126 0 1 0 145 2 0 0 25 0 19 0 883417584 10802868224 18967 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2637419 18967 2224 9 0 2628153 0
[pid=30167/tid=30168] ppid=30165 vsize=10549676 CPUtime=0.68 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 14209 0 1 0 67 1 0 0 19 0 19 0 883417584 10802868224 18967 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 46912505678894 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10549676

[startup+1.50069 s]
/proc/loadavg: 1.84 1.97 1.91 4/211 30187
/proc/meminfo: memFree=1402900/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10549676 CPUtime=2.35 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 23162 0 1 0 232 3 0 0 25 0 19 0 883417584 10802868224 20002 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2637419 20002 2228 9 0 2628153 0
[pid=30167/tid=30168] ppid=30165 vsize=10549676 CPUtime=1.49 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 15231 0 1 0 147 2 0 0 20 0 19 0 883417584 10802868224 20002 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 46912505642956 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30167/tid=30170] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30170/stat : 30170 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883417586 10802868224 20002 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30171] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30171/stat : 30171 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883417586 10802868224 20002 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30172] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30172/stat : 30172 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883417586 10802868224 20002 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30173] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30173/stat : 30173 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883417586 10802868224 20002 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30174] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30174/stat : 30174 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883417586 10802868224 20002 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30175] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30175/stat : 30175 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883417586 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30176] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30176/stat : 30176 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883417586 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30177] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30177/stat : 30177 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883417586 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30178] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30178/stat : 30178 (java) S 30165 30167 28722 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 883417587 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 0 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30179] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30179/stat : 30179 (java) S 30165 30167 28722 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 883417588 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30180] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30180/stat : 30180 (java) S 30165 30167 28722 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 883417588 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30182] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30182/stat : 30182 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883417590 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738228657 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30183] ppid=30165 vsize=10549676 CPUtime=0.44 cores=1,3,5,7
/proc/30167/task/30183/stat : 30183 (java) S 30165 30167 28722 0 -1 4202560 3983 0 0 0 44 0 0 0 15 0 19 0 883417590 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30184] ppid=30165 vsize=10549676 CPUtime=0.4 cores=1,3,5,7
/proc/30167/task/30184/stat : 30184 (java) S 30165 30167 28722 0 -1 4202560 2784 0 0 0 40 0 0 0 15 0 19 0 883417590 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30185] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30185/stat : 30185 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883417590 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30186] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30186/stat : 30186 (java) S 30165 30167 28722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883417590 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30187] ppid=30165 vsize=10549676 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30187/stat : 30187 (java) S 30165 30167 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883417615 10802868224 20003 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 10549676

[startup+3.1014 s]
/proc/loadavg: 1.84 1.97 1.91 3/211 30187
/proc/meminfo: memFree=1383936/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10567144 CPUtime=4.48 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 30098 0 1 0 445 3 0 0 25 0 19 0 883417584 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2641786 26043 2253 9 0 2632520 0
[pid=30167/tid=30168] ppid=30165 vsize=10567144 CPUtime=3.03 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 15287 0 1 0 301 2 0 0 19 0 19 0 883417584 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 46912505366563 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30167/tid=30170] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30170/stat : 30170 (java) S 30165 30167 28722 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 19 0 883417586 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30171] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30171/stat : 30171 (java) S 30165 30167 28722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883417586 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30172] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30172/stat : 30172 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883417586 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30173] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30173/stat : 30173 (java) S 30165 30167 28722 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 19 0 883417586 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30174] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30174/stat : 30174 (java) S 30165 30167 28722 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 883417586 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30175] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30175/stat : 30175 (java) S 30165 30167 28722 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 883417586 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30176] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30176/stat : 30176 (java) S 30165 30167 28722 0 -1 4202560 208 0 0 0 0 0 0 0 15 0 19 0 883417586 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30177] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30177/stat : 30177 (java) S 30165 30167 28722 0 -1 4202560 573 0 0 0 0 0 0 0 15 0 19 0 883417586 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30178] ppid=30165 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/30167/task/30178/stat : 30178 (java) S 30165 30167 28722 0 -1 4202560 817 0 0 0 4 0 0 0 16 0 19 0 883417587 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 0 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30179] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30179/stat : 30179 (java) S 30165 30167 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883417588 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30180] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30180/stat : 30180 (java) S 30165 30167 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883417588 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30182] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30182/stat : 30182 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883417590 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738228657 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30183] ppid=30165 vsize=10567144 CPUtime=0.93 cores=1,3,5,7
/proc/30167/task/30183/stat : 30183 (java) S 30165 30167 28722 0 -1 4202560 8860 0 0 0 93 0 0 0 16 0 19 0 883417590 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30184] ppid=30165 vsize=10567144 CPUtime=0.43 cores=1,3,5,7
/proc/30167/task/30184/stat : 30184 (java) S 30165 30167 28722 0 -1 4202560 2799 0 0 0 43 0 0 0 15 0 19 0 883417590 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30185] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30185/stat : 30185 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883417590 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30186] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30186/stat : 30186 (java) S 30165 30167 28722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883417590 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30187] ppid=30165 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30187/stat : 30187 (java) S 30165 30167 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883417615 10820755456 26043 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 10567144

[startup+6.30078 s]
/proc/loadavg: 1.85 1.97 1.91 3/211 30187
/proc/meminfo: memFree=1365044/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10562780 CPUtime=7.7 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 30118 0 1 0 766 4 0 0 25 0 19 0 883417584 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2640695 24982 2253 9 0 2631429 0
[pid=30167/tid=30168] ppid=30165 vsize=10562780 CPUtime=6.11 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 15295 0 1 0 609 2 0 0 18 0 19 0 883417584 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 46912505678838 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30167/tid=30170] ppid=30165 vsize=10562780 CPUtime=0.01 cores=1,3,5,7
/proc/30167/task/30170/stat : 30170 (java) S 30165 30167 28722 0 -1 4202560 264 0 0 0 1 0 0 0 15 0 19 0 883417586 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30171] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30171/stat : 30171 (java) S 30165 30167 28722 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 883417586 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30172] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30172/stat : 30172 (java) S 30165 30167 28722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883417586 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30173] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30173/stat : 30173 (java) S 30165 30167 28722 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 883417586 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30174] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30174/stat : 30174 (java) S 30165 30167 28722 0 -1 4202560 39 0 0 0 0 0 0 0 16 0 19 0 883417586 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30175] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30175/stat : 30175 (java) S 30165 30167 28722 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 883417586 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30176] ppid=30165 vsize=10562780 CPUtime=0.01 cores=1,3,5,7
/proc/30167/task/30176/stat : 30176 (java) S 30165 30167 28722 0 -1 4202560 212 0 0 0 1 0 0 0 15 0 19 0 883417586 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30177] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30177/stat : 30177 (java) S 30165 30167 28722 0 -1 4202560 573 0 0 0 0 0 0 0 15 0 19 0 883417586 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30178] ppid=30165 vsize=10562780 CPUtime=0.15 cores=1,3,5,7
/proc/30167/task/30178/stat : 30178 (java) S 30165 30167 28722 0 -1 4202560 817 0 0 0 15 0 0 0 16 0 19 0 883417587 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 0 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30179] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30179/stat : 30179 (java) S 30165 30167 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883417588 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30180] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30180/stat : 30180 (java) S 30165 30167 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883417588 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30182] ppid=30165 vsize=10562780 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30182/stat : 30182 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883417590 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738228657 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30183] ppid=30165 vsize=10562780 CPUtime=0.94 cores=1,3,5,7
/proc/30167/task/30183/stat : 30183 (java) S 30165 30167 28722 0 -1 4202560 8861 0 0 0 94 0 0 0 15 0 19 0 883417590 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30184] ppid=30165 vsize=10562780 CPUtime=0.43 cores=1,3,5,7
/proc/30167/task/30184/stat : 30184 (java) S 30165 30167 28722 0 -1 4202560 2799 0 0 0 43 0 0 0 15 0 19 0 883417590 10816286720 24982 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0

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

/proc/30167/task/30170/stat : 30170 (java) S 30165 30167 28722 0 -1 4202560 286 0 0 0 27 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30171] ppid=30165 vsize=10551036 CPUtime=0.3 cores=1,3,5,7
/proc/30167/task/30171/stat : 30171 (java) S 30165 30167 28722 0 -1 4202560 30 0 0 0 30 0 0 0 16 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30172] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30172/stat : 30172 (java) S 30165 30167 28722 0 -1 4202560 42 0 0 0 25 1 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30173] ppid=30165 vsize=10551036 CPUtime=0.29 cores=1,3,5,7
/proc/30167/task/30173/stat : 30173 (java) S 30165 30167 28722 0 -1 4202560 64 0 0 0 29 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30174] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30174/stat : 30174 (java) S 30165 30167 28722 0 -1 4202560 67 0 0 0 26 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30175] ppid=30165 vsize=10551036 CPUtime=0.25 cores=1,3,5,7
/proc/30167/task/30175/stat : 30175 (java) S 30165 30167 28722 0 -1 4202560 76 0 0 0 25 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30176] ppid=30165 vsize=10551036 CPUtime=0.28 cores=1,3,5,7
/proc/30167/task/30176/stat : 30176 (java) S 30165 30167 28722 0 -1 4202560 240 0 0 0 28 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30177] ppid=30165 vsize=10551036 CPUtime=0.27 cores=1,3,5,7
/proc/30167/task/30177/stat : 30177 (java) S 30165 30167 28722 0 -1 4202560 581 0 0 0 27 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30178] ppid=30165 vsize=10551036 CPUtime=15.21 cores=1,3,5,7
/proc/30167/task/30178/stat : 30178 (java) S 30165 30167 28722 0 -1 4202560 1872 0 0 0 1507 14 0 0 16 0 19 0 883417587 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 0 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30179] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30179/stat : 30179 (java) S 30165 30167 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883417588 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30180] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30180/stat : 30180 (java) S 30165 30167 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883417588 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30182] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30182/stat : 30182 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738228657 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30183] ppid=30165 vsize=10551036 CPUtime=0.99 cores=1,3,5,7
/proc/30167/task/30183/stat : 30183 (java) S 30165 30167 28722 0 -1 4202560 8867 0 0 0 99 0 0 0 15 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30184] ppid=30165 vsize=10551036 CPUtime=0.44 cores=1,3,5,7
/proc/30167/task/30184/stat : 30184 (java) S 30165 30167 28722 0 -1 4202560 2799 0 0 0 44 0 0 0 15 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30185] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30185/stat : 30185 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30186] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30186/stat : 30186 (java) S 30165 30167 28722 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30187] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30187/stat : 30187 (java) S 30165 30167 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883417615 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 506.45
Current children cumulated vsize (KiB) 10551036

[startup+504.701 s]
/proc/loadavg: 1.99 1.97 1.91 3/211 30375
/proc/meminfo: memFree=1364580/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10551036 CPUtime=507.25 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 32317 0 1 0 50698 27 0 0 25 0 19 0 883417584 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2637759 23687 2255 9 0 2628493 0
[pid=30167/tid=30168] ppid=30165 vsize=10551036 CPUtime=488.25 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 16211 0 1 0 48821 4 0 0 18 0 19 0 883417584 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 46912505642880 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30167/tid=30170] ppid=30165 vsize=10551036 CPUtime=0.27 cores=1,3,5,7
/proc/30167/task/30170/stat : 30170 (java) S 30165 30167 28722 0 -1 4202560 286 0 0 0 27 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30171] ppid=30165 vsize=10551036 CPUtime=0.3 cores=1,3,5,7
/proc/30167/task/30171/stat : 30171 (java) S 30165 30167 28722 0 -1 4202560 30 0 0 0 30 0 0 0 16 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30172] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30172/stat : 30172 (java) S 30165 30167 28722 0 -1 4202560 42 0 0 0 25 1 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30173] ppid=30165 vsize=10551036 CPUtime=0.29 cores=1,3,5,7
/proc/30167/task/30173/stat : 30173 (java) S 30165 30167 28722 0 -1 4202560 64 0 0 0 29 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30174] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30174/stat : 30174 (java) S 30165 30167 28722 0 -1 4202560 67 0 0 0 26 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30175] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30175/stat : 30175 (java) S 30165 30167 28722 0 -1 4202560 76 0 0 0 26 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30176] ppid=30165 vsize=10551036 CPUtime=0.28 cores=1,3,5,7
/proc/30167/task/30176/stat : 30176 (java) S 30165 30167 28722 0 -1 4202560 240 0 0 0 28 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30177] ppid=30165 vsize=10551036 CPUtime=0.27 cores=1,3,5,7
/proc/30167/task/30177/stat : 30177 (java) S 30165 30167 28722 0 -1 4202560 581 0 0 0 27 0 0 0 15 0 19 0 883417586 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30178] ppid=30165 vsize=10551036 CPUtime=15.22 cores=1,3,5,7
/proc/30167/task/30178/stat : 30178 (java) S 30165 30167 28722 0 -1 4202560 1872 0 0 0 1508 14 0 0 16 0 19 0 883417587 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 0 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30179] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30179/stat : 30179 (java) S 30165 30167 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883417588 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30180] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30180/stat : 30180 (java) S 30165 30167 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883417588 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30182] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30182/stat : 30182 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738228657 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30183] ppid=30165 vsize=10551036 CPUtime=0.99 cores=1,3,5,7
/proc/30167/task/30183/stat : 30183 (java) S 30165 30167 28722 0 -1 4202560 8867 0 0 0 99 0 0 0 15 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30184] ppid=30165 vsize=10551036 CPUtime=0.44 cores=1,3,5,7
/proc/30167/task/30184/stat : 30184 (java) S 30165 30167 28722 0 -1 4202560 2799 0 0 0 44 0 0 0 15 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30185] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30185/stat : 30185 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30186] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30186/stat : 30186 (java) S 30165 30167 28722 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 883417590 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30187] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30187/stat : 30187 (java) S 30165 30167 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883417615 10804260864 23687 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 507.25
Current children cumulated vsize (KiB) 10551036

[startup+505.502 s]
/proc/loadavg: 1.99 1.97 1.91 3/211 30375
/proc/meminfo: memFree=1364700/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10551036 CPUtime=508.05 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 32321 0 1 0 50778 27 0 0 25 0 19 0 883417584 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2637759 23689 2255 9 0 2628493 0
[pid=30167/tid=30168] ppid=30165 vsize=10551036 CPUtime=489.03 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) S 30165 30167 28722 0 -1 4202560 16215 0 1 0 48899 4 0 0 18 0 19 0 883417584 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30170] ppid=30165 vsize=10551036 CPUtime=0.27 cores=1,3,5,7
/proc/30167/task/30170/stat : 30170 (java) R 30165 30167 28722 0 -1 4202560 286 0 0 0 27 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264726358327 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30167/tid=30171] ppid=30165 vsize=10551036 CPUtime=0.3 cores=1,3,5,7
/proc/30167/task/30171/stat : 30171 (java) R 30165 30167 28722 0 -1 4202560 30 0 0 0 30 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264726358327 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30167/tid=30172] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30172/stat : 30172 (java) R 30165 30167 28722 0 -1 4202560 42 0 0 0 25 1 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30167/tid=30173] ppid=30165 vsize=10551036 CPUtime=0.29 cores=1,3,5,7
/proc/30167/task/30173/stat : 30173 (java) S 30165 30167 28722 0 -1 4202560 64 0 0 0 29 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30174] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30174/stat : 30174 (java) R 30165 30167 28722 0 -1 4202560 67 0 0 0 26 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264726358327 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30167/tid=30175] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30175/stat : 30175 (java) R 30165 30167 28722 0 -1 4202560 76 0 0 0 26 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264726358327 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30167/tid=30176] ppid=30165 vsize=10551036 CPUtime=0.28 cores=1,3,5,7
/proc/30167/task/30176/stat : 30176 (java) S 30165 30167 28722 0 -1 4202560 240 0 0 0 28 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30177] ppid=30165 vsize=10551036 CPUtime=0.27 cores=1,3,5,7
/proc/30167/task/30177/stat : 30177 (java) R 30165 30167 28722 0 -1 4202560 581 0 0 0 27 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264726358327 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30167/tid=30178] ppid=30165 vsize=10551036 CPUtime=15.24 cores=1,3,5,7
/proc/30167/task/30178/stat : 30178 (java) S 30165 30167 28722 0 -1 4202560 1872 0 0 0 1510 14 0 0 15 0 19 0 883417587 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 0 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30179] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30179/stat : 30179 (java) S 30165 30167 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883417588 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30180] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30180/stat : 30180 (java) S 30165 30167 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883417588 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30182] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30182/stat : 30182 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738228657 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30183] ppid=30165 vsize=10551036 CPUtime=0.99 cores=1,3,5,7
/proc/30167/task/30183/stat : 30183 (java) S 30165 30167 28722 0 -1 4202560 8867 0 0 0 99 0 0 0 15 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30184] ppid=30165 vsize=10551036 CPUtime=0.44 cores=1,3,5,7
/proc/30167/task/30184/stat : 30184 (java) S 30165 30167 28722 0 -1 4202560 2799 0 0 0 44 0 0 0 15 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30185] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30185/stat : 30185 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30186] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30186/stat : 30186 (java) S 30165 30167 28722 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30187] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30187/stat : 30187 (java) S 30165 30167 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883417615 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 508.05
Current children cumulated vsize (KiB) 10551036

[startup+505.901 s]
/proc/loadavg: 1.99 1.97 1.91 3/211 30375
/proc/meminfo: memFree=1364700/32951124 swapFree=67064576/67111528
[pid=30167] ppid=30165 vsize=10551036 CPUtime=508.46 cores=1,3,5,7
/proc/30167/stat : 30167 (java) S 30165 30167 28722 0 -1 4202496 32321 0 1 0 50819 27 0 0 25 0 19 0 883417584 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/30167/statm: 2637759 23689 2255 9 0 2628493 0
[pid=30167/tid=30168] ppid=30165 vsize=10551036 CPUtime=489.42 cores=1,3,5,7
/proc/30167/task/30168/stat : 30168 (java) R 30165 30167 28722 0 -1 4202560 16215 0 1 0 48938 4 0 0 19 0 19 0 883417584 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738222022 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30167/tid=30170] ppid=30165 vsize=10551036 CPUtime=0.27 cores=1,3,5,7
/proc/30167/task/30170/stat : 30170 (java) S 30165 30167 28722 0 -1 4202560 286 0 0 0 27 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30171] ppid=30165 vsize=10551036 CPUtime=0.3 cores=1,3,5,7
/proc/30167/task/30171/stat : 30171 (java) S 30165 30167 28722 0 -1 4202560 30 0 0 0 30 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30172] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30172/stat : 30172 (java) S 30165 30167 28722 0 -1 4202560 42 0 0 0 25 1 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30173] ppid=30165 vsize=10551036 CPUtime=0.29 cores=1,3,5,7
/proc/30167/task/30173/stat : 30173 (java) S 30165 30167 28722 0 -1 4202560 64 0 0 0 29 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30174] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30174/stat : 30174 (java) S 30165 30167 28722 0 -1 4202560 67 0 0 0 26 0 0 0 16 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30175] ppid=30165 vsize=10551036 CPUtime=0.26 cores=1,3,5,7
/proc/30167/task/30175/stat : 30175 (java) S 30165 30167 28722 0 -1 4202560 76 0 0 0 26 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 5 0 0 0
[pid=30167/tid=30176] ppid=30165 vsize=10551036 CPUtime=0.28 cores=1,3,5,7
/proc/30167/task/30176/stat : 30176 (java) S 30165 30167 28722 0 -1 4202560 240 0 0 0 28 0 0 0 15 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30177] ppid=30165 vsize=10551036 CPUtime=0.27 cores=1,3,5,7
/proc/30167/task/30177/stat : 30177 (java) S 30165 30167 28722 0 -1 4202560 581 0 0 0 27 0 0 0 16 0 19 0 883417586 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30178] ppid=30165 vsize=10551036 CPUtime=15.26 cores=1,3,5,7
/proc/30167/task/30178/stat : 30178 (java) S 30165 30167 28722 0 -1 4202560 1872 0 0 0 1512 14 0 0 16 0 19 0 883417587 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 0 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30179] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30179/stat : 30179 (java) S 30165 30167 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883417588 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30180] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30180/stat : 30180 (java) S 30165 30167 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883417588 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
[pid=30167/tid=30182] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30182/stat : 30182 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738228657 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30183] ppid=30165 vsize=10551036 CPUtime=1 cores=1,3,5,7
/proc/30167/task/30183/stat : 30183 (java) S 30165 30167 28722 0 -1 4202560 8867 0 0 0 100 0 0 0 15 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30184] ppid=30165 vsize=10551036 CPUtime=0.44 cores=1,3,5,7
/proc/30167/task/30184/stat : 30184 (java) R 30165 30167 28722 0 -1 4202560 2799 0 0 0 44 0 0 0 15 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 47574620594736 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30167/tid=30185] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30185/stat : 30185 (java) S 30165 30167 28722 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738220953 0 4 0 16800975 18446604461208267840 0 0 -1 1 0 0 0
[pid=30167/tid=30186] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30186/stat : 30186 (java) S 30165 30167 28722 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 19 0 883417590 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 3 0 0 0
[pid=30167/tid=30187] ppid=30165 vsize=10551036 CPUtime=0 cores=1,3,5,7
/proc/30167/task/30187/stat : 30187 (java) S 30165 30167 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883417615 10804260864 23689 33554432000 1073741824 1073778376 140736255402624 18446744073709551615 264738221568 0 4 0 16800975 18446604461208267840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 508.46
Current children cumulated vsize (KiB) 10551036

Child status: 30
Real time (s): 505.922
CPU time (s): 508.485
CPU user time (s): 508.209
CPU system time (s): 0.275958
CPU usage (%): 100.506
Max. virtual memory (cumulated for all children) (KiB): 10567144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 508.209
system time used= 0.275958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32341
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= 35638
involuntary context switches= 16340

runsolver used 0.875866 second user time and 1.92771 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-12 22:20:20
IDJOB=3492600
IDBENCH=78914
IDSOLVER=1982
FILE ID=node141/3492600-1307910020
RUNJOBID= node141-1307908222-29948
PBS_JOBID= 13559567
Free space on /var/tmp= 2912 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557957--soft-66-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-3492600-1307910020/watcher-3492600-1307910020 -o /var/tmp/evaluation-result-3492600-1307910020/solver-3492600-1307910020 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492600-1307910020.wbo

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

MD5SUM BENCH= cd9d62896ad241b3e0bc0c585d812475
RANDOM SEED=896066416

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1492580 kB
Buffers:         60640 kB
Cached:       30380836 kB
SwapCached:       8816 kB
Active:       15247636 kB
Inactive:     15261380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1492580 kB
SwapTotal:    67111528 kB
SwapFree:     67064576 kB
Dirty:             860 kB
Writeback:          44 kB
AnonPages:       65156 kB
Mapped:          17860 kB
Slab:           885024 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10504224 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= 2912 MiB
End job on node141 at 2011-06-12 22:28:46