Trace number 3458534

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)38 1800.17 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir05_area_opers.opb
MD5SUMfb30dc68ef00299e3d850b79fb8a2728
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark0.25596
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables6033
Total number of constraints11966
Number of constraints which are clauses11966
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3140
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3140
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458534-1307157433.opb
0.10/0.11	c reading problem ... 
0.74/0.40	c ... done. Wall clock time 0.279s.
0.74/0.40	c #vars     6033
0.74/0.40	c #constraints  11966
0.74/0.40	c constraints type 
0.74/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2914
0.74/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9048
1.02/0.53	c SATISFIABLE
1.02/0.53	c OPTIMIZING...
1.02/0.53	c Got one! Elapsed wall clock time (in seconds):0.414
1.02/0.53	o 45
1.02/0.60	c Got one! Elapsed wall clock time (in seconds):0.483
1.02/0.60	o 44
1.73/0.83	c Got one! Elapsed wall clock time (in seconds):0.711
1.73/0.83	o 42
2.16/1.24	c Got one! Elapsed wall clock time (in seconds):1.133
2.16/1.25	o 41
2.28/1.34	c Got one! Elapsed wall clock time (in seconds):1.227
2.28/1.34	o 40
3.83/2.87	c Got one! Elapsed wall clock time (in seconds):2.759
3.83/2.87	o 39
4.14/3.19	c cleaning 3164 clauses out of 6331 with flag 1001/6331
7.53/6.45	c cleaning 4561 clauses out of 9166 with flag 7000/12330
10.74/9.65	c cleaning 5798 clauses out of 11607 with flag 14002/19332
13.74/12.63	c cleaning 6900 clauses out of 13809 with flag 22002/27332
17.98/16.83	c cleaning 7949 clauses out of 15907 with flag 31000/36330
21.49/20.36	c Got one! Elapsed wall clock time (in seconds):20.249
21.49/20.36	o 38
22.69/21.51	c cleaning 10234 clauses out of 20480 with flag 5002/48852
25.49/24.36	c cleaning 8118 clauses out of 16244 with flag 11000/54850
29.39/28.28	c cleaning 7552 clauses out of 15126 with flag 18000/61850
33.00/31.89	c cleaning 7783 clauses out of 15575 with flag 26001/69851
37.89/36.72	c cleaning 8390 clauses out of 16791 with flag 35000/78850
43.09/41.97	c cleaning 9194 clauses out of 18401 with flag 45000/88850
48.90/47.79	c cleaning 10095 clauses out of 20207 with flag 56000/99850
53.40/52.20	c cleaning 11050 clauses out of 22112 with flag 68000/111850
59.00/57.86	c cleaning 11520 clauses out of 23062 with flag 80000/123850
64.61/63.49	c cleaning 11759 clauses out of 23542 with flag 92000/135850
69.32/68.21	c cleaning 11885 clauses out of 23785 with flag 104002/147852
74.41/73.26	c cleaning 11943 clauses out of 23898 with flag 116000/159850
80.51/79.35	c cleaning 11971 clauses out of 23956 with flag 128001/171851
86.41/85.22	c cleaning 11989 clauses out of 23984 with flag 140000/183850
90.12/88.94	c cleaning 11988 clauses out of 23995 with flag 152000/195850
96.22/95.07	c cleaning 11998 clauses out of 24007 with flag 164000/207850
101.52/100.34	c cleaning 11998 clauses out of 24009 with flag 176000/219850
106.92/105.72	c cleaning 12002 clauses out of 24011 with flag 188000/231850
111.93/110.70	c cleaning 11994 clauses out of 24009 with flag 200000/243850
116.75/115.54	c cleaning 12003 clauses out of 24016 with flag 212001/255851
121.73/120.51	c cleaning 12002 clauses out of 24012 with flag 224000/267850
126.54/125.41	c cleaning 12000 clauses out of 24011 with flag 236001/279851
130.74/129.58	c cleaning 11999 clauses out of 24011 with flag 248001/291851
136.05/134.82	c cleaning 11992 clauses out of 24011 with flag 260000/303850
142.95/141.78	c cleaning 12001 clauses out of 24020 with flag 272001/315851
146.95/145.74	c cleaning 12004 clauses out of 24018 with flag 284000/327850
150.15/148.93	c cleaning 12000 clauses out of 24014 with flag 296000/339850
154.46/153.23	c cleaning 12004 clauses out of 24017 with flag 308003/351853
160.67/159.48	c cleaning 11993 clauses out of 24010 with flag 320000/363850
165.86/164.65	c cleaning 12000 clauses out of 24017 with flag 332000/375850
171.16/169.96	c cleaning 12001 clauses out of 24017 with flag 344000/387850
178.66/177.49	c cleaning 11995 clauses out of 24016 with flag 356000/399850
183.88/182.69	c cleaning 12004 clauses out of 24021 with flag 368000/411850
188.76/187.51	c cleaning 12001 clauses out of 24018 with flag 380001/423851
192.86/191.63	c cleaning 12006 clauses out of 24017 with flag 392001/435851
198.46/197.21	c cleaning 11998 clauses out of 24012 with flag 404002/447852
201.67/200.47	c cleaning 11998 clauses out of 24014 with flag 416002/459852
205.17/203.90	c cleaning 12000 clauses out of 24014 with flag 428000/471850
208.87/207.63	c cleaning 12000 clauses out of 24014 with flag 440000/483850
213.87/212.62	c cleaning 11998 clauses out of 24014 with flag 452000/495850
218.77/217.54	c cleaning 12003 clauses out of 24016 with flag 464000/507850
224.68/223.43	c cleaning 11999 clauses out of 24014 with flag 476001/519851
227.18/225.98	c cleaning 11997 clauses out of 24015 with flag 488001/531851
228.89/227.62	c cleaning 11997 clauses out of 24017 with flag 500000/543850
230.58/229.35	c cleaning 12004 clauses out of 24021 with flag 512001/555851
232.30/231.09	c cleaning 12001 clauses out of 24017 with flag 524001/567851
234.18/232.93	c cleaning 12000 clauses out of 24016 with flag 536001/579851
237.19/235.92	c cleaning 12004 clauses out of 24015 with flag 548000/591850
241.69/240.45	c cleaning 12000 clauses out of 24011 with flag 560000/603850
248.49/247.23	c cleaning 12001 clauses out of 24011 with flag 572000/615850
252.11/250.88	c cleaning 12002 clauses out of 24010 with flag 584000/627850
256.51/255.23	c cleaning 12001 clauses out of 24009 with flag 596001/639851
264.00/262.79	c cleaning 12000 clauses out of 24007 with flag 608000/651850
271.50/270.24	c cleaning 11992 clauses out of 24007 with flag 620000/663850
278.90/277.61	c cleaning 12002 clauses out of 24016 with flag 632001/675851
281.11/279.82	c cleaning 11999 clauses out of 24014 with flag 644001/687851
283.92/282.67	c cleaning 11999 clauses out of 24015 with flag 656001/699851
286.71/285.43	c cleaning 12000 clauses out of 24015 with flag 668000/711850
289.03/287.78	c cleaning 12002 clauses out of 24016 with flag 680001/723851
291.33/290.08	c cleaning 11999 clauses out of 24013 with flag 692000/735850
293.84/292.54	c cleaning 12001 clauses out of 24014 with flag 704000/747850
296.23/294.93	c cleaning 12000 clauses out of 24013 with flag 716000/759850
298.54/297.30	c cleaning 11997 clauses out of 24014 with flag 728001/771851
301.14/299.84	c cleaning 11994 clauses out of 24016 with flag 740000/783850
306.75/305.43	c cleaning 12003 clauses out of 24022 with flag 752000/795850
312.25/310.93	c cleaning 12002 clauses out of 24019 with flag 764000/807850
318.35/317.08	c cleaning 12002 clauses out of 24019 with flag 776002/819852
324.25/322.91	c cleaning 12001 clauses out of 24016 with flag 788001/831851
330.17/328.82	c cleaning 11998 clauses out of 24014 with flag 800000/843850
335.56/334.24	c cleaning 12004 clauses out of 24017 with flag 812001/855851
341.06/339.73	c cleaning 12000 clauses out of 24014 with flag 824002/867852
346.86/345.57	c cleaning 11996 clauses out of 24012 with flag 836000/879850
351.96/350.66	c cleaning 11997 clauses out of 24016 with flag 848000/891850
357.27/355.99	c cleaning 12006 clauses out of 24019 with flag 860000/903850
362.87/361.56	c cleaning 11994 clauses out of 24013 with flag 872000/915850
367.69/366.37	c cleaning 12003 clauses out of 24019 with flag 884000/927850
372.47/371.15	c cleaning 12000 clauses out of 24016 with flag 896000/939850
376.97/375.64	c cleaning 12002 clauses out of 24016 with flag 908000/951850
381.67/380.34	c cleaning 11996 clauses out of 24014 with flag 920000/963850
386.98/385.65	c cleaning 12007 clauses out of 24021 with flag 932003/975853
391.91/390.59	c cleaning 12000 clauses out of 24011 with flag 944000/987850
396.89/395.57	c cleaning 12000 clauses out of 24013 with flag 956002/999852
402.19/400.83	c cleaning 11999 clauses out of 24012 with flag 968001/1011851
405.40/404.07	c cleaning 11999 clauses out of 24013 with flag 980001/1023851
408.20/406.81	c cleaning 11998 clauses out of 24014 with flag 992001/1035851
410.90/409.56	c cleaning 12001 clauses out of 24016 with flag 1004001/1047851
413.70/412.38	c cleaning 11997 clauses out of 24014 with flag 1016000/1059850
417.00/415.67	c cleaning 12003 clauses out of 24019 with flag 1028002/1071852
421.40/420.03	c cleaning 11998 clauses out of 24014 with flag 1040000/1083850
425.61/424.29	c cleaning 12004 clauses out of 24017 with flag 1052001/1095851
429.91/428.55	c cleaning 11994 clauses out of 24012 with flag 1064000/1107850
434.51/433.11	c cleaning 11996 clauses out of 24018 with flag 1076000/1119850
442.61/441.28	c cleaning 12006 clauses out of 24023 with flag 1088001/1131851
449.13/447.76	c cleaning 12001 clauses out of 24016 with flag 1100000/1143850
457.52/456.11	c cleaning 11996 clauses out of 24015 with flag 1112000/1155850
463.02/461.65	c cleaning 12002 clauses out of 24019 with flag 1124000/1167850
469.32/467.95	c cleaning 12002 clauses out of 24018 with flag 1136001/1179851
471.62/470.26	c cleaning 12005 clauses out of 24015 with flag 1148000/1191850
473.92/472.58	c cleaning 11999 clauses out of 24011 with flag 1160001/1203851
476.42/475.04	c cleaning 11994 clauses out of 24011 with flag 1172000/1215850
478.93/477.50	c cleaning 12004 clauses out of 24017 with flag 1184000/1227850
481.33/479.94	c cleaning 11993 clauses out of 24013 with flag 1196000/1239850
483.73/482.36	c cleaning 12006 clauses out of 24021 with flag 1208001/1251851
486.23/484.82	c cleaning 11996 clauses out of 24015 with flag 1220001/1263851
488.75/487.36	c cleaning 12005 clauses out of 24019 with flag 1232001/1275851
491.33/489.90	c cleaning 11996 clauses out of 24013 with flag 1244000/1287850
493.73/492.32	c cleaning 12000 clauses out of 24017 with flag 1256000/1299850
496.23/494.83	c cleaning 12005 clauses out of 24019 with flag 1268002/1311852
498.74/497.33	c cleaning 11998 clauses out of 24013 with flag 1280001/1323851
503.54/502.15	c cleaning 12005 clauses out of 24015 with flag 1292001/1335851
510.34/508.92	c cleaning 11997 clauses out of 24009 with flag 1304000/1347850
516.74/515.35	c cleaning 11997 clauses out of 24012 with flag 1316000/1359850
522.76/521.39	c cleaning 12004 clauses out of 24015 with flag 1328000/1371850
532.35/530.97	c cleaning 11992 clauses out of 24011 with flag 1340000/1383850
536.25/534.88	c cleaning 12004 clauses out of 24019 with flag 1352000/1395850
539.66/538.20	c cleaning 11997 clauses out of 24015 with flag 1364000/1407850
543.06/541.65	c cleaning 12002 clauses out of 24019 with flag 1376001/1419851
546.66/545.24	c cleaning 12000 clauses out of 24017 with flag 1388001/1431851
550.39/548.97	c cleaning 12002 clauses out of 24017 with flag 1400001/1443851
554.17/552.73	c cleaning 12005 clauses out of 24015 with flag 1412001/1455851
562.38/560.95	c cleaning 11999 clauses out of 24009 with flag 1424000/1467850
569.77/568.35	c cleaning 11996 clauses out of 24010 with flag 1436000/1479850
579.27/577.85	c cleaning 12001 clauses out of 24014 with flag 1448000/1491850
585.78/584.35	c cleaning 12002 clauses out of 24014 with flag 1460001/1503851
591.38/589.98	c cleaning 11993 clauses out of 24012 with flag 1472001/1515851
595.68/594.27	c cleaning 12004 clauses out of 24020 with flag 1484002/1527852
598.38/596.98	c cleaning 11997 clauses out of 24014 with flag 1496000/1539850
601.08/599.70	c cleaning 12000 clauses out of 24017 with flag 1508000/1551850
603.88/602.44	c cleaning 11997 clauses out of 24018 with flag 1520001/1563851
606.58/605.13	c cleaning 12006 clauses out of 24020 with flag 1532000/1575850
609.29/607.86	c cleaning 11994 clauses out of 24014 with flag 1544000/1587850
612.09/610.65	c cleaning 11997 clauses out of 24020 with flag 1556000/1599850
614.79/613.35	c cleaning 12000 clauses out of 24024 with flag 1568001/1611851
617.69/616.29	c cleaning 12003 clauses out of 24024 with flag 1580001/1623851
623.01/621.59	c cleaning 12005 clauses out of 24021 with flag 1592001/1635851
627.99/626.52	c cleaning 12000 clauses out of 24015 with flag 1604000/1647850
633.19/631.79	c cleaning 12000 clauses out of 24015 with flag 1616000/1659850
638.30/636.84	c cleaning 12001 clauses out of 24015 with flag 1628000/1671850
643.30/641.86	c cleaning 12001 clauses out of 24015 with flag 1640001/1683851
648.40/646.97	c cleaning 11997 clauses out of 24013 with flag 1652000/1695850
653.40/651.91	c cleaning 12000 clauses out of 24016 with flag 1664000/1707850
658.90/657.47	c cleaning 12002 clauses out of 24016 with flag 1676000/1719850
664.30/662.85	c cleaning 11995 clauses out of 24014 with flag 1688000/1731850
669.61/668.14	c cleaning 12000 clauses out of 24020 with flag 1700001/1743851
675.01/673.52	c cleaning 12002 clauses out of 24019 with flag 1712000/1755850
680.23/678.79	c cleaning 12002 clauses out of 24018 with flag 1724001/1767851
685.51/684.01	c cleaning 12001 clauses out of 24015 with flag 1736000/1779850
690.13/688.67	c cleaning 11997 clauses out of 24014 with flag 1748000/1791850
695.02/693.59	c cleaning 11999 clauses out of 24017 with flag 1760000/1803850
699.82/698.38	c cleaning 11996 clauses out of 24019 with flag 1772001/1815851
705.03/703.51	c cleaning 12003 clauses out of 24022 with flag 1784000/1827850
710.24/708.75	c cleaning 12004 clauses out of 24019 with flag 1796000/1839850
715.04/713.57	c cleaning 11999 clauses out of 24015 with flag 1808000/1851850
720.04/718.51	c cleaning 11997 clauses out of 24016 with flag 1820000/1863850
725.74/724.29	c cleaning 11997 clauses out of 24019 with flag 1832000/1875850
730.64/729.17	c cleaning 12001 clauses out of 24024 with flag 1844002/1887852
735.84/734.39	c cleaning 12003 clauses out of 24021 with flag 1856000/1899850
740.55/739.07	c cleaning 12001 clauses out of 24018 with flag 1868000/1911850
744.75/743.29	c cleaning 12002 clauses out of 24017 with flag 1880000/1923850
749.46/747.96	c cleaning 12000 clauses out of 24016 with flag 1892001/1935851
754.16/752.63	c cleaning 11999 clauses out of 24016 with flag 1904001/1947851
759.56/758.01	c cleaning 11999 clauses out of 24017 with flag 1916001/1959851
764.98/763.44	c cleaning 12002 clauses out of 24018 with flag 1928001/1971851
770.56/769.03	c cleaning 11997 clauses out of 24015 with flag 1940000/1983850
775.67/774.11	c cleaning 12004 clauses out of 24019 with flag 1952001/1995851
781.38/779.87	c cleaning 11994 clauses out of 24014 with flag 1964000/2007850
785.89/784.39	c cleaning 12004 clauses out of 24021 with flag 1976001/2019851
790.77/789.21	c cleaning 11986 clauses out of 24016 with flag 1988000/2031850
796.68/795.12	c cleaning 12007 clauses out of 24030 with flag 2000000/2043850
800.68/799.19	c cleaning 12005 clauses out of 24023 with flag 2012000/2055850
803.08/801.51	c cleaning 12001 clauses out of 24018 with flag 2024000/2067850
805.28/803.76	c cleaning 12004 clauses out of 24017 with flag 2036000/2079850
809.09/807.59	c cleaning 11998 clauses out of 24014 with flag 2048001/2091851
813.19/811.69	c cleaning 12002 clauses out of 24015 with flag 2060000/2103850
817.49/815.97	c cleaning 11999 clauses out of 24013 with flag 2072000/2115850
822.79/821.22	c cleaning 12004 clauses out of 24014 with flag 2084000/2127850
828.89/827.31	c cleaning 11999 clauses out of 24011 with flag 2096001/2139851
835.00/833.46	c cleaning 12002 clauses out of 24011 with flag 2108000/2151850
840.70/839.19	c cleaning 11997 clauses out of 24010 with flag 2120001/2163851
846.70/845.19	c cleaning 11996 clauses out of 24012 with flag 2132000/2175850
852.80/851.23	c cleaning 12002 clauses out of 24018 with flag 2144002/2187852
857.10/855.56	c cleaning 12003 clauses out of 24014 with flag 2156000/2199850
861.11/859.55	c cleaning 12003 clauses out of 24011 with flag 2168000/2211850
865.91/864.30	c cleaning 11997 clauses out of 24008 with flag 2180000/2223850
870.21/868.60	c cleaning 11998 clauses out of 24012 with flag 2192001/2235851
874.41/872.88	c cleaning 11998 clauses out of 24014 with flag 2204001/2247851
878.33/876.74	c cleaning 12000 clauses out of 24016 with flag 2216001/2259851
882.63/881.11	c cleaning 12002 clauses out of 24015 with flag 2228000/2271850
888.02/886.47	c cleaning 11998 clauses out of 24013 with flag 2240000/2283850
891.62/890.02	c cleaning 12003 clauses out of 24018 with flag 2252003/2295853
895.52/893.99	c cleaning 12000 clauses out of 24015 with flag 2264003/2307853
899.73/898.13	c cleaning 11998 clauses out of 24013 with flag 2276001/2319851
903.83/902.26	c cleaning 11991 clauses out of 24014 with flag 2288000/2331850
908.06/906.46	c cleaning 12003 clauses out of 24024 with flag 2300001/2343851
912.24/910.62	c cleaning 12000 clauses out of 24022 with flag 2312002/2355852
916.34/914.72	c cleaning 12000 clauses out of 24020 with flag 2324000/2367850
920.74/919.19	c cleaning 12002 clauses out of 24020 with flag 2336000/2379850
925.04/923.43	c cleaning 12000 clauses out of 24019 with flag 2348001/2391851
929.14/927.51	c cleaning 11997 clauses out of 24019 with flag 2360001/2403851
933.25/931.63	c cleaning 12000 clauses out of 24021 with flag 2372000/2415850
937.45/935.84	c cleaning 11994 clauses out of 24021 with flag 2384000/2427850
941.55/939.90	c cleaning 12006 clauses out of 24028 with flag 2396001/2439851
946.65/945.03	c cleaning 11999 clauses out of 24021 with flag 2408000/2451850
951.15/949.54	c cleaning 12004 clauses out of 24024 with flag 2420002/2463852
955.55/953.99	c cleaning 12004 clauses out of 24020 with flag 2432002/2475852
959.67/958.03	c cleaning 11999 clauses out of 24015 with flag 2444001/2487851
963.96/962.33	c cleaning 11999 clauses out of 24015 with flag 2456000/2499850
967.96/966.36	c cleaning 11999 clauses out of 24017 with flag 2468001/2511851
971.96/970.32	c cleaning 11995 clauses out of 24017 with flag 2480000/2523850
975.76/974.15	c cleaning 12002 clauses out of 24023 with flag 2492001/2535851
979.67/978.05	c cleaning 12000 clauses out of 24021 with flag 2504001/2547851
983.77/982.13	c cleaning 11995 clauses out of 24020 with flag 2516000/2559850
987.67/986.07	c cleaning 12008 clauses out of 24028 with flag 2528003/2571853
991.69/990.06	c cleaning 12001 clauses out of 24020 with flag 2540003/2583853
995.57/993.99	c cleaning 11997 clauses out of 24019 with flag 2552003/2595853
999.78/998.11	c cleaning 11996 clauses out of 24019 with flag 2564000/2607850
1003.98/1002.34	c cleaning 12002 clauses out of 24024 with flag 2576001/2619851
1008.20/1006.56	c cleaning 12002 clauses out of 24021 with flag 2588000/2631850
1012.18/1010.60	c cleaning 12000 clauses out of 24019 with flag 2600000/2643850
1016.28/1014.69	c cleaning 12000 clauses out of 24019 with flag 2612000/2655850
1022.78/1021.18	c cleaning 11999 clauses out of 24020 with flag 2624001/2667851
1028.39/1026.74	c cleaning 12000 clauses out of 24021 with flag 2636001/2679851
1034.19/1032.57	c cleaning 11995 clauses out of 24020 with flag 2648000/2691850
1041.49/1039.86	c cleaning 11998 clauses out of 24025 with flag 2660000/2703850
1047.09/1045.45	c cleaning 12004 clauses out of 24030 with flag 2672003/2715853
1052.21/1050.57	c cleaning 11999 clauses out of 24023 with flag 2684000/2727850
1057.30/1055.66	c cleaning 11998 clauses out of 24025 with flag 2696001/2739851
1062.60/1060.96	c cleaning 12000 clauses out of 24026 with flag 2708000/2751850
1068.20/1066.54	c cleaning 12005 clauses out of 24027 with flag 2720001/2763851
1073.40/1071.79	c cleaning 12001 clauses out of 24023 with flag 2732002/2775852
1078.90/1077.21	c cleaning 12004 clauses out of 24021 with flag 2744001/2787851
1084.20/1082.59	c cleaning 11996 clauses out of 24016 with flag 2756000/2799850
1089.41/1087.79	c cleaning 12000 clauses out of 24020 with flag 2768000/2811850
1094.70/1093.00	c cleaning 11993 clauses out of 24021 with flag 2780001/2823851
1099.91/1098.25	c cleaning 12005 clauses out of 24029 with flag 2792002/2835852
1105.03/1103.32	c cleaning 11998 clauses out of 24022 with flag 2804000/2847850
1110.21/1108.54	c cleaning 12011 clauses out of 24031 with flag 2816007/2859857
1115.51/1113.81	c cleaning 11999 clauses out of 24014 with flag 2828001/2871851
1120.71/1119.07	c cleaning 11994 clauses out of 24014 with flag 2840000/2883850
1125.93/1124.27	c cleaning 11995 clauses out of 24020 with flag 2852000/2895850
1131.11/1129.44	c cleaning 12001 clauses out of 24025 with flag 2864000/2907850
1136.62/1134.91	c cleaning 12002 clauses out of 24025 with flag 2876001/2919851
1141.82/1140.16	c cleaning 12005 clauses out of 24025 with flag 2888003/2931853
1147.22/1145.51	c cleaning 12002 clauses out of 24017 with flag 2900000/2943850
1152.62/1150.90	c cleaning 11995 clauses out of 24017 with flag 2912002/2955852
1157.85/1156.19	c cleaning 11996 clauses out of 24020 with flag 2924000/2967850
1163.13/1161.43	c cleaning 12000 clauses out of 24024 with flag 2936000/2979850
1168.43/1166.72	c cleaning 12008 clauses out of 24024 with flag 2948000/2991850
1175.34/1173.70	c cleaning 12000 clauses out of 24016 with flag 2960000/3003850
1182.44/1180.71	c cleaning 12000 clauses out of 24017 with flag 2972001/3015851
1184.84/1183.18	c cleaning 11999 clauses out of 24017 with flag 2984001/3027851
1189.84/1188.13	c cleaning 12002 clauses out of 24018 with flag 2996001/3039851
1193.24/1191.56	c cleaning 12000 clauses out of 24015 with flag 3008000/3051850
1194.85/1193.18	c cleaning 12002 clauses out of 24015 with flag 3020000/3063850
1196.45/1194.78	c cleaning 11997 clauses out of 24013 with flag 3032000/3075850
1201.65/1199.99	c cleaning 12002 clauses out of 24016 with flag 3044000/3087850
1207.15/1205.50	c cleaning 12000 clauses out of 24015 with flag 3056001/3099851
1212.46/1210.76	c cleaning 11999 clauses out of 24014 with flag 3068000/3111850
1216.77/1215.09	c cleaning 12001 clauses out of 24015 with flag 3080000/3123850
1219.27/1217.61	c cleaning 11998 clauses out of 24014 with flag 3092000/3135850
1221.87/1220.13	c cleaning 12001 clauses out of 24016 with flag 3104000/3147850
1224.57/1222.84	c cleaning 12001 clauses out of 24015 with flag 3116000/3159850
1227.28/1225.52	c cleaning 11997 clauses out of 24016 with flag 3128002/3171852
1229.78/1228.06	c cleaning 11998 clauses out of 24018 with flag 3140001/3183851
1234.79/1233.08	c cleaning 12005 clauses out of 24019 with flag 3152000/3195850
1240.09/1238.33	c cleaning 12003 clauses out of 24015 with flag 3164001/3207851
1244.81/1243.04	c cleaning 12000 clauses out of 24011 with flag 3176000/3219850
1249.49/1247.73	c cleaning 11995 clauses out of 24012 with flag 3188001/3231851
1254.40/1252.60	c cleaning 12002 clauses out of 24017 with flag 3200001/3243851
1259.12/1257.39	c cleaning 11998 clauses out of 24014 with flag 3212000/3255850
1264.00/1262.25	c cleaning 12000 clauses out of 24018 with flag 3224002/3267852
1268.50/1266.75	c cleaning 11995 clauses out of 24017 with flag 3236001/3279851
1273.01/1271.23	c cleaning 12006 clauses out of 24024 with flag 3248003/3291853
1277.41/1275.66	c cleaning 12000 clauses out of 24015 with flag 3260000/3303850
1281.71/1279.93	c cleaning 12002 clauses out of 24015 with flag 3272000/3315850
1285.91/1284.11	c cleaning 11997 clauses out of 24014 with flag 3284001/3327851
1290.02/1288.29	c cleaning 12003 clauses out of 24017 with flag 3296001/3339851
1293.82/1292.01	c cleaning 12000 clauses out of 24016 with flag 3308003/3351853
1297.92/1296.10	c cleaning 12000 clauses out of 24013 with flag 3320000/3363850
1302.04/1300.25	c cleaning 12001 clauses out of 24013 with flag 3332000/3375850
1306.12/1304.32	c cleaning 11997 clauses out of 24012 with flag 3344000/3387850
1310.12/1308.33	c cleaning 12002 clauses out of 24016 with flag 3356001/3399851
1314.14/1312.36	c cleaning 11999 clauses out of 24013 with flag 3368000/3411850
1318.22/1316.46	c cleaning 12005 clauses out of 24020 with flag 3380006/3423856
1322.84/1321.11	c cleaning 11996 clauses out of 24009 with flag 3392000/3435850
1329.55/1327.72	c cleaning 11995 clauses out of 24013 with flag 3404000/3447850
1336.04/1334.24	c cleaning 11996 clauses out of 24018 with flag 3416000/3459850
1342.43/1340.67	c cleaning 11993 clauses out of 24022 with flag 3428000/3471850
1348.53/1346.75	c cleaning 11998 clauses out of 24029 with flag 3440000/3483850
1354.64/1352.90	c cleaning 12010 clauses out of 24032 with flag 3452001/3495851
1361.05/1359.28	c cleaning 11999 clauses out of 24021 with flag 3464000/3507850
1367.45/1365.62	c cleaning 11997 clauses out of 24022 with flag 3476000/3519850
1373.36/1371.60	c cleaning 12005 clauses out of 24029 with flag 3488004/3531854
1379.19/1377.38	c cleaning 11986 clauses out of 24022 with flag 3500002/3543852
1385.60/1383.78	c cleaning 12011 clauses out of 24035 with flag 3512001/3555851
1392.00/1390.17	c cleaning 12002 clauses out of 24024 with flag 3524001/3567851
1397.82/1395.98	c cleaning 11996 clauses out of 24021 with flag 3536000/3579850
1403.70/1401.80	c cleaning 11997 clauses out of 24025 with flag 3548000/3591850
1410.01/1408.18	c cleaning 12006 clauses out of 24028 with flag 3560000/3603850
1416.01/1414.18	c cleaning 11996 clauses out of 24024 with flag 3572002/3615852
1422.31/1420.49	c cleaning 11999 clauses out of 24026 with flag 3584000/3627850
1428.72/1426.83	c cleaning 12004 clauses out of 24027 with flag 3596000/3639850
1434.83/1432.90	c cleaning 11995 clauses out of 24023 with flag 3608000/3651850
1439.03/1437.19	c cleaning 12004 clauses out of 24028 with flag 3620000/3663850
1443.13/1441.29	c cleaning 12006 clauses out of 24024 with flag 3632000/3675850
1447.53/1445.60	c cleaning 12001 clauses out of 24020 with flag 3644002/3687852
1451.76/1449.82	c cleaning 11999 clauses out of 24017 with flag 3656000/3699850
1455.94/1454.07	c cleaning 11992 clauses out of 24018 with flag 3668000/3711850
1460.14/1458.29	c cleaning 12003 clauses out of 24029 with flag 3680003/3723853
1464.34/1462.43	c cleaning 12000 clauses out of 24024 with flag 3692001/3735851
1468.44/1466.53	c cleaning 12004 clauses out of 24024 with flag 3704001/3747851
1472.45/1470.55	c cleaning 11999 clauses out of 24019 with flag 3716000/3759850
1476.45/1474.52	c cleaning 12003 clauses out of 24023 with flag 3728003/3771853
1480.45/1478.52	c cleaning 11999 clauses out of 24018 with flag 3740001/3783851
1484.45/1482.58	c cleaning 12000 clauses out of 24019 with flag 3752001/3795851
1488.55/1486.64	c cleaning 11999 clauses out of 24019 with flag 3764001/3807851
1492.65/1490.72	c cleaning 11999 clauses out of 24019 with flag 3776000/3819850
1496.76/1494.89	c cleaning 12002 clauses out of 24022 with flag 3788002/3831852
1500.95/1499.02	c cleaning 11998 clauses out of 24018 with flag 3800000/3843850
1504.95/1503.04	c cleaning 12000 clauses out of 24020 with flag 3812000/3855850
1508.97/1507.04	c cleaning 11999 clauses out of 24020 with flag 3824000/3867850
1512.95/1511.06	c cleaning 12002 clauses out of 24022 with flag 3836001/3879851
1517.35/1515.45	c cleaning 12000 clauses out of 24019 with flag 3848000/3891850
1521.56/1519.68	c cleaning 12002 clauses out of 24020 with flag 3860001/3903851
1525.95/1524.04	c cleaning 12000 clauses out of 24017 with flag 3872000/3915850
1530.25/1528.30	c cleaning 11997 clauses out of 24017 with flag 3884000/3927850
1534.36/1532.45	c cleaning 12001 clauses out of 24021 with flag 3896001/3939851
1538.57/1536.65	c cleaning 11999 clauses out of 24020 with flag 3908001/3951851
1542.56/1540.69	c cleaning 11998 clauses out of 24020 with flag 3920000/3963850
1546.86/1544.95	c cleaning 12003 clauses out of 24023 with flag 3932001/3975851
1551.06/1549.20	c cleaning 12006 clauses out of 24019 with flag 3944000/3987850
1555.76/1553.85	c cleaning 11999 clauses out of 24014 with flag 3956001/3999851
1560.58/1558.66	c cleaning 11999 clauses out of 24015 with flag 3968001/4011851
1565.09/1563.13	c cleaning 12001 clauses out of 24016 with flag 3980001/4023851
1569.27/1567.34	c cleaning 11998 clauses out of 24014 with flag 3992000/4035850
1573.48/1571.54	c cleaning 11997 clauses out of 24017 with flag 4004001/4047851
1578.19/1576.30	c cleaning 12001 clauses out of 24020 with flag 4016001/4059851
1582.78/1580.82	c cleaning 12000 clauses out of 24018 with flag 4028000/4071850
1585.78/1583.85	c cleaning 12002 clauses out of 24018 with flag 4040000/4083850
1588.99/1587.00	c cleaning 11999 clauses out of 24016 with flag 4052000/4095850
1593.60/1591.66	c cleaning 12004 clauses out of 24017 with flag 4064000/4107850
1597.69/1595.72	c cleaning 11997 clauses out of 24014 with flag 4076001/4119851
1602.29/1600.40	c cleaning 12000 clauses out of 24016 with flag 4088000/4131850
1606.21/1604.28	c cleaning 11998 clauses out of 24017 with flag 4100001/4143851
1611.22/1609.26	c cleaning 12000 clauses out of 24019 with flag 4112001/4155851
1616.31/1614.36	c cleaning 12002 clauses out of 24019 with flag 4124001/4167851
1621.41/1619.42	c cleaning 11996 clauses out of 24016 with flag 4136000/4179850
1626.73/1624.78	c cleaning 11992 clauses out of 24020 with flag 4148000/4191850
1630.42/1628.47	c cleaning 12004 clauses out of 24028 with flag 4160000/4203850
1634.22/1632.31	c cleaning 12008 clauses out of 24026 with flag 4172002/4215852
1639.23/1637.28	c cleaning 11998 clauses out of 24016 with flag 4184000/4227850
1644.36/1642.39	c cleaning 11997 clauses out of 24018 with flag 4196000/4239850
1650.04/1648.07	c cleaning 12004 clauses out of 24021 with flag 4208000/4251850
1655.54/1653.54	c cleaning 11999 clauses out of 24018 with flag 4220001/4263851
1659.54/1657.59	c cleaning 12004 clauses out of 24019 with flag 4232001/4275851
1665.04/1663.09	c cleaning 11993 clauses out of 24014 with flag 4244000/4287850
1670.94/1668.94	c cleaning 11999 clauses out of 24021 with flag 4256000/4299850
1675.55/1673.53	c cleaning 12003 clauses out of 24023 with flag 4268001/4311851
1680.15/1678.11	c cleaning 12002 clauses out of 24019 with flag 4280000/4323850
1684.75/1682.73	c cleaning 11999 clauses out of 24018 with flag 4292001/4335851
1689.25/1687.22	c cleaning 12002 clauses out of 24020 with flag 4304002/4347852
1693.65/1691.72	c cleaning 11996 clauses out of 24016 with flag 4316000/4359850
1698.16/1696.19	c cleaning 12004 clauses out of 24021 with flag 4328001/4371851
1702.76/1700.72	c cleaning 11998 clauses out of 24016 with flag 4340000/4383850
1707.16/1705.19	c cleaning 11992 clauses out of 24018 with flag 4352000/4395850
1711.66/1709.63	c cleaning 12005 clauses out of 24026 with flag 4364000/4407850
1716.27/1714.20	c cleaning 12001 clauses out of 24021 with flag 4376000/4419850
1720.77/1718.79	c cleaning 11999 clauses out of 24020 with flag 4388000/4431850
1725.27/1723.29	c cleaning 11999 clauses out of 24022 with flag 4400001/4443851
1729.77/1727.80	c cleaning 12002 clauses out of 24023 with flag 4412001/4455851
1734.27/1732.23	c cleaning 12004 clauses out of 24021 with flag 4424001/4467851
1738.77/1736.80	c cleaning 11997 clauses out of 24017 with flag 4436001/4479851
1744.09/1742.05	c cleaning 12002 clauses out of 24019 with flag 4448000/4491850
1749.60/1747.56	c cleaning 12005 clauses out of 24018 with flag 4460001/4503851
1754.90/1752.84	c cleaning 11991 clauses out of 24012 with flag 4472000/4515850
1760.71/1758.60	c cleaning 12004 clauses out of 24022 with flag 4484001/4527851
1763.81/1761.77	c cleaning 12000 clauses out of 24018 with flag 4496001/4539851
1769.41/1767.38	c cleaning 12004 clauses out of 24018 with flag 4508001/4551851
1776.62/1774.53	c cleaning 11995 clauses out of 24013 with flag 4520000/4563850
1781.83/1779.80	c cleaning 12002 clauses out of 24018 with flag 4532000/4575850
1784.62/1782.53	c cleaning 12000 clauses out of 24016 with flag 4544000/4587850
1787.72/1785.62	c cleaning 12002 clauses out of 24018 with flag 4556002/4599852
1791.02/1788.99	c cleaning 12002 clauses out of 24014 with flag 4568000/4611850
1795.22/1793.18	c cleaning 11992 clauses out of 24012 with flag 4580000/4623850
1800.04/1797.92	c starts		: 277
1800.04/1797.92	c conflicts		: 4634702
1800.04/1797.92	c decisions		: 16178950
1800.04/1797.92	c propagations		: 6838284085
1800.04/1797.92	c inspects		: 6822857712
1800.04/1797.92	c shortcuts		: 0
1800.04/1797.92	c learnt literals	: 0
1800.04/1797.92	c learnt binary clauses	: 0
1800.04/1797.92	c learnt ternary clauses	: 0
1800.04/1797.92	c learnt constraints	: 4634701
1800.04/1797.92	c ignored constraints	: 0
1800.04/1797.92	c root simplifications	: 0
1800.04/1797.92	c removed literals (reason simplification)	: 948271
1800.04/1797.92	c reason swapping (by a shorter reason)	: 0
1800.04/1797.92	c Calls to reduceDB	: 389
1800.04/1797.92	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.92	c number of learned constraints concerned by reduction	: 0
1800.04/1797.92	c number of learning phase by resolution	: 0
1800.04/1797.92	c number of learning phase by cutting planes	: 0
1800.04/1797.92	c speed (assignments/second)	: 3847001.7580258804
1800.04/1797.92	c non guided choices	206129
1800.04/1797.94	c learnt constraints type 
1800.04/1797.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22893
1800.04/1797.94	c constraints type 
1800.04/1797.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2914
1800.04/1797.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1797.94	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9048
1800.04/1797.94	s SATISFIABLE
1800.04/1797.95	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 x5623 x5624 x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 x5964 -x5965 -x5966 -x5967 x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 x6010 -x6011 x6012 x6013 -x6014 -x6015 x6016 -x6017 -x6018 -x6019 -x6020 x6021 -x6022 -x6023 x6024 -x6025 -x6026 -x6027 x6028 x6029 x6030 -x6031 x6032 x6033 
1800.04/1797.96	c objective function=38
1800.04/1797.96	c Total wall clock time (in seconds): 1797.849

