Trace number 3458496

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)31 1800.2 1798.27

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
MD5SUM8e8463c13e61e1a22058cdf603119640
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark23.0085
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7926
Total number of constraints23835
Number of constraints which are clauses23835
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 3885
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 3885
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 3885
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.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.12	c solving HOME/instance-3458496-1307156588.opb
0.11/0.12	c reading problem ... 
0.73/0.48	c ... done. Wall clock time 0.361s.
0.73/0.48	c #vars     7926
0.73/0.48	c #constraints  23835
0.73/0.48	c constraints type 
0.73/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4050
0.73/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19168
1.30/0.61	c SATISFIABLE
1.30/0.61	c OPTIMIZING...
1.30/0.61	c Got one! Elapsed wall clock time (in seconds):0.494
1.30/0.61	o 39
1.53/0.75	c Got one! Elapsed wall clock time (in seconds):0.631
1.53/0.75	o 32
4.09/3.15	c cleaning 2559 clauses out of 5117 with flag 5000/5117
4.51/3.53	c Got one! Elapsed wall clock time (in seconds):3.415
4.51/3.53	o 31
6.48/5.42	c cleaning 4180 clauses out of 8375 with flag 5000/10934
8.87/7.82	c cleaning 5095 clauses out of 10195 with flag 11000/16934
11.37/10.36	c cleaning 6044 clauses out of 12100 with flag 18000/23934
14.51/13.49	c cleaning 7021 clauses out of 14056 with flag 26000/31934
18.01/16.97	c cleaning 8008 clauses out of 16035 with flag 35000/40934
21.93/20.88	c cleaning 9009 clauses out of 18027 with flag 45000/50934
26.22/25.14	c cleaning 10000 clauses out of 20018 with flag 56000/61934
31.32/30.28	c cleaning 11007 clauses out of 22018 with flag 68000/73934
36.62/35.51	c cleaning 12000 clauses out of 24011 with flag 81000/86934
42.02/40.97	c cleaning 13001 clauses out of 26011 with flag 95000/100934
48.12/47.02	c cleaning 13996 clauses out of 28010 with flag 110000/115934
54.13/53.06	c cleaning 15001 clauses out of 30015 with flag 126001/131935
60.93/59.86	c cleaning 15999 clauses out of 32013 with flag 143000/148934
67.23/66.14	c cleaning 16997 clauses out of 34015 with flag 161001/166935
74.53/73.41	c cleaning 18000 clauses out of 36017 with flag 180000/185934
82.55/81.44	c cleaning 18994 clauses out of 38017 with flag 200000/205934
91.14/90.05	c cleaning 20008 clauses out of 40023 with flag 221000/226934
100.24/99.18	c cleaning 20999 clauses out of 42015 with flag 243000/248934
108.96/107.82	c cleaning 22005 clauses out of 44016 with flag 266000/271934
117.95/116.87	c cleaning 22994 clauses out of 46011 with flag 290000/295934
126.85/125.71	c cleaning 23499 clauses out of 47018 with flag 314001/319935
137.35/136.28	c cleaning 23740 clauses out of 47518 with flag 338000/343934
147.05/145.95	c cleaning 23879 clauses out of 47779 with flag 362001/367935
156.17/155.06	c cleaning 23945 clauses out of 47899 with flag 386000/391934
165.36/164.23	c cleaning 23966 clauses out of 47954 with flag 410000/415934
174.77/173.64	c cleaning 23983 clauses out of 47988 with flag 434000/439934
183.57/182.45	c cleaning 23999 clauses out of 48005 with flag 458000/463934
192.59/191.49	c cleaning 23997 clauses out of 48007 with flag 482001/487935
202.39/201.23	c cleaning 23995 clauses out of 48009 with flag 506000/511934
211.30/210.17	c cleaning 24001 clauses out of 48015 with flag 530001/535935
220.48/219.32	c cleaning 24000 clauses out of 48013 with flag 554000/559934
229.39/228.25	c cleaning 23999 clauses out of 48015 with flag 578002/583936
238.59/237.41	c cleaning 24002 clauses out of 48015 with flag 602001/607935
247.61/246.45	c cleaning 23998 clauses out of 48012 with flag 626000/631934
256.80/255.65	c cleaning 23995 clauses out of 48014 with flag 650000/655934
266.40/265.21	c cleaning 24000 clauses out of 48019 with flag 674000/679934
275.91/274.71	c cleaning 24003 clauses out of 48019 with flag 698000/703934
285.71/284.51	c cleaning 24002 clauses out of 48017 with flag 722001/727935
296.51/295.40	c cleaning 23998 clauses out of 48015 with flag 746001/751935
307.12/305.91	c cleaning 24002 clauses out of 48017 with flag 770001/775935
318.04/316.88	c cleaning 24003 clauses out of 48015 with flag 794001/799935
328.13/326.98	c cleaning 23999 clauses out of 48011 with flag 818000/823934
338.85/337.69	c cleaning 23999 clauses out of 48013 with flag 842001/847935
349.74/348.57	c cleaning 24001 clauses out of 48013 with flag 866000/871934
359.64/358.40	c cleaning 23998 clauses out of 48012 with flag 890000/895934
369.15/367.96	c cleaning 24001 clauses out of 48014 with flag 914000/919934
377.95/376.77	c cleaning 23999 clauses out of 48013 with flag 938000/943934
387.38/386.20	c cleaning 24000 clauses out of 48016 with flag 962002/967936
395.56/394.34	c cleaning 23995 clauses out of 48014 with flag 986000/991934
403.66/402.43	c cleaning 24007 clauses out of 48019 with flag 1010000/1015934
413.48/412.20	c cleaning 24001 clauses out of 48013 with flag 1034001/1039935
422.88/421.61	c cleaning 24000 clauses out of 48012 with flag 1058001/1063935
431.98/430.73	c cleaning 23999 clauses out of 48012 with flag 1082001/1087935
440.69/439.46	c cleaning 23998 clauses out of 48013 with flag 1106001/1111935
449.59/448.34	c cleaning 24003 clauses out of 48016 with flag 1130002/1135936
458.30/457.05	c cleaning 23992 clauses out of 48011 with flag 1154000/1159934
467.80/466.55	c cleaning 24004 clauses out of 48019 with flag 1178000/1183934
478.62/477.35	c cleaning 23997 clauses out of 48015 with flag 1202000/1207934
489.51/488.27	c cleaning 23999 clauses out of 48020 with flag 1226002/1231936
501.22/499.92	c cleaning 23996 clauses out of 48019 with flag 1250000/1255934
512.84/511.52	c cleaning 24000 clauses out of 48023 with flag 1274000/1279934
524.33/523.09	c cleaning 23995 clauses out of 48023 with flag 1298000/1303934
535.63/534.36	c cleaning 24009 clauses out of 48028 with flag 1322000/1327934
545.85/544.60	c cleaning 24007 clauses out of 48019 with flag 1346000/1351934
554.94/553.62	c cleaning 23993 clauses out of 48013 with flag 1370001/1375935
563.85/562.58	c cleaning 24003 clauses out of 48019 with flag 1394000/1399934
572.66/571.33	c cleaning 23998 clauses out of 48016 with flag 1418000/1423934
581.46/580.17	c cleaning 23991 clauses out of 48018 with flag 1442000/1447934
591.07/589.78	c cleaning 24003 clauses out of 48027 with flag 1466000/1471934
601.89/600.54	c cleaning 24004 clauses out of 48024 with flag 1490000/1495934
612.37/611.05	c cleaning 24002 clauses out of 48020 with flag 1514000/1519934
621.69/620.37	c cleaning 23992 clauses out of 48018 with flag 1538000/1543934
631.18/629.89	c cleaning 23981 clauses out of 48026 with flag 1562000/1567934
640.40/639.08	c cleaning 24011 clauses out of 48045 with flag 1586000/1591934
649.59/648.26	c cleaning 24004 clauses out of 48035 with flag 1610001/1615935
659.10/657.75	c cleaning 24008 clauses out of 48030 with flag 1634000/1639934
669.20/667.85	c cleaning 24004 clauses out of 48022 with flag 1658000/1663934
679.60/678.28	c cleaning 23999 clauses out of 48018 with flag 1682000/1687934
689.60/688.26	c cleaning 24007 clauses out of 48022 with flag 1706003/1711937
699.92/698.52	c cleaning 23994 clauses out of 48013 with flag 1730001/1735935
710.11/708.71	c cleaning 23994 clauses out of 48018 with flag 1754000/1759934
719.21/717.84	c cleaning 24004 clauses out of 48024 with flag 1778000/1783934
728.43/727.02	c cleaning 24000 clauses out of 48020 with flag 1802000/1807934
737.82/736.43	c cleaning 24005 clauses out of 48021 with flag 1826001/1831935
746.82/745.41	c cleaning 23995 clauses out of 48016 with flag 1850001/1855935
755.72/754.35	c cleaning 23998 clauses out of 48020 with flag 1874000/1879934
764.85/763.45	c cleaning 23994 clauses out of 48022 with flag 1898000/1903934
773.43/772.08	c cleaning 24002 clauses out of 48028 with flag 1922000/1927934
782.64/781.26	c cleaning 24001 clauses out of 48026 with flag 1946000/1951934
791.94/790.52	c cleaning 24000 clauses out of 48025 with flag 1970000/1975934
801.34/799.93	c cleaning 24006 clauses out of 48025 with flag 1994000/1999934
810.14/808.77	c cleaning 24003 clauses out of 48019 with flag 2018000/2023934
819.25/817.83	c cleaning 24001 clauses out of 48016 with flag 2042000/2047934
828.75/827.32	c cleaning 24001 clauses out of 48015 with flag 2066000/2071934
837.95/836.58	c cleaning 23998 clauses out of 48014 with flag 2090000/2095934
847.46/846.01	c cleaning 24002 clauses out of 48018 with flag 2114002/2119936
856.26/854.84	c cleaning 23996 clauses out of 48014 with flag 2138000/2143934
865.47/864.00	c cleaning 24002 clauses out of 48018 with flag 2162000/2167934
875.18/873.72	c cleaning 24001 clauses out of 48016 with flag 2186000/2191934
885.38/883.92	c cleaning 24000 clauses out of 48015 with flag 2210000/2215934
895.28/893.84	c cleaning 23996 clauses out of 48015 with flag 2234000/2239934
904.99/903.54	c cleaning 23998 clauses out of 48021 with flag 2258002/2263936
914.41/912.95	c cleaning 24005 clauses out of 48021 with flag 2282000/2287934
924.60/923.18	c cleaning 23996 clauses out of 48016 with flag 2306000/2311934
935.10/933.62	c cleaning 24002 clauses out of 48020 with flag 2330000/2335934
945.22/943.77	c cleaning 23999 clauses out of 48018 with flag 2354000/2359934
955.51/954.01	c cleaning 24002 clauses out of 48020 with flag 2378001/2383935
965.13/963.67	c cleaning 24000 clauses out of 48018 with flag 2402001/2407935
974.42/972.94	c cleaning 24000 clauses out of 48017 with flag 2426000/2431934
983.84/982.37	c cleaning 24002 clauses out of 48018 with flag 2450001/2455935
993.43/991.94	c cleaning 24002 clauses out of 48016 with flag 2474001/2479935
1003.13/1001.61	c cleaning 23987 clauses out of 48013 with flag 2498000/2503934
1012.45/1010.99	c cleaning 24006 clauses out of 48026 with flag 2522000/2527934
1021.84/1020.32	c cleaning 23998 clauses out of 48021 with flag 2546001/2551935
1031.16/1029.69	c cleaning 23996 clauses out of 48022 with flag 2570000/2575934
1040.34/1038.87	c cleaning 24000 clauses out of 48028 with flag 2594002/2599936
1049.76/1048.28	c cleaning 23997 clauses out of 48026 with flag 2618000/2623934
1059.36/1057.80	c cleaning 23997 clauses out of 48030 with flag 2642001/2647935
1068.36/1066.83	c cleaning 24008 clauses out of 48032 with flag 2666000/2671934
1077.56/1076.08	c cleaning 24003 clauses out of 48024 with flag 2690000/2695934
1087.18/1085.67	c cleaning 24006 clauses out of 48023 with flag 2714002/2719936
1097.57/1096.06	c cleaning 23999 clauses out of 48016 with flag 2738001/2743935
1107.47/1105.96	c cleaning 24000 clauses out of 48018 with flag 2762002/2767936
1117.68/1116.13	c cleaning 24005 clauses out of 48017 with flag 2786001/2791935
1127.38/1125.86	c cleaning 23994 clauses out of 48011 with flag 2810000/2815934
1137.68/1136.12	c cleaning 24001 clauses out of 48017 with flag 2834000/2839934
1147.70/1146.17	c cleaning 24000 clauses out of 48016 with flag 2858000/2863934
1157.60/1156.08	c cleaning 23996 clauses out of 48016 with flag 2882000/2887934
1167.19/1165.67	c cleaning 23998 clauses out of 48020 with flag 2906000/2911934
1176.69/1175.18	c cleaning 24000 clauses out of 48022 with flag 2930000/2935934
1185.79/1184.25	c cleaning 24006 clauses out of 48023 with flag 2954001/2959935
1195.51/1193.91	c cleaning 24000 clauses out of 48016 with flag 2978000/2983934
1204.81/1203.27	c cleaning 24001 clauses out of 48016 with flag 3002000/3007934
1214.22/1212.65	c cleaning 24001 clauses out of 48015 with flag 3026000/3031934
1223.42/1221.84	c cleaning 23995 clauses out of 48014 with flag 3050000/3055934
1233.02/1231.44	c cleaning 24002 clauses out of 48019 with flag 3074000/3079934
1242.53/1240.94	c cleaning 24001 clauses out of 48017 with flag 3098000/3103934
1251.73/1250.12	c cleaning 24000 clauses out of 48017 with flag 3122001/3127935
1261.15/1259.59	c cleaning 23993 clauses out of 48016 with flag 3146000/3151934
1270.84/1269.28	c cleaning 24003 clauses out of 48023 with flag 3170000/3175934
1280.74/1279.11	c cleaning 24008 clauses out of 48021 with flag 3194001/3199935
1290.65/1289.11	c cleaning 23996 clauses out of 48012 with flag 3218000/3223934
1300.25/1298.66	c cleaning 23997 clauses out of 48016 with flag 3242000/3247934
1310.56/1308.99	c cleaning 24000 clauses out of 48020 with flag 3266001/3271935
1319.86/1318.25	c cleaning 23996 clauses out of 48019 with flag 3290000/3295934
1328.96/1327.36	c cleaning 24005 clauses out of 48023 with flag 3314000/3319934
1338.08/1336.44	c cleaning 24006 clauses out of 48018 with flag 3338000/3343934
1347.47/1345.81	c cleaning 23994 clauses out of 48012 with flag 3362000/3367934
1357.17/1355.53	c cleaning 24004 clauses out of 48019 with flag 3386001/3391935
1366.37/1364.77	c cleaning 23998 clauses out of 48015 with flag 3410001/3415935
1375.87/1374.29	c cleaning 24005 clauses out of 48017 with flag 3434001/3439935
1384.88/1383.22	c cleaning 23999 clauses out of 48012 with flag 3458001/3463935
1393.68/1392.05	c cleaning 23998 clauses out of 48013 with flag 3482001/3487935
1403.10/1401.47	c cleaning 23999 clauses out of 48015 with flag 3506001/3511935
1413.01/1411.32	c cleaning 24001 clauses out of 48015 with flag 3530000/3535934
1422.91/1421.25	c cleaning 24003 clauses out of 48015 with flag 3554001/3559935
1432.81/1431.16	c cleaning 23998 clauses out of 48011 with flag 3578000/3583934
1442.50/1440.91	c cleaning 23989 clauses out of 48013 with flag 3602000/3607934
1452.30/1450.61	c cleaning 24003 clauses out of 48024 with flag 3626000/3631934
1461.60/1459.95	c cleaning 24005 clauses out of 48021 with flag 3650000/3655934
1470.61/1468.99	c cleaning 24005 clauses out of 48017 with flag 3674001/3679935
1480.31/1478.66	c cleaning 23995 clauses out of 48011 with flag 3698000/3703934
1490.22/1488.57	c cleaning 23999 clauses out of 48016 with flag 3722000/3727934
1499.84/1498.18	c cleaning 24000 clauses out of 48018 with flag 3746001/3751935
1509.52/1507.83	c cleaning 24003 clauses out of 48018 with flag 3770001/3775935
1519.03/1517.39	c cleaning 23996 clauses out of 48014 with flag 3794000/3799934
1528.03/1526.38	c cleaning 24002 clauses out of 48018 with flag 3818000/3823934
1536.63/1534.97	c cleaning 23994 clauses out of 48017 with flag 3842001/3847935
1545.24/1543.59	c cleaning 23998 clauses out of 48023 with flag 3866001/3871935
1553.94/1552.21	c cleaning 24005 clauses out of 48025 with flag 3890001/3895935
1562.85/1561.14	c cleaning 24001 clauses out of 48021 with flag 3914002/3919936
1571.25/1569.50	c cleaning 23996 clauses out of 48018 with flag 3938000/3943934
1579.66/1577.99	c cleaning 24004 clauses out of 48022 with flag 3962000/3967934
1588.46/1586.75	c cleaning 24003 clauses out of 48018 with flag 3986000/3991934
1597.88/1596.19	c cleaning 23998 clauses out of 48015 with flag 4010000/4015934
1607.37/1605.64	c cleaning 23996 clauses out of 48017 with flag 4034000/4039934
1617.59/1615.83	c cleaning 24002 clauses out of 48021 with flag 4058000/4063934
1628.27/1626.51	c cleaning 24003 clauses out of 48019 with flag 4082000/4087934
1638.49/1636.80	c cleaning 23999 clauses out of 48016 with flag 4106000/4111934
1649.08/1647.33	c cleaning 24003 clauses out of 48017 with flag 4130000/4135934
1658.68/1656.99	c cleaning 23998 clauses out of 48014 with flag 4154000/4159934
1668.49/1666.75	c cleaning 24006 clauses out of 48019 with flag 4178003/4183937
1678.59/1676.86	c cleaning 23990 clauses out of 48010 with flag 4202000/4207934
1688.29/1686.52	c cleaning 24002 clauses out of 48021 with flag 4226001/4231935
1697.60/1695.87	c cleaning 23989 clauses out of 48018 with flag 4250000/4255934
1707.70/1705.95	c cleaning 24001 clauses out of 48030 with flag 4274001/4279935
1718.11/1716.40	c cleaning 24007 clauses out of 48031 with flag 4298003/4303937
1728.73/1726.98	c cleaning 24001 clauses out of 48022 with flag 4322001/4327935
1738.92/1737.11	c cleaning 23999 clauses out of 48020 with flag 4346000/4351934
1749.02/1747.23	c cleaning 23999 clauses out of 48021 with flag 4370000/4375934
1759.32/1757.54	c cleaning 23998 clauses out of 48022 with flag 4394000/4399934
1770.03/1768.28	c cleaning 24003 clauses out of 48024 with flag 4418000/4423934
1780.63/1778.89	c cleaning 24002 clauses out of 48022 with flag 4442001/4447935
1790.53/1788.76	c cleaning 23997 clauses out of 48019 with flag 4466000/4471934
1800.05/1798.22	c starts		: 266
1800.05/1798.22	c conflicts		: 4495115
1800.05/1798.22	c decisions		: 17085717
1800.05/1798.22	c propagations		: 7574184835
1800.05/1798.22	c inspects		: 8503519117
1800.05/1798.22	c shortcuts		: 0
1800.05/1798.22	c learnt literals	: 0
1800.05/1798.22	c learnt binary clauses	: 0
1800.05/1798.22	c learnt ternary clauses	: 2
1800.05/1798.22	c learnt constraints	: 4495115
1800.05/1798.22	c ignored constraints	: 0
1800.05/1798.22	c root simplifications	: 0
1800.05/1798.22	c removed literals (reason simplification)	: 6088725
1800.05/1798.22	c reason swapping (by a shorter reason)	: 0
1800.05/1798.22	c Calls to reduceDB	: 195
1800.05/1798.22	c number of reductions to clauses (during analyze)	: 0
1800.05/1798.22	c number of learned constraints concerned by reduction	: 0
1800.05/1798.22	c number of learning phase by resolution	: 0
1800.05/1798.22	c number of learning phase by cutting planes	: 0
1800.05/1798.22	c speed (assignments/second)	: 4220338.411098983
1800.05/1798.22	c non guided choices	21378
1800.05/1798.24	c learnt constraints type 
1800.05/1798.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 47243
1800.05/1798.24	c constraints type 
1800.05/1798.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4050
1800.05/1798.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1798.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19168
1800.05/1798.24	s SATISFIABLE
1800.05/1798.26	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 -x7799 -x7800 -x7801 -x7802 x7803 x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 x7923 x7924 -x7925 x7926 
1800.05/1798.26	c objective function=31
1800.05/1798.26	c Total wall clock time (in seconds): 1798.143

