Trace number 3454533

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 Res//CP 2.3.0SAT (TO)165 1800.42 949.893

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark1797.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
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 constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
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 6139
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c ManyCore solver with 2 solvers running in parallel
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.00/0.11	c No reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3454533-1307188628.opb
0.00/0.11	c reading problem ... 
0.68/0.45	c ... done. Wall clock time 0.345s.
0.68/0.45	c #vars     6139
0.68/0.45	c #constraints  1437
0.68/0.45	c constraints type 
0.68/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437
0.68/0.45	c constraints type 
0.68/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1437
0.88/0.55	c  And the winner is Resolution
1.07/0.98	c SATISFIABLE
1.07/0.98	c OPTIMIZING...
1.07/0.98	c Got one! Elapsed wall clock time (in seconds):0.871
1.07/0.98	o 180
1.14/1.10	c  And the winner is Resolution
1.95/1.52	c Got one! Elapsed wall clock time (in seconds):1.416
1.95/1.52	o 179
2.25/1.61	c  And the winner is Resolution
2.69/2.05	c Got one! Elapsed wall clock time (in seconds):1.945
2.69/2.05	o 171
2.88/2.11	c  And the winner is Resolution
3.27/2.58	c Got one! Elapsed wall clock time (in seconds):2.47
3.27/2.58	o 169
6.93/4.44	c cleaning 2610 clauses out of 5225 with flag 5001/5225
11.75/6.77	c cleaning 4303 clauses out of 8614 with flag 11000/11224
17.19/9.41	c cleaning 5653 clauses out of 11312 with flag 18001/18225
22.70/12.13	c cleaning 6826 clauses out of 13659 with flag 26001/26225
29.69/15.65	c cleaning 7909 clauses out of 15832 with flag 35000/35224
36.90/19.23	c cleaning 8954 clauses out of 17924 with flag 45001/45225
44.91/23.27	c cleaning 9479 clauses out of 18969 with flag 55000/55224
52.46/27.08	c cleaning 9742 clauses out of 19491 with flag 65001/65225
59.85/30.78	c cleaning 9871 clauses out of 19749 with flag 75001/75225
67.24/34.44	c cleaning 9934 clauses out of 19877 with flag 85000/85224
76.04/38.81	c cleaning 9969 clauses out of 19943 with flag 95000/95224
82.04/41.82	c cleaning 9981 clauses out of 19976 with flag 105002/105226
87.35/44.52	c cleaning 9990 clauses out of 19993 with flag 115000/115224
94.73/48.21	c cleaning 9997 clauses out of 20004 with flag 125001/125225
103.91/52.83	c cleaning 9998 clauses out of 20006 with flag 135000/135224
109.04/55.41	c cleaning 9996 clauses out of 20008 with flag 145000/145224
113.98/57.99	c cleaning 9998 clauses out of 20013 with flag 155001/155225
118.94/60.48	c cleaning 9996 clauses out of 20014 with flag 165000/165224
123.90/62.96	c cleaning 10004 clauses out of 20018 with flag 175000/175224
133.43/67.76	c cleaning 10004 clauses out of 20015 with flag 185001/185225
140.56/71.33	c cleaning 9993 clauses out of 20010 with flag 195000/195224
145.91/74.05	c cleaning 10002 clauses out of 20017 with flag 205000/205224
150.66/76.49	c cleaning 10000 clauses out of 20016 with flag 215001/215225
155.81/79.05	c cleaning 9997 clauses out of 20015 with flag 225000/225224
161.73/82.08	c cleaning 9995 clauses out of 20018 with flag 235000/235224
167.47/84.97	c cleaning 10009 clauses out of 20023 with flag 245000/245224
172.42/87.46	c cleaning 9998 clauses out of 20014 with flag 255000/255224
177.99/90.26	c cleaning 10002 clauses out of 20016 with flag 265000/265224
187.90/95.26	c cleaning 9998 clauses out of 20014 with flag 275000/275224
201.85/102.27	c cleaning 10004 clauses out of 20017 with flag 285001/285225
207.79/105.26	c cleaning 9992 clauses out of 20012 with flag 295000/295224
213.34/108.08	c cleaning 10002 clauses out of 20021 with flag 305001/305225
218.43/110.68	c cleaning 10002 clauses out of 20019 with flag 315001/315225
223.79/113.35	c cleaning 9999 clauses out of 20017 with flag 325001/325225
230.11/116.56	c cleaning 10003 clauses out of 20017 with flag 335000/335224
237.09/120.02	c cleaning 9997 clauses out of 20014 with flag 345000/345224
242.73/122.91	c cleaning 10002 clauses out of 20017 with flag 355000/355224
247.90/125.56	c cleaning 10000 clauses out of 20016 with flag 365001/365225
252.98/128.16	c cleaning 10001 clauses out of 20015 with flag 375000/375224
258.10/130.74	c cleaning 9996 clauses out of 20015 with flag 385001/385225
263.57/133.59	c cleaning 10005 clauses out of 20019 with flag 395001/395225
272.69/138.17	c cleaning 9997 clauses out of 20013 with flag 405000/405224
279.61/141.62	c cleaning 10001 clauses out of 20016 with flag 415000/415224
284.32/144.08	c cleaning 10000 clauses out of 20017 with flag 425002/425226
290.18/147.06	c cleaning 9998 clauses out of 20015 with flag 435000/435224
297.88/150.99	c cleaning 10002 clauses out of 20017 with flag 445000/445224
304.38/154.25	c cleaning 10001 clauses out of 20015 with flag 455000/455224
309.68/156.98	c cleaning 10000 clauses out of 20016 with flag 465002/465226
315.33/159.88	c cleaning 9993 clauses out of 20014 with flag 475000/475224
320.23/162.37	c cleaning 10003 clauses out of 20022 with flag 485001/485225
325.55/165.10	c cleaning 9998 clauses out of 20019 with flag 495001/495225
330.42/167.50	c cleaning 10001 clauses out of 20020 with flag 505000/505224
335.27/170.09	c cleaning 10000 clauses out of 20020 with flag 515001/515225
341.16/173.05	c cleaning 10004 clauses out of 20019 with flag 525000/525224
347.30/176.12	c cleaning 10005 clauses out of 20016 with flag 535001/535225
353.36/179.30	c cleaning 9995 clauses out of 20010 with flag 545000/545224
359.79/182.58	c cleaning 10000 clauses out of 20016 with flag 555001/555225
368.10/186.77	c cleaning 9997 clauses out of 20015 with flag 565000/565224
376.59/191.02	c cleaning 9994 clauses out of 20018 with flag 575000/575224
382.88/194.21	c cleaning 9999 clauses out of 20024 with flag 585000/585224
390.72/198.22	c cleaning 10009 clauses out of 20025 with flag 595000/595224
399.26/202.59	c cleaning 10000 clauses out of 20017 with flag 605001/605225
410.32/208.16	c cleaning 10004 clauses out of 20016 with flag 615000/615224
415.41/210.75	c cleaning 9999 clauses out of 20013 with flag 625001/625225
420.43/213.41	c cleaning 9999 clauses out of 20013 with flag 635000/635224
425.17/215.80	c cleaning 10001 clauses out of 20015 with flag 645001/645225
430.21/218.30	c cleaning 10002 clauses out of 20014 with flag 655001/655225
435.11/220.81	c cleaning 10000 clauses out of 20012 with flag 665001/665225
440.21/223.43	c cleaning 10001 clauses out of 20011 with flag 675000/675224
444.87/225.83	c cleaning 9998 clauses out of 20011 with flag 685001/685225
449.56/228.20	c cleaning 10002 clauses out of 20013 with flag 695001/695225
453.83/230.43	c cleaning 9996 clauses out of 20011 with flag 705001/705225
458.21/232.77	c cleaning 9999 clauses out of 20014 with flag 715000/715224
463.28/235.31	c cleaning 10002 clauses out of 20015 with flag 725000/725224
468.94/238.25	c cleaning 10000 clauses out of 20013 with flag 735000/735224
473.99/240.84	c cleaning 9998 clauses out of 20014 with flag 745001/745225
480.81/244.38	c cleaning 9998 clauses out of 20015 with flag 755000/755224
486.43/247.20	c cleaning 10000 clauses out of 20017 with flag 765000/765224
491.09/249.63	c cleaning 10003 clauses out of 20017 with flag 775000/775224
495.78/252.10	c cleaning 9999 clauses out of 20015 with flag 785001/785225
500.71/254.65	c cleaning 9999 clauses out of 20016 with flag 795001/795225
505.56/257.14	c cleaning 10000 clauses out of 20017 with flag 805001/805225
510.43/259.65	c cleaning 10000 clauses out of 20016 with flag 815000/815224
515.26/262.18	c cleaning 9998 clauses out of 20017 with flag 825001/825225
520.23/264.78	c cleaning 10004 clauses out of 20018 with flag 835000/835224
525.08/267.25	c cleaning 9996 clauses out of 20014 with flag 845000/845224
529.77/269.69	c cleaning 9999 clauses out of 20019 with flag 855001/855225
534.58/272.15	c cleaning 10001 clauses out of 20020 with flag 865001/865225
539.35/274.63	c cleaning 10002 clauses out of 20019 with flag 875001/875225
544.20/277.13	c cleaning 10001 clauses out of 20016 with flag 885000/885224
551.85/281.04	c cleaning 10003 clauses out of 20016 with flag 895001/895225
558.10/284.21	c cleaning 10000 clauses out of 20012 with flag 905000/905224
562.87/286.79	c cleaning 9999 clauses out of 20012 with flag 915000/915224
567.72/289.22	c cleaning 10001 clauses out of 20013 with flag 925000/925224
572.41/291.67	c cleaning 9995 clauses out of 20012 with flag 935000/935224
577.22/294.12	c cleaning 10003 clauses out of 20018 with flag 945001/945225
582.39/296.82	c cleaning 9998 clauses out of 20014 with flag 955000/955224
587.44/299.47	c cleaning 10003 clauses out of 20019 with flag 965003/965227
592.89/302.24	c cleaning 9999 clauses out of 20014 with flag 975001/975225
598.14/304.94	c cleaning 9999 clauses out of 20015 with flag 985001/985225
603.51/307.77	c cleaning 9995 clauses out of 20015 with flag 995000/995224
608.96/310.50	c cleaning 10004 clauses out of 20020 with flag 1005000/1005224
614.21/313.23	c cleaning 10004 clauses out of 20016 with flag 1015000/1015224
618.66/315.59	c cleaning 9993 clauses out of 20012 with flag 1025000/1025224
623.63/318.10	c cleaning 10006 clauses out of 20020 with flag 1035001/1035225
628.09/320.42	c cleaning 10000 clauses out of 20013 with flag 1045000/1045224
632.54/322.75	c cleaning 9997 clauses out of 20013 with flag 1055000/1055224
637.19/325.16	c cleaning 10006 clauses out of 20018 with flag 1065002/1065226
641.94/327.65	c cleaning 10000 clauses out of 20010 with flag 1075000/1075224
646.62/330.08	c cleaning 9999 clauses out of 20011 with flag 1085001/1085225
652.24/332.90	c cleaning 9997 clauses out of 20011 with flag 1095000/1095224
657.69/335.72	c cleaning 9995 clauses out of 20014 with flag 1105000/1105224
663.04/338.53	c cleaning 10001 clauses out of 20019 with flag 1115000/1115224
668.28/341.28	c cleaning 9998 clauses out of 20018 with flag 1125000/1125224
673.52/343.94	c cleaning 9996 clauses out of 20021 with flag 1135001/1135225
678.96/346.70	c cleaning 10005 clauses out of 20024 with flag 1145000/1145224
684.09/349.49	c cleaning 10000 clauses out of 20020 with flag 1155001/1155225
689.72/352.31	c cleaning 10003 clauses out of 20020 with flag 1165001/1165225
694.75/354.95	c cleaning 10002 clauses out of 20017 with flag 1175001/1175225
699.80/357.56	c cleaning 10001 clauses out of 20015 with flag 1185001/1185225
704.69/360.10	c cleaning 9996 clauses out of 20013 with flag 1195000/1195224
709.51/362.65	c cleaning 9998 clauses out of 20018 with flag 1205001/1205225
714.55/365.22	c cleaning 10004 clauses out of 20019 with flag 1215000/1215224
719.75/367.98	c cleaning 9998 clauses out of 20015 with flag 1225000/1225224
725.07/370.81	c cleaning 10002 clauses out of 20018 with flag 1235001/1235225
730.45/373.52	c cleaning 9997 clauses out of 20015 with flag 1245000/1245224
735.46/376.10	c cleaning 10003 clauses out of 20019 with flag 1255001/1255225
740.11/378.58	c cleaning 10000 clauses out of 20016 with flag 1265001/1265225
745.15/381.28	c cleaning 9997 clauses out of 20016 with flag 1275001/1275225
750.38/384.00	c cleaning 10000 clauses out of 20018 with flag 1285000/1285224
755.76/386.79	c cleaning 10002 clauses out of 20019 with flag 1295001/1295225
760.97/389.48	c cleaning 9997 clauses out of 20017 with flag 1305001/1305225
766.21/392.29	c cleaning 10001 clauses out of 20019 with flag 1315000/1315224
771.42/394.98	c cleaning 10001 clauses out of 20019 with flag 1325001/1325225
779.19/398.95	c cleaning 10002 clauses out of 20017 with flag 1335000/1335224
788.82/403.88	c cleaning 10000 clauses out of 20015 with flag 1345000/1345224
795.42/407.39	c cleaning 10003 clauses out of 20015 with flag 1355000/1355224
800.20/409.82	c cleaning 10003 clauses out of 20013 with flag 1365001/1365225
805.18/412.51	c cleaning 9996 clauses out of 20010 with flag 1375001/1375225
809.94/414.99	c cleaning 10002 clauses out of 20013 with flag 1385000/1385224
815.17/417.78	c cleaning 10002 clauses out of 20012 with flag 1395001/1395225
820.33/420.47	c cleaning 9998 clauses out of 20010 with flag 1405001/1405225
825.29/423.04	c cleaning 10001 clauses out of 20012 with flag 1415001/1415225
830.05/425.58	c cleaning 9999 clauses out of 20011 with flag 1425001/1425225
835.26/428.31	c cleaning 9995 clauses out of 20011 with flag 1435000/1435224
840.02/430.86	c cleaning 9999 clauses out of 20016 with flag 1445000/1445224
845.00/433.46	c cleaning 10002 clauses out of 20017 with flag 1455000/1455224
849.53/435.86	c cleaning 10001 clauses out of 20015 with flag 1465000/1465224
854.33/438.43	c cleaning 10001 clauses out of 20014 with flag 1475000/1475224
858.88/440.84	c cleaning 9998 clauses out of 20013 with flag 1485000/1485224
863.43/443.25	c cleaning 9998 clauses out of 20015 with flag 1495000/1495224
868.01/445.63	c cleaning 9999 clauses out of 20017 with flag 1505000/1505224
872.56/448.15	c cleaning 10001 clauses out of 20018 with flag 1515000/1515224
877.30/450.63	c cleaning 10001 clauses out of 20017 with flag 1525000/1525224
882.65/453.41	c cleaning 9997 clauses out of 20016 with flag 1535000/1535224
888.19/456.39	c cleaning 10005 clauses out of 20019 with flag 1545000/1545224
893.76/459.33	c cleaning 10001 clauses out of 20014 with flag 1555000/1555224
899.14/462.12	c cleaning 10000 clauses out of 20014 with flag 1565001/1565225
904.43/464.96	c cleaning 10000 clauses out of 20014 with flag 1575001/1575225
909.59/467.67	c cleaning 9998 clauses out of 20013 with flag 1585000/1585224
915.11/470.64	c cleaning 9999 clauses out of 20015 with flag 1595000/1595224
920.44/473.42	c cleaning 9999 clauses out of 20017 with flag 1605001/1605225
925.76/476.29	c cleaning 10001 clauses out of 20017 with flag 1615000/1615224
931.27/479.16	c cleaning 10001 clauses out of 20016 with flag 1625000/1625224
937.43/482.43	c cleaning 10003 clauses out of 20016 with flag 1635001/1635225
943.34/485.53	c cleaning 9994 clauses out of 20013 with flag 1645001/1645225
949.24/488.62	c cleaning 10000 clauses out of 20018 with flag 1655000/1655224
954.57/491.41	c cleaning 10002 clauses out of 20019 with flag 1665001/1665225
960.50/494.60	c cleaning 9994 clauses out of 20017 with flag 1675001/1675225
966.40/497.75	c cleaning 10005 clauses out of 20022 with flag 1685000/1685224
972.30/500.80	c cleaning 10000 clauses out of 20017 with flag 1695000/1695224
977.60/503.63	c cleaning 9994 clauses out of 20017 with flag 1705000/1705224
983.91/507.07	c cleaning 10004 clauses out of 20023 with flag 1715000/1715224
990.19/510.35	c cleaning 9997 clauses out of 20019 with flag 1725000/1725224
995.89/513.36	c cleaning 10001 clauses out of 20022 with flag 1735000/1735224
1000.80/515.94	c cleaning 10004 clauses out of 20021 with flag 1745000/1745224
1004.28/517.93	c  And the winner is CuttingPlanes
1004.28/517.98	c Got one! Elapsed wall clock time (in seconds):517.872
1004.28/517.98	o 165
1007.63/519.63	c cleaning 10558 clauses out of 21126 with flag 5000/1756333
1013.14/522.54	c cleaning 8281 clauses out of 16568 with flag 11000/1762333
1019.19/525.72	c cleaning 7635 clauses out of 15287 with flag 18000/1769333
1025.69/529.21	c cleaning 7822 clauses out of 15652 with flag 26000/1777333
1033.15/533.15	c cleaning 8413 clauses out of 16831 with flag 35001/1786334
1042.21/537.88	c cleaning 9200 clauses out of 18418 with flag 45001/1796334
1050.90/542.36	c cleaning 9604 clauses out of 19217 with flag 55000/1806333
1063.75/548.94	c cleaning 9796 clauses out of 19613 with flag 65000/1816333
1076.39/555.61	c cleaning 9906 clauses out of 19817 with flag 75000/1826333
1087.03/561.04	c cleaning 9948 clauses out of 19911 with flag 85000/1836333
1096.24/565.84	c cleaning 9979 clauses out of 19963 with flag 95000/1846333
1105.46/570.68	c cleaning 9986 clauses out of 19985 with flag 105001/1856334
1111.05/573.73	c cleaning 9994 clauses out of 19998 with flag 115000/1866333
1118.50/577.67	c cleaning 10000 clauses out of 20004 with flag 125000/1876333
1126.90/582.07	c cleaning 9994 clauses out of 20004 with flag 135000/1886333
1132.06/584.88	c cleaning 9997 clauses out of 20010 with flag 145000/1896333
1137.42/587.83	c cleaning 10001 clauses out of 20014 with flag 155001/1906334
1142.61/590.65	c cleaning 10001 clauses out of 20012 with flag 165000/1916333
1148.20/593.68	c cleaning 10001 clauses out of 20012 with flag 175001/1926334
1155.80/597.63	c cleaning 9996 clauses out of 20010 with flag 185000/1936333
1163.61/601.83	c cleaning 9998 clauses out of 20014 with flag 195000/1946333
1168.96/604.75	c cleaning 10003 clauses out of 20016 with flag 205000/1956333
1173.80/607.33	c cleaning 10002 clauses out of 20014 with flag 215001/1966334
1179.35/610.31	c cleaning 9998 clauses out of 20011 with flag 225000/1976333
1184.70/613.31	c cleaning 10002 clauses out of 20013 with flag 235000/1986333
1189.51/615.95	c cleaning 9998 clauses out of 20012 with flag 245001/1996334
1194.89/618.85	c cleaning 9997 clauses out of 20014 with flag 255001/2006334
1201.08/622.14	c cleaning 10004 clauses out of 20016 with flag 265000/2016333
1211.44/627.64	c cleaning 9998 clauses out of 20014 with flag 275002/2026335
1219.22/631.78	c cleaning 10005 clauses out of 20014 with flag 285000/2036333
1224.40/634.52	c cleaning 9997 clauses out of 20010 with flag 295001/2046334
1229.78/637.44	c cleaning 10001 clauses out of 20013 with flag 305001/2056334
1235.92/640.82	c cleaning 9999 clauses out of 20012 with flag 315001/2066334
1241.50/643.86	c cleaning 9994 clauses out of 20012 with flag 325000/2076333
1247.31/646.99	c cleaning 10003 clauses out of 20018 with flag 335000/2086333
1253.26/650.19	c cleaning 9999 clauses out of 20015 with flag 345000/2096333
1258.96/653.36	c cleaning 10005 clauses out of 20017 with flag 355001/2106334
1264.33/656.24	c cleaning 9997 clauses out of 20012 with flag 365001/2116334
1269.32/658.96	c cleaning 9999 clauses out of 20014 with flag 375000/2126333
1274.45/661.73	c cleaning 9996 clauses out of 20015 with flag 385000/2136333
1280.15/664.90	c cleaning 10005 clauses out of 20019 with flag 395000/2146333
1290.12/670.18	c cleaning 9999 clauses out of 20014 with flag 405000/2156333
1300.68/675.66	c cleaning 10002 clauses out of 20016 with flag 415001/2166334
1305.83/678.43	c cleaning 9999 clauses out of 20013 with flag 425000/2176333
1311.34/681.58	c cleaning 9999 clauses out of 20015 with flag 435001/2186334
1316.89/684.57	c cleaning 10000 clauses out of 20016 with flag 445001/2196334
1321.84/687.27	c cleaning 10002 clauses out of 20015 with flag 455000/2206333
1327.18/690.15	c cleaning 9994 clauses out of 20013 with flag 465000/2216333
1333.06/693.47	c cleaning 9997 clauses out of 20019 with flag 475000/2226333
1338.63/696.49	c cleaning 10004 clauses out of 20022 with flag 485000/2236333
1344.33/699.52	c cleaning 10001 clauses out of 20019 with flag 495001/2246334
1350.46/702.89	c cleaning 10000 clauses out of 20018 with flag 505001/2256334
1356.76/706.34	c cleaning 10002 clauses out of 20017 with flag 515000/2266333
1362.46/709.43	c cleaning 10000 clauses out of 20015 with flag 525000/2276333
1367.39/712.16	c cleaning 9999 clauses out of 20016 with flag 535001/2286334
1372.52/714.93	c cleaning 10001 clauses out of 20016 with flag 545000/2296333
1377.96/718.07	c cleaning 10001 clauses out of 20016 with flag 555001/2306334
1383.08/720.84	c cleaning 9993 clauses out of 20014 with flag 565000/2316333
1388.20/723.62	c cleaning 10000 clauses out of 20021 with flag 575000/2326333
1393.31/726.44	c cleaning 10004 clauses out of 20023 with flag 585002/2336335
1401.34/730.81	c cleaning 10004 clauses out of 20017 with flag 595000/2346333
1410.64/735.74	c cleaning 10002 clauses out of 20014 with flag 605001/2356334
1417.73/739.55	c cleaning 9998 clauses out of 20011 with flag 615000/2366333
1422.81/742.37	c cleaning 9996 clauses out of 20013 with flag 625000/2376333
1429.60/746.14	c cleaning 10001 clauses out of 20017 with flag 635000/2386333
1435.88/749.56	c cleaning 10000 clauses out of 20016 with flag 645000/2396333
1441.75/752.73	c cleaning 10000 clauses out of 20017 with flag 655001/2406334
1448.23/756.20	c cleaning 9996 clauses out of 20016 with flag 665000/2416333
1456.23/760.60	c cleaning 10003 clauses out of 20020 with flag 675000/2426333
1461.55/763.58	c cleaning 10000 clauses out of 20018 with flag 685001/2436334
1467.77/766.94	c cleaning 10003 clauses out of 20017 with flag 695000/2446333
1474.25/770.40	c cleaning 9995 clauses out of 20014 with flag 705000/2456333
1480.25/773.82	c cleaning 9999 clauses out of 20019 with flag 715000/2466333
1485.57/776.73	c cleaning 10003 clauses out of 20021 with flag 725001/2476334
1490.80/779.63	c cleaning 10000 clauses out of 20017 with flag 735000/2486333
1495.88/782.44	c cleaning 10002 clauses out of 20018 with flag 745001/2496334
1501.10/785.51	c cleaning 9999 clauses out of 20015 with flag 755000/2506333
1506.34/788.33	c cleaning 10003 clauses out of 20017 with flag 765001/2516334
1511.41/791.16	c cleaning 9998 clauses out of 20013 with flag 775000/2526333
1516.87/794.18	c cleaning 10003 clauses out of 20015 with flag 785000/2536333
1523.87/798.05	c cleaning 10001 clauses out of 20013 with flag 795001/2546334
1530.14/801.49	c cleaning 9998 clauses out of 20011 with flag 805000/2556333
1536.62/804.93	c cleaning 10004 clauses out of 20013 with flag 815000/2566333
1542.68/808.28	c cleaning 9996 clauses out of 20009 with flag 825000/2576333
1549.67/812.10	c cleaning 10001 clauses out of 20015 with flag 835002/2586335
1556.34/815.79	c cleaning 9998 clauses out of 20012 with flag 845000/2596333
1564.60/820.17	c cleaning 10002 clauses out of 20015 with flag 855001/2606334
1574.26/825.21	c cleaning 9997 clauses out of 20013 with flag 865001/2616334
1584.30/830.64	c cleaning 10002 clauses out of 20016 with flag 875001/2626334
1590.15/833.88	c cleaning 10003 clauses out of 20013 with flag 885000/2636333
1598.80/838.48	c cleaning 9999 clauses out of 20011 with flag 895001/2646334
1608.88/843.73	c cleaning 9999 clauses out of 20011 with flag 905000/2656333
1616.26/847.87	c cleaning 10000 clauses out of 20012 with flag 915000/2666333
1621.52/850.70	c cleaning 10006 clauses out of 20013 with flag 925001/2676334
1627.58/854.07	c cleaning 9995 clauses out of 20007 with flag 935001/2686334
1634.05/857.59	c cleaning 9996 clauses out of 20011 with flag 945000/2696333
1640.44/861.17	c cleaning 10001 clauses out of 20015 with flag 955000/2706333
1646.30/864.39	c cleaning 9991 clauses out of 20014 with flag 965000/2716333
1651.57/867.29	c cleaning 10006 clauses out of 20023 with flag 975000/2726333
1657.43/870.44	c cleaning 10001 clauses out of 20017 with flag 985000/2736333
1663.43/873.84	c cleaning 10002 clauses out of 20017 with flag 995001/2746334
1668.93/876.86	c cleaning 10000 clauses out of 20014 with flag 1005000/2756333
1674.36/879.86	c cleaning 9997 clauses out of 20014 with flag 1015000/2766333
1679.82/882.89	c cleaning 10005 clauses out of 20019 with flag 1025002/2776335
1685.61/886.14	c cleaning 9999 clauses out of 20013 with flag 1035001/2786334
1691.48/889.31	c cleaning 9999 clauses out of 20013 with flag 1045000/2796333
1697.35/892.51	c cleaning 9996 clauses out of 20016 with flag 1055002/2806335
1703.41/895.88	c cleaning 9999 clauses out of 20018 with flag 1065000/2816333
1709.60/899.30	c cleaning 10000 clauses out of 20019 with flag 1075000/2826333
1714.85/902.28	c cleaning 10004 clauses out of 20020 with flag 1085001/2836334
1720.31/905.25	c cleaning 9998 clauses out of 20016 with flag 1095001/2846334
1725.38/908.07	c cleaning 10001 clauses out of 20017 with flag 1105000/2856333
1731.17/911.36	c cleaning 10001 clauses out of 20017 with flag 1115001/2866334
1736.25/914.13	c cleaning 9998 clauses out of 20015 with flag 1125000/2876333
1741.30/916.92	c cleaning 10003 clauses out of 20018 with flag 1135001/2886334
1746.19/919.69	c cleaning 9997 clauses out of 20015 with flag 1145001/2896334
1751.73/922.81	c cleaning 10002 clauses out of 20017 with flag 1155000/2906333
1756.79/925.68	c cleaning 10000 clauses out of 20015 with flag 1165000/2916333
1762.24/928.61	c cleaning 10000 clauses out of 20015 with flag 1175000/2926333
1767.71/931.62	c cleaning 10002 clauses out of 20016 with flag 1185001/2936334
1773.73/935.03	c cleaning 10004 clauses out of 20014 with flag 1195001/2946334
1779.18/938.08	c cleaning 9996 clauses out of 20010 with flag 1205001/2956334
1784.84/941.13	c cleaning 9995 clauses out of 20014 with flag 1215001/2966334
1790.50/944.23	c cleaning 9999 clauses out of 20019 with flag 1225001/2976334
1796.29/947.52	c cleaning 10000 clauses out of 20019 with flag 1235000/2986333
1800.17/949.72	c starts		: 15
1800.17/949.72	c conflicts		: 1463
1800.17/949.72	c decisions		: 129994
1800.17/949.72	c propagations		: 670307
1800.17/949.72	c inspects		: 15965260
1800.17/949.72	c shortcuts		: 0
1800.17/949.72	c learnt literals	: 0
1800.17/949.72	c learnt binary clauses	: 0
1800.17/949.72	c learnt ternary clauses	: 0
1800.17/949.72	c learnt constraints	: 1462
1800.17/949.72	c ignored constraints	: 0
1800.17/949.72	c root simplifications	: 0
1800.17/949.72	c removed literals (reason simplification)	: 0
1800.17/949.72	c reason swapping (by a shorter reason)	: 0
1800.17/949.72	c Calls to reduceDB	: 0
1800.17/949.72	c number of reductions to clauses (during analyze)	: 0
1800.17/949.72	c number of learned constraints concerned by reduction	: 0
1800.17/949.72	c number of learning phase by resolution	: 0
1800.17/949.72	c number of learning phase by cutting planes	: 0
1800.17/949.72	c speed (assignments/second)	: 1552.581780111503
1800.17/949.72	c non guided choices	0
1800.17/949.73	c learnt constraints type 
1800.17/949.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 114
1800.17/949.73	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1348
1800.17/949.73	c constraints type 
1800.17/949.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1437
1800.17/949.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.17/949.73	c constraints type 
1800.17/949.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1437
1800.17/949.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.17/949.73	s SATISFIABLE
1800.17/949.74	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 x5204 -x5205 x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 
1800.17/949.74	c objective function=165
1800.17/949.74	c Total wall clock time (in seconds): 949.634