Verifier Data 

OK	38

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458534-1307157433/watcher-3458534-1307157433 -o /tmp/evaluation-result-3458534-1307157433/solver-3458534-1307157433 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458534-1307157433.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: 1.90 2.02 2.00 1/533 15357
/proc/meminfo: memFree=25139092/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 1368 0 1 0 0 0 0 0 25 0 2 0 808159577 37810176 1072 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 9231 1072 832 9 0 387 0
[pid=15357/tid=15358] ppid=15355 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 5926 0 1 0 0 0 0 0 25 0 2 0 808159578 13850947584 6742 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.098646 s]
/proc/loadavg: 1.90 2.02 2.00 1/533 15357
/proc/meminfo: memFree=25139092/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13622024 CPUtime=0.09 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 15439 0 1 0 7 2 0 0 25 0 18 0 808159577 13948952576 15137 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3405506 15137 2086 9 0 3396240 0
[pid=15357/tid=15358] ppid=15355 vsize=13622024 CPUtime=0.07 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 13549 0 1 0 6 1 0 0 18 0 18 0 808159578 13948952576 15137 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622024

[startup+0.100704 s]
/proc/loadavg: 1.90 2.02 2.00 1/533 15357
/proc/meminfo: memFree=25139092/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13622024 CPUtime=0.1 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 15474 0 1 0 8 2 0 0 25 0 18 0 808159577 13948952576 15172 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3405506 15172 2092 9 0 3396240 0
[pid=15357/tid=15358] ppid=15355 vsize=13622024 CPUtime=0.07 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 13576 0 1 0 6 1 0 0 18 0 18 0 808159578 13948952576 15173 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 47585743634339 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622024

