Trace number 3744306

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO) 1800.42 918.015

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_8.opb
MD5SUM4bf433c60343e128a7fab53c33d88c45
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3841241
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 157464000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48028849250
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 157464000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48028849250
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3744306-1338800382.opb
0.07/0.13	c reading problem ... 
1.38/0.64	c ... done. Wall clock time 0.502s.
1.38/0.64	c #vars     5100
1.38/0.64	c #constraints  12610
1.38/0.64	c constraints type 
1.38/0.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1.38/0.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.38/0.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.38/0.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1.38/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
1.38/0.64	c constraints type 
1.38/0.64	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1.38/0.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1.38/0.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.38/0.64	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1.38/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
2.53/0.93	c  And the winner is Resolution
2.99/1.16	c SATISFIABLE
2.99/1.16	c OPTIMIZING...
2.99/1.16	c Got one! Elapsed wall clock time (in seconds):1.021
2.99/1.16	o 3841241
9.06/3.91	c cleaning 2508 clauses out of 5015 with flag 5000/5015
15.42/6.87	c cleaning 4250 clauses out of 8508 with flag 11001/11016
21.60/9.95	c cleaning 5620 clauses out of 11256 with flag 18000/18015
28.96/13.69	c cleaning 6819 clauses out of 13637 with flag 26001/26016
35.77/17.06	c cleaning 7902 clauses out of 15816 with flag 35000/35015
41.34/19.89	c cleaning 8950 clauses out of 17914 with flag 45000/45015
47.96/23.13	c cleaning 9973 clauses out of 19964 with flag 56001/56016
55.11/26.73	c cleaning 10984 clauses out of 21990 with flag 68001/68016
60.95/29.68	c cleaning 11995 clauses out of 24005 with flag 81000/81015
65.69/32.02	c cleaning 12487 clauses out of 25010 with flag 94000/94015
71.05/34.72	c cleaning 12754 clauses out of 25523 with flag 107000/107015
76.00/37.25	c cleaning 12882 clauses out of 25771 with flag 120002/120017
83.93/41.26	c cleaning 12933 clauses out of 25887 with flag 133000/133015
89.89/44.27	c cleaning 12968 clauses out of 25955 with flag 146001/146016
95.63/47.19	c cleaning 12986 clauses out of 25988 with flag 159002/159017
101.99/50.31	c cleaning 12995 clauses out of 26001 with flag 172001/172016
108.93/53.81	c cleaning 12988 clauses out of 26005 with flag 185000/185015
115.25/57.08	c cleaning 13005 clauses out of 26018 with flag 198001/198016
120.58/59.71	c cleaning 12996 clauses out of 26012 with flag 211000/211015
126.12/62.51	c cleaning 13002 clauses out of 26017 with flag 224001/224016
131.42/65.28	c cleaning 13001 clauses out of 26015 with flag 237001/237016
137.36/68.25	c cleaning 12999 clauses out of 26014 with flag 250001/250016
143.69/71.45	c cleaning 13003 clauses out of 26015 with flag 263001/263016
149.60/74.41	c cleaning 12997 clauses out of 26011 with flag 276000/276015
155.31/77.35	c cleaning 12996 clauses out of 26014 with flag 289000/289015
160.83/80.17	c cleaning 13004 clauses out of 26018 with flag 302000/302015
165.75/82.61	c cleaning 12997 clauses out of 26014 with flag 315000/315015
171.28/85.43	c cleaning 13002 clauses out of 26018 with flag 328001/328016
178.76/89.20	c cleaning 13000 clauses out of 26014 with flag 341000/341015
184.47/92.12	c cleaning 13001 clauses out of 26013 with flag 354000/354015
192.99/96.49	c cleaning 13001 clauses out of 26012 with flag 367000/367015
198.91/99.44	c cleaning 12998 clauses out of 26011 with flag 380000/380015
203.40/101.78	c cleaning 13002 clauses out of 26015 with flag 393002/393017
207.91/104.08	c cleaning 12996 clauses out of 26011 with flag 406000/406015
213.43/106.84	c cleaning 13002 clauses out of 26016 with flag 419001/419016
221.55/110.92	c cleaning 12998 clauses out of 26013 with flag 432000/432015
228.24/114.34	c cleaning 12990 clauses out of 26015 with flag 445000/445015
235.94/118.29	c cleaning 13004 clauses out of 26026 with flag 458001/458016
240.84/120.78	c cleaning 13003 clauses out of 26021 with flag 471000/471015
247.16/123.93	c cleaning 12998 clauses out of 26017 with flag 484000/484015
253.81/127.34	c cleaning 12999 clauses out of 26020 with flag 497001/497016
261.32/131.17	c cleaning 12996 clauses out of 26021 with flag 510001/510016
266.43/133.74	c cleaning 12998 clauses out of 26024 with flag 523000/523015
271.75/136.41	c cleaning 13000 clauses out of 26026 with flag 536000/536015
277.80/139.54	c cleaning 13008 clauses out of 26025 with flag 549000/549015
284.11/142.73	c cleaning 12994 clauses out of 26017 with flag 562001/562016
289.22/145.37	c cleaning 13002 clauses out of 26023 with flag 575001/575016
294.51/148.03	c cleaning 12994 clauses out of 26020 with flag 588000/588015
299.95/150.80	c cleaning 13004 clauses out of 26027 with flag 601001/601016
305.26/153.54	c cleaning 12996 clauses out of 26022 with flag 614000/614015
311.16/156.53	c cleaning 13002 clauses out of 26027 with flag 627001/627016
317.45/159.71	c cleaning 12999 clauses out of 26024 with flag 640000/640015
321.90/162.09	c cleaning 13001 clauses out of 26025 with flag 653000/653015
326.80/164.51	c cleaning 13003 clauses out of 26024 with flag 666000/666015
331.91/167.12	c cleaning 12997 clauses out of 26022 with flag 679001/679016
337.18/169.85	c cleaning 12997 clauses out of 26024 with flag 692000/692015
342.43/172.58	c cleaning 13003 clauses out of 26028 with flag 705001/705016
348.71/175.79	c cleaning 13002 clauses out of 26025 with flag 718001/718016
354.39/178.68	c cleaning 12999 clauses out of 26023 with flag 731001/731016
360.09/181.51	c cleaning 13001 clauses out of 26023 with flag 744000/744015
366.53/184.82	c cleaning 12992 clauses out of 26023 with flag 757001/757016
373.03/188.17	c cleaning 12997 clauses out of 26031 with flag 770001/770016
378.93/191.12	c cleaning 13002 clauses out of 26034 with flag 783001/783016
384.42/193.96	c cleaning 13000 clauses out of 26031 with flag 796000/796015
390.06/196.85	c cleaning 12999 clauses out of 26031 with flag 809000/809015
395.13/199.49	c cleaning 13014 clauses out of 26035 with flag 822003/822018
399.82/201.89	c cleaning 12993 clauses out of 26018 with flag 835000/835015
404.12/204.00	c cleaning 13005 clauses out of 26026 with flag 848001/848016
408.34/206.21	c cleaning 13002 clauses out of 26020 with flag 861000/861015
412.65/208.47	c cleaning 13003 clauses out of 26019 with flag 874001/874016
417.13/210.73	c cleaning 12996 clauses out of 26017 with flag 887002/887017
421.40/212.94	c cleaning 13000 clauses out of 26020 with flag 900001/900016
425.82/215.27	c cleaning 12995 clauses out of 26019 with flag 913000/913015
431.89/218.30	c cleaning 13006 clauses out of 26024 with flag 926000/926015
441.39/223.16	c cleaning 12998 clauses out of 26018 with flag 939000/939015
446.48/225.72	c cleaning 13003 clauses out of 26020 with flag 952000/952015
451.29/228.20	c cleaning 12998 clauses out of 26017 with flag 965000/965015
456.16/230.74	c cleaning 12994 clauses out of 26019 with flag 978000/978015
460.63/233.05	c cleaning 12999 clauses out of 26025 with flag 991000/991015
465.32/235.41	c cleaning 13006 clauses out of 26026 with flag 1004000/1004015
470.72/238.29	c cleaning 13003 clauses out of 26020 with flag 1017000/1017015
476.19/241.07	c cleaning 13001 clauses out of 26018 with flag 1030001/1030016
481.66/243.80	c cleaning 13002 clauses out of 26017 with flag 1043001/1043016
489.13/247.65	c cleaning 12986 clauses out of 26014 with flag 1056000/1056015
497.75/252.01	c cleaning 13003 clauses out of 26028 with flag 1069000/1069015
506.05/256.30	c cleaning 12998 clauses out of 26026 with flag 1082001/1082016
514.51/260.60	c cleaning 13001 clauses out of 26027 with flag 1095000/1095015
521.40/264.02	c cleaning 12990 clauses out of 26026 with flag 1108000/1108015
528.60/267.75	c cleaning 13009 clauses out of 26036 with flag 1121000/1121015
534.28/270.68	c cleaning 13007 clauses out of 26027 with flag 1134000/1134015
539.13/273.19	c cleaning 13001 clauses out of 26021 with flag 1147001/1147016
544.01/275.66	c cleaning 13000 clauses out of 26019 with flag 1160000/1160015
549.02/278.20	c cleaning 13004 clauses out of 26020 with flag 1173001/1173016
553.68/280.66	c cleaning 12998 clauses out of 26015 with flag 1186000/1186015
558.35/283.07	c cleaning 13000 clauses out of 26018 with flag 1199001/1199016
563.02/285.44	c cleaning 13002 clauses out of 26017 with flag 1212000/1212015
567.24/287.69	c cleaning 12998 clauses out of 26015 with flag 1225000/1225015
571.71/289.93	c cleaning 12999 clauses out of 26017 with flag 1238000/1238015
576.18/292.22	c cleaning 12997 clauses out of 26019 with flag 1251001/1251016
580.45/294.45	c cleaning 12999 clauses out of 26021 with flag 1264000/1264015
585.26/296.94	c cleaning 13002 clauses out of 26023 with flag 1277001/1277016
590.12/299.40	c cleaning 12999 clauses out of 26020 with flag 1290000/1290015
594.80/301.80	c cleaning 13004 clauses out of 26022 with flag 1303001/1303016
599.07/304.08	c cleaning 12996 clauses out of 26017 with flag 1316000/1316015
603.68/306.46	c cleaning 13002 clauses out of 26021 with flag 1329000/1329015
608.15/308.76	c cleaning 12998 clauses out of 26020 with flag 1342001/1342016
612.62/311.05	c cleaning 13002 clauses out of 26022 with flag 1355001/1355016
618.09/313.84	c cleaning 13000 clauses out of 26019 with flag 1368000/1368015
623.09/316.40	c cleaning 13001 clauses out of 26019 with flag 1381000/1381015
627.76/318.80	c cleaning 12999 clauses out of 26019 with flag 1394001/1394016
633.43/321.77	c cleaning 13000 clauses out of 26020 with flag 1407001/1407016
638.92/324.57	c cleaning 13005 clauses out of 26019 with flag 1420000/1420015
643.72/327.04	c cleaning 12999 clauses out of 26014 with flag 1433000/1433015
648.59/329.52	c cleaning 12997 clauses out of 26015 with flag 1446000/1446015
654.26/332.47	c cleaning 12999 clauses out of 26018 with flag 1459000/1459015
660.15/335.50	c cleaning 12999 clauses out of 26019 with flag 1472000/1472015
666.35/338.65	c cleaning 13002 clauses out of 26020 with flag 1485000/1485015
671.42/341.21	c cleaning 13002 clauses out of 26018 with flag 1498000/1498015
676.09/343.62	c cleaning 13003 clauses out of 26017 with flag 1511001/1511016
680.96/346.11	c cleaning 13000 clauses out of 26014 with flag 1524001/1524016
685.78/348.61	c cleaning 12998 clauses out of 26014 with flag 1537001/1537016
690.44/351.03	c cleaning 13002 clauses out of 26015 with flag 1550000/1550015
695.51/353.64	c cleaning 12998 clauses out of 26013 with flag 1563000/1563015
701.18/356.54	c cleaning 12998 clauses out of 26016 with flag 1576001/1576016
706.99/359.52	c cleaning 12999 clauses out of 26017 with flag 1589000/1589015
713.05/362.64	c cleaning 12992 clauses out of 26018 with flag 1602000/1602015
719.12/365.70	c cleaning 13003 clauses out of 26026 with flag 1615000/1615015
724.98/368.76	c cleaning 13005 clauses out of 26023 with flag 1628000/1628015
731.01/371.89	c cleaning 12995 clauses out of 26019 with flag 1641001/1641016
736.86/374.85	c cleaning 13002 clauses out of 26024 with flag 1654001/1654016
741.13/377.03	c cleaning 12993 clauses out of 26021 with flag 1667000/1667015
745.38/379.27	c cleaning 13002 clauses out of 26030 with flag 1680002/1680017
749.99/381.67	c cleaning 12999 clauses out of 26026 with flag 1693000/1693015
755.05/384.28	c cleaning 13003 clauses out of 26027 with flag 1706000/1706015
759.91/386.74	c cleaning 12994 clauses out of 26025 with flag 1719001/1719016
764.40/389.02	c cleaning 13000 clauses out of 26030 with flag 1732000/1732015
769.01/391.43	c cleaning 12999 clauses out of 26031 with flag 1745001/1745016
773.49/393.73	c cleaning 13001 clauses out of 26032 with flag 1758001/1758016
777.96/396.07	c cleaning 13000 clauses out of 26031 with flag 1771001/1771016
783.01/398.62	c cleaning 12997 clauses out of 26030 with flag 1784000/1784015
788.00/401.21	c cleaning 12995 clauses out of 26034 with flag 1797001/1797016
792.46/403.60	c cleaning 13009 clauses out of 26039 with flag 1810001/1810016
797.53/406.17	c cleaning 13006 clauses out of 26029 with flag 1823000/1823015
804.40/409.64	c cleaning 12999 clauses out of 26023 with flag 1836000/1836015
810.00/412.58	c cleaning 13004 clauses out of 26024 with flag 1849000/1849015
816.27/415.73	c cleaning 12999 clauses out of 26020 with flag 1862000/1862015
820.55/417.98	c cleaning 13000 clauses out of 26021 with flag 1875000/1875015
825.01/420.27	c cleaning 13001 clauses out of 26022 with flag 1888001/1888016
829.22/422.47	c cleaning 12995 clauses out of 26020 with flag 1901000/1901015
833.68/424.76	c cleaning 13008 clauses out of 26025 with flag 1914000/1914015
850.76/433.36	c cleaning 12999 clauses out of 26016 with flag 1927000/1927015
877.81/446.91	c cleaning 12996 clauses out of 26017 with flag 1940000/1940015
904.81/460.58	c cleaning 12996 clauses out of 26022 with flag 1953001/1953016
932.08/474.23	c cleaning 13009 clauses out of 26026 with flag 1966001/1966016
959.56/488.06	c cleaning 12994 clauses out of 26016 with flag 1979000/1979015
987.26/501.91	c cleaning 13003 clauses out of 26022 with flag 1992000/1992015
1014.67/515.77	c cleaning 12993 clauses out of 26021 with flag 2005002/2005017
1042.14/529.52	c cleaning 13000 clauses out of 26026 with flag 2018000/2018015
1069.42/543.27	c cleaning 13004 clauses out of 26026 with flag 2031000/2031015
1096.90/557.08	c cleaning 12994 clauses out of 26022 with flag 2044000/2044015
1124.54/570.98	c cleaning 13003 clauses out of 26028 with flag 2057000/2057015
1152.20/584.84	c cleaning 13009 clauses out of 26026 with flag 2070001/2070016
1180.68/599.16	c cleaning 12993 clauses out of 26017 with flag 2083001/2083016
1209.16/613.50	c cleaning 13000 clauses out of 26024 with flag 2096001/2096016
1237.94/627.92	c cleaning 12998 clauses out of 26023 with flag 2109000/2109015
1267.20/642.60	c cleaning 13003 clauses out of 26025 with flag 2122000/2122015
1294.66/656.43	c cleaning 12999 clauses out of 26022 with flag 2135000/2135015
1313.10/665.77	c cleaning 13008 clauses out of 26024 with flag 2148001/2148016
1322.70/670.68	c cleaning 12997 clauses out of 26015 with flag 2161000/2161015
1327.95/673.35	c cleaning 12999 clauses out of 26018 with flag 2174000/2174015
1332.82/675.83	c cleaning 13005 clauses out of 26020 with flag 2187001/2187016
1337.48/678.24	c cleaning 12998 clauses out of 26014 with flag 2200000/2200015
1342.07/680.66	c cleaning 12989 clauses out of 26017 with flag 2213001/2213016
1346.53/682.97	c cleaning 13002 clauses out of 26028 with flag 2226001/2226016
1351.20/685.39	c cleaning 12998 clauses out of 26026 with flag 2239001/2239016
1355.85/687.70	c cleaning 12998 clauses out of 26028 with flag 2252001/2252016
1360.83/690.39	c cleaning 12995 clauses out of 26029 with flag 2265000/2265015
1365.91/692.90	c cleaning 13005 clauses out of 26034 with flag 2278000/2278015
1371.36/695.76	c cleaning 13004 clauses out of 26029 with flag 2291000/2291015
1376.40/698.31	c cleaning 13005 clauses out of 26025 with flag 2304000/2304015
1381.01/700.71	c cleaning 13001 clauses out of 26020 with flag 2317000/2317015
1386.65/703.64	c cleaning 13007 clauses out of 26020 with flag 2330001/2330016
1391.91/706.39	c cleaning 12990 clauses out of 26013 with flag 2343001/2343016
1396.98/708.90	c cleaning 12999 clauses out of 26023 with flag 2356001/2356016
1401.98/711.51	c cleaning 13001 clauses out of 26024 with flag 2369001/2369016
1406.67/713.96	c cleaning 12998 clauses out of 26023 with flag 2382001/2382016
1411.52/716.40	c cleaning 13001 clauses out of 26024 with flag 2395000/2395015
1416.16/718.89	c cleaning 12999 clauses out of 26024 with flag 2408001/2408016
1421.16/721.43	c cleaning 13001 clauses out of 26024 with flag 2421000/2421015
1426.01/723.92	c cleaning 12998 clauses out of 26023 with flag 2434000/2434015
1430.86/726.49	c cleaning 13004 clauses out of 26026 with flag 2447001/2447016
1436.10/729.18	c cleaning 12998 clauses out of 26021 with flag 2460000/2460015
1441.29/731.88	c cleaning 12999 clauses out of 26024 with flag 2473001/2473016
1446.94/734.77	c cleaning 12991 clauses out of 26025 with flag 2486001/2486016
1452.58/737.69	c cleaning 13009 clauses out of 26034 with flag 2499001/2499016
1458.21/740.50	c cleaning 13000 clauses out of 26025 with flag 2512001/2512016
1462.99/743.03	c cleaning 12998 clauses out of 26025 with flag 2525001/2525016
1468.03/745.60	c cleaning 12997 clauses out of 26026 with flag 2538000/2538015
1472.89/748.17	c cleaning 13007 clauses out of 26029 with flag 2551000/2551015
1477.33/750.49	c cleaning 12993 clauses out of 26022 with flag 2564000/2564015
1482.10/752.97	c cleaning 12994 clauses out of 26030 with flag 2577001/2577016
1487.34/755.65	c cleaning 13012 clauses out of 26036 with flag 2590001/2590016
1492.36/758.24	c cleaning 13006 clauses out of 26024 with flag 2603001/2603016
1497.20/760.77	c cleaning 13001 clauses out of 26018 with flag 2616001/2616016
1502.36/763.43	c cleaning 13002 clauses out of 26017 with flag 2629001/2629016
1507.20/765.92	c cleaning 12998 clauses out of 26015 with flag 2642001/2642016
1512.03/768.49	c cleaning 13001 clauses out of 26017 with flag 2655001/2655016
1517.10/771.09	c cleaning 13000 clauses out of 26016 with flag 2668001/2668016
1522.43/773.83	c cleaning 13000 clauses out of 26016 with flag 2681001/2681016
1527.69/776.58	c cleaning 12996 clauses out of 26015 with flag 2694000/2694015
1533.12/779.35	c cleaning 13002 clauses out of 26020 with flag 2707001/2707016
1538.15/781.99	c cleaning 13003 clauses out of 26017 with flag 2720000/2720015
1543.31/784.67	c cleaning 12998 clauses out of 26014 with flag 2733000/2733015
1548.37/787.24	c cleaning 12998 clauses out of 26017 with flag 2746001/2746016
1553.40/789.81	c cleaning 13002 clauses out of 26019 with flag 2759001/2759016
1558.81/792.64	c cleaning 12998 clauses out of 26016 with flag 2772000/2772015
1564.18/795.48	c cleaning 13001 clauses out of 26019 with flag 2785001/2785016
1569.44/798.14	c cleaning 12999 clauses out of 26018 with flag 2798001/2798016
1574.89/800.93	c cleaning 13003 clauses out of 26018 with flag 2811001/2811016
1579.72/803.47	c cleaning 12997 clauses out of 26014 with flag 2824000/2824015
1584.68/806.09	c cleaning 13000 clauses out of 26017 with flag 2837000/2837015
1589.71/808.65	c cleaning 13002 clauses out of 26017 with flag 2850000/2850015
1594.74/811.25	c cleaning 12998 clauses out of 26015 with flag 2863000/2863015
1600.00/813.92	c cleaning 13002 clauses out of 26018 with flag 2876001/2876016
1604.56/816.32	c cleaning 12999 clauses out of 26016 with flag 2889001/2889016
1608.80/818.58	c cleaning 13000 clauses out of 26016 with flag 2902000/2902015
1613.03/820.77	c cleaning 13002 clauses out of 26017 with flag 2915001/2915016
1617.64/823.17	c cleaning 12996 clauses out of 26014 with flag 2928000/2928015
1622.59/825.71	c cleaning 12997 clauses out of 26019 with flag 2941001/2941016
1627.18/828.18	c cleaning 12998 clauses out of 26022 with flag 2954001/2954016
1632.00/830.65	c cleaning 13001 clauses out of 26023 with flag 2967000/2967015
1636.62/833.04	c cleaning 12999 clauses out of 26023 with flag 2980001/2980016
1641.35/835.54	c cleaning 12998 clauses out of 26023 with flag 2993000/2993015
1645.97/837.96	c cleaning 13001 clauses out of 26025 with flag 3006000/3006015
1650.62/840.40	c cleaning 12998 clauses out of 26024 with flag 3019000/3019015
1655.42/842.81	c cleaning 13000 clauses out of 26027 with flag 3032001/3032016
1660.16/845.31	c cleaning 13002 clauses out of 26027 with flag 3045001/3045016
1664.78/847.72	c cleaning 12997 clauses out of 26024 with flag 3058000/3058015
1669.21/850.07	c cleaning 13002 clauses out of 26028 with flag 3071001/3071016
1673.83/852.45	c cleaning 13001 clauses out of 26026 with flag 3084001/3084016
1678.55/854.93	c cleaning 13000 clauses out of 26025 with flag 3097001/3097016
1683.17/857.31	c cleaning 12997 clauses out of 26024 with flag 3110000/3110015
1687.79/859.76	c cleaning 13002 clauses out of 26027 with flag 3123000/3123015
1692.60/862.24	c cleaning 13002 clauses out of 26025 with flag 3136000/3136015
1699.15/865.65	c cleaning 12998 clauses out of 26023 with flag 3149000/3149015
1704.37/868.31	c cleaning 12999 clauses out of 26025 with flag 3162000/3162015
1711.19/871.81	c cleaning 13003 clauses out of 26027 with flag 3175001/3175016
1716.62/874.68	c cleaning 13001 clauses out of 26023 with flag 3188001/3188016
1722.35/877.68	c cleaning 12996 clauses out of 26022 with flag 3201001/3201016
1728.56/880.87	c cleaning 12999 clauses out of 26025 with flag 3214000/3214015
1734.78/884.06	c cleaning 13001 clauses out of 26026 with flag 3227000/3227015
1746.59/890.03	c cleaning 12999 clauses out of 26025 with flag 3240000/3240015
1756.92/895.38	c cleaning 13000 clauses out of 26026 with flag 3253000/3253015
1762.51/898.29	c cleaning 13002 clauses out of 26026 with flag 3266000/3266015
1767.90/901.03	c cleaning 13004 clauses out of 26025 with flag 3279001/3279016
1772.92/903.68	c cleaning 13001 clauses out of 26021 with flag 3292001/3292016
1778.25/906.42	c cleaning 12996 clauses out of 26020 with flag 3305001/3305016
1783.05/908.90	c cleaning 13005 clauses out of 26024 with flag 3318001/3318016
1787.86/911.40	c cleaning 13001 clauses out of 26018 with flag 3331000/3331015
1794.26/914.76	c cleaning 13001 clauses out of 26017 with flag 3344000/3344015
1799.96/917.73	c cleaning 12995 clauses out of 26016 with flag 3357000/3357015
1800.22/917.96	c starts		: 250
1800.22/917.96	c conflicts		: 3357022
1800.22/917.96	c decisions		: 3889129
1800.22/917.96	c propagations		: 66908654
1800.22/917.96	c inspects		: 833936283
1800.22/917.96	c shortcuts		: 0
1800.22/917.96	c learnt literals	: 12
1800.22/917.96	c learnt binary clauses	: 581
1800.22/917.96	c learnt ternary clauses	: 9300
1800.22/917.96	c learnt constraints	: 3357010
1800.22/917.96	c ignored constraints	: 0
1800.22/917.96	c root simplifications	: 0
1800.22/917.96	c removed literals (reason simplification)	: 257950945
1800.22/917.96	c reason swapping (by a shorter reason)	: 0
1800.22/917.96	c Calls to reduceDB	: 261
1800.22/917.96	c number of reductions to clauses (during analyze)	: 0
1800.22/917.96	c number of learned constraints concerned by reduction	: 0
1800.22/917.96	c number of learning phase by resolution	: 0
1800.22/917.96	c number of learning phase by cutting planes	: 0
1800.22/917.96	c speed (assignments/second)	: 72980.89980660932
1800.22/917.96	c non guided choices	1372
1800.22/917.97	c learnt constraints type 
1800.22/917.97	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 581
1800.22/917.97	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12464
1800.22/917.97	c constraints type 
1800.22/917.97	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.22/917.97	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.22/917.97	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.22/917.97	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.22/917.97	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.22/917.97	c constraints type 
1800.22/917.97	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1800.22/917.97	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1800.22/917.97	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1800.22/917.97	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1800.22/917.97	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376
1800.22/917.97	s SATISFIABLE
1800.22/917.98	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 
1800.22/917.99	c objective function=3841241
1800.22/917.99	c Total wall clock time (in seconds): 917.852