Verifier Data 

OK	165

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-3454533-1307188628/watcher-3454533-1307188628 -o /tmp/evaluation-result-3454533-1307188628/solver-3454533-1307188628 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454533-1307188628.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.89 3.88 3.23 3/551 8897
/proc/meminfo: memFree=14672876/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 3999 0 1 0 0 0 0 0 25 0 2 0 830461425 10694979584 3702 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2611079 3714 917 9 0 2602235 0
[pid=8897/tid=8898] ppid=8895 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) R 8895 8897 4029 0 -1 4202560 7789 0 1 0 0 0 0 0 25 0 2 0 830461425 10694979584 8605 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.113945 s]
/proc/loadavg: 3.89 3.88 3.23 3/551 8897
/proc/meminfo: memFree=14672876/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10539768 CPUtime=0.12 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 13323 0 1 0 11 1 0 0 25 0 18 0 830461425 10792722432 12972 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2634942 12972 2133 9 0 2625676 0
[pid=8897/tid=8898] ppid=8895 vsize=10539768 CPUtime=0.09 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) R 8895 8897 4029 0 -1 4202560 11294 0 1 0 8 1 0 0 18 0 18 0 830461425 10792722432 12972 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 47389108827264 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539768

[startup+0.200519 s]
/proc/loadavg: 3.89 3.88 3.23 3/551 8897
/proc/meminfo: memFree=14672876/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10539924 CPUtime=0.28 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 14442 0 1 0 26 2 0 0 25 0 18 0 830461425 10792882176 13956 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2634981 13956 2184 9 0 2625715 0
[pid=8897/tid=8898] ppid=8895 vsize=10539924 CPUtime=0.18 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) R 8895 8897 4029 0 -1 4202560 11983 0 1 0 17 1 0 0 18 0 18 0 830461425 10792882176 13957 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 46912505553883 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10539924

