Trace number 3710929

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)38 1800.69 1796.27

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
MD5SUMb63b2d912c01ff826a63051b401330db
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark1.09583
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved YES
Number of variables4427
Total number of constraints12661
Number of constraints which are clauses12661
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2136
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2136
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2136
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710929-1338158618.opb
0.08/0.13	c reading problem ... 
0.47/0.39	c ... done. Wall clock time 0.263s.
0.47/0.39	c declared #vars     4427
0.47/0.39	c #constraints  12656
0.47/0.39	c constraints type 
0.47/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296
0.47/0.39	c ignored satisfied constraints => 5
0.47/0.39	c org.sat4j.minisat.constraints.cnf.UnitClause => 167
0.47/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193
0.47/0.39	c 12661 constraints processed.
0.99/0.50	c SATISFIABLE
0.99/0.50	c OPTIMIZING...
0.99/0.50	c Got one! Elapsed wall clock time (in seconds):0.368
0.99/0.50	o 136
1.28/0.60	c Got one! Elapsed wall clock time (in seconds):0.473
1.28/0.60	o 92
1.28/0.63	c Got one! Elapsed wall clock time (in seconds):0.496
1.28/0.63	o 66
1.28/0.67	c Got one! Elapsed wall clock time (in seconds):0.536
1.28/0.67	o 63
1.73/0.97	c Got one! Elapsed wall clock time (in seconds):0.842
1.89/1.01	o 62
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.848
1.89/1.01	o 61
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.853
1.89/1.01	o 60
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.857
1.89/1.01	o 59
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.862
1.89/1.01	o 58
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.866
1.89/1.01	o 57
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.87
1.89/1.01	o 56
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.875
1.89/1.01	o 55
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.88
1.89/1.01	o 54
1.89/1.01	c Got one! Elapsed wall clock time (in seconds):0.884
1.89/1.01	o 53
1.89/1.02	c Got one! Elapsed wall clock time (in seconds):0.887
1.89/1.02	o 52
1.89/1.02	c Got one! Elapsed wall clock time (in seconds):0.89
1.89/1.02	o 51
1.89/1.02	c Got one! Elapsed wall clock time (in seconds):0.893
1.89/1.02	o 50
1.89/1.03	c Got one! Elapsed wall clock time (in seconds):0.895
1.89/1.03	o 49
1.89/1.03	c Got one! Elapsed wall clock time (in seconds):0.897
1.89/1.03	o 48
1.89/1.03	c Got one! Elapsed wall clock time (in seconds):0.9
1.89/1.03	o 47
1.89/1.03	c Got one! Elapsed wall clock time (in seconds):0.902
1.89/1.03	o 46
1.89/1.04	c Got one! Elapsed wall clock time (in seconds):0.904
1.89/1.04	o 45
1.89/1.07	c Got one! Elapsed wall clock time (in seconds):0.94
1.89/1.07	o 44
3.63/2.77	c cleaning 3117 clauses out of 6233 with flag 5000/6233
5.70/4.71	c Got one! Elapsed wall clock time (in seconds):4.579
5.70/4.71	o 43
7.20/6.27	c cleaning 7021 clauses out of 14041 with flag 5001/17158
8.92/7.93	c cleaning 6496 clauses out of 13019 with flag 11000/23157
10.87/9.89	c cleaning 6753 clauses out of 13523 with flag 18000/30157
11.72/10.68	c Got one! Elapsed wall clock time (in seconds):10.545
11.72/10.68	o 42
12.03/10.97	c Got one! Elapsed wall clock time (in seconds):10.84
12.03/10.97	o 41
12.32/11.21	c cleaning 6051 clauses out of 12118 with flag 1001/35505
13.96/12.86	c cleaning 6021 clauses out of 12066 with flag 7000/41504
15.88/14.74	c cleaning 6515 clauses out of 13046 with flag 14001/48505
18.08/16.98	c cleaning 7256 clauses out of 14530 with flag 22000/56504
21.10/19.95	c cleaning 8134 clauses out of 16275 with flag 31001/65505
24.60/23.40	c cleaning 9068 clauses out of 18141 with flag 41001/75505
28.00/26.80	c cleaning 10033 clauses out of 20072 with flag 52000/86504
31.73/30.57	c cleaning 11000 clauses out of 22039 with flag 64000/98504
35.15/33.91	c cleaning 12009 clauses out of 24040 with flag 77001/111505
39.25/38.04	c cleaning 13009 clauses out of 26031 with flag 91001/125505
43.98/42.76	c cleaning 14004 clauses out of 28023 with flag 106002/140506
49.13/47.89	c cleaning 15002 clauses out of 30017 with flag 122000/156504
53.74/52.50	c cleaning 15994 clauses out of 32015 with flag 139000/173504
58.24/56.99	c Got one! Elapsed wall clock time (in seconds):56.854
58.24/56.99	o 40
59.44/58.18	c cleaning 17897 clauses out of 35821 with flag 5000/193304
60.95/59.68	c cleaning 11954 clauses out of 23924 with flag 11000/199304
63.17/61.88	c cleaning 9479 clauses out of 18971 with flag 18001/206305
65.48/64.13	c cleaning 8733 clauses out of 17491 with flag 26000/214304
66.18/64.89	c Got one! Elapsed wall clock time (in seconds):64.757
66.18/64.89	o 39
67.08/65.72	c cleaning 7195 clauses out of 14430 with flag 3001/219976
68.78/67.46	c cleaning 6586 clauses out of 13234 with flag 9000/225975
70.69/69.33	c cleaning 6818 clauses out of 13648 with flag 16000/232975
72.58/71.22	c cleaning 7411 clauses out of 14831 with flag 24001/240976
74.68/73.33	c cleaning 8204 clauses out of 16419 with flag 33000/249975
77.10/75.71	c cleaning 9105 clauses out of 18215 with flag 43000/259975
79.82/78.42	c cleaning 10051 clauses out of 20110 with flag 54000/270975
83.16/81.74	c cleaning 11024 clauses out of 22059 with flag 66000/282975
87.16/85.75	c cleaning 12002 clauses out of 24037 with flag 79002/295977
90.97/89.55	c cleaning 13000 clauses out of 26033 with flag 93000/309975
95.87/94.49	c cleaning 14011 clauses out of 28034 with flag 108001/324976
101.37/99.93	c cleaning 15004 clauses out of 30023 with flag 124001/340976
105.87/104.49	c cleaning 15999 clauses out of 32019 with flag 141001/357976
110.17/108.76	c cleaning 16996 clauses out of 34019 with flag 159000/375975
115.08/113.60	c cleaning 18006 clauses out of 36023 with flag 178000/394975
121.39/119.96	c cleaning 19003 clauses out of 38017 with flag 198000/414975
127.11/125.68	c cleaning 20001 clauses out of 40015 with flag 219001/435976
133.61/132.15	c cleaning 21001 clauses out of 42013 with flag 241000/457975
141.72/140.27	c cleaning 21992 clauses out of 44012 with flag 264000/480975
141.96/140.42	c Got one! Elapsed wall clock time (in seconds):140.291
141.96/140.42	o 38
143.66/142.17	c cleaning 13725 clauses out of 27459 with flag 5000/486414
145.57/144.06	c cleaning 9863 clauses out of 19735 with flag 11001/492415
148.09/146.57	c cleaning 8427 clauses out of 16871 with flag 18000/499414
151.00/149.47	c cleaning 8210 clauses out of 16445 with flag 26001/507415
154.41/152.87	c cleaning 8606 clauses out of 17234 with flag 35000/516414
157.54/155.91	c cleaning 9304 clauses out of 18628 with flag 45000/526414
160.24/158.64	c cleaning 10146 clauses out of 20324 with flag 56000/537414
163.27/161.63	c cleaning 11084 clauses out of 22179 with flag 68001/549415
166.38/164.78	c cleaning 12032 clauses out of 24094 with flag 81000/562414
169.80/168.13	c cleaning 13023 clauses out of 26062 with flag 95000/576414
173.71/172.02	c cleaning 14014 clauses out of 28039 with flag 110000/591414
178.22/176.50	c cleaning 14997 clauses out of 30025 with flag 126000/607414
183.84/182.15	c cleaning 16011 clauses out of 32029 with flag 143001/624415
188.45/186.71	c cleaning 16998 clauses out of 34017 with flag 161000/642414
195.26/193.56	c cleaning 18001 clauses out of 36020 with flag 180001/661415
202.36/200.69	c cleaning 19006 clauses out of 38019 with flag 200001/681415
207.37/205.64	c cleaning 19995 clauses out of 40014 with flag 221002/702416
212.77/211.08	c cleaning 21000 clauses out of 42017 with flag 243000/724414
220.29/218.57	c cleaning 21999 clauses out of 44017 with flag 266000/747414
228.10/226.31	c cleaning 22999 clauses out of 46018 with flag 290000/771414
234.70/232.99	c cleaning 23998 clauses out of 48020 with flag 315001/796415
241.21/239.44	c cleaning 25003 clauses out of 50021 with flag 341000/822414
248.24/246.41	c cleaning 25993 clauses out of 52021 with flag 368003/849417
255.25/253.41	c cleaning 27003 clauses out of 54025 with flag 396000/877414
263.37/261.54	c cleaning 28008 clauses out of 56022 with flag 425000/906414
272.39/270.55	c cleaning 28994 clauses out of 58015 with flag 455001/936415
282.69/280.80	c cleaning 30004 clauses out of 60021 with flag 486001/967415
290.30/288.42	c cleaning 31000 clauses out of 62016 with flag 518000/999414
299.72/297.88	c cleaning 32000 clauses out of 64016 with flag 551000/1032414
311.33/309.49	c cleaning 32996 clauses out of 66016 with flag 585000/1066414
321.34/319.43	c cleaning 34002 clauses out of 68022 with flag 620002/1101416
330.64/328.77	c cleaning 34997 clauses out of 70019 with flag 656001/1137415
340.86/338.93	c cleaning 35996 clauses out of 72021 with flag 693000/1174414
353.67/351.73	c cleaning 37002 clauses out of 74025 with flag 731000/1212414
368.47/366.56	c cleaning 38002 clauses out of 76023 with flag 770000/1251414
384.59/382.66	c cleaning 39003 clauses out of 78021 with flag 810000/1291414
398.20/396.23	c cleaning 39998 clauses out of 80019 with flag 851001/1332415
410.13/408.12	c cleaning 40988 clauses out of 82020 with flag 893000/1374414
421.74/419.77	c cleaning 42003 clauses out of 84032 with flag 936000/1417414
435.35/433.32	c cleaning 42999 clauses out of 86029 with flag 980000/1461414
447.00/444.98	c cleaning 44000 clauses out of 88031 with flag 1025001/1506415
459.62/457.56	c cleaning 45004 clauses out of 90030 with flag 1071000/1552414
472.42/470.39	c cleaning 45993 clauses out of 92027 with flag 1118001/1599415
484.73/482.61	c cleaning 47006 clauses out of 94033 with flag 1166000/1647414
496.65/494.56	c cleaning 47997 clauses out of 96027 with flag 1215000/1696414
509.08/507.00	c cleaning 49006 clauses out of 98030 with flag 1265000/1746414
523.31/521.19	c cleaning 50009 clauses out of 100027 with flag 1316003/1797417
540.06/537.84	c cleaning 50988 clauses out of 102015 with flag 1368000/1849414
558.50/556.25	c cleaning 52004 clauses out of 104028 with flag 1421001/1902415
576.82/574.53	c cleaning 52995 clauses out of 106023 with flag 1475000/1956414
594.36/592.01	c cleaning 54011 clauses out of 108029 with flag 1530001/2011415
609.68/607.36	c cleaning 54988 clauses out of 110017 with flag 1586000/2067414
627.49/625.12	c cleaning 56000 clauses out of 112030 with flag 1643001/2124415
643.03/640.65	c cleaning 57011 clauses out of 114030 with flag 1701001/2182415
662.66/660.29	c cleaning 57993 clauses out of 116018 with flag 1760000/2241414
681.48/679.09	c cleaning 59000 clauses out of 118026 with flag 1820001/2301415
698.60/696.15	c cleaning 59988 clauses out of 120027 with flag 1881002/2362416
716.72/714.29	c cleaning 60992 clauses out of 122037 with flag 1943000/2424414
735.84/733.34	c cleaning 62013 clauses out of 124046 with flag 2006001/2487415
757.66/755.18	c cleaning 63004 clauses out of 126033 with flag 2070001/2551415
779.80/777.21	c cleaning 64001 clauses out of 128028 with flag 2135000/2616414
800.44/797.87	c cleaning 64998 clauses out of 130027 with flag 2201000/2682414
819.44/816.88	c cleaning 66004 clauses out of 132030 with flag 2268001/2749415
839.27/836.62	c cleaning 66999 clauses out of 134025 with flag 2336000/2817414
859.61/856.91	c cleaning 67997 clauses out of 136026 with flag 2405000/2886414
881.03/878.31	c cleaning 69002 clauses out of 138029 with flag 2475000/2956414
901.07/898.30	c cleaning 70012 clauses out of 140031 with flag 2546004/3027418
921.10/918.36	c cleaning 70999 clauses out of 142015 with flag 2618000/3099414
940.30/937.56	c cleaning 71967 clauses out of 144016 with flag 2691000/3172414
961.23/958.49	c cleaning 73009 clauses out of 146049 with flag 2765000/3246414
982.76/979.98	c cleaning 74007 clauses out of 148040 with flag 2840000/3321414
1005.09/1002.26	c cleaning 75011 clauses out of 150035 with flag 2916002/3397416
1027.04/1024.12	c cleaning 75994 clauses out of 152023 with flag 2993001/3474415
1048.46/1045.57	c cleaning 77000 clauses out of 154028 with flag 3071000/3552414
1069.87/1066.95	c cleaning 77996 clauses out of 156028 with flag 3150000/3631414
1094.11/1091.18	c cleaning 79000 clauses out of 158035 with flag 3230003/3711417
1122.04/1119.08	c cleaning 80001 clauses out of 160033 with flag 3311001/3792415
1150.46/1147.45	c cleaning 81003 clauses out of 162031 with flag 3393000/3874414
1179.80/1176.75	c cleaning 81996 clauses out of 164028 with flag 3476000/3957414
1203.85/1200.71	c cleaning 83008 clauses out of 166032 with flag 3560000/4041414
1226.99/1223.80	c cleaning 84000 clauses out of 168024 with flag 3645000/4126414
1250.71/1247.57	c cleaning 84989 clauses out of 170024 with flag 3731000/4212414
1275.72/1272.56	c cleaning 86005 clauses out of 172035 with flag 3818000/4299414
1300.54/1297.37	c cleaning 86995 clauses out of 174030 with flag 3906000/4387414
1326.17/1322.91	c cleaning 88006 clauses out of 176036 with flag 3995001/4476415
1351.29/1348.04	c cleaning 88981 clauses out of 178029 with flag 4085000/4566414
1377.60/1374.30	c cleaning 90009 clauses out of 180050 with flag 4176002/4657416
1403.64/1400.39	c cleaning 91004 clauses out of 182041 with flag 4268002/4749416
1429.27/1425.96	c cleaning 92002 clauses out of 184035 with flag 4361000/4842414
1456.19/1452.83	c cleaning 92996 clauses out of 186033 with flag 4455000/4936414
1482.32/1478.91	c cleaning 94006 clauses out of 188038 with flag 4550001/5031415
1510.47/1507.09	c cleaning 95000 clauses out of 190033 with flag 4646002/5127416
1542.11/1538.65	c cleaning 96000 clauses out of 192032 with flag 4743001/5224415
1573.25/1569.71	c cleaning 96986 clauses out of 194032 with flag 4841001/5322415
1608.76/1605.20	c cleaning 97973 clauses out of 196045 with flag 4940000/5421414
1641.09/1637.56	c cleaning 99018 clauses out of 198072 with flag 5040000/5521414
1671.17/1667.53	c cleaning 100018 clauses out of 200055 with flag 5141001/5622415
1703.01/1699.37	c cleaning 100995 clauses out of 202036 with flag 5243000/5724414
1733.98/1730.23	c cleaning 101998 clauses out of 204041 with flag 5346000/5827414
1765.93/1762.17	c cleaning 103001 clauses out of 206043 with flag 5450000/5931414
1797.64/1793.89	c cleaning 103974 clauses out of 208042 with flag 5555000/6036414
1800.10/1796.21	c starts		: 305
1800.10/1796.21	c conflicts		: 6043755
1800.10/1796.21	c decisions		: 17429398
1800.10/1796.21	c propagations		: 7814611473
1800.10/1796.21	c inspects		: 9605469134
1800.10/1796.21	c shortcuts		: 0
1800.10/1796.21	c learnt literals	: 0
1800.10/1796.21	c learnt binary clauses	: 0
1800.10/1796.21	c learnt ternary clauses	: 3
1800.10/1796.21	c learnt constraints	: 6043755
1800.10/1796.21	c ignored constraints	: 0
1800.10/1796.21	c root simplifications	: 305
1800.10/1796.21	c removed literals (reason simplification)	: 4750648
1800.10/1796.21	c reason swapping (by a shorter reason)	: 0
1800.10/1796.22	c Calls to reduceDB	: 141
1800.10/1796.22	c number of reductions to clauses (during analyze)	: 0
1800.10/1796.22	c number of learned constraints concerned by reduction	: 0
1800.10/1796.22	c number of learning phase by resolution	: 0
1800.10/1796.22	c number of learning phase by cutting planes	: 0
1800.10/1796.22	c speed (assignments/second)	: 4351580.74016739
1800.10/1796.22	c non guided choices	11679
1800.10/1796.24	c learnt constraints type 
1800.10/1796.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 111481
1800.10/1796.24	c constraints type 
1800.10/1796.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2296
1800.10/1796.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1796.24	c ignored satisfied constraints => 5
1800.10/1796.24	c org.sat4j.minisat.constraints.cnf.UnitClause => 167
1800.10/1796.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10193
1800.10/1796.24	c 12662 constraints processed.
1800.10/1796.24	s SATISFIABLE
1800.10/1796.25	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 
1800.10/1796.26	c objective function=38
1800.10/1796.26	c Total wall clock time (in seconds): 1796.125