Verifier Data 

OK	31

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-3458496-1307156588/watcher-3458496-1307156588 -o /tmp/evaluation-result-3458496-1307156588/solver-3458496-1307156588 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458496-1307156588.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.56 1.91 1.96 4/488 27183
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 2337 0 1 0 0 0 0 0 17 0 2 0 827257343 13833195520 2040 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3377245 2054 906 9 0 3368401 0
[pid=27183/tid=27185] ppid=27179 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 3694 0 1 0 0 0 0 0 17 0 2 0 827257344 13850947584 4510 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.066067 s]
/proc/loadavg: 1.56 1.91 1.96 4/488 27183
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13549616 CPUtime=0.05 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 14038 0 1 0 4 1 0 0 17 0 13 0 827257343 13874806784 13735 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3387404 13735 1691 9 0 3378152 0
[pid=27183/tid=27185] ppid=27179 vsize=13549616 CPUtime=0.05 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) S 27179 27183 23523 0 -1 4202560 12891 0 1 0 4 1 0 0 18 0 13 0 827257344 13874806784 13735 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210204643173 0 2147483391 0 16800971 18446744071699207358 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616

[startup+0.104676 s]
/proc/loadavg: 1.56 1.91 1.96 4/488 27183
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13622284 CPUtime=0.11 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 15491 0 1 0 9 2 0 0 17 0 18 0 827257343 13949218816 15187 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3405571 15188 2092 9 0 3396305 0
[pid=27183/tid=27185] ppid=27179 vsize=13622284 CPUtime=0.08 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 13574 0 1 0 7 1 0 0 18 0 18 0 827257344 13949218816 15189 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210204308513 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622284