[startup+0.300467 s]
/proc/loadavg: 3.89 3.88 3.23 3/551 8897
/proc/meminfo: memFree=14672876/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10546028 CPUtime=0.55 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 18914 0 1 0 53 2 0 0 25 0 18 0 830461425 10799132672 17640 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2636507 17644 2201 9 0 2627241 0
[pid=8897/tid=8898] ppid=8895 vsize=10546028 CPUtime=0.29 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) R 8895 8897 4029 0 -1 4202560 14217 0 1 0 27 2 0 0 18 0 18 0 830461425 10799132672 17645 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 46912505553883 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10546028

[startup+0.700454 s]
/proc/loadavg: 3.89 3.88 3.23 3/551 8897
/proc/meminfo: memFree=14672876/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10550140 CPUtime=1.07 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 33024 0 1 0 103 4 0 0 25 0 19 0 830461425 10803343360 31449 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2637535 31449 2220 9 0 2628269 0
[pid=8897/tid=8898] ppid=8895 vsize=10550140 CPUtime=0.44 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) S 8895 8897 4029 0 -1 4202560 27138 0 1 0 41 3 0 0 19 0 19 0 830461425 10803343360 31449 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 10550140

[startup+1.5013 s]
/proc/loadavg: 3.81 3.86 3.23 7/573 8922
/proc/meminfo: memFree=14546104/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10550140 CPUtime=1.95 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 35712 0 1 0 191 4 0 0 25 0 19 0 830461425 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2637535 33357 2227 9 0 2628269 0
[pid=8897/tid=8898] ppid=8895 vsize=10550140 CPUtime=0.48 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) S 8895 8897 4029 0 -1 4202560 27715 0 1 0 45 3 0 0 16 0 19 0 830461425 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8900] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461427 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830461427 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461427 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461427 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8904] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461427 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461427 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8906] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8906/stat : 8906 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461427 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8907] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8907/stat : 8907 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461427 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8908] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8908/stat : 8908 (java) S 8895 8897 4029 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 830461428 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 0 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8909] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8909/stat : 8909 (java) S 8895 8897 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830461428 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8910] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8910/stat : 8910 (java) S 8895 8897 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830461428 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8911] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8911/stat : 8911 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461430 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982373809 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8912] ppid=8895 vsize=10550140 CPUtime=0.36 cores=1,3,5,7
/proc/8897/task/8912/stat : 8912 (java) R 8895 8897 4029 0 -1 4202560 3429 0 0 0 36 0 0 0 17 0 19 0 830461430 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 47389110376080 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8897/tid=8913] ppid=8895 vsize=10550140 CPUtime=0.32 cores=1,3,5,7
/proc/8897/task/8913/stat : 8913 (java) S 8895 8897 4029 0 -1 4202560 2415 0 0 0 32 0 0 0 15 0 19 0 830461430 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8914] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8914/stat : 8914 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830461430 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8915] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8915/stat : 8915 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830461430 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8919] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8919/stat : 8919 (java) S 8895 8897 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 830461474 10803343360 33357 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10550140