[startup+0.315381 s]
/proc/loadavg: 1.90 2.02 2.00 1/533 15357
/proc/meminfo: memFree=25139092/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13623984 CPUtime=0.56 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 19671 0 1 0 54 2 0 0 25 0 18 0 808159577 13950959616 18840 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3405996 18842 2201 9 0 3396730 0
[pid=15357/tid=15358] ppid=15355 vsize=13623984 CPUtime=0.3 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 16250 0 1 0 28 2 0 0 18 0 18 0 808159578 13950959616 18842 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 46912505563557 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13623984

[startup+0.700588 s]
/proc/loadavg: 1.90 2.02 2.00 1/533 15357
/proc/meminfo: memFree=25139092/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13627452 CPUtime=1.57 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 29209 0 1 0 154 3 0 0 25 0 19 0 808159577 13954510848 24584 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3406863 24584 2235 9 0 3397597 0
[pid=15357/tid=15358] ppid=15355 vsize=13627452 CPUtime=0.68 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 20668 0 1 0 66 2 0 0 19 0 19 0 808159578 13954510848 24584 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 46912505122380 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13627452

[startup+1.50147 s]
/proc/loadavg: 1.90 2.02 2.00 3/572 15429
/proc/meminfo: memFree=24987352/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13627452 CPUtime=2.53 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 30392 0 1 0 250 3 0 0 25 0 19 0 808159577 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3406863 25449 2238 9 0 3397597 0
[pid=15357/tid=15358] ppid=15355 vsize=13627452 CPUtime=1.48 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 21511 0 1 0 146 2 0 0 20 0 19 0 808159578 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 46912505186560 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15357/tid=15360] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15360/stat : 15360 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15361] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15361/stat : 15361 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15362] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15362/stat : 15362 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15363] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15363/stat : 15363 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15364] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15364/stat : 15364 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15365] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15365/stat : 15365 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15366] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15366/stat : 15366 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15367] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15367/stat : 15367 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15368] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15368/stat : 15368 (java) S 15355 15357 11903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 808159581 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 0 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15369] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15369/stat : 15369 (java) S 15355 15357 11903 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808159582 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15370] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15370/stat : 15370 (java) S 15355 15357 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808159582 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15371] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15371/stat : 15371 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051478961 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15372] ppid=15355 vsize=13627452 CPUtime=0.54 cores=0,2,4,6
/proc/15357/task/15372/stat : 15372 (java) S 15355 15357 11903 0 -1 4202560 4581 0 0 0 54 0 0 0 15 0 19 0 808159584 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15373] ppid=15355 vsize=13627452 CPUtime=0.49 cores=0,2,4,6
/proc/15357/task/15373/stat : 15373 (java) S 15355 15357 11903 0 -1 4202560 3141 0 0 0 49 0 0 0 15 0 19 0 808159584 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15374] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15374/stat : 15374 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15375] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15375/stat : 15375 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808159584 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15376] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15376/stat : 15376 (java) S 15355 15357 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159621 13954510848 25449 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 13627452