[startup+0.300557 s]
/proc/loadavg: 1.56 1.91 1.96 4/488 27183
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13624480 CPUtime=0.51 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 19060 0 1 0 49 2 0 0 17 0 18 0 827257343 13951467520 18260 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3406120 18261 2201 9 0 3396854 0
[pid=27183/tid=27185] ppid=27179 vsize=13624480 CPUtime=0.28 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 15810 0 1 0 27 1 0 0 18 0 18 0 827257344 13951467520 18263 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 46912505620188 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13624480

[startup+0.700489 s]
/proc/loadavg: 1.56 1.91 1.96 4/488 27183
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13629776 CPUtime=1.53 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 33725 0 1 0 149 4 0 0 17 0 19 0 827257343 13956890624 30133 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3407444 30133 2236 9 0 3398178 0
[pid=27183/tid=27185] ppid=27179 vsize=13629776 CPUtime=0.68 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 25799 0 1 0 65 3 0 0 19 0 19 0 827257344 13956890624 30133 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 46912505175361 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13629776

[startup+1.50135 s]
/proc/loadavg: 1.68 1.93 1.97 3/526 27221
/proc/meminfo: memFree=26980844/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13629776 CPUtime=2.49 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 34193 0 1 0 245 4 0 0 17 0 19 0 827257343 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3407444 30564 2238 9 0 3398178 0
[pid=27183/tid=27185] ppid=27179 vsize=13629776 CPUtime=1.48 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 26205 0 1 0 145 3 0 0 20 0 19 0 827257344 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 46912505945525 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27183/tid=27196] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27196/stat : 27196 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27197] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27197/stat : 27197 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827257346 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27198] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27198/stat : 27198 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827257346 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27199] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27199/stat : 27199 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827257346 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27200] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27200/stat : 27200 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827257346 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27201] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27201/stat : 27201 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257346 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27202] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27202/stat : 27202 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257346 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27203] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27203/stat : 27203 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257346 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27205] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27205/stat : 27205 (java) S 27179 27183 23523 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827257347 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 0 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27208] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27208/stat : 27208 (java) S 27179 27183 23523 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827257348 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27209] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27209/stat : 27209 (java) S 27179 27183 23523 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827257348 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27212] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27212/stat : 27212 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257350 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216470961 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27214] ppid=27179 vsize=13629776 CPUtime=0.48 cores=1,3,5,7
/proc/27183/task/27214/stat : 27214 (java) S 27179 27183 23523 0 -1 4202560 4319 0 0 0 48 0 0 0 17 0 19 0 827257350 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27216] ppid=27179 vsize=13629776 CPUtime=0.52 cores=1,3,5,7
/proc/27183/task/27216/stat : 27216 (java) S 27179 27183 23523 0 -1 4202560 2509 0 0 0 52 0 0 0 15 0 19 0 827257350 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27217] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27217/stat : 27217 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257350 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27219] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27219/stat : 27219 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257350 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27221] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27221/stat : 27221 (java) S 27179 27183 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257394 13956890624 30564 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 13629776

