Trace number 3459073

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)72 1800.24 1797.09

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark1797.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3459073-1307153768.opb
0.11/0.11	c reading problem ... 
2.32/1.97	c ... done. Wall clock time 1.852s.
2.32/1.97	c #vars     5203
2.32/1.97	c #constraints  19637
2.32/1.97	c constraints type 
2.32/1.97	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19637
2.59/2.10	c SATISFIABLE
2.59/2.10	c OPTIMIZING...
2.59/2.10	c Got one! Elapsed wall clock time (in seconds):1.986
2.59/2.10	o 88
2.82/2.21	c Got one! Elapsed wall clock time (in seconds):2.101
2.82/2.21	o 85
2.82/2.25	c Got one! Elapsed wall clock time (in seconds):2.135
2.82/2.25	o 84
3.26/2.47	c Got one! Elapsed wall clock time (in seconds):2.361
3.26/2.47	o 83
3.51/2.62	c Got one! Elapsed wall clock time (in seconds):2.504
3.51/2.62	o 81
4.35/3.43	c Got one! Elapsed wall clock time (in seconds):3.321
4.35/3.43	o 80
5.34/4.50	c cleaning 3252 clauses out of 6505 with flag 3000/6505
7.68/6.72	c cleaning 4622 clauses out of 9253 with flag 9000/12505
7.97/7.07	c Got one! Elapsed wall clock time (in seconds):6.953
7.97/7.07	o 73
9.66/8.73	c cleaning 5247 clauses out of 10497 with flag 5000/18371
12.87/11.91	c cleaning 5621 clauses out of 11250 with flag 11000/24371
15.61/14.67	c cleaning 6308 clauses out of 12629 with flag 18000/31371
19.22/18.21	c cleaning 7154 clauses out of 14323 with flag 26002/39373
22.12/21.11	c cleaning 8079 clauses out of 16168 with flag 35001/48372
25.33/24.34	c cleaning 9041 clauses out of 18089 with flag 45001/58372
31.32/30.35	c cleaning 10014 clauses out of 20048 with flag 56001/69372
39.53/38.53	c cleaning 11009 clauses out of 22033 with flag 68000/81371
46.03/45.05	c cleaning 12007 clauses out of 24024 with flag 81000/94371
50.65/49.66	c cleaning 13002 clauses out of 26017 with flag 95000/108371
56.54/55.56	c cleaning 14001 clauses out of 28015 with flag 110000/123371
62.94/62.00	c cleaning 14998 clauses out of 30014 with flag 126000/139371
68.16/67.20	c cleaning 16003 clauses out of 32016 with flag 143000/156371
73.76/72.77	c cleaning 16997 clauses out of 34013 with flag 161000/174371
82.47/81.48	c cleaning 18002 clauses out of 36017 with flag 180001/193372
90.76/89.80	c cleaning 19002 clauses out of 38014 with flag 200000/213371
95.86/94.85	c cleaning 19502 clauses out of 39012 with flag 220000/233371
100.67/99.66	c cleaning 19749 clauses out of 39512 with flag 240002/253373
108.17/107.17	c cleaning 19875 clauses out of 39761 with flag 260000/273371
118.89/117.86	c cleaning 19930 clauses out of 39886 with flag 280000/293371
124.48/123.46	c cleaning 19965 clauses out of 39957 with flag 300001/313372
136.79/135.78	c cleaning 19986 clauses out of 39991 with flag 320000/333371
145.09/144.06	c cleaning 19994 clauses out of 40005 with flag 340000/353371
152.49/151.43	c cleaning 19999 clauses out of 40012 with flag 360001/373372
158.80/157.79	c cleaning 19997 clauses out of 40015 with flag 380003/393374
161.60/160.53	c Got one! Elapsed wall clock time (in seconds):160.415
161.60/160.53	o 72
163.80/162.77	c cleaning 15846 clauses out of 31702 with flag 5001/405058
165.31/164.22	c cleaning 10920 clauses out of 21855 with flag 11000/411057
168.02/166.97	c cleaning 8953 clauses out of 17935 with flag 18000/418057
170.82/169.76	c cleaning 8486 clauses out of 16983 with flag 26001/426058
174.22/173.18	c cleaning 8744 clauses out of 17497 with flag 35001/435058
177.24/176.14	c cleaning 9370 clauses out of 18753 with flag 45001/445058
179.63/178.59	c cleaning 10182 clauses out of 20382 with flag 56000/456057
181.83/180.72	c cleaning 11093 clauses out of 22200 with flag 68000/468057
184.13/183.06	c cleaning 12047 clauses out of 24108 with flag 81001/481058
187.64/186.54	c cleaning 13026 clauses out of 26060 with flag 95000/495057
191.04/189.90	c cleaning 14010 clauses out of 28034 with flag 110000/510057
196.44/195.40	c cleaning 15005 clauses out of 30024 with flag 126000/526057
201.95/200.85	c cleaning 15998 clauses out of 32019 with flag 143000/543057
207.16/206.05	c cleaning 17001 clauses out of 34021 with flag 161000/561057
212.56/211.47	c cleaning 17998 clauses out of 36020 with flag 180000/580057
220.86/219.79	c cleaning 19005 clauses out of 38023 with flag 200001/600058
227.27/226.13	c cleaning 19504 clauses out of 39019 with flag 220002/620059
232.68/231.59	c cleaning 19753 clauses out of 39513 with flag 240000/640057
238.00/236.89	c cleaning 19876 clauses out of 39761 with flag 260001/660058
242.12/240.98	c cleaning 19933 clauses out of 39884 with flag 280000/680057
246.92/245.72	c cleaning 19963 clauses out of 39951 with flag 300000/700057
253.43/252.27	c cleaning 19984 clauses out of 39988 with flag 320000/720057
258.83/257.60	c cleaning 19994 clauses out of 40004 with flag 340000/740057
265.03/263.84	c cleaning 19995 clauses out of 40010 with flag 360000/760057
270.86/269.64	c cleaning 20000 clauses out of 40015 with flag 380000/780057
275.75/274.59	c cleaning 20000 clauses out of 40016 with flag 400001/800058
280.36/279.15	c cleaning 19998 clauses out of 40018 with flag 420003/820060
285.18/283.96	c cleaning 19999 clauses out of 40017 with flag 440000/840057
290.17/288.91	c cleaning 19998 clauses out of 40018 with flag 460000/860057
294.88/293.62	c cleaning 20000 clauses out of 40020 with flag 480000/880057
302.80/301.56	c cleaning 20000 clauses out of 40020 with flag 500000/900057
312.09/310.81	c cleaning 20005 clauses out of 40021 with flag 520001/920058
318.22/316.94	c cleaning 20001 clauses out of 40015 with flag 540000/940057
324.20/322.95	c cleaning 20001 clauses out of 40014 with flag 560000/960057
330.82/329.59	c cleaning 19997 clauses out of 40014 with flag 580001/980058
335.62/334.31	c cleaning 20001 clauses out of 40017 with flag 600001/1000058
341.05/339.78	c cleaning 19999 clauses out of 40015 with flag 620000/1020057
346.36/345.05	c cleaning 19996 clauses out of 40017 with flag 640001/1040058
351.87/350.57	c cleaning 19997 clauses out of 40020 with flag 660000/1060057
357.07/355.75	c cleaning 20003 clauses out of 40024 with flag 680001/1080058
363.08/361.77	c cleaning 19998 clauses out of 40020 with flag 700000/1100057
370.79/369.45	c cleaning 19996 clauses out of 40022 with flag 720000/1120057
376.99/375.64	c cleaning 20001 clauses out of 40026 with flag 740000/1140057
383.12/381.80	c cleaning 20003 clauses out of 40025 with flag 760000/1160057
389.51/388.12	c cleaning 20000 clauses out of 40023 with flag 780001/1180058
394.32/392.94	c cleaning 20003 clauses out of 40023 with flag 800001/1200058
400.62/399.26	c cleaning 20004 clauses out of 40020 with flag 820001/1220058
407.63/406.20	c cleaning 19999 clauses out of 40016 with flag 840001/1240058
414.94/413.60	c cleaning 19997 clauses out of 40016 with flag 860000/1260057
422.05/420.63	c cleaning 20001 clauses out of 40022 with flag 880003/1280060
427.35/425.97	c cleaning 20000 clauses out of 40018 with flag 900000/1300057
432.67/431.30	c cleaning 20000 clauses out of 40018 with flag 920000/1320057
440.26/438.88	c cleaning 20002 clauses out of 40018 with flag 940000/1340057
447.97/446.60	c cleaning 19992 clauses out of 40016 with flag 960000/1360057
454.19/452.71	c cleaning 20000 clauses out of 40024 with flag 980000/1380057
460.80/459.33	c cleaning 19998 clauses out of 40024 with flag 1000000/1400057
466.01/464.57	c cleaning 20006 clauses out of 40027 with flag 1020001/1420058
477.52/476.08	c cleaning 20002 clauses out of 40020 with flag 1040000/1440057
488.72/487.22	c cleaning 20002 clauses out of 40018 with flag 1060000/1460057
495.44/493.97	c cleaning 19995 clauses out of 40016 with flag 1080000/1480057
503.54/502.01	c cleaning 20005 clauses out of 40023 with flag 1100002/1500059
511.75/510.27	c cleaning 20002 clauses out of 40016 with flag 1120000/1520057
517.36/515.86	c cleaning 19997 clauses out of 40015 with flag 1140001/1540058
522.06/520.50	c cleaning 20000 clauses out of 40017 with flag 1160000/1560057
526.47/524.97	c cleaning 20000 clauses out of 40017 with flag 1180000/1580057
531.18/529.61	c cleaning 19997 clauses out of 40018 with flag 1200001/1600058
535.39/533.82	c cleaning 20001 clauses out of 40020 with flag 1220000/1620057
540.79/539.25	c cleaning 20002 clauses out of 40019 with flag 1240000/1640057
545.20/543.60	c cleaning 19999 clauses out of 40018 with flag 1260001/1660058
548.90/547.39	c cleaning 20001 clauses out of 40018 with flag 1280000/1680057
552.51/550.95	c cleaning 20002 clauses out of 40017 with flag 1300000/1700057
556.81/555.23	c cleaning 19998 clauses out of 40016 with flag 1320001/1720058
560.82/559.26	c cleaning 20000 clauses out of 40017 with flag 1340000/1740057
564.73/563.19	c cleaning 20001 clauses out of 40017 with flag 1360000/1760057
570.23/568.62	c cleaning 20002 clauses out of 40017 with flag 1380001/1780058
576.95/575.39	c cleaning 19996 clauses out of 40014 with flag 1400000/1800057
584.05/582.48	c cleaning 19997 clauses out of 40018 with flag 1420000/1820057
589.26/587.64	c cleaning 19998 clauses out of 40022 with flag 1440001/1840058
594.07/592.40	c cleaning 19997 clauses out of 40023 with flag 1460000/1860057
599.27/597.65	c cleaning 20002 clauses out of 40026 with flag 1480000/1880057
603.88/602.21	c cleaning 20003 clauses out of 40025 with flag 1500001/1900058
608.78/607.13	c cleaning 19998 clauses out of 40021 with flag 1520000/1920057
614.18/612.58	c cleaning 20003 clauses out of 40024 with flag 1540001/1940058
618.18/616.53	c cleaning 19997 clauses out of 40021 with flag 1560001/1960058
624.89/623.24	c cleaning 19996 clauses out of 40023 with flag 1580000/1980057
630.80/629.14	c cleaning 20001 clauses out of 40027 with flag 1600000/2000057
639.31/637.64	c cleaning 20008 clauses out of 40028 with flag 1620002/2020059
644.82/643.16	c cleaning 19999 clauses out of 40018 with flag 1640000/2040057
649.74/648.04	c cleaning 19999 clauses out of 40019 with flag 1660000/2060057
655.24/653.54	c cleaning 20005 clauses out of 40020 with flag 1680000/2080057
659.83/658.12	c cleaning 20003 clauses out of 40016 with flag 1700001/2100058
664.44/662.71	c cleaning 19997 clauses out of 40012 with flag 1720000/2120057
670.75/669.03	c cleaning 20003 clauses out of 40016 with flag 1740001/2140058
678.75/677.04	c cleaning 20003 clauses out of 40013 with flag 1760001/2160058
686.46/684.71	c cleaning 19993 clauses out of 40009 with flag 1780000/2180057
693.37/691.61	c cleaning 20001 clauses out of 40017 with flag 1800001/2200058
698.28/696.57	c cleaning 20001 clauses out of 40016 with flag 1820001/2220058
704.48/702.72	c cleaning 19999 clauses out of 40015 with flag 1840001/2240058
708.79/707.01	c cleaning 20000 clauses out of 40015 with flag 1860000/2260057
713.90/712.15	c cleaning 19996 clauses out of 40015 with flag 1880000/2280057
718.90/717.11	c cleaning 20002 clauses out of 40020 with flag 1900001/2300058
726.32/724.58	c cleaning 20000 clauses out of 40018 with flag 1920001/2320058
732.43/730.69	c cleaning 19997 clauses out of 40017 with flag 1940000/2340057
739.43/737.68	c cleaning 19999 clauses out of 40020 with flag 1960000/2360057
746.14/744.33	c cleaning 20002 clauses out of 40022 with flag 1980001/2380058
752.35/750.55	c cleaning 20004 clauses out of 40020 with flag 2000001/2400058
758.66/756.87	c cleaning 20001 clauses out of 40015 with flag 2020000/2420057
764.17/762.36	c cleaning 19999 clauses out of 40014 with flag 2040000/2440057
770.36/768.53	c cleaning 19999 clauses out of 40015 with flag 2060000/2460057
774.98/773.12	c cleaning 19997 clauses out of 40016 with flag 2080000/2480057
779.88/778.01	c cleaning 20002 clauses out of 40019 with flag 2100000/2500057
785.09/783.28	c cleaning 19998 clauses out of 40017 with flag 2120000/2520057
790.38/788.58	c cleaning 20003 clauses out of 40019 with flag 2140000/2540057
795.49/793.63	c cleaning 19997 clauses out of 40016 with flag 2160000/2560057
801.19/799.35	c cleaning 20002 clauses out of 40019 with flag 2180000/2580057
806.50/804.69	c cleaning 20001 clauses out of 40018 with flag 2200001/2600058
812.80/810.96	c cleaning 20001 clauses out of 40018 with flag 2220002/2620059
818.31/816.48	c cleaning 19998 clauses out of 40015 with flag 2240000/2640057
822.52/820.70	c cleaning 20000 clauses out of 40018 with flag 2260001/2660058
828.62/826.79	c cleaning 20002 clauses out of 40018 with flag 2280001/2680058
834.93/833.04	c cleaning 20004 clauses out of 40015 with flag 2300000/2700057
839.65/837.74	c cleaning 19996 clauses out of 40013 with flag 2320002/2720059
844.25/842.39	c cleaning 19999 clauses out of 40017 with flag 2340002/2740059
849.56/847.60	c cleaning 19999 clauses out of 40016 with flag 2360000/2760057
854.06/852.17	c cleaning 19995 clauses out of 40017 with flag 2380000/2780057
860.08/858.14	c cleaning 20002 clauses out of 40022 with flag 2400000/2800057
865.48/863.56	c cleaning 20003 clauses out of 40021 with flag 2420001/2820058
872.09/870.14	c cleaning 20003 clauses out of 40017 with flag 2440000/2840057
877.38/875.41	c cleaning 19998 clauses out of 40014 with flag 2460000/2860057
882.78/880.85	c cleaning 20000 clauses out of 40016 with flag 2480000/2880057
887.99/886.06	c cleaning 19994 clauses out of 40016 with flag 2500000/2900057
893.30/891.39	c cleaning 19996 clauses out of 40022 with flag 2520000/2920057
898.90/896.94	c cleaning 20006 clauses out of 40027 with flag 2540001/2940058
904.21/902.22	c cleaning 20002 clauses out of 40021 with flag 2560001/2960058
910.73/908.77	c cleaning 20000 clauses out of 40018 with flag 2580000/2980057
918.82/916.83	c cleaning 19996 clauses out of 40018 with flag 2600000/3000057
927.43/925.46	c cleaning 20007 clauses out of 40023 with flag 2620001/3020058
934.64/932.65	c cleaning 20003 clauses out of 40015 with flag 2640000/3040057
939.04/937.06	c cleaning 19997 clauses out of 40012 with flag 2660000/3060057
943.67/941.64	c cleaning 20002 clauses out of 40015 with flag 2680000/3080057
950.38/948.33	c cleaning 19993 clauses out of 40013 with flag 2700000/3100057
956.57/954.53	c cleaning 19998 clauses out of 40020 with flag 2720000/3120057
960.78/958.74	c cleaning 20003 clauses out of 40022 with flag 2740000/3140057
965.89/963.81	c cleaning 19999 clauses out of 40020 with flag 2760001/3160058
971.50/969.46	c cleaning 20002 clauses out of 40020 with flag 2780000/3180057
980.21/978.13	c cleaning 20003 clauses out of 40019 with flag 2800001/3200058
985.43/983.34	c cleaning 20001 clauses out of 40017 with flag 2820002/3220059
991.43/989.36	c cleaning 19999 clauses out of 40015 with flag 2840001/3240058
997.14/995.02	c cleaning 19998 clauses out of 40016 with flag 2860001/3260058
1003.75/1001.69	c cleaning 19995 clauses out of 40017 with flag 2880000/3280057
1008.95/1006.86	c cleaning 20002 clauses out of 40023 with flag 2900001/3300058
1014.46/1012.35	c cleaning 20001 clauses out of 40020 with flag 2920000/3320057
1019.68/1017.58	c cleaning 20000 clauses out of 40020 with flag 2940001/3340058
1024.47/1022.32	c cleaning 20001 clauses out of 40020 with flag 2960001/3360058
1029.88/1027.74	c cleaning 19991 clauses out of 40018 with flag 2980000/3380057
1035.48/1033.32	c cleaning 20005 clauses out of 40028 with flag 3000001/3400058
1042.19/1040.08	c cleaning 20001 clauses out of 40023 with flag 3020001/3420058
1048.41/1046.23	c cleaning 20000 clauses out of 40021 with flag 3040000/3440057
1053.91/1051.77	c cleaning 19995 clauses out of 40021 with flag 3060000/3460057
1059.20/1057.00	c cleaning 20001 clauses out of 40026 with flag 3080000/3480057
1064.41/1062.24	c cleaning 19998 clauses out of 40025 with flag 3100000/3500057
1071.54/1069.32	c cleaning 20003 clauses out of 40028 with flag 3120001/3520058
1076.33/1074.17	c cleaning 19998 clauses out of 40024 with flag 3140000/3540057
1080.64/1078.40	c cleaning 20002 clauses out of 40026 with flag 3160000/3560057
1085.05/1082.88	c cleaning 20001 clauses out of 40025 with flag 3180001/3580058
1089.25/1087.07	c cleaning 19997 clauses out of 40025 with flag 3200002/3600059
1094.96/1092.73	c cleaning 20000 clauses out of 40026 with flag 3220000/3620057
1099.66/1097.48	c cleaning 19997 clauses out of 40026 with flag 3240000/3640057
1104.48/1102.29	c cleaning 20005 clauses out of 40030 with flag 3260001/3660058
1109.17/1106.97	c cleaning 20000 clauses out of 40024 with flag 3280000/3680057
1115.68/1113.49	c cleaning 20002 clauses out of 40025 with flag 3300001/3700058
1125.09/1122.88	c cleaning 19998 clauses out of 40022 with flag 3320000/3720057
1133.99/1131.74	c cleaning 20002 clauses out of 40025 with flag 3340001/3740058
1140.81/1138.61	c cleaning 20006 clauses out of 40022 with flag 3360000/3760057
1146.71/1144.42	c cleaning 19999 clauses out of 40016 with flag 3380000/3780057
1153.04/1150.73	c cleaning 19994 clauses out of 40017 with flag 3400000/3800057
1159.34/1157.08	c cleaning 20001 clauses out of 40024 with flag 3420001/3820058
1164.75/1162.43	c cleaning 20001 clauses out of 40023 with flag 3440001/3840058
1170.05/1167.79	c cleaning 19998 clauses out of 40021 with flag 3460000/3860057
1174.56/1172.21	c cleaning 20002 clauses out of 40023 with flag 3480000/3880057
1178.86/1176.54	c cleaning 19999 clauses out of 40022 with flag 3500001/3900058
1185.17/1182.83	c cleaning 19990 clauses out of 40022 with flag 3520000/3920057
1189.67/1187.30	c cleaning 20003 clauses out of 40033 with flag 3540001/3940058
1195.89/1193.54	c cleaning 20000 clauses out of 40032 with flag 3560003/3960060
1202.78/1200.42	c cleaning 20005 clauses out of 40029 with flag 3580000/3980057
1208.28/1205.96	c cleaning 20003 clauses out of 40025 with flag 3600001/4000058
1212.79/1210.45	c cleaning 19996 clauses out of 40021 with flag 3620000/4020057
1217.20/1214.89	c cleaning 20005 clauses out of 40026 with flag 3640001/4040058
1221.22/1218.87	c cleaning 20001 clauses out of 40021 with flag 3660001/4060058
1225.11/1222.78	c cleaning 20001 clauses out of 40020 with flag 3680001/4080058
1229.52/1227.15	c cleaning 19995 clauses out of 40019 with flag 3700001/4100058
1233.62/1231.21	c cleaning 19997 clauses out of 40023 with flag 3720000/4120057
1238.53/1236.12	c cleaning 19998 clauses out of 40026 with flag 3740000/4140057
1242.15/1239.78	c cleaning 20001 clauses out of 40028 with flag 3760000/4160057
1245.94/1243.58	c cleaning 20001 clauses out of 40028 with flag 3780001/4180058
1250.14/1247.72	c cleaning 20002 clauses out of 40027 with flag 3800001/4200058
1254.05/1251.60	c cleaning 20000 clauses out of 40024 with flag 3820000/4220057
1258.05/1255.64	c cleaning 19999 clauses out of 40024 with flag 3840000/4240057
1262.66/1260.29	c cleaning 19999 clauses out of 40025 with flag 3860000/4260057
1266.86/1264.48	c cleaning 20002 clauses out of 40026 with flag 3880000/4280057
1270.56/1268.11	c cleaning 19998 clauses out of 40025 with flag 3900001/4300058
1274.46/1272.07	c cleaning 20001 clauses out of 40026 with flag 3920000/4320057
1279.36/1276.97	c cleaning 20003 clauses out of 40025 with flag 3940000/4340057
1285.47/1283.00	c cleaning 20001 clauses out of 40022 with flag 3960000/4360057
1291.57/1289.11	c cleaning 19998 clauses out of 40021 with flag 3980000/4380057
1296.78/1294.33	c cleaning 19997 clauses out of 40023 with flag 4000000/4400057
1302.98/1300.59	c cleaning 20000 clauses out of 40026 with flag 4020000/4420057
1308.49/1306.09	c cleaning 20002 clauses out of 40026 with flag 4040000/4440057
1313.59/1311.18	c cleaning 20000 clauses out of 40025 with flag 4060001/4460058
1318.50/1316.03	c cleaning 20000 clauses out of 40024 with flag 4080000/4480057
1327.80/1325.34	c cleaning 20008 clauses out of 40025 with flag 4100001/4500058
1335.51/1333.07	c cleaning 19999 clauses out of 40016 with flag 4120000/4520057
1342.02/1339.55	c cleaning 20000 clauses out of 40018 with flag 4140001/4540058
1348.95/1346.46	c cleaning 19999 clauses out of 40017 with flag 4160000/4560057
1355.24/1352.72	c cleaning 20005 clauses out of 40019 with flag 4180001/4580058
1368.45/1365.90	c cleaning 19993 clauses out of 40013 with flag 4200000/4600057
1375.96/1373.42	c cleaning 20003 clauses out of 40020 with flag 4220000/4620057
1380.98/1378.48	c cleaning 20000 clauses out of 40018 with flag 4240001/4640058
1388.77/1386.29	c cleaning 19999 clauses out of 40017 with flag 4260000/4660057
1394.57/1392.03	c cleaning 19998 clauses out of 40018 with flag 4280000/4680057
1400.80/1398.29	c cleaning 20001 clauses out of 40020 with flag 4300000/4700057
1408.89/1406.33	c cleaning 19997 clauses out of 40019 with flag 4320000/4720057
1418.10/1415.59	c cleaning 20004 clauses out of 40022 with flag 4340000/4740057
1424.11/1421.58	c cleaning 19997 clauses out of 40018 with flag 4360000/4760057
1430.61/1428.05	c cleaning 19999 clauses out of 40021 with flag 4380000/4780057
1434.93/1432.35	c cleaning 19999 clauses out of 40022 with flag 4400000/4800057
1439.02/1436.50	c cleaning 20004 clauses out of 40025 with flag 4420002/4820059
1443.23/1440.60	c cleaning 20001 clauses out of 40020 with flag 4440001/4840058
1447.14/1444.59	c cleaning 20000 clauses out of 40019 with flag 4460001/4860058
1451.05/1448.43	c cleaning 19999 clauses out of 40018 with flag 4480000/4880057
1455.15/1452.55	c cleaning 20001 clauses out of 40019 with flag 4500000/4900057
1458.96/1456.32	c cleaning 19999 clauses out of 40019 with flag 4520001/4920058
1462.87/1460.21	c cleaning 20004 clauses out of 40020 with flag 4540001/4940058
1467.17/1464.59	c cleaning 20000 clauses out of 40017 with flag 4560002/4960059
1471.30/1468.64	c cleaning 19996 clauses out of 40016 with flag 4580001/4980058
1475.29/1472.62	c cleaning 19998 clauses out of 40019 with flag 4600000/5000057
1479.50/1476.80	c cleaning 20003 clauses out of 40021 with flag 4620000/5020057
1483.60/1480.92	c cleaning 20000 clauses out of 40018 with flag 4640000/5040057
1488.11/1485.42	c cleaning 20000 clauses out of 40018 with flag 4660000/5060057
1492.72/1490.00	c cleaning 20002 clauses out of 40019 with flag 4680001/5080058
1497.02/1494.39	c cleaning 19994 clauses out of 40016 with flag 4700000/5100057
1501.52/1498.87	c cleaning 19999 clauses out of 40022 with flag 4720000/5120057
1506.13/1503.41	c cleaning 20001 clauses out of 40023 with flag 4740000/5140057
1511.83/1509.19	c cleaning 19999 clauses out of 40022 with flag 4760000/5160057
1517.28/1514.54	c cleaning 20006 clauses out of 40024 with flag 4780001/5180058
1522.89/1520.19	c cleaning 20001 clauses out of 40018 with flag 4800001/5200058
1527.90/1525.11	c cleaning 19995 clauses out of 40016 with flag 4820000/5220057
1532.80/1530.11	c cleaning 19998 clauses out of 40021 with flag 4840000/5240057
1537.90/1535.14	c cleaning 20007 clauses out of 40023 with flag 4860000/5260057
1543.20/1540.44	c cleaning 20005 clauses out of 40017 with flag 4880001/5280058
1548.51/1545.73	c cleaning 19996 clauses out of 40011 with flag 4900000/5300057
1555.32/1552.53	c cleaning 19996 clauses out of 40015 with flag 4920000/5320057
1561.12/1558.35	c cleaning 20001 clauses out of 40019 with flag 4940000/5340057
1566.13/1563.36	c cleaning 20000 clauses out of 40019 with flag 4960001/5360058
1571.83/1569.06	c cleaning 20003 clauses out of 40019 with flag 4980001/5380058
1576.53/1573.76	c cleaning 19998 clauses out of 40015 with flag 5000000/5400057
1581.35/1578.52	c cleaning 19997 clauses out of 40018 with flag 5020001/5420058
1587.24/1584.45	c cleaning 20004 clauses out of 40021 with flag 5040001/5440058
1593.85/1591.08	c cleaning 20001 clauses out of 40017 with flag 5060001/5460058
1600.85/1598.08	c cleaning 20001 clauses out of 40016 with flag 5080001/5480058
1605.36/1602.59	c cleaning 19996 clauses out of 40014 with flag 5100000/5500057
1610.97/1608.10	c cleaning 20002 clauses out of 40018 with flag 5120000/5520057
1616.59/1613.72	c cleaning 20001 clauses out of 40016 with flag 5140000/5540057
1622.79/1619.90	c cleaning 20000 clauses out of 40015 with flag 5160000/5560057
1631.20/1628.34	c cleaning 19999 clauses out of 40016 with flag 5180001/5580058
1636.41/1633.59	c cleaning 19998 clauses out of 40017 with flag 5200001/5600058
1642.40/1639.51	c cleaning 19998 clauses out of 40018 with flag 5220000/5620057
1652.61/1649.75	c cleaning 20004 clauses out of 40021 with flag 5240001/5640058
1659.02/1656.13	c cleaning 20001 clauses out of 40016 with flag 5260000/5660057
1666.92/1664.00	c cleaning 19999 clauses out of 40016 with flag 5280001/5680058
1672.74/1669.87	c cleaning 20002 clauses out of 40016 with flag 5300000/5700057
1679.73/1676.89	c cleaning 19995 clauses out of 40014 with flag 5320000/5720057
1687.43/1684.53	c cleaning 20002 clauses out of 40019 with flag 5340000/5740057
1692.24/1689.30	c cleaning 20002 clauses out of 40017 with flag 5360000/5760057
1700.36/1697.48	c cleaning 19993 clauses out of 40015 with flag 5380000/5780057
1707.25/1704.30	c cleaning 20008 clauses out of 40022 with flag 5400000/5800057
1712.16/1709.26	c cleaning 19993 clauses out of 40014 with flag 5420000/5820057
1716.97/1714.00	c cleaning 20004 clauses out of 40022 with flag 5440001/5840058
1721.37/1718.47	c cleaning 19996 clauses out of 40017 with flag 5460000/5860057
1726.57/1723.63	c cleaning 19999 clauses out of 40021 with flag 5480000/5880057
1732.58/1729.61	c cleaning 20002 clauses out of 40024 with flag 5500002/5900059
1737.98/1735.05	c cleaning 19998 clauses out of 40020 with flag 5520000/5920057
1743.68/1740.79	c cleaning 20004 clauses out of 40023 with flag 5540001/5940058
1747.48/1744.50	c cleaning 20000 clauses out of 40020 with flag 5560002/5960059
1752.19/1749.23	c cleaning 19999 clauses out of 40019 with flag 5580001/5980058
1757.00/1754.02	c cleaning 19992 clauses out of 40019 with flag 5600000/6000057
1761.21/1758.28	c cleaning 20006 clauses out of 40027 with flag 5620000/6020057
1765.42/1762.42	c cleaning 19995 clauses out of 40021 with flag 5640000/6040057
1769.82/1766.85	c cleaning 20002 clauses out of 40026 with flag 5660000/6060057
1774.05/1771.08	c cleaning 20002 clauses out of 40025 with flag 5680001/6080058
1779.34/1776.38	c cleaning 19999 clauses out of 40022 with flag 5700000/6100057
1784.24/1781.23	c cleaning 20001 clauses out of 40024 with flag 5720001/6120058
1789.15/1786.15	c cleaning 19997 clauses out of 40022 with flag 5740000/6140057
1794.55/1791.51	c cleaning 20003 clauses out of 40026 with flag 5760001/6160058
1799.86/1796.84	c cleaning 20001 clauses out of 40023 with flag 5780001/6180058
1800.09/1797.02	c starts		: 284
1800.09/1797.02	c conflicts		: 6180521
1800.09/1797.02	c decisions		: 12345680
1800.09/1797.02	c propagations		: 199195239
1800.09/1797.02	c inspects		: 3341979447
1800.09/1797.02	c shortcuts		: 0
1800.09/1797.02	c learnt literals	: 0
1800.09/1797.02	c learnt binary clauses	: 0
1800.09/1797.02	c learnt ternary clauses	: 0
1800.09/1797.02	c learnt constraints	: 6180521
1800.09/1797.02	c ignored constraints	: 0
1800.09/1797.02	c root simplifications	: 0
1800.09/1797.02	c removed literals (reason simplification)	: 4051723
1800.09/1797.02	c reason swapping (by a shorter reason)	: 0
1800.09/1797.02	c Calls to reduceDB	: 322
1800.09/1797.02	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.02	c number of learned constraints concerned by reduction	: 0
1800.09/1797.02	c number of learning phase by resolution	: 0
1800.09/1797.02	c number of learning phase by cutting planes	: 0
1800.09/1797.02	c speed (assignments/second)	: 121721.0097702951
1800.09/1797.02	c non guided choices	377742
1800.09/1797.03	c learnt constraints type 
1800.09/1797.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 20530
1800.09/1797.03	c constraints type 
1800.09/1797.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19637
1800.09/1797.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1797.03	s SATISFIABLE
1800.09/1797.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 x3119 -x3120 x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 -x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 -x4354 -x4355 -x4356 x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 -x5198 x5199 -x5200 -x5201 -x5202 -x5203 
1800.09/1797.05	c objective function=72
1800.09/1797.05	c Total wall clock time (in seconds): 1796.939

