Trace number 3690040

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO) 1801.47 1001.03

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_1_mh_ic.opb
MD5SUMf4c34ee83da7e36be7881d34beece196
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1396365
Best CPU time to get the best result obtained on this benchmark680.72
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 57066625
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 2537601947
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 57066625
Number of bits of the biggest number in a constraint 26
Biggest sum of numbers in a constraint 2537601947
Number of bits of the biggest sum of numbers32
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3690040-1337887375.opb
0.09/0.11	c reading problem ... 
1.35/0.65	c ... done. Wall clock time 0.537s.
1.35/0.65	c declared #vars     9765
1.35/0.65	c #constraints  21927
1.35/0.65	c constraints type 
1.35/0.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
1.35/0.65	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
1.35/0.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1.35/0.65	c ignored satisfied constraints => 4
1.35/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
1.35/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015
1.35/0.65	c 21931 constraints processed.
1.35/0.65	c constraints type 
1.35/0.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885
1.35/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001
1.35/0.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
1.35/0.65	c ignored satisfied constraints => 4
1.35/0.65	c org.sat4j.pb.constraints.pb.UnitClausesPB => 4
1.35/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6015
1.35/0.65	c 21931 constraints processed.
1.35/0.65	c objective function length is 4005 literals
2.45/0.94	c  And the winner is solver0
2.87/1.16	c SATISFIABLE
2.87/1.16	c OPTIMIZING...
2.87/1.16	c Got one! Elapsed wall clock time (in seconds):1.046
2.87/1.16	o 3133059
3.01/1.29	c  And the winner is solver0
3.64/1.68	c Got one! Elapsed wall clock time (in seconds):1.564
3.64/1.68	o 1865162
3.69/1.75	c  And the winner is solver0
3.89/2.19	c Got one! Elapsed wall clock time (in seconds):2.076
3.89/2.19	o 1832467
4.89/2.62	c  And the winner is solver1
4.98/2.70	c Got one! Elapsed wall clock time (in seconds):2.587
4.98/2.70	o 1775746
7.28/3.89	c cleaning 2811 clauses out of 5622 with flag 4000/5623
11.00/5.61	c cleaning 4405 clauses out of 8809 with flag 10002/11625
14.57/7.44	c cleaning 5698 clauses out of 11402 with flag 17000/18623
18.31/9.34	c cleaning 6853 clauses out of 13707 with flag 25003/26626
23.27/11.88	c cleaning 7922 clauses out of 15857 with flag 34006/35629
28.41/14.43	c cleaning 8964 clauses out of 17933 with flag 44004/45627
34.31/17.43	c cleaning 9975 clauses out of 19965 with flag 55000/56623
41.23/20.93	c cleaning 10993 clauses out of 21990 with flag 67001/68624
48.87/24.80	c cleaning 11989 clauses out of 23996 with flag 80000/81623
56.18/28.57	c cleaning 12995 clauses out of 26007 with flag 94000/95623
64.45/32.71	c cleaning 13995 clauses out of 28012 with flag 109000/110623
72.73/36.96	c cleaning 15009 clauses out of 30019 with flag 125002/126625
82.18/41.79	c cleaning 15996 clauses out of 32009 with flag 142001/143624
91.44/46.44	c cleaning 17008 clauses out of 34016 with flag 160004/161627
100.28/50.96	c  And the winner is solver0
100.55/51.14	c Got one! Elapsed wall clock time (in seconds):51.028
100.55/51.14	o 1774097
103.03/52.34	c cleaning 19918 clauses out of 39840 with flag 5000/184460
106.25/54.09	c cleaning 12956 clauses out of 25922 with flag 11000/190460
109.97/56.01	c cleaning 9976 clauses out of 19967 with flag 18001/197461
114.17/58.23	c cleaning 8985 clauses out of 17991 with flag 26001/205461
119.17/60.84	c cleaning 8987 clauses out of 18006 with flag 35001/214461
124.18/63.46	c cleaning 9493 clauses out of 19018 with flag 45000/224460
129.46/66.29	c cleaning 10263 clauses out of 20525 with flag 56000/235460
135.46/69.32	c cleaning 11115 clauses out of 22264 with flag 68002/247462
142.23/72.89	c cleaning 12067 clauses out of 24147 with flag 81000/260460
149.21/76.48	c cleaning 13036 clauses out of 26082 with flag 95002/274462
157.45/80.70	c cleaning 14015 clauses out of 28045 with flag 110001/289461
162.00/83.13	c  And the winner is solver0
162.26/83.49	c Got one! Elapsed wall clock time (in seconds):83.381
162.26/83.49	o 1728156
164.48/84.62	c cleaning 13729 clauses out of 27488 with flag 5001/302919
167.80/86.47	c cleaning 9866 clauses out of 19758 with flag 11000/308918
171.93/88.67	c cleaning 8435 clauses out of 16894 with flag 18002/315920
176.49/91.12	c cleaning 8216 clauses out of 16457 with flag 26000/323918
181.23/93.65	c cleaning 8609 clauses out of 17243 with flag 35002/332920
186.57/96.44	c cleaning 9297 clauses out of 18632 with flag 45000/342918
192.28/99.48	c cleaning 10153 clauses out of 20335 with flag 56000/353918
198.62/102.80	c  And the winner is solver0
198.65/102.98	c Got one! Elapsed wall clock time (in seconds):102.866
198.65/102.98	o 1725682
199.08/103.24	c  And the winner is solver0
199.30/103.49	c Got one! Elapsed wall clock time (in seconds):103.373
199.30/103.49	o 1648129
200.92/104.37	c cleaning 13201 clauses out of 26424 with flag 4002/370160
201.80/104.95	c  And the winner is solver0
202.00/105.21	c Got one! Elapsed wall clock time (in seconds):105.098
202.00/105.21	o 1629631
203.37/105.96	c  And the winner is solver0
203.59/106.22	c Got one! Elapsed wall clock time (in seconds):106.106
203.59/106.22	o 1606610
203.93/106.48	c cleaning 9535 clauses out of 19088 with flag 1000/376025
207.42/108.36	c cleaning 7764 clauses out of 15554 with flag 7002/382027
211.12/110.38	c cleaning 7361 clauses out of 14788 with flag 14000/389025
215.18/112.65	c cleaning 7699 clauses out of 15427 with flag 22000/397025
219.64/115.05	c cleaning 8352 clauses out of 16729 with flag 31001/406026
224.70/117.76	c cleaning 9177 clauses out of 18377 with flag 41001/416026
230.75/120.98	c cleaning 10093 clauses out of 20200 with flag 52001/427026
237.38/124.59	c cleaning 11045 clauses out of 22107 with flag 64001/439026
245.25/128.64	c cleaning 12011 clauses out of 24061 with flag 77000/452025
253.08/132.79	c cleaning 13002 clauses out of 26050 with flag 91000/466025
261.11/136.98	c cleaning 14016 clauses out of 28049 with flag 106001/481026
270.54/141.92	c cleaning 15008 clauses out of 30032 with flag 122000/497025
279.75/146.77	c cleaning 16003 clauses out of 32024 with flag 139000/514025
289.77/151.95	c cleaning 17004 clauses out of 34023 with flag 157002/532027
300.56/157.52	c cleaning 18004 clauses out of 36017 with flag 176000/551025
312.12/163.66	c cleaning 18990 clauses out of 38013 with flag 196000/571025
324.89/170.25	c cleaning 20001 clauses out of 40025 with flag 217002/592027
338.28/177.19	c cleaning 21004 clauses out of 42022 with flag 239000/614025
352.61/184.50	c cleaning 22007 clauses out of 44019 with flag 262001/637026
367.14/192.19	c cleaning 23004 clauses out of 46013 with flag 286002/661027
381.62/199.60	c cleaning 23999 clauses out of 48007 with flag 311000/686025
395.72/206.97	c cleaning 25000 clauses out of 50009 with flag 337001/712026
411.00/214.82	c cleaning 25985 clauses out of 52008 with flag 364000/739025
427.53/223.55	c cleaning 27008 clauses out of 54023 with flag 392000/767025
443.78/232.00	c cleaning 27997 clauses out of 56016 with flag 421002/796027
460.40/240.57	c cleaning 29006 clauses out of 58017 with flag 451000/826025
476.49/248.99	c cleaning 30002 clauses out of 60012 with flag 482001/857026
496.61/259.53	c cleaning 30989 clauses out of 62012 with flag 514003/889028
516.64/269.95	c cleaning 31995 clauses out of 64020 with flag 547000/922025
519.82/271.97	c  And the winner is solver0
520.22/272.27	c Got one! Elapsed wall clock time (in seconds):272.154
520.22/272.27	o 1589857
520.88/272.62	c cleaning 18592 clauses out of 37222 with flag 1000/927222
524.79/274.91	c cleaning 12302 clauses out of 24629 with flag 7000/933222
528.87/277.59	c cleaning 9626 clauses out of 19327 with flag 14000/940222
533.75/280.36	c cleaning 8830 clauses out of 17701 with flag 22000/948222
538.83/283.22	c cleaning 8894 clauses out of 17871 with flag 31000/957222
544.70/286.51	c cleaning 9478 clauses out of 18978 with flag 41001/967223
551.54/290.52	c cleaning 10239 clauses out of 20499 with flag 52000/978222
558.59/294.46	c cleaning 11123 clauses out of 22260 with flag 64000/990222
562.44/296.70	c  And the winner is solver0
562.55/296.86	c Got one! Elapsed wall clock time (in seconds):296.749
562.55/296.86	o 1574573
563.87/297.54	c  And the winner is solver0
564.01/297.87	c Got one! Elapsed wall clock time (in seconds):297.758
564.01/297.87	o 1567844
565.04/298.43	c cleaning 11022 clauses out of 22052 with flag 2000/1001137
568.85/300.71	c cleaning 8504 clauses out of 17029 with flag 8000/1007137
573.50/303.63	c cleaning 7744 clauses out of 15529 with flag 15004/1014141
577.94/306.20	c cleaning 7863 clauses out of 15781 with flag 23000/1022137
583.00/309.11	c cleaning 8448 clauses out of 16921 with flag 32003/1031140
588.22/312.17	c cleaning 9229 clauses out of 18470 with flag 42000/1041137
594.42/315.86	c cleaning 10108 clauses out of 20241 with flag 53000/1052137
601.04/319.59	c cleaning 11060 clauses out of 22133 with flag 65000/1064137
608.85/323.81	c cleaning 12024 clauses out of 24076 with flag 78003/1077140
615.84/327.75	c cleaning 13015 clauses out of 26049 with flag 92000/1091137
624.78/332.87	c cleaning 14011 clauses out of 28034 with flag 107000/1106137
634.17/337.97	c cleaning 15003 clauses out of 30023 with flag 123000/1122137
644.11/343.39	c cleaning 16007 clauses out of 32020 with flag 140000/1139137
654.49/348.96	c cleaning 17007 clauses out of 34013 with flag 158000/1157137
666.35/355.53	c cleaning 17985 clauses out of 36007 with flag 177001/1176138
677.59/361.67	c cleaning 19011 clauses out of 38021 with flag 197000/1196137
688.73/367.63	c cleaning 19988 clauses out of 40010 with flag 218000/1217137
700.64/374.05	c cleaning 21009 clauses out of 42022 with flag 240000/1239137
712.87/380.81	c cleaning 22001 clauses out of 44013 with flag 263000/1262137
717.36/383.52	c  And the winner is solver0
717.50/383.72	c Got one! Elapsed wall clock time (in seconds):383.602
717.50/383.72	o 1561041
720.45/385.28	c cleaning 17444 clauses out of 34980 with flag 5000/1275106
724.76/387.87	c cleaning 11736 clauses out of 23536 with flag 11000/1281106
729.31/390.58	c cleaning 9349 clauses out of 18800 with flag 18000/1288106
734.92/394.06	c cleaning 8713 clauses out of 17452 with flag 26001/1296107
739.65/396.85	c  And the winner is solver0
739.92/397.09	c Got one! Elapsed wall clock time (in seconds):396.972
739.92/397.09	o 1551177
742.19/398.25	c cleaning 10719 clauses out of 21460 with flag 5001/1308828
745.87/400.56	c cleaning 8358 clauses out of 16740 with flag 11000/1314827
749.60/402.89	c cleaning 7678 clauses out of 15382 with flag 18000/1321827
754.61/406.07	c cleaning 7838 clauses out of 15704 with flag 26000/1329827
759.53/408.93	c cleaning 8430 clauses out of 16866 with flag 35000/1338827
765.64/412.49	c cleaning 9208 clauses out of 18438 with flag 45002/1348829
772.91/416.52	c cleaning 10105 clauses out of 20229 with flag 56001/1359828
780.90/421.21	c cleaning 11038 clauses out of 22124 with flag 68001/1371828
789.16/425.88	c cleaning 12030 clauses out of 24085 with flag 81000/1384827
798.21/430.85	c cleaning 13026 clauses out of 26056 with flag 95001/1398828
807.27/435.87	c cleaning 14008 clauses out of 28031 with flag 110002/1413829
817.22/441.58	c cleaning 14988 clauses out of 30021 with flag 126000/1429827
827.69/447.22	c cleaning 16005 clauses out of 32033 with flag 143000/1446827
837.53/452.69	c cleaning 17010 clauses out of 34028 with flag 161000/1464827
848.17/458.44	c cleaning 17997 clauses out of 36018 with flag 180000/1483827
860.03/465.16	c cleaning 19005 clauses out of 38021 with flag 200000/1503827
872.60/471.91	c cleaning 19998 clauses out of 40017 with flag 221001/1524828
885.99/479.14	c cleaning 21007 clauses out of 42019 with flag 243001/1546828
900.71/487.06	c cleaning 21997 clauses out of 44012 with flag 266001/1569828
915.86/495.50	c cleaning 22999 clauses out of 46015 with flag 290001/1593828
931.97/504.06	c cleaning 24002 clauses out of 48016 with flag 315001/1618828
951.23/514.20	c cleaning 25000 clauses out of 50013 with flag 341000/1644827
970.52/524.46	c cleaning 25995 clauses out of 52013 with flag 368000/1671827
990.41/535.25	c cleaning 26990 clauses out of 54018 with flag 396000/1699827
1011.23/546.87	c cleaning 27998 clauses out of 56028 with flag 425000/1728827
1030.69/556.75	c cleaning 28993 clauses out of 58031 with flag 455001/1758828
1049.75/567.19	c cleaning 30005 clauses out of 60037 with flag 486000/1789827
1068.77/577.27	c cleaning 30992 clauses out of 62033 with flag 518001/1821828
1088.01/587.45	c cleaning 31992 clauses out of 64040 with flag 551000/1854827
1107.79/597.99	c cleaning 33018 clauses out of 66048 with flag 585000/1888827
1129.17/609.51	c cleaning 34010 clauses out of 68030 with flag 620000/1923827
1150.18/620.60	c cleaning 34989 clauses out of 70020 with flag 656000/1959827
1173.11/633.45	c cleaning 36012 clauses out of 72032 with flag 693001/1996828
1195.48/645.32	c cleaning 37002 clauses out of 74020 with flag 731002/2034829
1217.18/656.77	c cleaning 37995 clauses out of 76019 with flag 770003/2073830
1239.01/668.29	c cleaning 38982 clauses out of 78019 with flag 810000/2113827
1243.84/671.21	c  And the winner is solver0
1244.14/671.50	c Got one! Elapsed wall clock time (in seconds):671.39
1244.14/671.50	o 1542961
1246.51/672.79	c cleaning 25493 clauses out of 51025 with flag 5000/2125815
1248.85/674.83	c  And the winner is solver0
1249.49/675.42	c Got one! Elapsed wall clock time (in seconds):675.303
1249.49/675.42	o 1540623
1252.25/676.81	c cleaning 15493 clauses out of 31014 with flag 5000/2131298
1256.69/679.64	c cleaning 10737 clauses out of 21522 with flag 11001/2137299
1261.51/682.69	c cleaning 8872 clauses out of 17784 with flag 18000/2144298
1266.94/685.98	c cleaning 8427 clauses out of 16912 with flag 26000/2152298
1273.47/690.17	c cleaning 8730 clauses out of 17485 with flag 35000/2161298
1279.91/693.90	c cleaning 9366 clauses out of 18757 with flag 45002/2171300
1286.52/697.87	c cleaning 10186 clauses out of 20390 with flag 56001/2182299
1293.73/702.01	c cleaning 11102 clauses out of 22203 with flag 68000/2194298
1302.26/707.21	c cleaning 12043 clauses out of 24102 with flag 81001/2207299
1310.65/712.04	c cleaning 13023 clauses out of 26058 with flag 95000/2221298
1319.87/717.24	c cleaning 14016 clauses out of 28037 with flag 110002/2236300
1329.84/722.88	c cleaning 15003 clauses out of 30019 with flag 126000/2252298
1341.49/729.63	c cleaning 16003 clauses out of 32018 with flag 143002/2269300
1352.65/735.82	c cleaning 17002 clauses out of 34013 with flag 161000/2287298
1365.22/742.72	c cleaning 17984 clauses out of 36011 with flag 180000/2306298
1377.60/749.53	c cleaning 18995 clauses out of 38028 with flag 200001/2326299
1391.22/757.38	c cleaning 20004 clauses out of 40032 with flag 221000/2347298
1398.35/761.53	c  And the winner is solver0
1398.70/761.81	c Got one! Elapsed wall clock time (in seconds):761.696
1398.70/761.81	o 1532516
1401.27/763.19	c cleaning 17785 clauses out of 35607 with flag 5000/2362877
1405.82/766.07	c cleaning 11905 clauses out of 23822 with flag 11000/2368877
1410.54/769.06	c cleaning 9438 clauses out of 18917 with flag 18000/2375877
1416.52/773.07	c cleaning 8722 clauses out of 17479 with flag 26000/2383877
1419.64/775.25	c  And the winner is solver0
1419.90/775.48	c Got one! Elapsed wall clock time (in seconds):775.362
1419.90/775.48	o 1523855
1420.80/775.93	c cleaning 7274 clauses out of 14583 with flag 2000/2389703
1424.22/778.24	c  And the winner is solver0
1424.66/778.66	c Got one! Elapsed wall clock time (in seconds):778.545
1424.66/778.66	o 1520360
1425.16/778.95	c cleaning 6383 clauses out of 12820 with flag 1001/2395214
1429.50/781.77	c cleaning 6187 clauses out of 12436 with flag 7001/2401214
1435.44/785.79	c cleaning 6615 clauses out of 13248 with flag 14000/2408213
1440.96/789.14	c cleaning 7303 clauses out of 14633 with flag 22000/2416213
1447.28/792.96	c cleaning 8144 clauses out of 16330 with flag 31000/2425213
1454.01/796.90	c cleaning 9094 clauses out of 18192 with flag 41006/2435219
1461.55/801.79	c cleaning 10032 clauses out of 20092 with flag 52000/2446213
1467.84/805.57	c  And the winner is solver0
1468.41/806.03	c Got one! Elapsed wall clock time (in seconds):805.917
1468.41/806.03	o 1504828
1470.77/807.30	c cleaning 12395 clauses out of 24798 with flag 5002/2460951
1475.27/810.13	c cleaning 9190 clauses out of 18404 with flag 11003/2466952
1479.75/813.09	c cleaning 8093 clauses out of 16212 with flag 18001/2473950
1485.85/817.18	c cleaning 8046 clauses out of 16119 with flag 26001/2481950
1491.73/820.74	c cleaning 8526 clauses out of 17072 with flag 35000/2490949
1497.83/824.46	c cleaning 9256 clauses out of 18547 with flag 45001/2500950
1504.70/828.55	c cleaning 10129 clauses out of 20292 with flag 56002/2511951
1513.19/833.83	c cleaning 11071 clauses out of 22161 with flag 68000/2523949
1520.85/838.32	c cleaning 12031 clauses out of 24090 with flag 81000/2536949
1529.14/843.16	c cleaning 13010 clauses out of 26059 with flag 95000/2550949
1537.61/848.03	c cleaning 14007 clauses out of 28049 with flag 110000/2565949
1547.83/854.22	c cleaning 15008 clauses out of 30042 with flag 126000/2581949
1557.49/859.70	c cleaning 15992 clauses out of 32036 with flag 143002/2598951
1564.56/863.93	c  And the winner is solver0
1564.77/864.11	c Got one! Elapsed wall clock time (in seconds):863.994
1564.77/864.11	o 1474638
1567.54/865.58	c cleaning 16550 clauses out of 33120 with flag 5000/2616028
1572.59/868.72	c cleaning 11280 clauses out of 22570 with flag 11000/2622028
1578.60/872.80	c cleaning 9111 clauses out of 18290 with flag 18000/2629028
1584.02/876.29	c cleaning 8564 clauses out of 17179 with flag 26000/2637028
1590.28/880.05	c cleaning 8786 clauses out of 17615 with flag 35000/2646028
1596.70/883.94	c cleaning 9403 clauses out of 18829 with flag 45000/2656028
1604.70/889.02	c cleaning 10191 clauses out of 20426 with flag 56000/2667028
1611.91/893.38	c cleaning 11098 clauses out of 22235 with flag 68000/2679028
1619.91/898.02	c cleaning 12056 clauses out of 24137 with flag 81000/2692028
1628.10/902.80	c cleaning 13017 clauses out of 26081 with flag 95000/2706028
1638.29/909.05	c cleaning 14019 clauses out of 28064 with flag 110000/2721028
1647.90/914.55	c cleaning 15014 clauses out of 30048 with flag 126003/2737031
1657.72/920.11	c cleaning 15998 clauses out of 32031 with flag 143000/2754028
1668.52/926.21	c cleaning 17000 clauses out of 34033 with flag 161000/2772028
1681.04/933.63	c cleaning 18000 clauses out of 36034 with flag 180001/2791029
1693.43/940.51	c cleaning 19000 clauses out of 38033 with flag 200000/2811028
1706.21/947.65	c cleaning 20000 clauses out of 40034 with flag 221001/2832029
1720.60/955.52	c cleaning 20998 clauses out of 42034 with flag 243001/2854029
1735.53/964.11	c cleaning 22007 clauses out of 44035 with flag 266000/2877028
1750.29/972.22	c cleaning 23003 clauses out of 46029 with flag 290001/2901029
1765.46/980.51	c cleaning 24004 clauses out of 48025 with flag 315000/2926028
1780.82/988.99	c cleaning 24996 clauses out of 50021 with flag 341000/2952028
1799.49/999.45	c cleaning 25998 clauses out of 52025 with flag 368000/2979028
1801.11/1000.99	c starts		: 258
1801.11/1000.99	c conflicts		: 2979033
1801.11/1000.99	c decisions		: 7100755
1801.11/1000.99	c propagations		: 974966862
1801.11/1000.99	c inspects		: 3965036581
1801.11/1000.99	c shortcuts		: 0
1801.11/1000.99	c learnt literals	: 18
1801.11/1000.99	c learnt binary clauses	: 155
1801.11/1000.99	c learnt ternary clauses	: 182
1801.11/1000.99	c learnt constraints	: 2979015
1801.11/1000.99	c ignored constraints	: 0
1801.11/1000.99	c root simplifications	: 0
1801.11/1000.99	c removed literals (reason simplification)	: 66757743
1801.11/1000.99	c reason swapping (by a shorter reason)	: 0
1801.11/1000.99	c Calls to reduceDB	: 195
1801.11/1000.99	c number of reductions to clauses (during analyze)	: 0
1801.11/1000.99	c number of learned constraints concerned by reduction	: 0
1801.11/1000.99	c number of learning phase by resolution	: 0
1801.11/1000.99	c number of learning phase by cutting planes	: 0
1801.11/1000.99	c speed (assignments/second)	: 976649.7815736514
1801.11/1000.99	c non guided choices	4945
1801.11/1001.00	c learnt constraints type 
1801.11/1001.00	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 155
1801.11/1001.00	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 25913
1801.11/1001.00	c constraints type 
1801.11/1001.00	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
1801.11/1001.00	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
1801.11/1001.00	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1801.11/1001.00	c ignored satisfied constraints => 4
1801.11/1001.00	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
1801.11/1001.00	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016
1801.11/1001.00	c 21932 constraints processed.
1801.11/1001.00	c constraints type 
1801.11/1001.00	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9885
1801.11/1001.00	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6001
1801.11/1001.00	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
1801.11/1001.00	c ignored satisfied constraints => 4
1801.11/1001.00	c org.sat4j.pb.constraints.pb.UnitClausesPB => 4
1801.11/1001.00	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6016
1801.11/1001.00	c 21932 constraints processed.
1801.11/1001.00	s SATISFIABLE
1801.25/1001.01	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 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 x9356 -x9357 -x9358 -x9359 -x9360 -x9361 x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 x9536 -x9537 -x9538 x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 x9610 x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 x9730 x9731 -x9732 -x9733 x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 
1801.25/1001.02	c objective function=1474638
1801.25/1001.02	c Total wall clock time (in seconds): 1000.902