[startup+3.10098 s]
/proc/loadavg: 3.81 3.86 3.23 8/571 8928
/proc/meminfo: memFree=14535344/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10550140 CPUtime=4.32 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 39918 0 1 0 427 5 0 0 25 0 22 0 830461425 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2637535 37561 2232 9 0 2628269 0
[pid=8897/tid=8898] ppid=8895 vsize=10550140 CPUtime=0.55 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) S 8895 8897 4029 0 -1 4202560 29368 0 1 0 52 3 0 0 15 0 22 0 830461425 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8900] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461427 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 4029 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830461427 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461427 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461427 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8904] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461427 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461427 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8906] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8906/stat : 8906 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461427 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8907] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8907/stat : 8907 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461427 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8908] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8908/stat : 8908 (java) S 8895 8897 4029 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830461428 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 0 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8909] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8909/stat : 8909 (java) S 8895 8897 4029 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830461428 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8910] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8910/stat : 8910 (java) S 8895 8897 4029 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830461428 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8911] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8911/stat : 8911 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982373809 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8912] ppid=8895 vsize=10550140 CPUtime=0.54 cores=1,3,5,7
/proc/8897/task/8912/stat : 8912 (java) S 8895 8897 4029 0 -1 4202560 3461 0 0 0 54 0 0 0 15 0 22 0 830461430 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8913] ppid=8895 vsize=10550140 CPUtime=0.47 cores=1,3,5,7
/proc/8897/task/8913/stat : 8913 (java) S 8895 8897 4029 0 -1 4202560 2439 0 0 0 47 0 0 0 15 0 22 0 830461430 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8914] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8914/stat : 8914 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8915] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8915/stat : 8915 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830461430 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8919] ppid=8895 vsize=10550140 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8919/stat : 8919 (java) S 8895 8897 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830461474 10803343360 37561 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 10550140