Verifier Data 

OK	38

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-3710929-1338158618/watcher-3710929-1338158618 -o /tmp/evaluation-result-3710929-1338158618/solver-3710929-1338158618 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710929-1338158618.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.18 1.75 1.91 2/176 13412
/proc/meminfo: memFree=30545920/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/13412/stat : 13412 (java) D 13410 13412 13368 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 281987832 2560000 46 33554432000 1073741824 1073778376 140737409802128 140737409799256 266426477863 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/13412/statm: 625 46 37 9 0 29 0

[startup+0.031733 s]
/proc/loadavg: 1.18 1.75 1.91 2/176 13412
/proc/meminfo: memFree=30545920/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9014776 CPUtime=0 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 2128 0 3 0 0 0 0 0 20 0 10 0 281987832 9231130624 2321 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2253694 2321 1005 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.10197 s]
/proc/loadavg: 1.18 1.75 1.91 2/176 13412
/proc/meminfo: memFree=30545920/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 4010 0 3 0 7 1 0 0 20 0 18 0 281987832 9787842560 5211 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2389610 5213 2083 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.300161 s]
/proc/loadavg: 1.18 1.75 1.91 2/176 13412
/proc/meminfo: memFree=30545920/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9558440 CPUtime=0.47 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 6015 0 3 0 45 2 0 0 20 0 18 0 281987832 9787842560 8532 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2389610 8532 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440