Verifier Data 

OK	72

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 27736
/proc/meminfo: memFree=20693364/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 2365 0 1 0 0 0 0 0 25 0 2 0 826974733 13833195520 2066 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3377245 2078 906 9 0 3368401 0
[pid=27736/tid=27737] ppid=27734 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 2701 0 1 0 0 0 0 0 25 0 2 0 826974734 13850947584 3517 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.109538 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 27736
/proc/meminfo: memFree=20693364/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13621408 CPUtime=0.11 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 15615 0 1 0 9 2 0 0 25 0 18 0 826974733 13948321792 15290 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3405352 15290 2093 9 0 3396086 0
[pid=27736/tid=27737] ppid=27734 vsize=13621408 CPUtime=0.09 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 13691 0 1 0 8 1 0 0 25 0 18 0 826974734 13948321792 15290 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912496211744 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621408

[startup+0.200523 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 27736
/proc/meminfo: memFree=20693364/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13622032 CPUtime=0.27 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 16755 0 1 0 25 2 0 0 25 0 18 0 826974733 13948960768 16362 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3405508 16362 2185 9 0 3396242 0
[pid=27736/tid=27737] ppid=27734 vsize=13622032 CPUtime=0.18 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 14386 0 1 0 16 2 0 0 25 0 18 0 826974734 13948960768 16362 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13622032

[startup+0.31721 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 27736
/proc/meminfo: memFree=20693364/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13628764 CPUtime=0.6 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 22120 0 1 0 57 3 0 0 25 0 18 0 826974733 13955854336 20941 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3407191 20942 2202 9 0 3397925 0
[pid=27736/tid=27737] ppid=27734 vsize=13628764 CPUtime=0.29 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 17387 0 1 0 27 2 0 0 25 0 18 0 826974734 13955854336 20942 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505663579 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13628764

[startup+0.700425 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 27736
/proc/meminfo: memFree=20693364/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13628764 CPUtime=0.99 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 54187 0 1 0 92 7 0 0 25 0 18 0 826974733 13955854336 53008 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3407191 53011 2202 9 0 3397925 0
[pid=27736/tid=27737] ppid=27734 vsize=13628764 CPUtime=0.68 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 49459 0 1 0 62 6 0 0 25 0 18 0 826974734 13955854336 53014 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505602180 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 13628764

[startup+1.50129 s]
/proc/loadavg: 2.00 2.02 2.00 4/472 27754
/proc/meminfo: memFree=20355012/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13628928 CPUtime=1.91 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 114416 0 1 0 176 15 0 0 25 0 18 0 826974733 13956022272 112816 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3407232 112819 2213 9 0 3397966 0
[pid=27736/tid=27737] ppid=27734 vsize=13628928 CPUtime=1.33 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 108604 0 1 0 119 14 0 0 25 0 18 0 826974734 13956022272 112821 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505658433 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27739/stat : 27739 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974736 13956022272 112824 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27740/stat : 27740 (java) S 27734 27736 24782 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 826974736 13956022272 112826 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27741/stat : 27741 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974736 13956022272 112828 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27742/stat : 27742 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974736 13956022272 112831 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27743/stat : 27743 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974736 13956022272 112833 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27744/stat : 27744 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974736 13956022272 112836 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27745/stat : 27745 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974736 13956022272 112838 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27746/stat : 27746 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974736 13956022272 112840 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27747/stat : 27747 (java) S 27734 27736 24782 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826974737 13956022272 112842 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 0 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27748/stat : 27748 (java) S 27734 27736 24782 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826974738 13956022272 112845 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27749/stat : 27749 (java) S 27734 27736 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826974738 13956022272 112847 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27750/stat : 27750 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974740 13956022272 112850 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389125041 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=13628928 CPUtime=0.29 cores=0,2,4,6
/proc/27736/task/27751/stat : 27751 (java) S 27734 27736 24782 0 -1 4202560 2322 0 0 0 29 0 0 0 18 0 18 0 826974740 13956022272 112852 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=13628928 CPUtime=0.26 cores=0,2,4,6
/proc/27736/task/27752/stat : 27752 (java) S 27734 27736 24782 0 -1 4202560 2344 0 0 0 26 0 0 0 15 0 18 0 826974740 13956022272 112854 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27753/stat : 27753 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826974740 13956022272 112857 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=13628928 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27754/stat : 27754 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826974740 13956022272 112857 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 13628928

[startup+3.10096 s]
/proc/loadavg: 2.08 2.04 2.01 4/473 27755
/proc/meminfo: memFree=20066692/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13629956 CPUtime=4.03 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 162999 0 1 0 380 23 0 0 25 0 19 0 826974733 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3407489 160790 2238 9 0 3398223 0
[pid=27736/tid=27737] ppid=27734 vsize=13629956 CPUtime=2.83 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 156457 0 1 0 261 22 0 0 25 0 19 0 826974734 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505989520 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27739/stat : 27739 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974736 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27740/stat : 27740 (java) S 27734 27736 24782 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826974736 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27741/stat : 27741 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974736 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27742/stat : 27742 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974736 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27743/stat : 27743 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974736 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27744/stat : 27744 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974736 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27745/stat : 27745 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974736 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27746/stat : 27746 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974736 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27747/stat : 27747 (java) S 27734 27736 24782 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 826974737 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 0 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27748/stat : 27748 (java) S 27734 27736 24782 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826974738 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27749/stat : 27749 (java) S 27734 27736 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826974738 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27750/stat : 27750 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389125041 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=13629956 CPUtime=0.64 cores=0,2,4,6
/proc/27736/task/27751/stat : 27751 (java) S 27734 27736 24782 0 -1 4202560 2986 0 0 0 64 0 0 0 15 0 19 0 826974740 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=13629956 CPUtime=0.53 cores=0,2,4,6
/proc/27736/task/27752/stat : 27752 (java) S 27734 27736 24782 0 -1 4202560 2393 0 0 0 53 0 0 0 15 0 19 0 826974740 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27753/stat : 27753 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27754/stat : 27754 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826974740 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=13629956 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27755/stat : 27755 (java) S 27734 27736 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826974934 13957074944 160790 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13629956

[startup+6.30137 s]
/proc/loadavg: 2.08 2.04 2.01 3/473 27755
/proc/meminfo: memFree=20023672/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13628720 CPUtime=7.27 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 171108 0 1 0 703 24 0 0 25 0 19 0 826974733 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3407180 168577 2263 9 0 3397914 0
[pid=27736/tid=27737] ppid=27734 vsize=13628720 CPUtime=5.96 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 158048 0 1 0 574 22 0 0 25 0 19 0 826974734 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505989520 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27739/stat : 27739 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826974736 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27740/stat : 27740 (java) S 27734 27736 24782 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826974736 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27741/stat : 27741 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826974736 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27742/stat : 27742 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826974736 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27743/stat : 27743 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826974736 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27744/stat : 27744 (java) S 27734 27736 24782 0 -1 4202560 745 0 0 0 0 0 0 0 18 0 19 0 826974736 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27745/stat : 27745 (java) S 27734 27736 24782 0 -1 4202560 1592 0 0 0 0 0 0 0 18 0 19 0 826974736 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27746/stat : 27746 (java) S 27734 27736 24782 0 -1 4202560 848 0 0 0 0 0 0 0 18 0 19 0 826974736 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=13628720 CPUtime=0.03 cores=0,2,4,6
/proc/27736/task/27747/stat : 27747 (java) S 27734 27736 24782 0 -1 4202560 3325 0 0 0 3 0 0 0 15 0 19 0 826974737 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 0 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27748/stat : 27748 (java) S 27734 27736 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27749/stat : 27749 (java) S 27734 27736 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27750/stat : 27750 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389125041 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=13628720 CPUtime=0.67 cores=0,2,4,6
/proc/27736/task/27751/stat : 27751 (java) S 27734 27736 24782 0 -1 4202560 2991 0 0 0 67 0 0 0 15 0 19 0 826974740 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=13628720 CPUtime=0.56 cores=0,2,4,6
/proc/27736/task/27752/stat : 27752 (java) S 27734 27736 24782 0 -1 4202560 2401 0 0 0 56 0 0 0 15 0 19 0 826974740 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27753/stat : 27753 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 168577 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0

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

[pid=27736/tid=27744] ppid=27734 vsize=13628720 CPUtime=0.36 cores=0,2,4,6
/proc/27736/task/27744/stat : 27744 (java) S 27734 27736 24782 0 -1 4202560 1794 0 0 0 36 0 0 0 15 0 19 0 826974736 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=13628720 CPUtime=0.36 cores=0,2,4,6
/proc/27736/task/27745/stat : 27745 (java) S 27734 27736 24782 0 -1 4202560 2535 0 0 0 36 0 0 0 15 0 19 0 826974736 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=13628720 CPUtime=0.39 cores=0,2,4,6
/proc/27736/task/27746/stat : 27746 (java) S 27734 27736 24782 0 -1 4202560 2408 0 0 0 39 0 0 0 16 0 19 0 826974736 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=13628720 CPUtime=14.72 cores=0,2,4,6
/proc/27736/task/27747/stat : 27747 (java) S 27734 27736 24782 0 -1 4202560 16968 0 0 0 1468 4 0 0 15 0 19 0 826974737 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 0 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27748/stat : 27748 (java) S 27734 27736 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27749/stat : 27749 (java) S 27734 27736 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27750/stat : 27750 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389125041 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=13628720 CPUtime=0.73 cores=0,2,4,6
/proc/27736/task/27751/stat : 27751 (java) S 27734 27736 24782 0 -1 4202560 3939 0 0 0 73 0 0 0 15 0 19 0 826974740 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=13628720 CPUtime=0.57 cores=0,2,4,6
/proc/27736/task/27752/stat : 27752 (java) S 27734 27736 24782 0 -1 4202560 2401 0 0 0 57 0 0 0 16 0 19 0 826974740 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27753/stat : 27753 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27754/stat : 27754 (java) S 27734 27736 24782 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826974740 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27755/stat : 27755 (java) S 27734 27736 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826974934 13955809280 189718 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.27
Current children cumulated vsize (KiB) 13628720

[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/473 27851
/proc/meminfo: memFree=19744692/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13628720 CPUtime=1785.35 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 194179 0 1 0 178504 31 0 0 25 0 19 0 826974733 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3407180 190163 2264 9 0 3397914 0
[pid=27736/tid=27737] ppid=27734 vsize=13628720 CPUtime=1765.39 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 158365 0 1 0 176516 23 0 0 25 0 19 0 826974734 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505989424 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=13628720 CPUtime=0.4 cores=0,2,4,6
/proc/27736/task/27739/stat : 27739 (java) S 27734 27736 24782 0 -1 4202560 1083 0 0 0 40 0 0 0 15 0 19 0 826974736 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=13628720 CPUtime=0.37 cores=0,2,4,6
/proc/27736/task/27740/stat : 27740 (java) S 27734 27736 24782 0 -1 4202560 322 0 0 0 37 0 0 0 16 0 19 0 826974736 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=13628720 CPUtime=0.37 cores=0,2,4,6
/proc/27736/task/27741/stat : 27741 (java) S 27734 27736 24782 0 -1 4202560 1114 0 0 0 37 0 0 0 16 0 19 0 826974736 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=13628720 CPUtime=0.4 cores=0,2,4,6
/proc/27736/task/27742/stat : 27742 (java) S 27734 27736 24782 0 -1 4202560 502 0 0 0 40 0 0 0 15 0 19 0 826974736 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27743/stat : 27743 (java) S 27734 27736 24782 0 -1 4202560 1081 0 0 0 41 0 0 0 16 0 19 0 826974736 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=13628720 CPUtime=0.38 cores=0,2,4,6
/proc/27736/task/27744/stat : 27744 (java) S 27734 27736 24782 0 -1 4202560 1804 0 0 0 38 0 0 0 15 0 19 0 826974736 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=13628720 CPUtime=0.37 cores=0,2,4,6
/proc/27736/task/27745/stat : 27745 (java) S 27734 27736 24782 0 -1 4202560 2539 0 0 0 37 0 0 0 15 0 19 0 826974736 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=13628720 CPUtime=0.4 cores=0,2,4,6
/proc/27736/task/27746/stat : 27746 (java) S 27734 27736 24782 0 -1 4202560 2420 0 0 0 40 0 0 0 15 0 19 0 826974736 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=13628720 CPUtime=15.46 cores=0,2,4,6
/proc/27736/task/27747/stat : 27747 (java) S 27734 27736 24782 0 -1 4202560 17355 0 0 0 1542 4 0 0 15 0 19 0 826974737 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 0 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27748/stat : 27748 (java) S 27734 27736 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27749/stat : 27749 (java) S 27734 27736 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27750/stat : 27750 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389125041 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=13628720 CPUtime=0.73 cores=0,2,4,6
/proc/27736/task/27751/stat : 27751 (java) S 27734 27736 24782 0 -1 4202560 3939 0 0 0 73 0 0 0 15 0 19 0 826974740 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=13628720 CPUtime=0.57 cores=0,2,4,6
/proc/27736/task/27752/stat : 27752 (java) S 27734 27736 24782 0 -1 4202560 2401 0 0 0 57 0 0 0 16 0 19 0 826974740 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27753/stat : 27753 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27754/stat : 27754 (java) S 27734 27736 24782 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826974740 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27755/stat : 27755 (java) S 27734 27736 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826974934 13955809280 190163 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (KiB) 13628720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797 s]
/proc/loadavg: 2.10 2.06 2.01 3/473 27851
/proc/meminfo: memFree=19743936/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13628720 CPUtime=1800.09 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 194206 0 1 0 179978 31 0 0 25 0 19 0 826974733 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3407180 190183 2264 9 0 3397914 0
[pid=27736/tid=27737] ppid=27734 vsize=13628720 CPUtime=1779.91 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 158368 0 1 0 177968 23 0 0 25 0 19 0 826974734 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505989463 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27739/stat : 27739 (java) S 27734 27736 24782 0 -1 4202560 1083 0 0 0 41 0 0 0 16 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=13628720 CPUtime=0.37 cores=0,2,4,6
/proc/27736/task/27740/stat : 27740 (java) S 27734 27736 24782 0 -1 4202560 322 0 0 0 37 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=13628720 CPUtime=0.38 cores=0,2,4,6
/proc/27736/task/27741/stat : 27741 (java) S 27734 27736 24782 0 -1 4202560 1114 0 0 0 38 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27742/stat : 27742 (java) S 27734 27736 24782 0 -1 4202560 513 0 0 0 41 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27743/stat : 27743 (java) S 27734 27736 24782 0 -1 4202560 1081 0 0 0 41 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=13628720 CPUtime=0.38 cores=0,2,4,6
/proc/27736/task/27744/stat : 27744 (java) S 27734 27736 24782 0 -1 4202560 1804 0 0 0 38 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=13628720 CPUtime=0.38 cores=0,2,4,6
/proc/27736/task/27745/stat : 27745 (java) S 27734 27736 24782 0 -1 4202560 2545 0 0 0 38 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27746/stat : 27746 (java) S 27734 27736 24782 0 -1 4202560 2423 0 0 0 41 0 0 0 16 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=13628720 CPUtime=15.64 cores=0,2,4,6
/proc/27736/task/27747/stat : 27747 (java) S 27734 27736 24782 0 -1 4202560 17357 0 0 0 1560 4 0 0 16 0 19 0 826974737 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 0 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27748/stat : 27748 (java) S 27734 27736 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27749/stat : 27749 (java) S 27734 27736 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27750/stat : 27750 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389125041 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=13628720 CPUtime=0.73 cores=0,2,4,6
/proc/27736/task/27751/stat : 27751 (java) S 27734 27736 24782 0 -1 4202560 3939 0 0 0 73 0 0 0 15 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=13628720 CPUtime=0.57 cores=0,2,4,6
/proc/27736/task/27752/stat : 27752 (java) S 27734 27736 24782 0 -1 4202560 2401 0 0 0 57 0 0 0 16 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27753/stat : 27753 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27754/stat : 27754 (java) S 27734 27736 24782 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27755/stat : 27755 (java) S 27734 27736 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826974934 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628720

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1797 s]
/proc/loadavg: 2.10 2.06 2.01 3/473 27851
/proc/meminfo: memFree=19743936/32951124 swapFree=60787360/67111528
[pid=27736] ppid=27734 vsize=13628720 CPUtime=1800.09 cores=0,2,4,6
/proc/27736/stat : 27736 (java) S 27734 27736 24782 0 -1 4202496 194206 0 1 0 179978 31 0 0 25 0 19 0 826974733 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27736/statm: 3407180 190183 2264 9 0 3397914 0
[pid=27736/tid=27737] ppid=27734 vsize=13628720 CPUtime=1779.91 cores=0,2,4,6
/proc/27736/task/27737/stat : 27737 (java) R 27734 27736 24782 0 -1 4202560 158368 0 1 0 177968 23 0 0 25 0 19 0 826974734 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 46912505989463 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27736/tid=27739] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27739/stat : 27739 (java) S 27734 27736 24782 0 -1 4202560 1083 0 0 0 41 0 0 0 16 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27740] ppid=27734 vsize=13628720 CPUtime=0.37 cores=0,2,4,6
/proc/27736/task/27740/stat : 27740 (java) S 27734 27736 24782 0 -1 4202560 322 0 0 0 37 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27741] ppid=27734 vsize=13628720 CPUtime=0.38 cores=0,2,4,6
/proc/27736/task/27741/stat : 27741 (java) S 27734 27736 24782 0 -1 4202560 1114 0 0 0 38 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27742] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27742/stat : 27742 (java) S 27734 27736 24782 0 -1 4202560 513 0 0 0 41 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27743] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27743/stat : 27743 (java) S 27734 27736 24782 0 -1 4202560 1081 0 0 0 41 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27744] ppid=27734 vsize=13628720 CPUtime=0.38 cores=0,2,4,6
/proc/27736/task/27744/stat : 27744 (java) S 27734 27736 24782 0 -1 4202560 1804 0 0 0 38 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27745] ppid=27734 vsize=13628720 CPUtime=0.38 cores=0,2,4,6
/proc/27736/task/27745/stat : 27745 (java) S 27734 27736 24782 0 -1 4202560 2545 0 0 0 38 0 0 0 15 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27746] ppid=27734 vsize=13628720 CPUtime=0.41 cores=0,2,4,6
/proc/27736/task/27746/stat : 27746 (java) S 27734 27736 24782 0 -1 4202560 2423 0 0 0 41 0 0 0 16 0 19 0 826974736 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 0 0 0 0
[pid=27736/tid=27747] ppid=27734 vsize=13628720 CPUtime=15.64 cores=0,2,4,6
/proc/27736/task/27747/stat : 27747 (java) S 27734 27736 24782 0 -1 4202560 17357 0 0 0 1560 4 0 0 16 0 19 0 826974737 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 0 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27748] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27748/stat : 27748 (java) S 27734 27736 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27749] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27749/stat : 27749 (java) S 27734 27736 24782 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826974738 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27750] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27750/stat : 27750 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389125041 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27751] ppid=27734 vsize=13628720 CPUtime=0.73 cores=0,2,4,6
/proc/27736/task/27751/stat : 27751 (java) S 27734 27736 24782 0 -1 4202560 3939 0 0 0 73 0 0 0 15 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
[pid=27736/tid=27752] ppid=27734 vsize=13628720 CPUtime=0.57 cores=0,2,4,6
/proc/27736/task/27752/stat : 27752 (java) S 27734 27736 24782 0 -1 4202560 2401 0 0 0 57 0 0 0 16 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 4 0 0 0
[pid=27736/tid=27753] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27753/stat : 27753 (java) S 27734 27736 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117337 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27754] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27754/stat : 27754 (java) S 27734 27736 24782 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826974740 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 2 0 0 0
[pid=27736/tid=27755] ppid=27734 vsize=13628720 CPUtime=0 cores=0,2,4,6
/proc/27736/task/27755/stat : 27755 (java) S 27734 27736 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826974934 13955809280 190183 33554432000 1073741824 1073778376 140736297008016 18446744073709551615 255389117952 0 4 0 16800975 18446604450677734208 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628720

Child status: 143
Real time (s): 1797.09
CPU time (s): 1800.24
CPU user time (s): 1799.88
CPU system time (s): 0.353946
CPU usage (%): 100.175
Max. virtual memory (cumulated for all children) (KiB): 13629956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.353946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194237
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= 46278
involuntary context switches= 11406

runsolver used 8.5167 second user time and 17.4144 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-04 04:16:09
IDJOB=3459073
IDBENCH=2889
IDSOLVER=1952
FILE ID=node135/3459073-1307153768
RUNJOBID= node135-1307146573-26668
PBS_JOBID= 13508781
Free space on /tmp= 73956 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459073-1307153768/watcher-3459073-1307153768 -o /tmp/evaluation-result-3459073-1307153768/solver-3459073-1307153768 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459073-1307153768.opb

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

MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0
RANDOM SEED=683283280

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20693396 kB
Buffers:        255344 kB
Cached:         557472 kB
SwapCached:       6168 kB
Active:       11524668 kB
Inactive:       474192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20693396 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:           10308 kB
Writeback:           0 kB
AnonPages:    11185164 kB
Mapped:          34136 kB
Slab:           125932 kB
PageTables:      66212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 137822780 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73956 MiB
End job on node135 at 2011-06-04 04:46:08