Trace number 3458479

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)28 1800.17 1797.97

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_015_area_delay.opb
MD5SUM90acfb7d1c18536583ef7e2a90905f54
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark10.3694
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables7798
Total number of constraints24318
Number of constraints which are clauses24318
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 3790
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 3790
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 3790
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.08/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.09	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		12995394264
0.08/0.09	c Max memory 		13063553024
0.08/0.09	c Total memory 		13063553024
0.08/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@38540408
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-3458479-1307156093.opb
0.10/0.11	c reading problem ... 
0.73/0.48	c ... done. Wall clock time 0.362s.
0.73/0.48	c #vars     7798
0.73/0.48	c #constraints  24318
0.73/0.48	c constraints type 
0.73/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4017
0.73/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19691
1.02/0.58	c SATISFIABLE
1.02/0.58	c OPTIMIZING...
1.02/0.58	c Got one! Elapsed wall clock time (in seconds):0.462
1.02/0.58	o 39
1.23/0.67	c Got one! Elapsed wall clock time (in seconds):0.559
1.23/0.67	o 38
1.52/0.76	c Got one! Elapsed wall clock time (in seconds):0.65
1.52/0.76	o 34
1.75/0.82	c Got one! Elapsed wall clock time (in seconds):0.706
1.75/0.82	o 33
1.75/0.88	c Got one! Elapsed wall clock time (in seconds):0.766
1.75/0.88	o 31
1.94/0.92	c Got one! Elapsed wall clock time (in seconds):0.811
1.94/0.92	o 30
2.56/1.54	c Got one! Elapsed wall clock time (in seconds):1.424
2.56/1.54	o 29
4.38/3.35	c cleaning 3000 clauses out of 6001 with flag 4001/6001
7.12/6.04	c cleaning 4491 clauses out of 9000 with flag 10000/12000
9.84/8.80	c cleaning 5746 clauses out of 11509 with flag 17000/19000
13.04/11.97	c cleaning 6878 clauses out of 13763 with flag 25000/27000
16.68/15.55	c cleaning 7932 clauses out of 15885 with flag 34000/36000
20.38/19.25	c cleaning 8971 clauses out of 17954 with flag 44001/46001
24.48/23.34	c cleaning 9981 clauses out of 19982 with flag 55000/57000
29.09/27.92	c cleaning 10994 clauses out of 22001 with flag 67000/69000
33.89/32.78	c cleaning 11996 clauses out of 24007 with flag 80000/82000
39.19/38.09	c cleaning 12997 clauses out of 26011 with flag 94000/96000
45.69/44.54	c cleaning 14001 clauses out of 28015 with flag 109001/111001
51.89/50.74	c cleaning 14997 clauses out of 30013 with flag 125000/127000
58.10/56.96	c cleaning 16000 clauses out of 32017 with flag 142001/144001
65.10/63.97	c cleaning 16996 clauses out of 34016 with flag 160000/162000
72.50/71.36	c cleaning 17999 clauses out of 36020 with flag 179000/181000
80.21/79.09	c cleaning 19005 clauses out of 38021 with flag 199000/201000
88.21/87.08	c cleaning 20001 clauses out of 40019 with flag 220003/222003
96.51/95.35	c cleaning 21001 clauses out of 42016 with flag 242001/244001
105.52/104.35	c cleaning 21999 clauses out of 44014 with flag 265000/267000
114.43/113.21	c cleaning 22996 clauses out of 46015 with flag 289000/291000
122.93/121.73	c cleaning 23501 clauses out of 47019 with flag 313000/315000
132.43/131.22	c cleaning 23747 clauses out of 47518 with flag 337000/339000
141.44/140.28	c cleaning 23879 clauses out of 47771 with flag 361000/363000
150.86/149.69	c cleaning 23935 clauses out of 47892 with flag 385000/387000
159.95/158.77	c cleaning 23972 clauses out of 47957 with flag 409000/411000
169.35/168.10	c cleaning 23981 clauses out of 47985 with flag 433000/435000
178.37/177.12	c cleaning 23994 clauses out of 48005 with flag 457001/459001
187.36/186.18	c cleaning 24000 clauses out of 48010 with flag 481000/483000
198.38/197.17	c cleaning 23997 clauses out of 48010 with flag 505000/507000
208.88/207.62	c cleaning 24001 clauses out of 48013 with flag 529000/531000
218.58/217.30	c cleaning 23993 clauses out of 48012 with flag 553000/555000
228.39/227.11	c cleaning 24002 clauses out of 48019 with flag 577000/579000
237.99/236.76	c cleaning 24006 clauses out of 48017 with flag 601000/603000
247.30/246.08	c cleaning 24000 clauses out of 48014 with flag 625003/627003
256.90/255.65	c cleaning 24000 clauses out of 48011 with flag 649000/651000
266.43/265.12	c cleaning 24004 clauses out of 48012 with flag 673001/675001
276.72/275.46	c cleaning 23993 clauses out of 48007 with flag 697000/699000
286.24/284.97	c cleaning 24001 clauses out of 48015 with flag 721001/723001
295.73/294.41	c cleaning 23998 clauses out of 48016 with flag 745003/747003
304.43/303.13	c cleaning 23996 clauses out of 48015 with flag 769000/771000
313.94/312.62	c cleaning 24001 clauses out of 48019 with flag 793000/795000
325.14/323.83	c cleaning 24004 clauses out of 48019 with flag 817001/819001
334.75/333.42	c cleaning 24000 clauses out of 48015 with flag 841001/843001
344.05/342.74	c cleaning 24001 clauses out of 48015 with flag 865001/867001
353.05/351.75	c cleaning 24004 clauses out of 48015 with flag 889002/891002
361.86/360.52	c cleaning 23999 clauses out of 48012 with flag 913003/915003
370.76/369.51	c cleaning 24001 clauses out of 48012 with flag 937002/939002
380.26/378.97	c cleaning 23994 clauses out of 48009 with flag 961000/963000
391.37/390.07	c cleaning 24001 clauses out of 48015 with flag 985000/987000
403.37/402.09	c cleaning 23998 clauses out of 48015 with flag 1009001/1011001
412.48/411.14	c cleaning 24002 clauses out of 48017 with flag 1033001/1035001
420.98/419.65	c cleaning 23997 clauses out of 48014 with flag 1057000/1059000
429.49/428.19	c cleaning 24001 clauses out of 48018 with flag 1081001/1083001
438.40/437.02	c cleaning 24002 clauses out of 48016 with flag 1105000/1107000
446.92/445.56	c cleaning 24001 clauses out of 48015 with flag 1129001/1131001
455.81/454.43	c cleaning 23998 clauses out of 48013 with flag 1153000/1155000
464.62/463.22	c cleaning 24006 clauses out of 48015 with flag 1177000/1179000
473.72/472.37	c cleaning 24001 clauses out of 48011 with flag 1201002/1203002
482.72/481.36	c cleaning 23999 clauses out of 48008 with flag 1225000/1227000
491.53/490.18	c cleaning 23998 clauses out of 48010 with flag 1249001/1251001
500.23/498.87	c cleaning 23995 clauses out of 48012 with flag 1273001/1275001
509.04/507.65	c cleaning 23998 clauses out of 48016 with flag 1297000/1299000
517.64/516.27	c cleaning 24002 clauses out of 48021 with flag 1321003/1323003
526.96/525.53	c cleaning 24005 clauses out of 48016 with flag 1345000/1347000
536.67/535.25	c cleaning 23998 clauses out of 48012 with flag 1369001/1371001
545.67/544.22	c cleaning 23996 clauses out of 48013 with flag 1393000/1395000
554.69/553.22	c cleaning 24003 clauses out of 48017 with flag 1417000/1419000
564.49/563.02	c cleaning 23996 clauses out of 48014 with flag 1441000/1443000
573.89/572.48	c cleaning 23997 clauses out of 48018 with flag 1465000/1467000
584.00/582.50	c cleaning 23999 clauses out of 48021 with flag 1489000/1491000
593.80/592.30	c cleaning 23998 clauses out of 48022 with flag 1513000/1515000
604.91/603.48	c cleaning 24009 clauses out of 48025 with flag 1537001/1539001
616.71/615.21	c cleaning 23996 clauses out of 48015 with flag 1561000/1563000
628.12/626.66	c cleaning 24002 clauses out of 48020 with flag 1585001/1587001
640.02/638.58	c cleaning 24003 clauses out of 48018 with flag 1609001/1611001
650.73/649.21	c cleaning 23997 clauses out of 48014 with flag 1633000/1635000
660.83/659.32	c cleaning 24000 clauses out of 48017 with flag 1657000/1659000
670.44/668.96	c cleaning 23995 clauses out of 48017 with flag 1681000/1683000
679.95/678.41	c cleaning 24005 clauses out of 48023 with flag 1705001/1707001
690.25/688.75	c cleaning 24001 clauses out of 48017 with flag 1729000/1731000
700.65/699.15	c cleaning 23996 clauses out of 48017 with flag 1753001/1755001
710.86/709.35	c cleaning 24003 clauses out of 48020 with flag 1777000/1779000
720.98/719.46	c cleaning 24003 clauses out of 48019 with flag 1801002/1803002
730.97/729.43	c cleaning 23997 clauses out of 48014 with flag 1825000/1827000
741.47/739.92	c cleaning 23997 clauses out of 48017 with flag 1849000/1851000
751.18/749.62	c cleaning 23989 clauses out of 48020 with flag 1873000/1875000
760.89/759.34	c cleaning 24006 clauses out of 48031 with flag 1897000/1899000
770.29/768.75	c cleaning 24001 clauses out of 48025 with flag 1921000/1923000
779.99/778.41	c cleaning 23995 clauses out of 48024 with flag 1945000/1947000
789.59/788.03	c cleaning 24005 clauses out of 48029 with flag 1969000/1971000
799.19/797.67	c cleaning 24009 clauses out of 48024 with flag 1993000/1995000
808.30/806.75	c cleaning 24006 clauses out of 48018 with flag 2017003/2019003
818.00/816.47	c cleaning 23994 clauses out of 48009 with flag 2041000/2043000
827.72/826.15	c cleaning 24000 clauses out of 48015 with flag 2065000/2067000
837.01/835.43	c cleaning 23999 clauses out of 48017 with flag 2089002/2091002
846.11/844.59	c cleaning 23999 clauses out of 48016 with flag 2113000/2115000
856.42/854.81	c cleaning 23997 clauses out of 48017 with flag 2137000/2139000
866.92/865.31	c cleaning 23990 clauses out of 48020 with flag 2161000/2163000
877.33/875.74	c cleaning 24004 clauses out of 48030 with flag 2185000/2187000
877.93/876.39	c Got one! Elapsed wall clock time (in seconds):876.273
877.93/876.39	o 28
878.93/877.36	c cleaning 14739 clauses out of 29497 with flag 4000/2192471
880.45/878.90	c cleaning 10375 clauses out of 20759 with flag 10001/2198472
882.54/880.96	c cleaning 8681 clauses out of 17383 with flag 17000/2205471
884.85/883.29	c cleaning 8339 clauses out of 16702 with flag 25000/2213471
887.44/885.81	c cleaning 8675 clauses out of 17364 with flag 34001/2222472
890.95/889.32	c cleaning 9336 clauses out of 18689 with flag 44001/2232472
894.95/893.33	c cleaning 10169 clauses out of 20353 with flag 55001/2243472
899.16/897.56	c cleaning 11085 clauses out of 22184 with flag 67001/2255472
903.97/902.31	c cleaning 12043 clauses out of 24099 with flag 80001/2268472
908.77/907.11	c cleaning 13015 clauses out of 26055 with flag 94000/2282471
913.87/912.25	c cleaning 14014 clauses out of 28040 with flag 109000/2297471
919.58/917.92	c cleaning 15007 clauses out of 30027 with flag 125001/2313472
925.59/923.97	c cleaning 15995 clauses out of 32019 with flag 142000/2330471
932.09/930.51	c cleaning 17003 clauses out of 34025 with flag 160001/2348472
938.99/937.35	c cleaning 18003 clauses out of 36023 with flag 179002/2367473
946.09/944.46	c cleaning 18998 clauses out of 38018 with flag 199000/2387471
953.99/952.30	c cleaning 19997 clauses out of 40020 with flag 220000/2408471
961.91/960.30	c cleaning 21000 clauses out of 42023 with flag 242000/2430471
970.61/968.95	c cleaning 22006 clauses out of 44024 with flag 265001/2453472
980.01/978.34	c cleaning 23001 clauses out of 46019 with flag 289002/2477473
989.32/987.64	c cleaning 23501 clauses out of 47017 with flag 313001/2501472
998.93/997.27	c cleaning 23747 clauses out of 47516 with flag 337001/2525472
1008.14/1006.47	c cleaning 23879 clauses out of 47768 with flag 361000/2549471
1017.14/1015.50	c cleaning 23935 clauses out of 47890 with flag 385001/2573472
1026.44/1024.70	c cleaning 23966 clauses out of 47954 with flag 409000/2597471
1035.77/1034.08	c cleaning 23984 clauses out of 47989 with flag 433001/2621472
1045.06/1043.35	c cleaning 23993 clauses out of 48004 with flag 457000/2645471
1054.66/1052.93	c cleaning 23994 clauses out of 48011 with flag 481000/2669471
1065.07/1063.38	c cleaning 24000 clauses out of 48017 with flag 505000/2693471
1074.19/1072.45	c cleaning 23996 clauses out of 48017 with flag 529000/2717471
1083.49/1081.78	c cleaning 23997 clauses out of 48022 with flag 553001/2741472
1093.49/1091.74	c cleaning 24004 clauses out of 48025 with flag 577001/2765472
1103.40/1101.62	c cleaning 24000 clauses out of 48020 with flag 601000/2789471
1113.40/1111.65	c cleaning 23998 clauses out of 48022 with flag 625002/2813473
1122.91/1121.11	c cleaning 24000 clauses out of 48023 with flag 649001/2837472
1132.21/1130.43	c cleaning 24000 clauses out of 48022 with flag 673000/2861471
1142.42/1140.63	c cleaning 23994 clauses out of 48024 with flag 697002/2885473
1152.32/1150.55	c cleaning 23999 clauses out of 48028 with flag 721000/2909471
1162.22/1160.43	c cleaning 23999 clauses out of 48029 with flag 745000/2933471
1172.72/1170.98	c cleaning 23996 clauses out of 48031 with flag 769001/2957472
1182.72/1180.92	c cleaning 24003 clauses out of 48035 with flag 793001/2981472
1192.92/1191.15	c cleaning 24014 clauses out of 48031 with flag 817000/3005471
1203.23/1201.40	c cleaning 24002 clauses out of 48018 with flag 841001/3029472
1212.23/1210.42	c cleaning 24000 clauses out of 48016 with flag 865001/3053472
1222.14/1220.36	c cleaning 24004 clauses out of 48015 with flag 889000/3077471
1230.84/1229.03	c cleaning 23999 clauses out of 48011 with flag 913000/3101471
1239.26/1237.48	c cleaning 23996 clauses out of 48012 with flag 937000/3125471
1248.85/1247.00	c cleaning 24003 clauses out of 48016 with flag 961000/3149471
1258.66/1256.84	c cleaning 23994 clauses out of 48014 with flag 985001/3173472
1268.36/1266.50	c cleaning 24001 clauses out of 48021 with flag 1009002/3197473
1276.97/1275.11	c cleaning 24000 clauses out of 48019 with flag 1033001/3221472
1285.37/1283.57	c cleaning 23997 clauses out of 48019 with flag 1057001/3245472
1293.77/1291.96	c cleaning 24002 clauses out of 48021 with flag 1081000/3269471
1303.09/1301.22	c cleaning 24003 clauses out of 48019 with flag 1105000/3293471
1313.88/1312.07	c cleaning 23987 clauses out of 48016 with flag 1129000/3317471
1325.10/1323.22	c cleaning 24011 clauses out of 48030 with flag 1153001/3341472
1336.10/1334.30	c cleaning 23999 clauses out of 48018 with flag 1177000/3365471
1347.00/1345.19	c cleaning 24002 clauses out of 48020 with flag 1201001/3389472
1357.90/1356.05	c cleaning 23999 clauses out of 48018 with flag 1225001/3413472
1368.01/1366.17	c cleaning 24001 clauses out of 48018 with flag 1249000/3437471
1377.21/1375.36	c cleaning 24001 clauses out of 48019 with flag 1273002/3461473
1386.62/1384.76	c cleaning 24002 clauses out of 48018 with flag 1297002/3485473
1396.42/1394.53	c cleaning 23995 clauses out of 48015 with flag 1321001/3509472
1405.93/1404.05	c cleaning 24005 clauses out of 48019 with flag 1345000/3533471
1414.73/1412.82	c cleaning 23997 clauses out of 48014 with flag 1369000/3557471
1423.63/1421.77	c cleaning 24003 clauses out of 48018 with flag 1393001/3581472
1432.54/1430.66	c cleaning 23996 clauses out of 48014 with flag 1417000/3605471
1441.75/1439.86	c cleaning 23997 clauses out of 48018 with flag 1441000/3629471
1450.95/1449.03	c cleaning 23998 clauses out of 48023 with flag 1465002/3653473
1459.65/1457.78	c cleaning 23999 clauses out of 48024 with flag 1489001/3677472
1468.66/1466.72	c cleaning 24004 clauses out of 48025 with flag 1513001/3701472
1477.56/1475.68	c cleaning 23995 clauses out of 48020 with flag 1537000/3725471
1486.76/1484.81	c cleaning 24007 clauses out of 48026 with flag 1561001/3749472
1495.78/1493.89	c cleaning 24000 clauses out of 48018 with flag 1585000/3773471
1504.98/1503.04	c cleaning 23995 clauses out of 48018 with flag 1609000/3797471
1514.59/1512.67	c cleaning 23996 clauses out of 48023 with flag 1633000/3821471
1523.79/1521.80	c cleaning 23999 clauses out of 48027 with flag 1657000/3845471
1532.99/1531.05	c cleaning 24006 clauses out of 48030 with flag 1681002/3869473
1542.20/1540.29	c cleaning 23999 clauses out of 48023 with flag 1705001/3893472
1550.71/1548.75	c cleaning 24002 clauses out of 48025 with flag 1729002/3917473
1559.30/1557.37	c cleaning 23996 clauses out of 48021 with flag 1753000/3941471
1568.00/1566.04	c cleaning 24003 clauses out of 48025 with flag 1777000/3965471
1576.31/1574.39	c cleaning 24005 clauses out of 48022 with flag 1801000/3989471
1585.42/1583.47	c cleaning 24000 clauses out of 48017 with flag 1825000/4013471
1594.73/1592.72	c cleaning 24003 clauses out of 48017 with flag 1849000/4037471
1604.02/1602.07	c cleaning 23998 clauses out of 48014 with flag 1873000/4061471
1612.93/1610.96	c cleaning 24001 clauses out of 48016 with flag 1897000/4085471
1621.63/1619.64	c cleaning 23997 clauses out of 48015 with flag 1921000/4109471
1630.84/1628.81	c cleaning 23996 clauses out of 48018 with flag 1945000/4133471
1639.74/1637.70	c cleaning 24005 clauses out of 48023 with flag 1969001/4157472
1648.54/1646.58	c cleaning 23994 clauses out of 48017 with flag 1993000/4181471
1657.85/1655.87	c cleaning 24001 clauses out of 48023 with flag 2017000/4205471
1667.05/1665.03	c cleaning 23999 clauses out of 48023 with flag 2041001/4229472
1675.86/1673.83	c cleaning 23997 clauses out of 48023 with flag 2065000/4253471
1684.76/1682.74	c cleaning 23996 clauses out of 48026 with flag 2089000/4277471
1694.06/1692.02	c cleaning 24008 clauses out of 48030 with flag 2113000/4301471
1702.77/1700.71	c cleaning 23997 clauses out of 48022 with flag 2137000/4325471
1711.77/1709.78	c cleaning 24004 clauses out of 48026 with flag 2161001/4349472
1720.88/1718.83	c cleaning 24000 clauses out of 48022 with flag 2185001/4373472
1729.58/1727.55	c cleaning 23999 clauses out of 48021 with flag 2209000/4397471
1739.19/1737.17	c cleaning 23996 clauses out of 48022 with flag 2233000/4421471
1748.50/1746.41	c cleaning 23999 clauses out of 48027 with flag 2257001/4445472
1757.62/1755.52	c cleaning 24004 clauses out of 48027 with flag 2281000/4469471
1767.01/1764.99	c cleaning 24010 clauses out of 48024 with flag 2305001/4493472
1776.92/1774.82	c cleaning 24001 clauses out of 48014 with flag 2329001/4517472
1786.72/1784.68	c cleaning 24002 clauses out of 48012 with flag 2353000/4541471
1797.02/1794.96	c cleaning 23999 clauses out of 48012 with flag 2377002/4565473
1800.04/1797.92	c starts		: 277
1800.04/1797.92	c conflicts		: 4573365
1800.04/1797.92	c decisions		: 14671821
1800.04/1797.92	c propagations		: 7466330631
1800.04/1797.92	c inspects		: 8530043770
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	: 4
1800.04/1797.92	c learnt constraints	: 4573365
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)	: 11727849
1800.04/1797.92	c reason swapping (by a shorter reason)	: 0
1800.04/1797.92	c Calls to reduceDB	: 206
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)	: 8102094.240996776
1800.04/1797.92	c non guided choices	21012
1800.04/1797.93	c learnt constraints type 
1800.04/1797.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 31950
1800.04/1797.93	c constraints type 
1800.04/1797.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4017
1800.04/1797.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.04/1797.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19691
1800.04/1797.93	s SATISFIABLE
1800.04/1797.94	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 x223 x224 x225 -x226 -x227 -x228 x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 x5492 x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 x5752 x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818 x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 x6574 x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 x7406 x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 x7539 x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 x7659 x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 x7725 x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 x7739 x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 x7761 x7762 x7763 x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 x7771 x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 x7779 x7780 -x7781 -x7782 x7783 x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 x7798 
1800.04/1797.95	c objective function=28
1800.04/1797.95	c Total wall clock time (in seconds): 1797.838