[startup+3.10113 s]
/proc/loadavg: 1.68 1.93 1.97 5/526 27221
/proc/meminfo: memFree=26977260/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13629776 CPUtime=4.09 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 34443 0 1 0 405 4 0 0 17 0 19 0 827257343 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3407444 30813 2238 9 0 3398178 0
[pid=27183/tid=27185] ppid=27179 vsize=13629776 CPUtime=3.07 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 26454 0 1 0 304 3 0 0 25 0 19 0 827257344 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 46912505945850 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27183/tid=27196] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27196/stat : 27196 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27197] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27197/stat : 27197 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827257346 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27198] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27198/stat : 27198 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827257346 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27199] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27199/stat : 27199 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827257346 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27200] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27200/stat : 27200 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827257346 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27201] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27201/stat : 27201 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257346 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27202] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27202/stat : 27202 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257346 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27203] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27203/stat : 27203 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257346 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27205] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27205/stat : 27205 (java) S 27179 27183 23523 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827257347 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 0 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27208] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27208/stat : 27208 (java) S 27179 27183 23523 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 827257348 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27209] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27209/stat : 27209 (java) S 27179 27183 23523 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 827257348 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27212] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27212/stat : 27212 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257350 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216470961 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27214] ppid=27179 vsize=13629776 CPUtime=0.48 cores=1,3,5,7
/proc/27183/task/27214/stat : 27214 (java) S 27179 27183 23523 0 -1 4202560 4319 0 0 0 48 0 0 0 17 0 19 0 827257350 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27216] ppid=27179 vsize=13629776 CPUtime=0.52 cores=1,3,5,7
/proc/27183/task/27216/stat : 27216 (java) S 27179 27183 23523 0 -1 4202560 2509 0 0 0 52 0 0 0 15 0 19 0 827257350 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27217] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27217/stat : 27217 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257350 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27219] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27219/stat : 27219 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257350 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27221] ppid=27179 vsize=13629776 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27221/stat : 27221 (java) S 27179 27183 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257394 13956890624 30813 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 13629776