[startup+0.700177 s]
/proc/loadavg: 1.18 1.75 1.91 2/176 13412
/proc/meminfo: memFree=30545920/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9625004 CPUtime=1.52 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 8311 0 3 0 149 3 0 0 20 0 19 0 281987832 9856004096 15344 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2406251 15344 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9625004

[startup+1.50064 s]
/proc/loadavg: 1.57 1.82 1.93 5/213 13449
/proc/meminfo: memFree=30436240/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9625004 CPUtime=2.43 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 8319 0 3 0 240 3 0 0 20 0 19 0 281987832 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2406251 18417 2260 9 0 2396937 0
[pid=13412/tid=13415] ppid=13410 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/13412/task/13415/stat : 13415 (java) R 13410 13412 13368 0 -1 4202560 2509 0 3 0 143 2 0 0 20 0 19 0 281987833 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140132006943400 140131848500091 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13417] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13417/stat : 13417 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131968436776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13418] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13418/stat : 13418 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131967383976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13420] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13420/stat : 13420 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131966331176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13422] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13422/stat : 13422 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131847628968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13423] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13423/stat : 13423 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131846577192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13425] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13425/stat : 13425 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131845524392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13427] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13427/stat : 13427 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131844471592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13428] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13428/stat : 13428 (java) S 13410 13412 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131843418792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13433] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13433/stat : 13433 (java) S 13410 13412 13368 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131361090024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13436] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13436/stat : 13436 (java) S 13410 13412 13368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131360036088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13437] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13437/stat : 13437 (java) S 13410 13412 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131358983176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13438] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13438/stat : 13438 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131357931664 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13441] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13441/stat : 13441 (java) S 13410 13412 13368 0 -1 4202560 2467 0 0 0 48 0 0 0 20 0 19 0 281987839 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131356879800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13442] ppid=13410 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/13412/task/13442/stat : 13442 (java) S 13410 13412 13368 0 -1 4202560 2142 0 0 0 46 0 0 0 20 0 19 0 281987839 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131355827000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13444] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13444/stat : 13444 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131354774392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13446] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13446/stat : 13446 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131353721800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13448] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13448/stat : 13448 (java) S 13410 13412 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281987873 9856004096 18417 33554432000 1073741824 1073778376 140734569580128 140131352667304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625004