Verifier Data

OK	3841241

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744306-1338800382/watcher-3744306-1338800382 -o /tmp/evaluation-result-3744306-1338800382/solver-3744306-1338800382 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744306-1338800382.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.92 3.90 3.89 4/195 22193
/proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/22193/stat : 22193 (java) R 22191 22193 19330 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 346166663 9515008 183 33554432000 1073741824 1073778376 140735852967424 140735852958456 226329706165 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 2323 183 140 9 0 71 0

[startup+0.048459 s]
/proc/loadavg: 3.92 3.90 3.89 4/195 22193
/proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11120388 CPUtime=0.02 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 4214 0 1 0 1 1 0 0 20 0 11 0 346166663 11387277312 11557 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2780097 11557 1632 9 0 2770798 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11120388

[startup+0.100292 s]
/proc/loadavg: 3.92 3.90 3.89 4/195 22193
/proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 4530 0 1 0 5 2 0 0 20 0 18 0 346166663 11864465408 12382 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2896598 12382 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.30023 s]
/proc/loadavg: 3.92 3.90 3.89 4/195 22193
/proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11586796 CPUtime=0.47 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 6661 0 1 0 45 2 0 0 20 0 18 0 346166663 11864879104 16580 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2896699 16592 2222 9 0 2887386 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11586796