Verifier Data 

OK	28

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-3458479-1307156093/watcher-3458479-1307156093 -o /tmp/evaluation-result-3458479-1307156093/solver-3458479-1307156093 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458479-1307156093.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.89 2.01 1.99 3/439 21578
/proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 1315 0 0 0 0 0 0 0 17 0 2 0 905839984 36646912 1017 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 8947 1018 782 9 0 386 0
[pid=21578/tid=21582] ppid=21575 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 3170 0 1 0 0 0 0 0 17 0 2 0 905839985 13850947584 3986 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.091029 s]
/proc/loadavg: 1.89 2.01 1.99 3/439 21578
/proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13555532 CPUtime=0.08 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 14825 0 1 0 7 1 0 0 17 0 18 0 905839984 13880864768 14522 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3388883 14526 1934 9 0 3379617 0
[pid=21578/tid=21582] ppid=21575 vsize=13555532 CPUtime=0.07 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 13400 0 1 0 6 1 0 0 23 0 18 0 905839985 13880864768 14529 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 47699551848967 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13555532

[startup+0.107148 s]
/proc/loadavg: 1.89 2.01 1.99 3/439 21578
/proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13622384 CPUtime=0.1 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 15563 0 1 0 9 1 0 0 17 0 18 0 905839984 13949321216 15260 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3405596 15261 2092 9 0 3396330 0
[pid=21578/tid=21582] ppid=21575 vsize=13622384 CPUtime=0.08 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 13650 0 1 0 7 1 0 0 18 0 18 0 905839985 13949321216 15261 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907317195 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622384