Verifier Data

OK	1474638

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.88 3.99 3.93 5/197 28212
/proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28212/stat : 28212 (java) D 28210 28212 22184 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 254863521 9515008 175 33554432000 1073741824 1073778376 140735460894320 140735460877048 226084340624 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/28212/statm: 2323 175 133 9 0 71 0

[startup+0.03467 s]
/proc/loadavg: 3.88 3.99 3.93 5/197 28212
/proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9092432 CPUtime=0.01 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 2902 0 1 0 1 0 0 0 20 0 11 0 254863521 9310650368 3602 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2273108 3602 1631 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432

[startup+0.100198 s]
/proc/loadavg: 3.88 3.99 3.93 5/197 28212
/proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 4334 0 1 0 8 1 0 0 20 0 18 0 254863521 9787813888 5529 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2389603 5529 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300155 s]
/proc/loadavg: 3.88 3.99 3.93 5/197 28212
/proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9558412 CPUtime=0.51 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 5631 0 1 0 50 1 0 0 20 0 18 0 254863521 9787813888 10224 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2389603 10224 2228 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558412

[startup+0.709047 s]
/proc/loadavg: 3.88 3.99 3.93 5/197 28212
/proc/meminfo: memFree=23038208/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 17094 0 1 0 162 6 0 0 20 0 22 0 254863521 10060460032 31405 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2456167 31405 2249 9 0 2446860 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 9824668