[startup+3.10117 s]
/proc/loadavg: 1.90 2.02 2.00 5/572 15477
/proc/meminfo: memFree=24933240/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13627452 CPUtime=4.14 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 30910 0 1 0 411 3 0 0 25 0 19 0 808159577 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3406863 25966 2238 9 0 3397597 0
[pid=15357/tid=15358] ppid=15355 vsize=13627452 CPUtime=3.08 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 22026 0 1 0 306 2 0 0 25 0 19 0 808159578 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 47585748101971 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15357/tid=15360] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15360/stat : 15360 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15361] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15361/stat : 15361 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15362] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15362/stat : 15362 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15363] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15363/stat : 15363 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15364] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15364/stat : 15364 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15365] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15365/stat : 15365 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15366] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15366/stat : 15366 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15367] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15367/stat : 15367 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159580 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15368] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15368/stat : 15368 (java) S 15355 15357 11903 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 808159581 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 0 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15369] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15369/stat : 15369 (java) S 15355 15357 11903 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808159582 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15370] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15370/stat : 15370 (java) S 15355 15357 11903 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808159582 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15371] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15371/stat : 15371 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051478961 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15372] ppid=15355 vsize=13627452 CPUtime=0.54 cores=0,2,4,6
/proc/15357/task/15372/stat : 15372 (java) S 15355 15357 11903 0 -1 4202560 4581 0 0 0 54 0 0 0 15 0 19 0 808159584 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15373] ppid=15355 vsize=13627452 CPUtime=0.5 cores=0,2,4,6
/proc/15357/task/15373/stat : 15373 (java) S 15355 15357 11903 0 -1 4202560 3143 0 0 0 50 0 0 0 15 0 19 0 808159584 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15374] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15374/stat : 15374 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15375] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15375/stat : 15375 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808159584 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15376] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15376/stat : 15376 (java) S 15355 15357 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159621 13954510848 25966 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 13627452