[startup+6.30059 s]
/proc/loadavg: 1.70 1.93 1.97 3/526 27221
/proc/meminfo: memFree=26958660/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13628860 CPUtime=7.37 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 37346 0 1 0 733 4 0 0 17 0 19 0 827257343 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3407215 33516 2264 9 0 3397949 0
[pid=27183/tid=27185] ppid=27179 vsize=13628860 CPUtime=6.2 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 26468 0 1 0 617 3 0 0 25 0 19 0 827257344 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 46912505917127 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27183/tid=27196] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27196/stat : 27196 (java) S 27179 27183 23523 0 -1 4202560 715 0 0 0 0 0 0 0 15 0 19 0 827257346 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27197] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27197/stat : 27197 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257346 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27198] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27198/stat : 27198 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257346 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27199] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27199/stat : 27199 (java) S 27179 27183 23523 0 -1 4202560 253 0 0 0 0 0 0 0 15 0 19 0 827257346 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27200] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27200/stat : 27200 (java) S 27179 27183 23523 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 827257346 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27201] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27201/stat : 27201 (java) S 27179 27183 23523 0 -1 4202560 339 0 0 0 0 0 0 0 15 0 19 0 827257346 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27202] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27202/stat : 27202 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257346 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27203] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27203/stat : 27203 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257346 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27205] ppid=27179 vsize=13628860 CPUtime=0.04 cores=1,3,5,7
/proc/27183/task/27205/stat : 27205 (java) S 27179 27183 23523 0 -1 4202560 1331 0 0 0 4 0 0 0 15 0 19 0 827257347 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 0 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27208] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27208/stat : 27208 (java) S 27179 27183 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27209] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27209/stat : 27209 (java) S 27179 27183 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27212] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27212/stat : 27212 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257350 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216470961 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27214] ppid=27179 vsize=13628860 CPUtime=0.52 cores=1,3,5,7
/proc/27183/task/27214/stat : 27214 (java) S 27179 27183 23523 0 -1 4202560 4322 0 0 0 52 0 0 0 16 0 19 0 827257350 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27216] ppid=27179 vsize=13628860 CPUtime=0.56 cores=1,3,5,7
/proc/27183/task/27216/stat : 27216 (java) S 27179 27183 23523 0 -1 4202560 2518 0 0 0 56 0 0 0 15 0 19 0 827257350 13955952640 33516 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0

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