[startup+0.700181 s]
/proc/loadavg: 3.92 3.90 3.89 4/195 22193
/proc/meminfo: memFree=24648888/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11719520 CPUtime=1.73 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 22413 0 1 0 168 5 0 0 20 0 20 0 346166663 12000788480 32346 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2929880 32346 2247 9 0 2920567 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 11719520

[startup+1.50062 s]
/proc/loadavg: 4.01 3.92 3.90 5/214 22215
/proc/meminfo: memFree=24524984/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11852648 CPUtime=4.18 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 29399 0 1 0 409 9 0 0 20 0 22 0 346166663 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2963162 51397 2265 9 0 2953849 0
[pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3482 0 1 0 61 2 0 0 20 0 22 0 346166664 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346166667 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648582339432 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/22193/task/22208/stat : 22208 (java) R 22191 22193 19330 0 -1 4202560 12692 0 0 0 107 2 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648578128184 140648771569119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/22193/task/22209/stat : 22209 (java) R 22191 22193 19330 0 -1 4202560 11879 0 0 0 112 2 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648577075640 140648766922400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22214] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166733 12137111552 51397 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 11852648

[startup+3.10078 s]
/proc/loadavg: 4.01 3.92 3.90 5/217 22218
/proc/meminfo: memFree=24034388/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11852648 CPUtime=7.41 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 29914 0 1 0 715 26 0 0 20 0 22 0 346166663 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2963162 307921 2267 9 0 2953849 0
[pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3482 0 1 0 61 2 0 0 20 0 22 0 346166664 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346166667 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648582339432 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.12 cores=0,2,4,6
/proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12699 0 0 0 110 2 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648578128184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 11883 0 0 0 113 2 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648577075640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22214] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166733 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22216] ppid=22191 vsize=11852648 CPUtime=1.91 cores=0,2,4,6
/proc/22193/task/22216/stat : 22216 (java) R 22191 22193 19330 0 -1 4202560 6 0 0 0 191 0 0 0 20 0 22 0 346166780 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648572861224 140648705750292 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22217] ppid=22191 vsize=11852648 CPUtime=1.9 cores=0,2,4,6
/proc/22193/task/22217/stat : 22217 (java) R 22191 22193 19330 0 -1 4202560 537 0 0 0 173 17 0 0 20 0 22 0 346166780 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648573915152 140648706002232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22218] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22218/stat : 22218 (java) S 22191 22193 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346166780 12137111552 307921 33554432000 1073741824 1073778376 140733557623744 140648570757928 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 11852648