[startup+6.30059 s]
/proc/loadavg: 1.91 2.02 2.00 3/572 15477
/proc/meminfo: memFree=24911884/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13627452 CPUtime=7.43 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 32823 0 1 0 739 4 0 0 25 0 19 0 808159577 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3406863 27818 2264 9 0 3397597 0
[pid=15357/tid=15358] ppid=15355 vsize=13627452 CPUtime=6.23 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 22059 0 1 0 621 2 0 0 23 0 19 0 808159578 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 46912505900436 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15357/tid=15360] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15360/stat : 15360 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808159580 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15361] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15361/stat : 15361 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808159580 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15362] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15362/stat : 15362 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808159580 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15363] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15363/stat : 15363 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808159580 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15364] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15364/stat : 15364 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 808159580 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15365] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15365/stat : 15365 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 808159580 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15366] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15366/stat : 15366 (java) S 15355 15357 11903 0 -1 4202560 394 0 0 0 0 0 0 0 18 0 19 0 808159580 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15367] ppid=15355 vsize=13627452 CPUtime=0.01 cores=0,2,4,6
/proc/15357/task/15367/stat : 15367 (java) S 15355 15357 11903 0 -1 4202560 514 0 0 0 1 0 0 0 18 0 19 0 808159580 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15368] ppid=15355 vsize=13627452 CPUtime=0.01 cores=0,2,4,6
/proc/15357/task/15368/stat : 15368 (java) S 15355 15357 11903 0 -1 4202560 915 0 0 0 1 0 0 0 15 0 19 0 808159581 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 0 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15369] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15369/stat : 15369 (java) S 15355 15357 11903 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15370] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15370/stat : 15370 (java) S 15355 15357 11903 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15371] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15371/stat : 15371 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051478961 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15372] ppid=15355 vsize=13627452 CPUtime=0.58 cores=0,2,4,6
/proc/15357/task/15372/stat : 15372 (java) S 15355 15357 11903 0 -1 4202560 4636 0 0 0 58 0 0 0 15 0 19 0 808159584 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15373] ppid=15355 vsize=13627452 CPUtime=0.53 cores=0,2,4,6
/proc/15357/task/15373/stat : 15373 (java) S 15355 15357 11903 0 -1 4202560 3150 0 0 0 53 0 0 0 15 0 19 0 808159584 13954510848 27818 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0

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