[startup+0.300991 s]
/proc/loadavg: 1.89 2.01 1.99 3/439 21578
/proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13624580 CPUtime=0.5 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 19308 0 1 0 48 2 0 0 17 0 18 0 905839984 13951569920 18488 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3406145 18489 2200 9 0 3396879 0
[pid=21578/tid=21582] ppid=21575 vsize=13624580 CPUtime=0.28 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 15870 0 1 0 27 1 0 0 18 0 18 0 905839985 13951569920 18489 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505537965 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 13624580

[startup+0.700984 s]
/proc/loadavg: 1.89 2.01 1.99 3/439 21578
/proc/meminfo: memFree=29879512/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13629512 CPUtime=1.52 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 34024 0 1 0 149 3 0 0 17 0 19 0 905839984 13956620288 30604 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3407378 30604 2235 9 0 3398112 0
[pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=0.68 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 26347 0 1 0 66 2 0 0 19 0 19 0 905839985 13956620288 30604 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505664538 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 13629512

[startup+1.50083 s]
/proc/loadavg: 1.89 2.01 1.99 3/480 21619
/proc/meminfo: memFree=29666680/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13629512 CPUtime=2.56 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 35716 0 1 0 252 4 0 0 17 0 19 0 905839984 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3407378 31875 2237 9 0 3398112 0
[pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=1.48 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 27584 0 1 0 146 2 0 0 20 0 19 0 905839985 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505880224 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 905839988 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0
[pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 905839988 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905839988 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7
/proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2661 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.51 cores=1,3,5,7
/proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4311 0 0 0 51 0 0 0 16 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 31875 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 13629512

[startup+3.10154 s]
/proc/loadavg: 1.98 2.03 2.00 3/480 21619
/proc/meminfo: memFree=29662216/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13629512 CPUtime=4.16 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 36261 0 1 0 412 4 0 0 17 0 19 0 905839984 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3407378 32419 2237 9 0 3398112 0
[pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=3.08 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28128 0 1 0 306 2 0 0 25 0 19 0 905839985 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505897049 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839987 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 905839988 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0
[pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 905839988 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905839988 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7
/proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2661 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.51 cores=1,3,5,7
/proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4311 0 0 0 51 0 0 0 16 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 32419 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 13629512

[startup+6.30092 s]
/proc/loadavg: 1.98 2.03 2.00 3/480 21619
/proc/meminfo: memFree=29644176/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13629512 CPUtime=7.42 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 39049 0 1 0 738 4 0 0 17 0 19 0 905839984 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3407378 35134 2263 9 0 3398112 0
[pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=6.22 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28169 0 1 0 620 2 0 0 25 0 19 0 905839985 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505872934 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 391 0 0 0 0 0 0 0 18 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 416 0 0 0 0 0 0 0 18 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 19 0 905839987 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=0.04 cores=1,3,5,7
/proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 1266 0 0 0 4 0 0 0 16 0 19 0 905839988 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0
[pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.58 cores=1,3,5,7
/proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2669 0 0 0 58 0 0 0 15 0 19 0 905839991 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.53 cores=1,3,5,7
/proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4320 0 0 0 53 0 0 0 15 0 19 0 905839991 13956620288 35134 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0

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

[pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 549 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 1 0 0 0
[pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 859 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0.16 cores=1,3,5,7
/proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 417 0 0 0 16 0 0 0 15 0 19 0 905839987 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=6.22 cores=1,3,5,7
/proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5343 0 0 0 619 3 0 0 15 0 19 0 905839988 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0
[pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.64 cores=1,3,5,7
/proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2689 0 0 0 64 0 0 0 15 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7
/proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4321 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 41223 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.38
Current children cumulated vsize (KiB) 13629512

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/480 21675
/proc/meminfo: memFree=29597200/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13629512 CPUtime=1784.42 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 45617 0 1 0 178431 11 0 0 17 0 19 0 905839984 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3407378 41295 2264 9 0 3398112 0
[pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=1775.35 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28371 0 1 0 177533 2 0 0 25 0 19 0 905839985 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505892672 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 707 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0.19 cores=1,3,5,7
/proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 359 0 0 0 19 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 386 0 0 0 17 0 0 0 16 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 178 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0.13 cores=1,3,5,7
/proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 112 0 0 0 13 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 549 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0.18 cores=1,3,5,7
/proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 859 0 0 0 18 0 0 0 15 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 417 0 0 0 17 0 0 0 16 0 19 0 905839987 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=6.43 cores=1,3,5,7
/proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5417 0 0 0 640 3 0 0 15 0 19 0 905839988 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0
[pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.64 cores=1,3,5,7
/proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2689 0 0 0 64 0 0 0 15 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7
/proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4321 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 41295 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.42
Current children cumulated vsize (KiB) 13629512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 2/461 21679
/proc/meminfo: memFree=29712028/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13629512 CPUtime=1800.04 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 45624 0 1 0 179993 11 0 0 17 0 19 0 905839984 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3407378 41296 2264 9 0 3398112 0
[pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=1790.89 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28373 0 1 0 179087 2 0 0 25 0 19 0 905839985 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505806488 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 707 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0.19 cores=1,3,5,7
/proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 359 0 0 0 19 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 386 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 178 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0.13 cores=1,3,5,7
/proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 112 0 0 0 13 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 549 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0.18 cores=1,3,5,7
/proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 859 0 0 0 18 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 418 0 0 0 17 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=6.49 cores=1,3,5,7
/proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5419 0 0 0 646 3 0 0 15 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0
[pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.64 cores=1,3,5,7
/proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2689 0 0 0 64 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7
/proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4321 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13629512

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.01 2.03 2.00 2/461 21679
/proc/meminfo: memFree=29712028/32950928 swapFree=52246700/67111528
[pid=21578] ppid=21575 vsize=13629512 CPUtime=1800.04 cores=1,3,5,7
/proc/21578/stat : 21578 (java) S 21575 21578 18266 0 -1 4202496 45624 0 1 0 179993 11 0 0 17 0 19 0 905839984 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21578/statm: 3407378 41296 2264 9 0 3398112 0
[pid=21578/tid=21582] ppid=21575 vsize=13629512 CPUtime=1790.89 cores=1,3,5,7
/proc/21578/task/21582/stat : 21582 (java) R 21575 21578 18266 0 -1 4202560 28373 0 1 0 179087 2 0 0 25 0 19 0 905839985 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 46912505806488 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21578/tid=21586] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21586/stat : 21586 (java) S 21575 21578 18266 0 -1 4202560 707 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21587] ppid=21575 vsize=13629512 CPUtime=0.19 cores=1,3,5,7
/proc/21578/task/21587/stat : 21587 (java) S 21575 21578 18266 0 -1 4202560 359 0 0 0 19 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21589] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21589/stat : 21589 (java) S 21575 21578 18266 0 -1 4202560 386 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21590] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21590/stat : 21590 (java) S 21575 21578 18266 0 -1 4202560 178 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21592] ppid=21575 vsize=13629512 CPUtime=0.13 cores=1,3,5,7
/proc/21578/task/21592/stat : 21592 (java) S 21575 21578 18266 0 -1 4202560 112 0 0 0 13 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21594] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21594/stat : 21594 (java) S 21575 21578 18266 0 -1 4202560 549 0 0 0 17 0 0 0 15 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21596] ppid=21575 vsize=13629512 CPUtime=0.18 cores=1,3,5,7
/proc/21578/task/21596/stat : 21596 (java) S 21575 21578 18266 0 -1 4202560 859 0 0 0 18 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21598] ppid=21575 vsize=13629512 CPUtime=0.17 cores=1,3,5,7
/proc/21578/task/21598/stat : 21598 (java) S 21575 21578 18266 0 -1 4202560 418 0 0 0 17 0 0 0 16 0 19 0 905839987 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21602] ppid=21575 vsize=13629512 CPUtime=6.49 cores=1,3,5,7
/proc/21578/task/21602/stat : 21602 (java) S 21575 21578 18266 0 -1 4202560 5419 0 0 0 646 3 0 0 15 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 0 0 16800975 18446604467976611776 0 0 -1 1 0 0 0
[pid=21578/tid=21604] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21604/stat : 21604 (java) S 21575 21578 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21606] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21606/stat : 21606 (java) S 21575 21578 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905839988 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21608] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21608/stat : 21608 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907314097 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21610] ppid=21575 vsize=13629512 CPUtime=0.64 cores=1,3,5,7
/proc/21578/task/21610/stat : 21610 (java) S 21575 21578 18266 0 -1 4202560 2689 0 0 0 64 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21612] ppid=21575 vsize=13629512 CPUtime=0.54 cores=1,3,5,7
/proc/21578/task/21612/stat : 21612 (java) S 21575 21578 18266 0 -1 4202560 4321 0 0 0 54 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
[pid=21578/tid=21614] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21614/stat : 21614 (java) S 21575 21578 18266 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907306393 0 4 0 16800975 18446604467976611776 0 0 -1 3 0 0 0
[pid=21578/tid=21616] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21616/stat : 21616 (java) S 21575 21578 18266 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905839991 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 5 0 0 0
[pid=21578/tid=21619] ppid=21575 vsize=13629512 CPUtime=0 cores=1,3,5,7
/proc/21578/task/21619/stat : 21619 (java) S 21575 21578 18266 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905840035 13956620288 41296 33554432000 1073741824 1073778376 140736934773264 18446744073709551615 231907307008 0 4 0 16800975 18446604467976611776 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13629512

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45780
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= 42981
involuntary context switches= 7798

runsolver used 7.58285 second user time and 18.5062 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-04 04:54:53
IDJOB=3458479
IDBENCH=24981
IDSOLVER=1952
FILE ID=node114/3458479-1307156093
RUNJOBID= node114-1307156093-21563
PBS_JOBID= 13508802
Free space on /tmp= 73940 MiB

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

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

MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54
RANDOM SEED=1193674859

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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:     32950928 kB
MemFree:      29879792 kB
Buffers:        307180 kB
Cached:         456580 kB
SwapCached:      10712 kB
Active:        2323836 kB
Inactive:       475936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29879792 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            2044 kB
Writeback:           0 kB
AnonPages:     2033544 kB
Mapped:          20848 kB
Slab:           141644 kB
PageTables:      62032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108159340 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= 73936 MiB
End job on node114 at 2011-06-04 05:24:53