[startup+6.30079 s]
/proc/loadavg: 4.01 3.92 3.90 5/217 22218
/proc/meminfo: memFree=22831284/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11852648 CPUtime=14.38 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 34410 0 1 0 1400 38 0 0 20 0 22 0 346166663 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2963162 454848 2291 9 0 2953849 0
[pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3482 0 1 0 61 2 0 0 20 0 22 0 346166664 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346166666 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 22 0 346166667 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648582339432 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12735 0 0 0 121 2 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648578128184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.65 cores=0,2,4,6
/proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 15991 0 0 0 162 3 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648577075640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 454848 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=22193] ppid=22191 vsize=11852648 CPUtime=1731.37 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 36218 0 1 0 173033 104 0 0 20 0 22 0 346166663 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2963162 908965 2293 9 0 2953849 0
[pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3546 0 1 0 64 3 0 0 20 0 22 0 346166664 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 66 0 0 0 61 3 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 63 0 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 54 0 0 0 64 0 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0.71 cores=0,2,4,6
/proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 72 0 0 0 68 3 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 83 0 0 0 62 2 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 60 0 0 0 59 3 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 78 0 0 0 57 0 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 73 0 0 0 62 2 0 0 20 0 22 0 346166666 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=36.68 cores=0,2,4,6
/proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 152 0 0 0 3662 6 0 0 20 0 22 0 346166667 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648582339432 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12742 0 0 0 138 2 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648578128184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.89 cores=0,2,4,6
/proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 16002 0 0 0 186 3 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648577075640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0.27 cores=0,2,4,6
/proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 51 0 0 0 15 12 0 0 20 0 22 0 346166671 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22214] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166733 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22216] ppid=22191 vsize=11852648 CPUtime=840.28 cores=0,2,4,6
/proc/22193/task/22216/stat : 22216 (java) R 22191 22193 19330 0 -1 4202560 202 0 0 0 84013 15 0 0 20 0 22 0 346166780 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648572862800 140648705444933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22217] ppid=22191 vsize=11852648 CPUtime=840.2 cores=0,2,4,6
/proc/22193/task/22217/stat : 22217 (java) R 22191 22193 19330 0 -1 4202560 1680 0 0 0 83946 74 0 0 20 0 22 0 346166780 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648573913360 140648705942496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22218] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22218/stat : 22218 (java) S 22191 22193 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346166780 12137111552 908965 33554432000 1073741824 1073778376 140733557623744 140648570757928 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1731.37
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+917.801 s]
/proc/loadavg: 3.91 3.85 3.86 4/216 22327
/proc/meminfo: memFree=21222936/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11852648 CPUtime=1800.12 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 36248 0 1 0 179906 106 0 0 20 0 22 0 346166663 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2963162 910514 2293 9 0 2953849 0
[pid=22193/tid=22195] ppid=22191 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3549 0 1 0 64 3 0 0 20 0 22 0 346166664 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22196] ppid=22191 vsize=11852648 CPUtime=0.69 cores=0,2,4,6
/proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 70 0 0 0 66 3 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22197] ppid=22191 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 66 0 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22198] ppid=22191 vsize=11852648 CPUtime=0.69 cores=0,2,4,6
/proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 54 0 0 0 69 0 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22199] ppid=22191 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 74 0 0 0 72 3 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22200] ppid=22191 vsize=11852648 CPUtime=0.68 cores=0,2,4,6
/proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 84 0 0 0 66 2 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22201] ppid=22191 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 63 3 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22202] ppid=22191 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 80 0 0 0 62 0 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22203] ppid=22191 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 73 0 0 0 64 2 0 0 20 0 22 0 346166666 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22204] ppid=22191 vsize=11852648 CPUtime=39.06 cores=0,2,4,6
/proc/22193/task/22204/stat : 22204 (java) R 22191 22193 19330 0 -1 4202560 157 0 0 0 3900 6 0 0 20 0 22 0 346166667 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648582338288 140648767308344 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22205] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22206] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346166668 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22207] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648579181328 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22208] ppid=22191 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12742 0 0 0 138 2 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648578128184 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22209] ppid=22191 vsize=11852648 CPUtime=1.89 cores=0,2,4,6
/proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 16002 0 0 0 186 3 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648577075640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22210] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22211] ppid=22191 vsize=11852648 CPUtime=0.29 cores=0,2,4,6
/proc/22193/task/22211/stat : 22211 (java) S 22191 22193 19330 0 -1 4202560 53 0 0 0 16 13 0 0 20 0 22 0 346166671 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648574970440 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22214] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346166733 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22216] ppid=22191 vsize=11852648 CPUtime=873.19 cores=0,2,4,6
/proc/22193/task/22216/stat : 22216 (java) S 22191 22193 19330 0 -1 4202560 208 0 0 0 87303 16 0 0 20 0 22 0 346166780 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648572862920 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22217] ppid=22191 vsize=11852648 CPUtime=873.12 cores=0,2,4,6
/proc/22193/task/22217/stat : 22217 (java) S 22191 22193 19330 0 -1 4202560 1681 0 0 0 87237 75 0 0 20 0 22 0 346166780 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648573913800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22218] ppid=22191 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22218/stat : 22218 (java) S 22191 22193 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346166780 12137111552 910514 33554432000 1073741824 1073778376 140733557623744 140648570757928 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 11852648

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

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