[startup+3.10064 s]
/proc/loadavg: 1.57 1.82 1.93 3/213 13449
/proc/meminfo: memFree=30426932/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9625004 CPUtime=4.07 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 8384 0 3 0 403 4 0 0 20 0 19 0 281987832 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2406251 21026 2290 9 0 2396937 0
[pid=13412/tid=13415] ppid=13410 vsize=9625004 CPUtime=3.03 cores=0,2,4,6
/proc/13412/task/13415/stat : 13415 (java) R 13410 13412 13368 0 -1 4202560 2511 0 3 0 301 2 0 0 20 0 19 0 281987833 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140132006945192 140131848426319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13417] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13417/stat : 13417 (java) S 13410 13412 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131968436776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13418] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13418/stat : 13418 (java) S 13410 13412 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131967383976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13420] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13420/stat : 13420 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131966331176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13422] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13422/stat : 13422 (java) S 13410 13412 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131847628968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13423] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13423/stat : 13423 (java) S 13410 13412 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131846577192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13425] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13425/stat : 13425 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131845524392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13427] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13427/stat : 13427 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131844471592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13428] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13428/stat : 13428 (java) S 13410 13412 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131843418792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13433] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13433/stat : 13433 (java) S 13410 13412 13368 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131361090024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13436] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13436/stat : 13436 (java) S 13410 13412 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131360036088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13437] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13437/stat : 13437 (java) S 13410 13412 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131358983176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13438] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13438/stat : 13438 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131357931664 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13441] ppid=13410 vsize=9625004 CPUtime=0.5 cores=0,2,4,6
/proc/13412/task/13441/stat : 13441 (java) S 13410 13412 13368 0 -1 4202560 2474 0 0 0 50 0 0 0 20 0 19 0 281987839 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131356879800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13442] ppid=13410 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/13412/task/13442/stat : 13442 (java) S 13410 13412 13368 0 -1 4202560 2146 0 0 0 47 0 0 0 20 0 19 0 281987839 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131355827000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13444] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13444/stat : 13444 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131354774392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13446] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13446/stat : 13446 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131353721800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13448] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13448/stat : 13448 (java) S 13410 13412 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281987873 9856004096 21026 33554432000 1073741824 1073778376 140734569580128 140131352667304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 9625004