[startup+6.30143 s]
/proc/loadavg: 3.83 3.86 3.24 5/573 8931
/proc/meminfo: memFree=14491324/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10555184 CPUtime=10.84 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 50954 0 1 0 1078 6 0 0 25 0 22 0 830461425 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2638796 45628 2258 9 0 2629530 0
[pid=8897/tid=8898] ppid=8895 vsize=10555184 CPUtime=0.55 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) S 8895 8897 4029 0 -1 4202560 29368 0 1 0 52 3 0 0 15 0 22 0 830461425 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8900] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830461427 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 4029 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830461427 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830461427 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830461427 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8904] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830461427 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 4029 0 -1 4202560 648 0 0 0 0 0 0 0 18 0 22 0 830461427 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8906] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8906/stat : 8906 (java) S 8895 8897 4029 0 -1 4202560 947 0 0 0 0 0 0 0 18 0 22 0 830461427 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8907] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8907/stat : 8907 (java) S 8895 8897 4029 0 -1 4202560 604 0 0 0 0 0 0 0 18 0 22 0 830461427 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8908] ppid=8895 vsize=10555184 CPUtime=0.02 cores=1,3,5,7
/proc/8897/task/8908/stat : 8908 (java) S 8895 8897 4029 0 -1 4202560 2408 0 0 0 2 0 0 0 15 0 22 0 830461428 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 0 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8909] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8909/stat : 8909 (java) S 8895 8897 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830461428 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8910] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8910/stat : 8910 (java) S 8895 8897 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830461428 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8911] ppid=8895 vsize=10555184 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8911/stat : 8911 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982373809 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8912] ppid=8895 vsize=10555184 CPUtime=0.55 cores=1,3,5,7
/proc/8897/task/8912/stat : 8912 (java) S 8895 8897 4029 0 -1 4202560 3468 0 0 0 55 0 0 0 15 0 22 0 830461430 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8913] ppid=8895 vsize=10555184 CPUtime=0.62 cores=1,3,5,7
/proc/8897/task/8913/stat : 8913 (java) S 8895 8897 4029 0 -1 4202560 6675 0 0 0 62 0 0 0 15 0 22 0 830461430 10808508416 45628 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=7484476/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10620720 CPUtime=1678.86 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 960545 0 1 0 167777 109 0 0 25 0 22 0 830461425 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2655180 954631 2259 9 0 2645914 0
[pid=8897/tid=8898] ppid=8895 vsize=10620720 CPUtime=0.58 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) S 8895 8897 4029 0 -1 4202560 29425 0 1 0 55 3 0 0 15 0 22 0 830461425 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8900] ppid=8895 vsize=10620720 CPUtime=0.77 cores=1,3,5,7
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 4029 0 -1 4202560 1084 0 0 0 77 0 0 0 15 0 22 0 830461427 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=10620720 CPUtime=0.89 cores=1,3,5,7
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 4029 0 -1 4202560 2210 0 0 0 89 0 0 0 15 0 22 0 830461427 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=10620720 CPUtime=0.83 cores=1,3,5,7
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 4029 0 -1 4202560 1839 0 0 0 83 0 0 0 15 0 22 0 830461427 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=10620720 CPUtime=0.85 cores=1,3,5,7
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 4029 0 -1 4202560 1591 0 0 0 85 0 0 0 16 0 22 0 830461427 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8904] ppid=8895 vsize=10620720 CPUtime=0.85 cores=1,3,5,7
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 4029 0 -1 4202560 1554 0 0 0 85 0 0 0 16 0 22 0 830461427 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=10620720 CPUtime=0.82 cores=1,3,5,7
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 4029 0 -1 4202560 2062 0 0 0 82 0 0 0 15 0 22 0 830461427 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8906] ppid=8895 vsize=10620720 CPUtime=0.86 cores=1,3,5,7
/proc/8897/task/8906/stat : 8906 (java) S 8895 8897 4029 0 -1 4202560 2104 0 0 0 86 0 0 0 15 0 22 0 830461427 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8907] ppid=8895 vsize=10620720 CPUtime=0.71 cores=1,3,5,7
/proc/8897/task/8907/stat : 8907 (java) S 8895 8897 4029 0 -1 4202560 2475 0 0 0 71 0 0 0 16 0 22 0 830461427 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8908] ppid=8895 vsize=10620720 CPUtime=87.17 cores=1,3,5,7
/proc/8897/task/8908/stat : 8908 (java) S 8895 8897 4029 0 -1 4202560 90974 0 0 0 8705 12 0 0 15 0 22 0 830461428 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 0 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8909] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8909/stat : 8909 (java) S 8895 8897 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830461428 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8910] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8910/stat : 8910 (java) S 8895 8897 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830461428 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8911] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8911/stat : 8911 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982373809 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8912] ppid=8895 vsize=10620720 CPUtime=1.06 cores=1,3,5,7
/proc/8897/task/8912/stat : 8912 (java) S 8895 8897 4029 0 -1 4202560 3699 0 0 0 106 0 0 0 16 0 22 0 830461430 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8913] ppid=8895 vsize=10620720 CPUtime=0.9 cores=1,3,5,7
/proc/8897/task/8913/stat : 8913 (java) S 8895 8897 4029 0 -1 4202560 6717 0 0 0 90 0 0 0 15 0 22 0 830461430 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8914] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8914/stat : 8914 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8915] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8915/stat : 8915 (java) S 8895 8897 4029 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830461430 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8931] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8931/stat : 8931 (java) S 8895 8897 4029 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830461684 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=9013] ppid=8895 vsize=10620720 CPUtime=307.94 cores=1,3,5,7
/proc/8897/task/9013/stat : 9013 (java) R 8895 8897 4029 0 -1 4202560 767 0 0 0 30794 0 0 0 18 0 22 0 830513224 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 46912505823107 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8897/tid=9014] ppid=8895 vsize=10620720 CPUtime=307.96 cores=1,3,5,7
/proc/8897/task/9014/stat : 9014 (java) R 8895 8897 4029 0 -1 4202560 190939 0 0 0 30777 19 0 0 18 0 22 0 830513224 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 46912505742084 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8897/tid=9015] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/9015/stat : 9015 (java) S 8895 8897 4029 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830513224 10875617280 954631 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1678.86
Current children cumulated vsize (KiB) 10620720