[pid=15357/tid=15365] ppid=15355 vsize=13627452 CPUtime=0.21 cores=0,2,4,6
/proc/15357/task/15365/stat : 15365 (java) S 15355 15357 11903 0 -1 4202560 230 0 0 0 21 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15366] ppid=15355 vsize=13627452 CPUtime=0.2 cores=0,2,4,6
/proc/15357/task/15366/stat : 15366 (java) S 15355 15357 11903 0 -1 4202560 739 0 0 0 20 0 0 0 16 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15367] ppid=15355 vsize=13627452 CPUtime=0.17 cores=0,2,4,6
/proc/15357/task/15367/stat : 15367 (java) S 15355 15357 11903 0 -1 4202560 556 0 0 0 17 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15368] ppid=15355 vsize=13627452 CPUtime=9.42 cores=0,2,4,6
/proc/15357/task/15368/stat : 15368 (java) S 15355 15357 11903 0 -1 4202560 4173 0 0 0 938 4 0 0 15 0 19 0 808159581 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 0 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15369] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15369/stat : 15369 (java) S 15355 15357 11903 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15370] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15370/stat : 15370 (java) S 15355 15357 11903 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15371] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15371/stat : 15371 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051478961 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15372] ppid=15355 vsize=13627452 CPUtime=0.64 cores=0,2,4,6
/proc/15357/task/15372/stat : 15372 (java) S 15355 15357 11903 0 -1 4202560 4921 0 0 0 64 0 0 0 15 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15373] ppid=15355 vsize=13627452 CPUtime=0.54 cores=0,2,4,6
/proc/15357/task/15373/stat : 15373 (java) S 15355 15357 11903 0 -1 4202560 3151 0 0 0 54 0 0 0 15 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15374] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15374/stat : 15374 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15375] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15375/stat : 15375 (java) S 15355 15357 11903 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 0 0 0 0
[pid=15357/tid=15376] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15376/stat : 15376 (java) S 15355 15357 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159621 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.37
Current children cumulated vsize (KiB) 13627452

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/572 15530
/proc/meminfo: memFree=24807324/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13627452 CPUtime=1784.42 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 38034 0 1 0 178427 15 0 0 25 0 19 0 808159577 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3406863 32164 2265 9 0 3397597 0
[pid=15357/tid=15358] ppid=15355 vsize=13627452 CPUtime=1771.71 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 22440 0 1 0 177165 6 0 0 25 0 19 0 808159578 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 46912505900373 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15357/tid=15360] ppid=15355 vsize=13627452 CPUtime=0.2 cores=0,2,4,6
/proc/15357/task/15360/stat : 15360 (java) S 15355 15357 11903 0 -1 4202560 37 0 0 0 20 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15361] ppid=15355 vsize=13627452 CPUtime=0.22 cores=0,2,4,6
/proc/15357/task/15361/stat : 15361 (java) S 15355 15357 11903 0 -1 4202560 41 0 0 0 22 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15362] ppid=15355 vsize=13627452 CPUtime=0.24 cores=0,2,4,6
/proc/15357/task/15362/stat : 15362 (java) S 15355 15357 11903 0 -1 4202560 166 0 0 0 24 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15363] ppid=15355 vsize=13627452 CPUtime=0.2 cores=0,2,4,6
/proc/15357/task/15363/stat : 15363 (java) S 15355 15357 11903 0 -1 4202560 139 0 0 0 20 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15364] ppid=15355 vsize=13627452 CPUtime=0.21 cores=0,2,4,6
/proc/15357/task/15364/stat : 15364 (java) S 15355 15357 11903 0 -1 4202560 184 0 0 0 21 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 0 0 0 0
[pid=15357/tid=15365] ppid=15355 vsize=13627452 CPUtime=0.21 cores=0,2,4,6
/proc/15357/task/15365/stat : 15365 (java) S 15355 15357 11903 0 -1 4202560 230 0 0 0 21 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15366] ppid=15355 vsize=13627452 CPUtime=0.21 cores=0,2,4,6
/proc/15357/task/15366/stat : 15366 (java) S 15355 15357 11903 0 -1 4202560 739 0 0 0 21 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15367] ppid=15355 vsize=13627452 CPUtime=0.18 cores=0,2,4,6
/proc/15357/task/15367/stat : 15367 (java) S 15355 15357 11903 0 -1 4202560 556 0 0 0 18 0 0 0 15 0 19 0 808159580 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 0 0 0 0
[pid=15357/tid=15368] ppid=15355 vsize=13627452 CPUtime=9.75 cores=0,2,4,6
/proc/15357/task/15368/stat : 15368 (java) S 15355 15357 11903 0 -1 4202560 4177 0 0 0 970 5 0 0 15 0 19 0 808159581 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 0 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15369] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15369/stat : 15369 (java) S 15355 15357 11903 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15370] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15370/stat : 15370 (java) S 15355 15357 11903 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15371] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15371/stat : 15371 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051478961 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15372] ppid=15355 vsize=13627452 CPUtime=0.64 cores=0,2,4,6
/proc/15357/task/15372/stat : 15372 (java) S 15355 15357 11903 0 -1 4202560 4921 0 0 0 64 0 0 0 15 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15373] ppid=15355 vsize=13627452 CPUtime=0.54 cores=0,2,4,6
/proc/15357/task/15373/stat : 15373 (java) S 15355 15357 11903 0 -1 4202560 3151 0 0 0 54 0 0 0 15 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15374] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15374/stat : 15374 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15375] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15375/stat : 15375 (java) S 15355 15357 11903 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808159584 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 0 0 0 0
[pid=15357/tid=15376] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15376/stat : 15376 (java) S 15355 15357 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159621 13954510848 32164 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (KiB) 13627452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.15 2.05 2.01 3/572 15530
/proc/meminfo: memFree=24807680/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13627452 CPUtime=1800.04 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 38053 0 1 0 179989 15 0 0 25 0 19 0 808159577 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3406863 32179 2265 9 0 3397597 0
[pid=15357/tid=15358] ppid=15355 vsize=13627452 CPUtime=1787.22 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 22444 0 1 0 178716 6 0 0 25 0 19 0 808159578 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 46912505883606 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15357/tid=15360] ppid=15355 vsize=13627452 CPUtime=0.2 cores=0,2,4,6
/proc/15357/task/15360/stat : 15360 (java) S 15355 15357 11903 0 -1 4202560 37 0 0 0 20 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15361] ppid=15355 vsize=13627452 CPUtime=0.22 cores=0,2,4,6
/proc/15357/task/15361/stat : 15361 (java) S 15355 15357 11903 0 -1 4202560 41 0 0 0 22 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15362] ppid=15355 vsize=13627452 CPUtime=0.25 cores=0,2,4,6
/proc/15357/task/15362/stat : 15362 (java) S 15355 15357 11903 0 -1 4202560 166 0 0 0 25 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15363] ppid=15355 vsize=13627452 CPUtime=0.2 cores=0,2,4,6
/proc/15357/task/15363/stat : 15363 (java) S 15355 15357 11903 0 -1 4202560 139 0 0 0 20 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15364] ppid=15355 vsize=13627452 CPUtime=0.21 cores=0,2,4,6
/proc/15357/task/15364/stat : 15364 (java) S 15355 15357 11903 0 -1 4202560 187 0 0 0 21 0 0 0 16 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15365] ppid=15355 vsize=13627452 CPUtime=0.22 cores=0,2,4,6
/proc/15357/task/15365/stat : 15365 (java) S 15355 15357 11903 0 -1 4202560 230 0 0 0 22 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15366] ppid=15355 vsize=13627452 CPUtime=0.21 cores=0,2,4,6
/proc/15357/task/15366/stat : 15366 (java) S 15355 15357 11903 0 -1 4202560 743 0 0 0 21 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15367] ppid=15355 vsize=13627452 CPUtime=0.18 cores=0,2,4,6
/proc/15357/task/15367/stat : 15367 (java) S 15355 15357 11903 0 -1 4202560 564 0 0 0 18 0 0 0 16 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 0 0 0 0
[pid=15357/tid=15368] ppid=15355 vsize=13627452 CPUtime=9.86 cores=0,2,4,6
/proc/15357/task/15368/stat : 15368 (java) S 15355 15357 11903 0 -1 4202560 4177 0 0 0 981 5 0 0 15 0 19 0 808159581 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 0 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15369] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15369/stat : 15369 (java) S 15355 15357 11903 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15370] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15370/stat : 15370 (java) S 15355 15357 11903 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15371] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15371/stat : 15371 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051478961 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15372] ppid=15355 vsize=13627452 CPUtime=0.64 cores=0,2,4,6
/proc/15357/task/15372/stat : 15372 (java) S 15355 15357 11903 0 -1 4202560 4921 0 0 0 64 0 0 0 15 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15373] ppid=15355 vsize=13627452 CPUtime=0.54 cores=0,2,4,6
/proc/15357/task/15373/stat : 15373 (java) S 15355 15357 11903 0 -1 4202560 3151 0 0 0 54 0 0 0 15 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15374] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15374/stat : 15374 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15375] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15375/stat : 15375 (java) S 15355 15357 11903 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 0 0 0 0
[pid=15357/tid=15376] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15376/stat : 15376 (java) S 15355 15357 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159621 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13627452

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

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