[startup+1.5007 s]
/proc/loadavg: 3.88 3.99 3.93 5/216 28234
/proc/meminfo: memFree=22902868/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9824668 CPUtime=3.64 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 20269 0 1 0 353 11 0 0 20 0 19 0 254863521 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2456167 41584 2258 9 0 2446860 0
[pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2495 0 1 0 61 3 0 0 20 0 19 0 254863522 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254863523 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28223/stat : 28223 (java) S 28210 28212 22184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254863525 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645735176680 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254863525 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254863525 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.11 cores=1,3,5,7
/proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8189 0 0 0 109 2 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8264 0 0 0 99 2 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254863527 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28233] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28233/stat : 28233 (java) S 28210 28212 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254863591 10060460032 41584 33554432000 1073741824 1073778376 140736538408304 140645724648360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 9824668

[startup+3.1006 s]
/proc/loadavg: 3.88 3.99 3.93 3/216 28240
/proc/meminfo: memFree=22867028/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9824668 CPUtime=5.84 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 20685 0 1 0 564 20 0 0 20 0 22 0 254863521 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2456167 54707 2275 9 0 2446860 0
[pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.67 cores=1,3,5,7
/proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2497 0 1 0 64 3 0 0 20 0 22 0 254863522 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 79 0 0 0 1 1 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 69 0 0 0 1 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 22 0 254863523 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28223/stat : 28223 (java) S 28210 28212 22184 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645735176680 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8191 0 0 0 128 2 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8269 0 0 0 113 3 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 54707 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 9824668

[startup+6.3008 s]
/proc/loadavg: 3.89 3.99 3.93 5/219 28246
/proc/meminfo: memFree=22778740/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9824668 CPUtime=12.37 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 20787 0 1 0 1213 24 0 0 20 0 22 0 254863521 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2456167 67996 2287 9 0 2446860 0
[pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.67 cores=1,3,5,7
/proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2497 0 1 0 64 3 0 0 20 0 22 0 254863522 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 93 0 0 0 3 3 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 1 1 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 66 0 0 0 1 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 72 0 0 0 2 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 66 0 0 0 2 0 0 0 20 0 22 0 254863523 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/28212/task/28223/stat : 28223 (java) S 28210 28212 22184 0 -1 4202560 104 0 0 0 16 0 0 0 20 0 22 0 254863525 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645735176680 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8194 0 0 0 138 2 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8274 0 0 0 127 3 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28243] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28243/stat : 28243 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863745 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645723596456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28244] ppid=28210 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/28212/task/28244/stat : 28244 (java) R 28210 28212 22184 0 -1 4202560 5 0 0 0 335 0 0 0 20 0 22 0 254863792 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645725701144 140645969510571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28245] ppid=28210 vsize=9824668 CPUtime=3.37 cores=1,3,5,7
/proc/28212/task/28245/stat : 28245 (java) R 28210 28212 22184 0 -1 4202560 4 0 0 0 337 0 0 0 20 0 22 0 254863793 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645724645976 140645969762034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28246] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28246/stat : 28246 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863793 10060460032 67996 33554432000 1073741824 1073778376 140736538408304 140645726754088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=28212/tid=28460] ppid=28210 vsize=9824668 CPUtime=51.71 cores=1,3,5,7
/proc/28212/task/28460/stat : 28460 (java) R 28210 28212 22184 0 -1 4202560 7 0 0 0 5171 0 0 0 20 0 22 0 254949934 10060460032 507931 33554432000 1073741824 1073778376 140736538408304 140645723594832 140645969882537 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28461] ppid=28210 vsize=9824668 CPUtime=51.72 cores=1,3,5,7
/proc/28212/task/28461/stat : 28461 (java) R 28210 28212 22184 0 -1 4202560 3 0 0 0 5172 0 0 0 20 0 22 0 254949934 10060460032 507931 33554432000 1073741824 1073778376 140736538408304 140645724646296 140645969751086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28462] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28462/stat : 28462 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254949951 10060460032 507931 33554432000 1073741824 1073778376 140736538408304 140645725701672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1695.62
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+999.801 s]
/proc/loadavg: 3.65 3.66 3.78 4/219 28463
/proc/meminfo: memFree=23655348/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9824668 CPUtime=1800.01 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 26100 0 1 0 179832 169 0 0 20 0 22 0 254863521 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2456167 514637 2288 9 0 2446860 0
[pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.85 cores=1,3,5,7
/proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2661 0 1 0 81 4 0 0 20 0 22 0 254863522 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 209 0 0 0 124 7 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 338 0 0 0 143 12 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 471 0 0 0 123 6 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 454 0 0 0 132 10 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 129 0 0 0 132 5 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 321 0 0 0 126 8 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 374 0 0 0 129 7 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 399 0 0 0 153 8 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=198.09 cores=1,3,5,7
/proc/28212/task/28223/stat : 28223 (java) R 28210 28212 22184 0 -1 4202560 1961 0 0 0 19790 19 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645735175536 140646118949280 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8197 0 0 0 149 2 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.58 cores=1,3,5,7
/proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8294 0 0 0 155 3 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 57 0 0 0 11 15 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28246] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28246/stat : 28246 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863793 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645726754088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28460] ppid=28210 vsize=9824668 CPUtime=98.11 cores=1,3,5,7
/proc/28212/task/28460/stat : 28460 (java) S 28210 28212 22184 0 -1 4202560 11 0 0 0 9810 1 0 0 20 0 22 0 254949934 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645723594952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28461] ppid=28210 vsize=9824668 CPUtime=98.11 cores=1,3,5,7
/proc/28212/task/28461/stat : 28461 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 9810 1 0 0 20 0 22 0 254949934 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645724646328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28462] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28462/stat : 28462 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254949951 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645725701672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9824668

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

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