[startup+942.301 s]
/proc/loadavg: 3.96 3.94 3.66 4/573 9030
/proc/meminfo: memFree=7389588/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10620720 CPUtime=1786.7 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 962047 0 1 0 178560 110 0 0 25 0 22 0 830461425 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2655180 956105 2259 9 0 2645914 0
[pid=8897/tid=8898] ppid=8895 vsize=10620720 CPUtime=0.58 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) S 8895 8897 4029 0 -1 4202560 29445 0 1 0 55 3 0 0 15 0 22 0 830461425 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8900] ppid=8895 vsize=10620720 CPUtime=0.8 cores=1,3,5,7
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 4029 0 -1 4202560 1084 0 0 0 80 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=10620720 CPUtime=0.96 cores=1,3,5,7
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 4029 0 -1 4202560 2215 0 0 0 96 0 0 0 16 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=10620720 CPUtime=0.88 cores=1,3,5,7
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 4029 0 -1 4202560 1842 0 0 0 88 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=10620720 CPUtime=0.92 cores=1,3,5,7
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 4029 0 -1 4202560 1591 0 0 0 92 0 0 0 16 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8904] ppid=8895 vsize=10620720 CPUtime=0.92 cores=1,3,5,7
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 4029 0 -1 4202560 1554 0 0 0 92 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=10620720 CPUtime=0.9 cores=1,3,5,7
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 4029 0 -1 4202560 2065 0 0 0 90 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8906] ppid=8895 vsize=10620720 CPUtime=0.88 cores=1,3,5,7
/proc/8897/task/8906/stat : 8906 (java) S 8895 8897 4029 0 -1 4202560 2105 0 0 0 88 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8907] ppid=8895 vsize=10620720 CPUtime=0.75 cores=1,3,5,7
/proc/8897/task/8907/stat : 8907 (java) S 8895 8897 4029 0 -1 4202560 2475 0 0 0 75 0 0 0 16 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8908] ppid=8895 vsize=10620720 CPUtime=99.4 cores=1,3,5,7
/proc/8897/task/8908/stat : 8908 (java) S 8895 8897 4029 0 -1 4202560 92440 0 0 0 9928 12 0 0 16 0 22 0 830461428 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 0 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8909] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8909/stat : 8909 (java) S 8895 8897 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830461428 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8910] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8910/stat : 8910 (java) S 8895 8897 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830461428 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8911] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8911/stat : 8911 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982373809 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8912] ppid=8895 vsize=10620720 CPUtime=1.06 cores=1,3,5,7
/proc/8897/task/8912/stat : 8912 (java) S 8895 8897 4029 0 -1 4202560 3699 0 0 0 106 0 0 0 16 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8913] ppid=8895 vsize=10620720 CPUtime=0.9 cores=1,3,5,7
/proc/8897/task/8913/stat : 8913 (java) S 8895 8897 4029 0 -1 4202560 6717 0 0 0 90 0 0 0 15 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8914] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8914/stat : 8914 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8915] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8915/stat : 8915 (java) S 8895 8897 4029 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8931] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8931/stat : 8931 (java) S 8895 8897 4029 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830461684 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=9013] ppid=8895 vsize=10620720 CPUtime=355.52 cores=1,3,5,7
/proc/8897/task/9013/stat : 9013 (java) R 8895 8897 4029 0 -1 4202560 767 0 0 0 35552 0 0 0 16 0 22 0 830513224 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 46912505823089 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8897/tid=9014] ppid=8895 vsize=10620720 CPUtime=355.54 cores=1,3,5,7
/proc/8897/task/9014/stat : 9014 (java) R 8895 8897 4029 0 -1 4202560 190939 0 0 0 35535 19 0 0 16 0 22 0 830513224 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 46912506193197 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8897/tid=9015] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/9015/stat : 9015 (java) S 8895 8897 4029 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830513224 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1786.7
Current children cumulated vsize (KiB) 10620720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+949.701 s]
/proc/loadavg: 3.89 3.92 3.65 5/573 9030
/proc/meminfo: memFree=7354496/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=10620720 CPUtime=1800.17 cores=1,3,5,7
/proc/8897/stat : 8897 (java) S 8895 8897 4029 0 -1 4202496 962049 0 1 0 179907 110 0 0 25 0 22 0 830461425 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 2655180 956105 2259 9 0 2645914 0
[pid=8897/tid=8898] ppid=8895 vsize=10620720 CPUtime=0.58 cores=1,3,5,7
/proc/8897/task/8898/stat : 8898 (java) S 8895 8897 4029 0 -1 4202560 29447 0 1 0 55 3 0 0 15 0 22 0 830461425 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8900] ppid=8895 vsize=10620720 CPUtime=0.81 cores=1,3,5,7
/proc/8897/task/8900/stat : 8900 (java) S 8895 8897 4029 0 -1 4202560 1084 0 0 0 81 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8901] ppid=8895 vsize=10620720 CPUtime=0.96 cores=1,3,5,7
/proc/8897/task/8901/stat : 8901 (java) S 8895 8897 4029 0 -1 4202560 2215 0 0 0 96 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8902] ppid=8895 vsize=10620720 CPUtime=0.89 cores=1,3,5,7
/proc/8897/task/8902/stat : 8902 (java) S 8895 8897 4029 0 -1 4202560 1842 0 0 0 89 0 0 0 16 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8903] ppid=8895 vsize=10620720 CPUtime=0.93 cores=1,3,5,7
/proc/8897/task/8903/stat : 8903 (java) S 8895 8897 4029 0 -1 4202560 1591 0 0 0 93 0 0 0 16 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8904] ppid=8895 vsize=10620720 CPUtime=0.92 cores=1,3,5,7
/proc/8897/task/8904/stat : 8904 (java) S 8895 8897 4029 0 -1 4202560 1554 0 0 0 92 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8905] ppid=8895 vsize=10620720 CPUtime=0.9 cores=1,3,5,7
/proc/8897/task/8905/stat : 8905 (java) S 8895 8897 4029 0 -1 4202560 2065 0 0 0 90 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8906] ppid=8895 vsize=10620720 CPUtime=0.89 cores=1,3,5,7
/proc/8897/task/8906/stat : 8906 (java) S 8895 8897 4029 0 -1 4202560 2105 0 0 0 89 0 0 0 15 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8907] ppid=8895 vsize=10620720 CPUtime=0.77 cores=1,3,5,7
/proc/8897/task/8907/stat : 8907 (java) S 8895 8897 4029 0 -1 4202560 2475 0 0 0 77 0 0 0 16 0 22 0 830461427 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8908] ppid=8895 vsize=10620720 CPUtime=100.76 cores=1,3,5,7
/proc/8897/task/8908/stat : 8908 (java) S 8895 8897 4029 0 -1 4202560 92440 0 0 0 10064 12 0 0 15 0 22 0 830461428 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 0 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8909] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8909/stat : 8909 (java) S 8895 8897 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830461428 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8910] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8910/stat : 8910 (java) S 8895 8897 4029 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830461428 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8911] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8911/stat : 8911 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982373809 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8912] ppid=8895 vsize=10620720 CPUtime=1.06 cores=1,3,5,7
/proc/8897/task/8912/stat : 8912 (java) S 8895 8897 4029 0 -1 4202560 3699 0 0 0 106 0 0 0 16 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=8913] ppid=8895 vsize=10620720 CPUtime=0.9 cores=1,3,5,7
/proc/8897/task/8913/stat : 8913 (java) S 8895 8897 4029 0 -1 4202560 6717 0 0 0 90 0 0 0 15 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
[pid=8897/tid=8914] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8914/stat : 8914 (java) S 8895 8897 4029 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366105 0 4 0 16800975 18446604466742200448 0 0 -1 5 0 0 0
[pid=8897/tid=8915] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8915/stat : 8915 (java) S 8895 8897 4029 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830461430 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 7 0 0 0
[pid=8897/tid=8931] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/8931/stat : 8931 (java) S 8895 8897 4029 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830461684 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 1 0 0 0
[pid=8897/tid=9013] ppid=8895 vsize=10620720 CPUtime=361.56 cores=1,3,5,7
/proc/8897/task/9013/stat : 9013 (java) R 8895 8897 4029 0 -1 4202560 767 0 0 0 36156 0 0 0 19 0 22 0 830513224 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 46912505823094 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8897/tid=9014] ppid=8895 vsize=10620720 CPUtime=361.58 cores=1,3,5,7
/proc/8897/task/9014/stat : 9014 (java) R 8895 8897 4029 0 -1 4202560 190939 0 0 0 36139 19 0 0 19 0 22 0 830513224 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 46912506193087 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8897/tid=9015] ppid=8895 vsize=10620720 CPUtime=0 cores=1,3,5,7
/proc/8897/task/9015/stat : 9015 (java) S 8895 8897 4029 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830513224 10875617280 956105 33554432000 1073741824 1073778376 140734162607552 18446744073709551615 242982366720 0 4 0 16800975 18446604466742200448 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10620720

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

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