[startup+1797.9 s]
/proc/loadavg: 2.15 2.05 2.01 3/572 15530
/proc/meminfo: memFree=24807680/32951124 swapFree=46970528/67111528
[pid=15357] ppid=15355 vsize=13627452 CPUtime=1800.04 cores=0,2,4,6
/proc/15357/stat : 15357 (java) S 15355 15357 11903 0 -1 4202496 38053 0 1 0 179989 15 0 0 25 0 19 0 808159577 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/15357/statm: 3406863 32179 2265 9 0 3397597 0
[pid=15357/tid=15358] ppid=15355 vsize=13627452 CPUtime=1787.22 cores=0,2,4,6
/proc/15357/task/15358/stat : 15358 (java) R 15355 15357 11903 0 -1 4202560 22444 0 1 0 178716 6 0 0 25 0 19 0 808159578 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 46912505883606 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15357/tid=15360] ppid=15355 vsize=13627452 CPUtime=0.2 cores=0,2,4,6
/proc/15357/task/15360/stat : 15360 (java) S 15355 15357 11903 0 -1 4202560 37 0 0 0 20 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15361] ppid=15355 vsize=13627452 CPUtime=0.22 cores=0,2,4,6
/proc/15357/task/15361/stat : 15361 (java) S 15355 15357 11903 0 -1 4202560 41 0 0 0 22 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15362] ppid=15355 vsize=13627452 CPUtime=0.25 cores=0,2,4,6
/proc/15357/task/15362/stat : 15362 (java) S 15355 15357 11903 0 -1 4202560 166 0 0 0 25 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15363] ppid=15355 vsize=13627452 CPUtime=0.2 cores=0,2,4,6
/proc/15357/task/15363/stat : 15363 (java) S 15355 15357 11903 0 -1 4202560 139 0 0 0 20 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15364] ppid=15355 vsize=13627452 CPUtime=0.21 cores=0,2,4,6
/proc/15357/task/15364/stat : 15364 (java) S 15355 15357 11903 0 -1 4202560 187 0 0 0 21 0 0 0 16 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15365] ppid=15355 vsize=13627452 CPUtime=0.22 cores=0,2,4,6
/proc/15357/task/15365/stat : 15365 (java) S 15355 15357 11903 0 -1 4202560 230 0 0 0 22 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15366] ppid=15355 vsize=13627452 CPUtime=0.21 cores=0,2,4,6
/proc/15357/task/15366/stat : 15366 (java) S 15355 15357 11903 0 -1 4202560 743 0 0 0 21 0 0 0 15 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15367] ppid=15355 vsize=13627452 CPUtime=0.18 cores=0,2,4,6
/proc/15357/task/15367/stat : 15367 (java) S 15355 15357 11903 0 -1 4202560 564 0 0 0 18 0 0 0 16 0 19 0 808159580 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 0 0 0 0
[pid=15357/tid=15368] ppid=15355 vsize=13627452 CPUtime=9.86 cores=0,2,4,6
/proc/15357/task/15368/stat : 15368 (java) S 15355 15357 11903 0 -1 4202560 4177 0 0 0 981 5 0 0 15 0 19 0 808159581 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 0 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15369] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15369/stat : 15369 (java) S 15355 15357 11903 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15370] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15370/stat : 15370 (java) S 15355 15357 11903 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 808159582 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15371] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15371/stat : 15371 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051478961 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15372] ppid=15355 vsize=13627452 CPUtime=0.64 cores=0,2,4,6
/proc/15357/task/15372/stat : 15372 (java) S 15355 15357 11903 0 -1 4202560 4921 0 0 0 64 0 0 0 15 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
[pid=15357/tid=15373] ppid=15355 vsize=13627452 CPUtime=0.54 cores=0,2,4,6
/proc/15357/task/15373/stat : 15373 (java) S 15355 15357 11903 0 -1 4202560 3151 0 0 0 54 0 0 0 15 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 2 0 0 0
[pid=15357/tid=15374] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15374/stat : 15374 (java) S 15355 15357 11903 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471257 0 4 0 16800975 18446604443816033152 0 0 -1 4 0 0 0
[pid=15357/tid=15375] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15375/stat : 15375 (java) S 15355 15357 11903 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 808159584 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 0 0 0 0
[pid=15357/tid=15376] ppid=15355 vsize=13627452 CPUtime=0 cores=0,2,4,6
/proc/15357/task/15376/stat : 15376 (java) S 15355 15357 11903 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808159621 13954510848 32179 33554432000 1073741824 1073778376 140735914651456 18446744073709551615 212051471872 0 4 0 16800975 18446604443816033152 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13627452