[startup+1000.6 s]
/proc/loadavg: 3.65 3.66 3.78 4/219 28463
/proc/meminfo: memFree=23655348/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9824668 CPUtime=1800.8 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 26101 0 1 0 179911 169 0 0 20 0 22 0 254863521 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2456167 514637 2288 9 0 2446860 0
[pid=28212/tid=28214] ppid=28210 vsize=9824668 CPUtime=0.85 cores=1,3,5,7
/proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2661 0 1 0 81 4 0 0 20 0 22 0 254863522 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646112826072 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28215] ppid=28210 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 209 0 0 0 124 7 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28216] ppid=28210 vsize=9824668 CPUtime=1.55 cores=1,3,5,7
/proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 338 0 0 0 143 12 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28217] ppid=28210 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 471 0 0 0 123 6 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28218] ppid=28210 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 454 0 0 0 132 10 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28219] ppid=28210 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 129 0 0 0 132 5 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28220] ppid=28210 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 321 0 0 0 126 8 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28221] ppid=28210 vsize=9824668 CPUtime=1.36 cores=1,3,5,7
/proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 374 0 0 0 129 7 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28222] ppid=28210 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 399 0 0 0 153 8 0 0 20 0 22 0 254863523 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28223] ppid=28210 vsize=9824668 CPUtime=198.88 cores=1,3,5,7
/proc/28212/task/28223/stat : 28223 (java) R 28210 28212 22184 0 -1 4202560 1961 0 0 0 19869 19 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645735175536 140646116987170 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28224] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28225] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 254863525 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28226] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645732017864 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28227] ppid=28210 vsize=9824668 CPUtime=1.51 cores=1,3,5,7
/proc/28212/task/28227/stat : 28227 (java) S 28210 28212 22184 0 -1 4202560 8197 0 0 0 149 2 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645730966456 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28228] ppid=28210 vsize=9824668 CPUtime=1.58 cores=1,3,5,7
/proc/28212/task/28228/stat : 28228 (java) S 28210 28212 22184 0 -1 4202560 8294 0 0 0 155 3 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645729913656 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28229] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28230] ppid=28210 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 57 0 0 0 11 15 0 0 20 0 22 0 254863527 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28246] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28246/stat : 28246 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254863793 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645726754088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28460] ppid=28210 vsize=9824668 CPUtime=98.11 cores=1,3,5,7
/proc/28212/task/28460/stat : 28460 (java) S 28210 28212 22184 0 -1 4202560 11 0 0 0 9810 1 0 0 20 0 22 0 254949934 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645723594952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28461] ppid=28210 vsize=9824668 CPUtime=98.11 cores=1,3,5,7
/proc/28212/task/28461/stat : 28461 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 9810 1 0 0 20 0 22 0 254949934 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645724646328 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28462] ppid=28210 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28462/stat : 28462 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254949951 10060460032 514637 33554432000 1073741824 1073778376 140736538408304 140645725701672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 9824668