[startup+949.826 s]
/proc/loadavg: 3.89 3.92 3.65 5/573 9030
/proc/meminfo: memFree=7354496/32951132 swapFree=46579808/67111528
[pid=8897] ppid=8895 vsize=0 CPUtime=1800.34 cores=1,3,5,7
/proc/8897/stat : 8897 (java) Z 8895 8897 4029 0 -1 4203548 962079 0 1 0 179917 117 0 0 17 0 2 0 830461425 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8897/statm: 0 0 0 0 0 0 0
[pid=8897/tid=9014] ppid=8895 vsize=0 CPUtime=361.69 cores=1,3,5,7
/proc/8897/task/9014/stat : 9014 (java) R 8895 8897 4029 0 -1 4203588 190939 0 0 0 36142 27 0 0 19 0 2 0 830513224 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 949.893
CPU time (s): 1800.42
CPU user time (s): 1799.18
CPU system time (s): 1.24581
CPU usage (%): 189.539
Max. virtual memory (cumulated for all children) (KiB): 10620720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.18
system time used= 1.24581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962079
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= 30732
involuntary context switches= 18899

runsolver used 5.13222 second user time and 12.1522 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-04 13:57:08
IDJOB=3454533
IDBENCH=2042
IDSOLVER=1950
FILE ID=node128/3454533-1307188628
RUNJOBID= node128-1307187611-6702
PBS_JOBID= 13508827
Free space on /tmp= 73920 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454533-1307188628/watcher-3454533-1307188628 -o /tmp/evaluation-result-3454533-1307188628/solver-3454533-1307188628 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454533-1307188628.opb

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=42644497

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      14673032 kB
Buffers:        332128 kB
Cached:        3483528 kB
SwapCached:      35620 kB
Active:        9584164 kB
Inactive:      8377356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      14673032 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:            1600 kB
Writeback:          16 kB
AnonPages:    14119560 kB
Mapped:          26076 kB
Slab:           135152 kB
PageTables:     113404 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 185156012 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73908 MiB
End job on node128 at 2011-06-04 14:13:00