Child status: 143
Real time (s): 1797.97
CPU time (s): 1800.17
CPU user time (s): 1800.01
CPU system time (s): 0.162975
CPU usage (%): 100.122
Max. virtual memory (cumulated for all children) (KiB): 13629256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.162975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38172
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48315
involuntary context switches= 11970

runsolver used 10.3354 second user time and 20.8268 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-04 05:17:13
IDJOB=3458534
IDBENCH=25036
IDSOLVER=1952
FILE ID=node146/3458534-1307157433
RUNJOBID= node146-1307155631-15165
PBS_JOBID= 13508770
Free space on /tmp= 73784 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458534-1307157433/watcher-3458534-1307157433 -o /tmp/evaluation-result-3458534-1307157433/solver-3458534-1307157433 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458534-1307157433.opb

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

MD5SUM BENCH= fb30dc68ef00299e3d850b79fb8a2728
RANDOM SEED=1810238461

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25139248 kB
Buffers:        146552 kB
Cached:         286864 kB
SwapCached:      60320 kB
Active:         229068 kB
Inactive:      7341160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25139248 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:             892 kB
Writeback:           0 kB
AnonPages:     7087748 kB
Mapped:          16556 kB
Slab:            75408 kB
PageTables:      97732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160707772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73780 MiB
End job on node146 at 2011-06-04 05:47:13