[startup+918.001 s]
/proc/loadavg: 3.91 3.85 3.86 4/216 22327
/proc/meminfo: memFree=21222936/32873844 swapFree=6088/6088
[pid=22193] ppid=22191 vsize=11985776 CPUtime=1800.42 cores=0,2,4,6
/proc/22193/stat : 22193 (java) S 22191 22193 19330 0 -1 4202496 36283 0 1 0 179933 109 0 0 20 0 23 0 346166663 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140733557614880 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22193/statm: 2996444 911055 2294 9 0 2987131 0
[pid=22193/tid=22195] ppid=22191 vsize=11985776 CPUtime=0.67 cores=0,2,4,6
/proc/22193/task/22195/stat : 22195 (java) S 22191 22193 19330 0 -1 4202560 3549 0 1 0 64 3 0 0 20 0 23 0 346166664 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648765113496 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22196] ppid=22191 vsize=11985776 CPUtime=0.69 cores=0,2,4,6
/proc/22193/task/22196/stat : 22196 (java) S 22191 22193 19330 0 -1 4202560 70 0 0 0 66 3 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648601906088 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22197] ppid=22191 vsize=11985776 CPUtime=0.66 cores=0,2,4,6
/proc/22193/task/22197/stat : 22197 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 66 0 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648600853544 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22198] ppid=22191 vsize=11985776 CPUtime=0.69 cores=0,2,4,6
/proc/22193/task/22198/stat : 22198 (java) S 22191 22193 19330 0 -1 4202560 54 0 0 0 69 0 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648599800488 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22199] ppid=22191 vsize=11985776 CPUtime=0.75 cores=0,2,4,6
/proc/22193/task/22199/stat : 22199 (java) S 22191 22193 19330 0 -1 4202560 74 0 0 0 72 3 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648598747944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22200] ppid=22191 vsize=11985776 CPUtime=0.68 cores=0,2,4,6
/proc/22193/task/22200/stat : 22200 (java) S 22191 22193 19330 0 -1 4202560 84 0 0 0 66 2 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648597694888 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22201] ppid=22191 vsize=11985776 CPUtime=0.66 cores=0,2,4,6
/proc/22193/task/22201/stat : 22201 (java) S 22191 22193 19330 0 -1 4202560 64 0 0 0 63 3 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648596642344 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22202] ppid=22191 vsize=11985776 CPUtime=0.62 cores=0,2,4,6
/proc/22193/task/22202/stat : 22202 (java) S 22191 22193 19330 0 -1 4202560 80 0 0 0 62 0 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648595589288 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22203] ppid=22191 vsize=11985776 CPUtime=0.66 cores=0,2,4,6
/proc/22193/task/22203/stat : 22203 (java) S 22191 22193 19330 0 -1 4202560 73 0 0 0 64 2 0 0 20 0 23 0 346166666 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648594536744 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22204] ppid=22191 vsize=11985776 CPUtime=39.22 cores=0,2,4,6
/proc/22193/task/22204/stat : 22204 (java) S 22191 22193 19330 0 -1 4202560 158 0 0 0 3915 7 0 0 20 0 23 0 346166667 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648582338984 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22193/tid=22205] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22205/stat : 22205 (java) S 22191 22193 19330 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 23 0 346166668 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648581285752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22206] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22206/stat : 22206 (java) S 22191 22193 19330 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 23 0 346166668 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648580232584 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22207] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22207/stat : 22207 (java) S 22191 22193 19330 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 23 0 346166671 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648579179000 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22208] ppid=22191 vsize=11985776 CPUtime=1.41 cores=0,2,4,6
/proc/22193/task/22208/stat : 22208 (java) S 22191 22193 19330 0 -1 4202560 12743 0 0 0 139 2 0 0 20 0 23 0 346166671 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648578114424 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22193/tid=22209] ppid=22191 vsize=11985776 CPUtime=1.9 cores=0,2,4,6
/proc/22193/task/22209/stat : 22209 (java) S 22191 22193 19330 0 -1 4202560 16005 0 0 0 187 3 0 0 20 0 23 0 346166671 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648577075320 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22210] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22210/stat : 22210 (java) S 22191 22193 19330 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 346166671 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648576022776 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22214] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22214/stat : 22214 (java) S 22191 22193 19330 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 23 0 346166733 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648571811112 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22216] ppid=22191 vsize=11985776 CPUtime=873.22 cores=0,2,4,6
/proc/22193/task/22216/stat : 22216 (java) S 22191 22193 19330 0 -1 4202560 208 0 0 0 87306 16 0 0 20 0 23 0 346166780 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648572860936 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22193/tid=22217] ppid=22191 vsize=11985776 CPUtime=873.14 cores=0,2,4,6
/proc/22193/task/22217/stat : 22217 (java) S 22191 22193 19330 0 -1 4202560 1681 0 0 0 87239 75 0 0 20 0 23 0 346166780 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648573913800 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22193/tid=22218] ppid=22191 vsize=11985776 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22218/stat : 22218 (java) S 22191 22193 19330 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 23 0 346166780 12273434624 911055 33554432000 1073741824 1073778376 140733557623744 140648570757928 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (KiB) 11985776

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22193 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=698164
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=513769
# CPU time returned by wait4() is 1796.21
# while last known CPU time is 1800.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 918.015
CPU time (s): 1800.42
CPU user time (s): 1799.33
CPU system time (s): 1.09
CPU usage (%): 196.121
Max. virtual memory (cumulated for all children) (KiB): 11985776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.7
system time used= 1.51377
maximum resident set size= 3644220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36283
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30249
involuntary context switches= 30029