[startup+6.30054 s]
/proc/loadavg: 1.57 1.82 1.93 3/213 13449
/proc/meminfo: memFree=30404264/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9625004 CPUtime=7.31 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 8420 0 3 0 727 4 0 0 20 0 19 0 281987832 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2406251 21949 2290 9 0 2396937 0
[pid=13412/tid=13415] ppid=13410 vsize=9625004 CPUtime=6.22 cores=0,2,4,6
/proc/13412/task/13415/stat : 13415 (java) R 13410 13412 13368 0 -1 4202560 2513 0 3 0 619 3 0 0 20 0 19 0 281987833 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140132006945192 140131848342207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13417] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13417/stat : 13417 (java) S 13410 13412 13368 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131968436776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13418] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13418/stat : 13418 (java) S 13410 13412 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131967383976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13420] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13420/stat : 13420 (java) S 13410 13412 13368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131966331176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13422] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13422/stat : 13422 (java) S 13410 13412 13368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131847628968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13423] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13423/stat : 13423 (java) S 13410 13412 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131846577192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13425] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13425/stat : 13425 (java) S 13410 13412 13368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131845524392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13427] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13427/stat : 13427 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131844471592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13428] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13428/stat : 13428 (java) S 13410 13412 13368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281987835 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131843418792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13433] ppid=13410 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/13412/task/13433/stat : 13433 (java) S 13410 13412 13368 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 19 0 281987836 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131361090024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13436] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13436/stat : 13436 (java) S 13410 13412 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131360036088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13437] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13437/stat : 13437 (java) S 13410 13412 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131358983176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13438] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13438/stat : 13438 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131357931664 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13441] ppid=13410 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/13412/task/13441/stat : 13441 (java) R 13410 13412 13368 0 -1 4202560 2474 0 0 0 52 0 0 0 20 0 19 0 281987839 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131356870584 140132013405349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13442] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13442/stat : 13442 (java) S 13410 13412 13368 0 -1 4202560 2147 0 0 0 48 0 0 0 20 0 19 0 281987839 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131355827000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13444] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13444/stat : 13444 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131354774392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13446] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13446/stat : 13446 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131353721800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13448] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13448/stat : 13448 (java) S 13410 13412 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281987873 9856004096 21949 33554432000 1073741824 1073778376 140734569580128 140131352667304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=13412/tid=13425] ppid=13410 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/13412/task/13425/stat : 13425 (java) S 13410 13412 13368 0 -1 4202560 141 0 0 0 43 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131845524392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13427] ppid=13410 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/13412/task/13427/stat : 13427 (java) S 13410 13412 13368 0 -1 4202560 147 0 0 0 42 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131844471592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13428] ppid=13410 vsize=9625004 CPUtime=0.39 cores=0,2,4,6
/proc/13412/task/13428/stat : 13428 (java) S 13410 13412 13368 0 -1 4202560 256 0 0 0 38 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131843418792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13433] ppid=13410 vsize=9625004 CPUtime=3.95 cores=0,2,4,6
/proc/13412/task/13433/stat : 13433 (java) S 13410 13412 13368 0 -1 4202560 186 0 0 0 393 2 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131361090024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13436] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13436/stat : 13436 (java) S 13410 13412 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131360036088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13437] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13437/stat : 13437 (java) S 13410 13412 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131358983176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13438] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13438/stat : 13438 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131357931664 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13441] ppid=13410 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/13412/task/13441/stat : 13441 (java) S 13410 13412 13368 0 -1 4202560 3002 0 0 0 69 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131356879800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13442] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13442/stat : 13442 (java) S 13410 13412 13368 0 -1 4202560 2147 0 0 0 48 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131355827000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13444] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13444/stat : 13444 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131354774392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13446] ppid=13410 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/13412/task/13446/stat : 13446 (java) S 13410 13412 13368 0 -1 4202560 95 0 0 0 13 12 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131353721800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13448] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13448/stat : 13448 (java) S 13410 13412 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281987873 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131352667304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.97
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 1.95 3/213 13488
/proc/meminfo: memFree=30209608/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9625004 CPUtime=1726.07 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 10397 0 3 0 172580 27 0 0 20 0 19 0 281987832 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2406251 44786 2291 9 0 2396937 0
[pid=13412/tid=13415] ppid=13410 vsize=9625004 CPUtime=1717.19 cores=0,2,4,6
/proc/13412/task/13415/stat : 13415 (java) R 13410 13412 13368 0 -1 4202560 2646 0 3 0 171690 29 0 0 20 0 19 0 281987833 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140132006945072 140131848318806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13417] ppid=13410 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/13412/task/13417/stat : 13417 (java) S 13410 13412 13368 0 -1 4202560 141 0 0 0 42 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131968436776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13418] ppid=13410 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/13412/task/13418/stat : 13418 (java) S 13410 13412 13368 0 -1 4202560 277 0 0 0 49 2 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131967383976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13420] ppid=13410 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/13412/task/13420/stat : 13420 (java) S 13410 13412 13368 0 -1 4202560 111 0 0 0 42 0 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131966331176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13422] ppid=13410 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/13412/task/13422/stat : 13422 (java) S 13410 13412 13368 0 -1 4202560 31 0 0 0 43 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131847628968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13423] ppid=13410 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/13412/task/13423/stat : 13423 (java) S 13410 13412 13368 0 -1 4202560 25 0 0 0 45 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131846577192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13425] ppid=13410 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/13412/task/13425/stat : 13425 (java) S 13410 13412 13368 0 -1 4202560 141 0 0 0 43 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131845524392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13427] ppid=13410 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/13412/task/13427/stat : 13427 (java) S 13410 13412 13368 0 -1 4202560 147 0 0 0 44 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131844471592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13428] ppid=13410 vsize=9625004 CPUtime=0.4 cores=0,2,4,6
/proc/13412/task/13428/stat : 13428 (java) S 13410 13412 13368 0 -1 4202560 256 0 0 0 39 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131843418792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13433] ppid=13410 vsize=9625004 CPUtime=4.05 cores=0,2,4,6
/proc/13412/task/13433/stat : 13433 (java) S 13410 13412 13368 0 -1 4202560 188 0 0 0 403 2 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131361090024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13436] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13436/stat : 13436 (java) S 13410 13412 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131360036088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13437] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13437/stat : 13437 (java) S 13410 13412 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131358983176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13438] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13438/stat : 13438 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131357931664 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13441] ppid=13410 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/13412/task/13441/stat : 13441 (java) S 13410 13412 13368 0 -1 4202560 3002 0 0 0 69 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131356879800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13442] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13442/stat : 13442 (java) S 13410 13412 13368 0 -1 4202560 2147 0 0 0 48 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131355827000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13444] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13444/stat : 13444 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131354774392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13446] ppid=13410 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/13412/task/13446/stat : 13446 (java) S 13410 13412 13368 0 -1 4202560 99 0 0 0 13 13 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131353721800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13448] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13448/stat : 13448 (java) S 13410 13412 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281987873 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131352667304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.07
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 1.95 3/213 13488
/proc/meminfo: memFree=30209488/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9625004 CPUtime=1786.14 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 10407 0 3 0 178586 28 0 0 20 0 19 0 281987832 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2406251 44786 2291 9 0 2396937 0
[pid=13412/tid=13415] ppid=13410 vsize=9625004 CPUtime=1777.05 cores=0,2,4,6
/proc/13412/task/13415/stat : 13415 (java) R 13410 13412 13368 0 -1 4202560 2648 0 3 0 177675 30 0 0 20 0 19 0 281987833 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140132006945072 140131848341939 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13417] ppid=13410 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/13412/task/13417/stat : 13417 (java) S 13410 13412 13368 0 -1 4202560 141 0 0 0 42 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131968436776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13418] ppid=13410 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/13412/task/13418/stat : 13418 (java) S 13410 13412 13368 0 -1 4202560 277 0 0 0 49 2 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131967383976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13420] ppid=13410 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/13412/task/13420/stat : 13420 (java) S 13410 13412 13368 0 -1 4202560 111 0 0 0 43 0 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131966331176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13422] ppid=13410 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/13412/task/13422/stat : 13422 (java) S 13410 13412 13368 0 -1 4202560 31 0 0 0 45 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131847628968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13423] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13423/stat : 13423 (java) S 13410 13412 13368 0 -1 4202560 25 0 0 0 47 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131846577192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13425] ppid=13410 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/13412/task/13425/stat : 13425 (java) S 13410 13412 13368 0 -1 4202560 141 0 0 0 45 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131845524392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13427] ppid=13410 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/13412/task/13427/stat : 13427 (java) S 13410 13412 13368 0 -1 4202560 147 0 0 0 45 2 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131844471592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13428] ppid=13410 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/13412/task/13428/stat : 13428 (java) S 13410 13412 13368 0 -1 4202560 256 0 0 0 41 1 0 0 20 0 19 0 281987835 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131843418792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13433] ppid=13410 vsize=9625004 CPUtime=4.17 cores=0,2,4,6
/proc/13412/task/13433/stat : 13433 (java) S 13410 13412 13368 0 -1 4202560 192 0 0 0 415 2 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131361090024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13436] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13436/stat : 13436 (java) S 13410 13412 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131360036088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13437] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13437/stat : 13437 (java) S 13410 13412 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131358983176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13438] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13438/stat : 13438 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131357931664 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13441] ppid=13410 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/13412/task/13441/stat : 13441 (java) S 13410 13412 13368 0 -1 4202560 3002 0 0 0 69 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131356879800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13442] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13442/stat : 13442 (java) S 13410 13412 13368 0 -1 4202560 2147 0 0 0 48 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131355827000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13444] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13444/stat : 13444 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131354774392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13446] ppid=13410 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/13412/task/13446/stat : 13446 (java) S 13410 13412 13368 0 -1 4202560 103 0 0 0 14 13 0 0 20 0 19 0 281987839 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131353721800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13448] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13448/stat : 13448 (java) S 13410 13412 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281987873 9856004096 44786 33554432000 1073741824 1073778376 140734569580128 140131352667304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.14
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.2 s]
/proc/loadavg: 2.06 2.01 1.95 3/213 13488
/proc/meminfo: memFree=30209492/32873648 swapFree=6860/6860
[pid=13412] ppid=13410 vsize=9625004 CPUtime=1800.1 cores=0,2,4,6
/proc/13412/stat : 13412 (java) S 13410 13412 13368 0 -1 4202496 10417 0 3 0 179981 29 0 0 20 0 19 0 281987832 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140734569571264 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/13412/statm: 2406251 44793 2291 9 0 2396937 0
[pid=13412/tid=13415] ppid=13410 vsize=9625004 CPUtime=1790.9 cores=0,2,4,6
/proc/13412/task/13415/stat : 13415 (java) R 13410 13412 13368 0 -1 4202560 2649 0 3 0 179060 30 0 0 20 0 19 0 281987833 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140132006945072 140131848342194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13417] ppid=13410 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/13412/task/13417/stat : 13417 (java) S 13410 13412 13368 0 -1 4202560 148 0 0 0 43 1 0 0 20 0 19 0 281987835 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131968436776 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13418] ppid=13410 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/13412/task/13418/stat : 13418 (java) S 13410 13412 13368 0 -1 4202560 277 0 0 0 51 2 0 0 20 0 19 0 281987835 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131967383976 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13420] ppid=13410 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/13412/task/13420/stat : 13420 (java) S 13410 13412 13368 0 -1 4202560 111 0 0 0 44 0 0 0 20 0 19 0 281987835 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131966331176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13422] ppid=13410 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/13412/task/13422/stat : 13422 (java) S 13410 13412 13368 0 -1 4202560 31 0 0 0 46 1 0 0 20 0 19 0 281987835 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131847628968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13423] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13423/stat : 13423 (java) S 13410 13412 13368 0 -1 4202560 25 0 0 0 47 1 0 0 20 0 19 0 281987835 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131846577192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13425] ppid=13410 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/13412/task/13425/stat : 13425 (java) S 13410 13412 13368 0 -1 4202560 141 0 0 0 45 1 0 0 20 0 19 0 281987835 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131845524392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13427] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13427/stat : 13427 (java) S 13410 13412 13368 0 -1 4202560 147 0 0 0 46 2 0 0 20 0 19 0 281987835 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131844471592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13412/tid=13428] ppid=13410 vsize=9625004 CPUtime=0.42 cores=0,2,4,6
/proc/13412/task/13428/stat : 13428 (java) S 13410 13412 13368 0 -1 4202560 256 0 0 0 41 1 0 0 20 0 19 0 281987835 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131843418792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13433] ppid=13410 vsize=9625004 CPUtime=4.22 cores=0,2,4,6
/proc/13412/task/13433/stat : 13433 (java) S 13410 13412 13368 0 -1 4202560 194 0 0 0 420 2 0 0 20 0 19 0 281987836 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131361090024 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13436] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13436/stat : 13436 (java) S 13410 13412 13368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131360036088 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13437] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13437/stat : 13437 (java) S 13410 13412 13368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281987836 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131358983176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13412/tid=13438] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13438/stat : 13438 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131357931664 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13412/tid=13441] ppid=13410 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/13412/task/13441/stat : 13441 (java) S 13410 13412 13368 0 -1 4202560 3002 0 0 0 69 0 0 0 20 0 19 0 281987839 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131356879800 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13442] ppid=13410 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/13412/task/13442/stat : 13442 (java) S 13410 13412 13368 0 -1 4202560 2147 0 0 0 48 0 0 0 20 0 19 0 281987839 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131355827000 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13444] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13444/stat : 13444 (java) S 13410 13412 13368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281987839 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131354774392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13446] ppid=13410 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/13412/task/13446/stat : 13446 (java) S 13410 13412 13368 0 -1 4202560 103 0 0 0 14 14 0 0 20 0 19 0 281987839 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131353721800 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13412/tid=13448] ppid=13410 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/13412/task/13448/stat : 13448 (java) S 13410 13412 13368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281987873 9856004096 44793 33554432000 1073741824 1073778376 140734569580128 140131352667304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1796.27
CPU time (s): 1800.69
CPU user time (s): 1800
CPU system time (s): 0.692894
CPU usage (%): 100.246
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.692894
maximum resident set size= 179300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10451
page faults= 3
swaps= 0
block input operations= 240
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41888
involuntary context switches= 10482