[pid=27183/tid=27201] ppid=27179 vsize=13628860 CPUtime=0.14 cores=1,3,5,7
/proc/27183/task/27201/stat : 27201 (java) S 27179 27183 23523 0 -1 4202560 458 0 0 0 14 0 0 0 16 0 19 0 827257346 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27202] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27202/stat : 27202 (java) S 27179 27183 23523 0 -1 4202560 222 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27203] ppid=27179 vsize=13628860 CPUtime=0.14 cores=1,3,5,7
/proc/27183/task/27203/stat : 27203 (java) S 27179 27183 23523 0 -1 4202560 448 0 0 0 14 0 0 0 15 0 19 0 827257346 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27205] ppid=27179 vsize=13628860 CPUtime=5.96 cores=1,3,5,7
/proc/27183/task/27205/stat : 27205 (java) S 27179 27183 23523 0 -1 4202560 5269 0 0 0 594 2 0 0 15 0 19 0 827257347 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 0 0 16800975 18446604458690622528 0 0 -1 3 0 0 0
[pid=27183/tid=27208] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27208/stat : 27208 (java) S 27179 27183 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27209] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27209/stat : 27209 (java) S 27179 27183 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27212] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27212/stat : 27212 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257350 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216470961 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27214] ppid=27179 vsize=13628860 CPUtime=0.52 cores=1,3,5,7
/proc/27183/task/27214/stat : 27214 (java) S 27179 27183 23523 0 -1 4202560 4323 0 0 0 52 0 0 0 15 0 19 0 827257350 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27216] ppid=27179 vsize=13628860 CPUtime=0.63 cores=1,3,5,7
/proc/27183/task/27216/stat : 27216 (java) S 27179 27183 23523 0 -1 4202560 2523 0 0 0 63 0 0 0 15 0 19 0 827257350 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27217] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27217/stat : 27217 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257350 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27219] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27219/stat : 27219 (java) S 27179 27183 23523 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 827257350 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27221] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27221/stat : 27221 (java) S 27179 27183 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257394 13955952640 39281 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.09
Current children cumulated vsize (KiB) 13628860