runsolver used 3.33049 second user time and 7.92479 second system time

The end

Launcher Data

Begin job on node110 at 2012-06-04 10:59:42
IDJOB=3744306
IDBENCH=92722
IDSOLVER=2328
FILE ID=node110/3744306-1338800382
RUNJOBID= node110-1338783928-19346
PBS_JOBID= 14636844
Free space on /tmp= 71056 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_8.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744306-1338800382/watcher-3744306-1338800382 -o /tmp/evaluation-result-3744306-1338800382/solver-3744306-1338800382 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744306-1338800382.opb

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

MD5SUM BENCH= 4bf433c60343e128a7fab53c33d88c45
RANDOM SEED=653436861

node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24648888 kB
Buffers:          911176 kB
Cached:          2632028 kB
SwapCached:          604 kB
Active:          5698984 kB
Inactive:        1654672 kB
Active(anon):    3798708 kB
Inactive(anon):    12316 kB
Active(file):    1900276 kB
Inactive(file):  1642356 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:              1056 kB
Writeback:             0 kB
AnonPages:       3832524 kB
Mapped:            19880 kB
Shmem:                40 kB
Slab:             709184 kB
SReclaimable:     150992 kB
SUnreclaim:       558192 kB
KernelStack:        1600 kB
PageTables:        11240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10464756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3766272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71076 MiB
End job on node110 at 2012-06-04 11:15:02