[startup+1001.01 s]
/proc/loadavg: 3.65 3.66 3.78 4/220 28464
/proc/meminfo: memFree=23655340/32873648 swapFree=6864/6864
[pid=28212] ppid=28210 vsize=9957796 CPUtime=1801.25 cores=1,3,5,7
/proc/28212/stat : 28212 (java) S 28210 28212 22184 0 -1 4202496 26136 0 1 0 179956 169 0 0 20 0 24 0 254863521 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140736538399440 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28212/statm: 2489449 517226 2288 9 0 2480142 0
[pid=28212/tid=28214] ppid=28210 vsize=9957796 CPUtime=0.85 cores=1,3,5,7
/proc/28212/task/28214/stat : 28214 (java) S 28210 28212 22184 0 -1 4202560 2661 0 1 0 81 4 0 0 20 0 24 0 254863522 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646112826360 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28215] ppid=28210 vsize=9957796 CPUtime=1.31 cores=1,3,5,7
/proc/28212/task/28215/stat : 28215 (java) S 28210 28212 22184 0 -1 4202560 209 0 0 0 124 7 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646090926632 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28216] ppid=28210 vsize=9957796 CPUtime=1.55 cores=1,3,5,7
/proc/28212/task/28216/stat : 28216 (java) S 28210 28212 22184 0 -1 4202560 338 0 0 0 143 12 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646089873832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28217] ppid=28210 vsize=9957796 CPUtime=1.29 cores=1,3,5,7
/proc/28212/task/28217/stat : 28217 (java) S 28210 28212 22184 0 -1 4202560 471 0 0 0 123 6 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646088821032 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28218] ppid=28210 vsize=9957796 CPUtime=1.42 cores=1,3,5,7
/proc/28212/task/28218/stat : 28218 (java) S 28210 28212 22184 0 -1 4202560 454 0 0 0 132 10 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140646087768232 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28219] ppid=28210 vsize=9957796 CPUtime=1.37 cores=1,3,5,7
/proc/28212/task/28219/stat : 28219 (java) S 28210 28212 22184 0 -1 4202560 129 0 0 0 132 5 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645750533160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28220] ppid=28210 vsize=9957796 CPUtime=1.34 cores=1,3,5,7
/proc/28212/task/28220/stat : 28220 (java) S 28210 28212 22184 0 -1 4202560 321 0 0 0 126 8 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645749480360 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28221] ppid=28210 vsize=9957796 CPUtime=1.36 cores=1,3,5,7
/proc/28212/task/28221/stat : 28221 (java) S 28210 28212 22184 0 -1 4202560 374 0 0 0 129 7 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645748427560 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28222] ppid=28210 vsize=9957796 CPUtime=1.61 cores=1,3,5,7
/proc/28212/task/28222/stat : 28222 (java) S 28210 28212 22184 0 -1 4202560 399 0 0 0 153 8 0 0 20 0 24 0 254863523 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645747374760 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28223] ppid=28210 vsize=9957796 CPUtime=199.27 cores=1,3,5,7
/proc/28212/task/28223/stat : 28223 (java) S 28210 28212 22184 0 -1 4202560 1966 0 0 0 19908 19 0 0 20 0 24 0 254863525 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645735176680 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28224] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28224/stat : 28224 (java) S 28210 28212 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 254863525 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645734122744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28225] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28225/stat : 28225 (java) S 28210 28212 22184 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 254863525 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645733069832 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28226] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28226/stat : 28226 (java) S 28210 28212 22184 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645732018320 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28227] ppid=28210 vsize=9957796 CPUtime=1.52 cores=1,3,5,7
/proc/28212/task/28227/stat : 28227 (java) R 28210 28212 22184 0 -1 4202560 8198 0 0 0 150 2 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645730966336 140646119800198 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28228] ppid=28210 vsize=9957796 CPUtime=1.58 cores=1,3,5,7
/proc/28212/task/28228/stat : 28228 (java) R 28210 28212 22184 0 -1 4202560 8294 0 0 0 155 3 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645729913656 140646118786673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28229] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28229/stat : 28229 (java) S 28210 28212 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645728861048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28212/tid=28230] ppid=28210 vsize=9957796 CPUtime=0.26 cores=1,3,5,7
/proc/28212/task/28230/stat : 28230 (java) S 28210 28212 22184 0 -1 4202560 57 0 0 0 11 15 0 0 20 0 24 0 254863527 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645727808456 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28246] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28246/stat : 28246 (java) S 28210 28212 22184 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 254863793 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645726754088 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28212/tid=28460] ppid=28210 vsize=9957796 CPUtime=98.12 cores=1,3,5,7
/proc/28212/task/28460/stat : 28460 (java) R 28210 28212 22184 0 -1 4202560 11 0 0 0 9811 1 0 0 20 0 24 0 254949934 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645723595096 140645969646464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28212/tid=28461] ppid=28210 vsize=9957796 CPUtime=98.13 cores=1,3,5,7
/proc/28212/task/28461/stat : 28461 (java) R 28210 28212 22184 0 -1 4202560 3 0 0 0 9812 1 0 0 20 0 24 0 254949934 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645724646208 140645969761950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28212/tid=28462] ppid=28210 vsize=9957796 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28462/stat : 28462 (java) S 28210 28212 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 254949951 10196783104 517226 33554432000 1073741824 1073778376 140736538408304 140645725701672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1801.25
Current children cumulated vsize (KiB) 9957796