[startup+1722.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/526 27270
/proc/meminfo: memFree=26911236/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13628860 CPUtime=1724.11 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 43577 0 1 0 172402 9 0 0 17 0 19 0 827257343 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3407215 39360 2265 9 0 3397949 0
[pid=27183/tid=27185] ppid=27179 vsize=13628860 CPUtime=1715.47 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 26652 0 1 0 171544 3 0 0 25 0 19 0 827257344 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 46912505909791 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27183/tid=27196] ppid=27179 vsize=13628860 CPUtime=0.14 cores=1,3,5,7
/proc/27183/task/27196/stat : 27196 (java) S 27179 27183 23523 0 -1 4202560 817 0 0 0 14 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27197] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27197/stat : 27197 (java) S 27179 27183 23523 0 -1 4202560 109 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27198] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27198/stat : 27198 (java) S 27179 27183 23523 0 -1 4202560 379 0 0 0 16 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27199] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27199/stat : 27199 (java) S 27179 27183 23523 0 -1 4202560 566 0 0 0 16 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27200] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27200/stat : 27200 (java) S 27179 27183 23523 0 -1 4202560 478 0 0 0 16 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27201] ppid=27179 vsize=13628860 CPUtime=0.14 cores=1,3,5,7
/proc/27183/task/27201/stat : 27201 (java) S 27179 27183 23523 0 -1 4202560 465 0 0 0 14 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27202] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27202/stat : 27202 (java) S 27179 27183 23523 0 -1 4202560 222 0 0 0 16 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27203] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27203/stat : 27203 (java) S 27179 27183 23523 0 -1 4202560 448 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27205] ppid=27179 vsize=13628860 CPUtime=6.17 cores=1,3,5,7
/proc/27183/task/27205/stat : 27205 (java) S 27179 27183 23523 0 -1 4202560 5345 0 0 0 615 2 0 0 15 0 19 0 827257347 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 0 0 16800975 18446604458690622528 0 0 -1 3 0 0 0
[pid=27183/tid=27208] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27208/stat : 27208 (java) S 27179 27183 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27209] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27209/stat : 27209 (java) S 27179 27183 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27212] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27212/stat : 27212 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216470961 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27214] ppid=27179 vsize=13628860 CPUtime=0.52 cores=1,3,5,7
/proc/27183/task/27214/stat : 27214 (java) S 27179 27183 23523 0 -1 4202560 4323 0 0 0 52 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27216] ppid=27179 vsize=13628860 CPUtime=0.63 cores=1,3,5,7
/proc/27183/task/27216/stat : 27216 (java) S 27179 27183 23523 0 -1 4202560 2523 0 0 0 63 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27217] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27217/stat : 27217 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27219] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27219/stat : 27219 (java) S 27179 27183 23523 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27221] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27221/stat : 27221 (java) S 27179 27183 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257394 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.11
Current children cumulated vsize (KiB) 13628860