runsolver used 5.9391 second user time and 13.234 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-28 00:43:38
IDJOB=3710929
IDBENCH=24983
IDSOLVER=2289
FILE ID=node116/3710929-1338158618
RUNJOBID= node116-1338158618-13384
PBS_JOBID= 14624543
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710929-1338158618/watcher-3710929-1338158618 -o /tmp/evaluation-result-3710929-1338158618/solver-3710929-1338158618 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710929-1338158618.opb

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

MD5SUM BENCH= b63b2d912c01ff826a63051b401330db
RANDOM SEED=1117029486

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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.92
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.556
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.90
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.556
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:        30546928 kB
Buffers:          366164 kB
Cached:          1110268 kB
SwapCached:         3240 kB
Active:           780432 kB
Inactive:         707848 kB
Active(anon):       2764 kB
Inactive(anon):     8964 kB
Active(file):     777668 kB
Inactive(file):   698884 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103664 kB
Dirty:              2360 kB
Writeback:             0 kB
AnonPages:         14232 kB
Mapped:            12032 kB
Shmem:                96 kB
Slab:             699564 kB
SReclaimable:     143940 kB
SUnreclaim:       555624 kB
KernelStack:        1328 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     113872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71472 MiB
End job on node116 at 2012-05-28 01:13:36