Child status: 143
Real time (s): 1001.03
CPU time (s): 1801.47
CPU user time (s): 1799.56
CPU system time (s): 1.91071
CPU usage (%): 179.961
Max. virtual memory (cumulated for all children) (KiB): 9957796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 1.91071
maximum resident set size= 2068908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26137
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28030
involuntary context switches= 27170

runsolver used 3.44948 second user time and 8.97663 second system time

The end

Launcher Data

Begin job on node120 at 2012-05-24 21:22:55
IDJOB=3690040
IDBENCH=92667
IDSOLVER=2268
FILE ID=node120/3690040-1337887375
RUNJOBID= node120-1337871880-22201
PBS_JOBID= 14620084
Free space on /tmp= 71416 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690040-1337887375/watcher-3690040-1337887375 -o /tmp/evaluation-result-3690040-1337887375/solver-3690040-1337887375 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3690040-1337887375.opb

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

MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196
RANDOM SEED=217624842

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        23038216 kB
Buffers:          193520 kB
Cached:          3503368 kB
SwapCached:          492 kB
Active:          6116092 kB
Inactive:        2938876 kB
Active(anon):    5347376 kB
Inactive(anon):    12832 kB
Active(file):     768716 kB
Inactive(file):  2926044 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67107896 kB
Dirty:              1208 kB
Writeback:             0 kB
AnonPages:       5369872 kB
Mapped:            21628 kB
Shmem:               120 kB
Slab:             632504 kB
SReclaimable:      76604 kB
SUnreclaim:       555900 kB
KernelStack:        1624 kB
PageTables:        14188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    6064724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5111808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71604 MiB
End job on node120 at 2012-05-24 21:39:37