[startup+1782.3 s]
/proc/loadavg: 2.19 2.06 2.02 4/526 27272
/proc/meminfo: memFree=26910204/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13628860 CPUtime=1784.13 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 43587 0 1 0 178404 9 0 0 17 0 19 0 827257343 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3407215 39360 2265 9 0 3397949 0
[pid=27183/tid=27185] ppid=27179 vsize=13628860 CPUtime=1775.25 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 26658 0 1 0 177522 3 0 0 25 0 19 0 827257344 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 46912505945850 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27183/tid=27196] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27196/stat : 27196 (java) S 27179 27183 23523 0 -1 4202560 817 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27197] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27197/stat : 27197 (java) S 27179 27183 23523 0 -1 4202560 109 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27198] ppid=27179 vsize=13628860 CPUtime=0.17 cores=1,3,5,7
/proc/27183/task/27198/stat : 27198 (java) S 27179 27183 23523 0 -1 4202560 379 0 0 0 17 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27199] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27199/stat : 27199 (java) S 27179 27183 23523 0 -1 4202560 566 0 0 0 16 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27200] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27200/stat : 27200 (java) S 27179 27183 23523 0 -1 4202560 478 0 0 0 16 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27201] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27201/stat : 27201 (java) S 27179 27183 23523 0 -1 4202560 465 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27202] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27202/stat : 27202 (java) S 27179 27183 23523 0 -1 4202560 222 0 0 0 16 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27203] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27203/stat : 27203 (java) S 27179 27183 23523 0 -1 4202560 448 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27205] ppid=27179 vsize=13628860 CPUtime=6.38 cores=1,3,5,7
/proc/27183/task/27205/stat : 27205 (java) S 27179 27183 23523 0 -1 4202560 5347 0 0 0 636 2 0 0 15 0 19 0 827257347 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 0 0 16800975 18446604458690622528 0 0 -1 3 0 0 0
[pid=27183/tid=27208] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27208/stat : 27208 (java) S 27179 27183 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27209] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27209/stat : 27209 (java) S 27179 27183 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27212] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27212/stat : 27212 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216470961 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27214] ppid=27179 vsize=13628860 CPUtime=0.52 cores=1,3,5,7
/proc/27183/task/27214/stat : 27214 (java) S 27179 27183 23523 0 -1 4202560 4323 0 0 0 52 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27216] ppid=27179 vsize=13628860 CPUtime=0.63 cores=1,3,5,7
/proc/27183/task/27216/stat : 27216 (java) S 27179 27183 23523 0 -1 4202560 2523 0 0 0 63 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27217] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27217/stat : 27217 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27219] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27219/stat : 27219 (java) S 27179 27183 23523 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27221] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27221/stat : 27221 (java) S 27179 27183 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257394 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.13
Current children cumulated vsize (KiB) 13628860



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.2 s]
/proc/loadavg: 2.14 2.05 2.01 2/506 27275
/proc/meminfo: memFree=27037940/32951124 swapFree=63649284/67111528
[pid=27183] ppid=27179 vsize=13628860 CPUtime=1800.05 cores=1,3,5,7
/proc/27183/stat : 27183 (java) S 27179 27183 23523 0 -1 4202496 43592 0 1 0 179996 9 0 0 17 0 19 0 827257343 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27183/statm: 3407215 39360 2265 9 0 3397949 0
[pid=27183/tid=27185] ppid=27179 vsize=13628860 CPUtime=1791.13 cores=1,3,5,7
/proc/27183/task/27185/stat : 27185 (java) R 27179 27183 23523 0 -1 4202560 26659 0 1 0 179110 3 0 0 25 0 19 0 827257344 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 46912505909805 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27183/tid=27196] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27196/stat : 27196 (java) S 27179 27183 23523 0 -1 4202560 817 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27197] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27197/stat : 27197 (java) S 27179 27183 23523 0 -1 4202560 109 0 0 0 15 0 0 0 16 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27198] ppid=27179 vsize=13628860 CPUtime=0.17 cores=1,3,5,7
/proc/27183/task/27198/stat : 27198 (java) S 27179 27183 23523 0 -1 4202560 379 0 0 0 17 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27199] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27199/stat : 27199 (java) S 27179 27183 23523 0 -1 4202560 566 0 0 0 16 0 0 0 16 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27200] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27200/stat : 27200 (java) S 27179 27183 23523 0 -1 4202560 478 0 0 0 16 0 0 0 16 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27201] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27201/stat : 27201 (java) S 27179 27183 23523 0 -1 4202560 465 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27202] ppid=27179 vsize=13628860 CPUtime=0.16 cores=1,3,5,7
/proc/27183/task/27202/stat : 27202 (java) S 27179 27183 23523 0 -1 4202560 222 0 0 0 16 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27203] ppid=27179 vsize=13628860 CPUtime=0.15 cores=1,3,5,7
/proc/27183/task/27203/stat : 27203 (java) S 27179 27183 23523 0 -1 4202560 448 0 0 0 15 0 0 0 15 0 19 0 827257346 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27205] ppid=27179 vsize=13628860 CPUtime=6.41 cores=1,3,5,7
/proc/27183/task/27205/stat : 27205 (java) S 27179 27183 23523 0 -1 4202560 5349 0 0 0 639 2 0 0 15 0 19 0 827257347 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 0 0 16800975 18446604458690622528 0 0 -1 3 0 0 0
[pid=27183/tid=27208] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27208/stat : 27208 (java) S 27179 27183 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27209] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27209/stat : 27209 (java) S 27179 27183 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27212] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27212/stat : 27212 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216470961 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27214] ppid=27179 vsize=13628860 CPUtime=0.52 cores=1,3,5,7
/proc/27183/task/27214/stat : 27214 (java) S 27179 27183 23523 0 -1 4202560 4323 0 0 0 52 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 5 0 0 0
[pid=27183/tid=27216] ppid=27179 vsize=13628860 CPUtime=0.63 cores=1,3,5,7
/proc/27183/task/27216/stat : 27216 (java) S 27179 27183 23523 0 -1 4202560 2523 0 0 0 63 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 1 0 0 0
[pid=27183/tid=27217] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27217/stat : 27217 (java) S 27179 27183 23523 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463257 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27219] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27219/stat : 27219 (java) S 27179 27183 23523 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827257350 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
[pid=27183/tid=27221] ppid=27179 vsize=13628860 CPUtime=0 cores=1,3,5,7
/proc/27183/task/27221/stat : 27221 (java) S 27179 27183 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257394 13955952640 39360 33554432000 1073741824 1073778376 140734861617616 18446744073709551615 210216463872 0 4 0 16800975 18446604458690622528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13628860

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

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

Child status: 143
Real time (s): 1798.27
CPU time (s): 1800.2
CPU user time (s): 1800.09
CPU system time (s): 0.107983
CPU usage (%): 100.107
Max. virtual memory (cumulated for all children) (KiB): 13629776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.09
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43737
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= 42831
involuntary context switches= 9456

runsolver used 8.65668 second user time and 21.2318 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-04 05:03:08
IDJOB=3458496
IDBENCH=24998
IDSOLVER=1952
FILE ID=node130/3458496-1307156588
RUNJOBID= node130-1307156588-27165
PBS_JOBID= 13508786
Free space on /tmp= 73856 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_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-3458496-1307156588/watcher-3458496-1307156588 -o /tmp/evaluation-result-3458496-1307156588/solver-3458496-1307156588 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458496-1307156588.opb

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

MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640
RANDOM SEED=973926254

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27195584 kB
Buffers:        273704 kB
Cached:         420044 kB
SwapCached:       9700 kB
Active:        5101376 kB
Inactive:       372124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27195584 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:            1980 kB
Writeback:          12 kB
AnonPages:     4778084 kB
Mapped:          30072 kB
Slab:           158072 kB
PageTables:      53680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145067800 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= 73852 MiB
End job on node130 at 2011-06-04 05:33:09