Trace number 3710381

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO) 1800.03 1792.77

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_8.opb
MD5SUM4bf433c60343e128a7fab53c33d88c45
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3841241
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 157464000
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48028849250
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 157464000
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48028849250
Number of bits of the biggest sum of numbers36
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	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.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710381-1338253362.opb
0.09/0.12	c reading problem ... 
0.79/0.46	c ... done. Wall clock time 0.333s.
0.79/0.46	c declared #vars     5100
0.79/0.46	c #constraints  12510
0.79/0.46	c constraints type 
0.79/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
0.79/0.46	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
0.79/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
0.79/0.46	c ignored satisfied constraints => 2
0.79/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
0.79/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.79/0.46	c 12512 constraints processed.
1.10/0.55	c SATISFIABLE
1.10/0.55	c OPTIMIZING...
1.10/0.55	c Got one! Elapsed wall clock time (in seconds):0.422
1.10/0.55	o 68296231
1.40/0.63	c Got one! Elapsed wall clock time (in seconds):0.501
1.40/0.63	o 68272039
1.40/0.67	c Got one! Elapsed wall clock time (in seconds):0.544
1.40/0.67	o 68080519
1.40/0.68	c Got one! Elapsed wall clock time (in seconds):0.56
1.40/0.68	o 68067829
1.67/0.71	c Got one! Elapsed wall clock time (in seconds):0.59
1.67/0.71	o 68057553
3.17/1.95	c Got one! Elapsed wall clock time (in seconds):1.826
3.17/1.95	o 60592795
3.67/2.45	c cleaning 2573 clauses out of 5146 with flag 2002/5180
4.34/3.05	c Got one! Elapsed wall clock time (in seconds):2.926
4.34/3.05	o 59542497
5.35/4.03	c Got one! Elapsed wall clock time (in seconds):3.908
5.35/4.03	o 28774753
6.20/4.87	c Got one! Elapsed wall clock time (in seconds):4.747
6.20/4.87	o 11750337
6.50/5.19	c cleaning 3540 clauses out of 7087 with flag 1000/12553
8.64/7.21	c cleaning 4748 clauses out of 9502 with flag 7000/18553
9.16/7.78	c Got one! Elapsed wall clock time (in seconds):7.651
9.16/7.78	o 7454715
9.95/8.54	c cleaning 5148 clauses out of 10308 with flag 4001/24437
11.50/10.05	c cleaning 5352 clauses out of 10708 with flag 10001/30437
12.60/11.17	c cleaning 6170 clauses out of 12344 with flag 17000/37436
14.20/12.73	c cleaning 6806 clauses out of 13626 with flag 25001/45437
15.60/14.11	c cleaning 7898 clauses out of 15811 with flag 34000/54436
18.11/16.64	c cleaning 8933 clauses out of 17888 with flag 44000/64436
21.91/20.41	c cleaning 9964 clauses out of 19949 with flag 55000/75436
23.42/21.97	c cleaning 10982 clauses out of 21984 with flag 67001/87437
23.92/22.41	c Got one! Elapsed wall clock time (in seconds):22.284
23.92/22.41	o 5283811
24.42/22.97	c cleaning 8050 clauses out of 16108 with flag 4000/92608
25.33/23.81	c cleaning 7018 clauses out of 14052 with flag 10001/98609
26.83/25.33	c cleaning 6980 clauses out of 13983 with flag 17000/105608
28.33/26.85	c cleaning 7479 clauses out of 14982 with flag 25000/113608
29.65/28.18	c cleaning 8239 clauses out of 16498 with flag 34001/122609
31.35/29.87	c cleaning 9113 clauses out of 18237 with flag 44000/132608
33.75/32.23	c cleaning 9702 clauses out of 19420 with flag 55001/143609
35.86/34.30	c cleaning 10832 clauses out of 21690 with flag 67001/155609
37.47/35.95	c cleaning 11924 clauses out of 23859 with flag 80002/168610
38.38/36.85	c Got one! Elapsed wall clock time (in seconds):36.723
38.38/36.85	o 5280503
39.21/37.64	c cleaning 11099 clauses out of 22230 with flag 5001/178908
40.02/38.41	c cleaning 8546 clauses out of 17130 with flag 11000/184907
40.93/39.33	c cleaning 7773 clauses out of 15586 with flag 18002/191909
42.83/41.26	c cleaning 7885 clauses out of 15790 with flag 26001/199908
44.25/42.61	c cleaning 8446 clauses out of 16903 with flag 35001/208908
45.56/43.91	c cleaning 9222 clauses out of 18456 with flag 45000/218907
46.96/45.39	c cleaning 10112 clauses out of 20234 with flag 56000/229907
50.86/49.26	c cleaning 11051 clauses out of 22118 with flag 68000/241907
54.87/53.23	c cleaning 12027 clauses out of 24067 with flag 81000/254907
56.77/55.19	c cleaning 13014 clauses out of 26040 with flag 95000/268907
59.49/57.89	c cleaning 14014 clauses out of 28027 with flag 110001/283908
63.50/61.88	c cleaning 14998 clauses out of 30012 with flag 126000/299907
65.80/64.15	c cleaning 15992 clauses out of 32014 with flag 143000/316907
68.21/66.51	c cleaning 17002 clauses out of 34022 with flag 161000/334907
70.52/68.85	c cleaning 17997 clauses out of 36020 with flag 180000/353907
73.13/71.40	c cleaning 18996 clauses out of 38023 with flag 200000/373907
75.85/74.16	c cleaning 19995 clauses out of 40027 with flag 221000/394907
79.37/77.61	c cleaning 21009 clauses out of 42032 with flag 243000/416907
82.88/81.12	c cleaning 22003 clauses out of 44023 with flag 266000/439907
86.30/84.52	c cleaning 23001 clauses out of 46022 with flag 290002/463909
89.73/87.91	c cleaning 23996 clauses out of 48019 with flag 315000/488907
93.14/91.37	c cleaning 25005 clauses out of 50024 with flag 341001/514908
96.97/95.14	c cleaning 25998 clauses out of 52019 with flag 368001/541908
100.98/99.11	c cleaning 27001 clauses out of 54020 with flag 396000/569907
105.39/103.58	c cleaning 28001 clauses out of 56020 with flag 425001/598908
110.52/108.63	c cleaning 29003 clauses out of 58018 with flag 455000/628907
114.74/112.89	c cleaning 30002 clauses out of 60015 with flag 486000/659907
119.45/117.52	c cleaning 30994 clauses out of 62013 with flag 518000/691907
124.37/122.42	c cleaning 31982 clauses out of 64020 with flag 551001/724908
128.90/126.99	c cleaning 33009 clauses out of 66038 with flag 585001/758908
133.43/131.43	c cleaning 34005 clauses out of 68029 with flag 620001/793908
139.38/137.39	c cleaning 35001 clauses out of 70023 with flag 656000/829907
145.91/143.85	c cleaning 36000 clauses out of 72022 with flag 693000/866907
151.75/149.61	c cleaning 37001 clauses out of 74023 with flag 731001/904908
159.96/157.84	c cleaning 37999 clauses out of 76021 with flag 770000/943907
165.58/163.45	c cleaning 39000 clauses out of 78023 with flag 810001/983908
171.40/169.26	c cleaning 39994 clauses out of 80022 with flag 851000/1024907
176.82/174.67	c cleaning 40995 clauses out of 82028 with flag 893000/1066907
182.94/180.77	c cleaning 42011 clauses out of 84033 with flag 936000/1109907
189.49/187.24	c cleaning 42999 clauses out of 86022 with flag 980000/1153907
197.11/194.85	c cleaning 44002 clauses out of 88023 with flag 1025000/1198907
209.03/206.76	c cleaning 45002 clauses out of 90022 with flag 1071001/1244908
222.15/219.85	c cleaning 46001 clauses out of 92021 with flag 1118002/1291909
234.00/231.67	c cleaning 47000 clauses out of 94018 with flag 1166000/1339907
242.33/239.98	c cleaning 48003 clauses out of 96018 with flag 1215000/1388907
249.16/246.79	c cleaning 48993 clauses out of 98015 with flag 1265000/1438907
255.98/253.58	c cleaning 49996 clauses out of 100022 with flag 1316000/1489907
263.02/260.52	c cleaning 51002 clauses out of 102026 with flag 1368000/1541907
270.66/268.16	c cleaning 52001 clauses out of 104024 with flag 1421000/1594907
278.50/275.93	c cleaning 53002 clauses out of 106023 with flag 1475000/1648907
286.43/283.89	c cleaning 53998 clauses out of 108021 with flag 1530000/1703907
294.66/292.08	c cleaning 54999 clauses out of 110024 with flag 1586001/1759908
303.67/301.00	c cleaning 55998 clauses out of 112024 with flag 1643000/1816907
313.59/310.94	c cleaning 57002 clauses out of 114027 with flag 1701001/1874908
323.95/321.29	c cleaning 57999 clauses out of 116024 with flag 1760000/1933907
333.98/331.27	c cleaning 59002 clauses out of 118025 with flag 1820000/1993907
344.01/341.21	c cleaning 60001 clauses out of 120024 with flag 1881001/2054908
360.72/357.98	c cleaning 61003 clauses out of 122022 with flag 1943000/2116907
369.56/366.77	c cleaning 61992 clauses out of 124019 with flag 2006000/2179907
378.22/375.39	c cleaning 63001 clauses out of 126028 with flag 2070001/2243908
388.26/385.37	c cleaning 64008 clauses out of 128026 with flag 2135000/2308907
397.11/394.13	c cleaning 64997 clauses out of 130019 with flag 2201001/2374908
407.23/404.27	c cleaning 66005 clauses out of 132024 with flag 2268003/2441910
416.56/413.52	c cleaning 66997 clauses out of 134017 with flag 2336001/2509908
426.83/423.74	c cleaning 68002 clauses out of 136019 with flag 2405000/2578907
437.55/434.48	c cleaning 68998 clauses out of 138017 with flag 2475000/2648907
447.27/444.18	c cleaning 70001 clauses out of 140019 with flag 2546000/2719907
457.52/454.32	c cleaning 71005 clauses out of 142020 with flag 2618002/2791909
469.07/465.80	c cleaning 71999 clauses out of 144013 with flag 2691000/2864907
480.91/477.61	c cleaning 72992 clauses out of 146015 with flag 2765001/2938908
491.63/488.39	c cleaning 74000 clauses out of 148023 with flag 2840001/3013908
503.47/500.13	c cleaning 75002 clauses out of 150023 with flag 2916001/3089908
515.70/512.39	c cleaning 75996 clauses out of 152020 with flag 2993000/3166907
529.44/526.07	c cleaning 76998 clauses out of 154025 with flag 3071001/3244908
545.41/541.97	c cleaning 78004 clauses out of 156027 with flag 3150001/3323908
568.78/565.22	c cleaning 79003 clauses out of 158022 with flag 3230000/3403907
587.05/583.43	c cleaning 79995 clauses out of 160019 with flag 3311000/3484907
598.59/594.97	c cleaning 81002 clauses out of 162024 with flag 3393000/3566907
609.95/606.29	c cleaning 81993 clauses out of 164022 with flag 3476000/3649907
622.01/618.25	c cleaning 82999 clauses out of 166029 with flag 3560000/3733907
636.24/632.46	c cleaning 84002 clauses out of 168031 with flag 3645001/3818908
649.51/645.66	c cleaning 84998 clauses out of 170028 with flag 3731000/3904907
661.45/657.52	c cleaning 86001 clauses out of 172030 with flag 3818000/3991907
674.78/670.81	c cleaning 86998 clauses out of 174030 with flag 3906001/4079908
688.76/684.79	c cleaning 87997 clauses out of 176031 with flag 3995000/4168907
701.71/697.62	c cleaning 89003 clauses out of 178034 with flag 4085000/4258907
717.33/713.25	c cleaning 90002 clauses out of 180032 with flag 4176001/4349908
733.28/729.14	c cleaning 91001 clauses out of 182029 with flag 4268000/4441907
748.53/744.31	c cleaning 92010 clauses out of 184029 with flag 4361001/4534908
761.77/757.50	c cleaning 92996 clauses out of 186019 with flag 4455001/4628908
774.72/770.47	c cleaning 93997 clauses out of 188022 with flag 4550000/4723907
787.87/783.59	c cleaning 95004 clauses out of 190025 with flag 4646000/4819907
803.92/799.50	c cleaning 95998 clauses out of 192022 with flag 4743001/4916908
818.85/814.49	c cleaning 97000 clauses out of 194025 with flag 4841002/5014909
835.39/830.94	c cleaning 97997 clauses out of 196024 with flag 4940001/5113908
850.56/846.02	c cleaning 99000 clauses out of 198026 with flag 5040000/5213907
868.05/863.47	c cleaning 100003 clauses out of 200027 with flag 5141001/5314908
884.20/879.54	c cleaning 100997 clauses out of 202024 with flag 5243001/5416908
901.19/896.42	c cleaning 102002 clauses out of 204026 with flag 5346000/5519907
919.14/914.30	c cleaning 103001 clauses out of 206024 with flag 5450000/5623907
937.80/932.91	c cleaning 104002 clauses out of 208023 with flag 5555000/5728907
957.46/952.51	c cleaning 104995 clauses out of 210021 with flag 5661000/5834907
975.89/970.91	c cleaning 106001 clauses out of 212026 with flag 5768000/5941907
994.21/989.21	c cleaning 107006 clauses out of 214029 with flag 5876004/6049911
1024.97/1019.96	c cleaning 108002 clauses out of 216021 with flag 5985002/6158909
1059.69/1054.58	c cleaning 109000 clauses out of 218018 with flag 6095001/6268908
1095.23/1089.93	c cleaning 110000 clauses out of 220018 with flag 6206001/6379908
1129.03/1123.64	c cleaning 110998 clauses out of 222017 with flag 6318000/6491907
1165.89/1160.45	c cleaning 112002 clauses out of 224020 with flag 6431001/6604908
1202.18/1196.61	c cleaning 112996 clauses out of 226017 with flag 6545000/6718907
1226.15/1220.52	c cleaning 114000 clauses out of 228021 with flag 6660000/6833907
1244.02/1238.39	c cleaning 115004 clauses out of 230023 with flag 6776002/6949909
1260.28/1254.52	c cleaning 115997 clauses out of 232017 with flag 6893000/7066907
1280.94/1275.15	c cleaning 116995 clauses out of 234020 with flag 7011000/7184907
1298.57/1292.71	c cleaning 117996 clauses out of 236026 with flag 7130001/7303908
1316.84/1310.94	c cleaning 119007 clauses out of 238030 with flag 7250001/7423908
1337.41/1331.41	c cleaning 119999 clauses out of 240023 with flag 7371001/7544908
1359.31/1353.27	c cleaning 121000 clauses out of 242024 with flag 7493001/7666908
1379.40/1373.22	c cleaning 122003 clauses out of 244024 with flag 7616001/7789908
1401.82/1395.61	c cleaning 122997 clauses out of 246021 with flag 7740001/7913908
1424.23/1417.96	c cleaning 123999 clauses out of 248023 with flag 7865000/8038907
1446.68/1440.33	c cleaning 125002 clauses out of 250024 with flag 7991000/8164907
1466.73/1460.39	c cleaning 126002 clauses out of 252022 with flag 8118000/8291907
1488.11/1481.64	c cleaning 126994 clauses out of 254021 with flag 8246001/8419908
1510.09/1503.56	c cleaning 128002 clauses out of 256026 with flag 8375000/8548907
1532.47/1525.84	c cleaning 129002 clauses out of 258025 with flag 8505001/8678908
1555.43/1548.79	c cleaning 129995 clauses out of 260023 with flag 8636001/8809908
1579.07/1572.39	c cleaning 130996 clauses out of 262028 with flag 8768001/8941908
1600.10/1593.33	c cleaning 132006 clauses out of 264031 with flag 8901000/9074907
1626.37/1619.59	c cleaning 133003 clauses out of 266025 with flag 9035000/9208907
1652.06/1645.13	c cleaning 133999 clauses out of 268022 with flag 9170000/9343907
1678.53/1671.51	c cleaning 134997 clauses out of 270023 with flag 9306000/9479907
1704.28/1697.25	c cleaning 136000 clauses out of 272026 with flag 9443000/9616907
1731.25/1724.10	c cleaning 136997 clauses out of 274026 with flag 9581000/9754907
1758.72/1751.50	c cleaning 138000 clauses out of 276030 with flag 9720001/9893908
1785.80/1778.53	c cleaning 139004 clauses out of 278029 with flag 9860000/10033907
1800.03/1792.71	c starts		: 319
1800.03/1792.71	c conflicts		: 10121137
1800.03/1792.71	c decisions		: 11070944
1800.03/1792.71	c propagations		: 172349268
1800.03/1792.71	c inspects		: 5180278260
1800.03/1792.71	c shortcuts		: 0
1800.03/1792.71	c learnt literals	: 339
1800.03/1792.71	c learnt binary clauses	: 563
1800.03/1792.71	c learnt ternary clauses	: 1120
1800.03/1792.71	c learnt constraints	: 10120799
1800.03/1792.71	c ignored constraints	: 0
1800.03/1792.71	c root simplifications	: 658
1800.03/1792.71	c removed literals (reason simplification)	: 702671646
1800.03/1792.71	c reason swapping (by a shorter reason)	: 0
1800.03/1792.71	c Calls to reduceDB	: 156
1800.03/1792.71	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.71	c number of learned constraints concerned by reduction	: 0
1800.03/1792.71	c number of learning phase by resolution	: 0
1800.03/1792.71	c number of learning phase by cutting planes	: 0
1800.03/1792.71	c speed (assignments/second)	: 96164.07773057434
1800.03/1792.71	c non guided choices	7896
1800.03/1792.74	c learnt constraints type 
1800.03/1792.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 448
1800.03/1792.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 225840
1800.03/1792.74	c constraints type 
1800.03/1792.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.03/1792.74	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.03/1792.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.03/1792.74	c ignored satisfied constraints => 2
1800.03/1792.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.03/1792.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.03/1792.74	c 12513 constraints processed.
1800.03/1792.74	s SATISFIABLE
1800.03/1792.76	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 x1628 x1629 x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 x1644 x1645 -x1646 x1647 x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 x1802 x1803 -x1804 -x1805 -x1806 -x1807 x1808 x1809 -x1810 -x1811 -x1812 x1813 -x1814 x1815 x1816 -x1817 x1818 -x1819 -x1820 x1821 x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 x1837 x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 x2255 x2256 x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 x2276 x2277 -x2278 -x2279 -x2280 x2281 x2282 -x2283 x2284 x2285 -x2286 -x2287 -x2288 -x2289 x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.03/1792.76	c objective function=5280503
1800.03/1792.76	c Total wall clock time (in seconds): 1792.638

Verifier Data 

OK	5280503

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

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.13 1.50 3/174 26249
/proc/meminfo: memFree=31013300/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26249/stat : 26249 (java) D 26247 26249 26215 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291460751 9515008 183 33554432000 1073741824 1073778376 140736574570480 140736574561512 248790204085 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26249/statm: 2323 183 140 9 0 71 0

[startup+0.0988651 s]
/proc/loadavg: 1.06 1.13 1.50 3/174 26249
/proc/meminfo: memFree=31013300/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 4196 0 1 0 7 1 0 0 20 0 18 0 291460751 9787842560 4892 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2389610 4892 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.100317 s]
/proc/loadavg: 1.06 1.13 1.50 3/174 26249
/proc/meminfo: memFree=31013300/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 4278 0 1 0 8 1 0 0 20 0 18 0 291460751 9787842560 4974 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2389610 4975 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300303 s]
/proc/loadavg: 1.06 1.13 1.50 3/174 26249
/proc/meminfo: memFree=31013300/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 5757 0 1 0 48 1 0 0 20 0 18 0 291460751 9787842560 8884 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2389610 8884 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.700194 s]
/proc/loadavg: 1.06 1.13 1.50 3/174 26249
/proc/meminfo: memFree=31013300/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9625004 CPUtime=1.67 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 10735 0 1 0 164 3 0 0 20 0 19 0 291460751 9856004096 19351 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2406251 19351 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9625004

[startup+1.50075 s]
/proc/loadavg: 1.13 1.14 1.50 3/213 26295
/proc/meminfo: memFree=30840576/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9625004 CPUtime=2.76 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 10792 0 1 0 273 3 0 0 20 0 19 0 291460751 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2406251 20428 2265 9 0 2396937 0
[pid=26249/tid=26251] ppid=26247 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/26249/task/26251/stat : 26251 (java) R 26247 26249 26215 0 -1 4202560 2582 0 1 0 144 2 0 0 20 0 19 0 291460752 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928820531528 139928760855988 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26252] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26252/stat : 26252 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928664583080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26253] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26253/stat : 26253 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928663530536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26254] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26254/stat : 26254 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928662477480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26255] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26255/stat : 26255 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928661424936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26256] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26256/stat : 26256 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928660371880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26257] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26257/stat : 26257 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928659319336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26258] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26258/stat : 26258 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928658266280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26259] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26259/stat : 26259 (java) S 26247 26249 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928657213736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26260] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26260/stat : 26260 (java) S 26247 26249 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928644803432 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26261] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26261/stat : 26261 (java) S 26247 26249 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928643749752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26262] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26262/stat : 26262 (java) S 26247 26249 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928642696584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26263] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26263/stat : 26263 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928641645328 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26264] ppid=26247 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/26249/task/26264/stat : 26264 (java) S 26247 26249 26215 0 -1 4202560 2780 0 0 0 64 0 0 0 20 0 19 0 291460757 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928640592184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26265] ppid=26247 vsize=9625004 CPUtime=0.61 cores=1,3,5,7
/proc/26249/task/26265/stat : 26265 (java) S 26247 26249 26215 0 -1 4202560 4229 0 0 0 61 0 0 0 20 0 19 0 291460757 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928639539640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26266] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26266/stat : 26266 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928638486776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26267] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26267/stat : 26267 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460758 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928637434440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26268] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26268/stat : 26268 (java) S 26247 26249 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291460798 9856004096 20428 33554432000 1073741824 1073778376 140736356028400 139928636380712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 9625004

[startup+3.10076 s]
/proc/loadavg: 1.13 1.14 1.50 3/213 26295
/proc/meminfo: memFree=30528228/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9625004 CPUtime=4.44 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 10875 0 1 0 439 5 0 0 20 0 19 0 291460751 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2406251 27136 2291 9 0 2396937 0
[pid=26249/tid=26251] ppid=26247 vsize=9625004 CPUtime=3.02 cores=1,3,5,7
/proc/26249/task/26251/stat : 26251 (java) R 26247 26249 26215 0 -1 4202560 2589 0 1 0 300 2 0 0 20 0 19 0 291460752 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928820531832 139928761098713 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26252] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26252/stat : 26252 (java) S 26247 26249 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928664583080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26253] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26253/stat : 26253 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928663530536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26254] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26254/stat : 26254 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928662477480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26255] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26255/stat : 26255 (java) S 26247 26249 26215 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928661424936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26256] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26256/stat : 26256 (java) S 26247 26249 26215 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928660371880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26257] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26257/stat : 26257 (java) S 26247 26249 26215 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928659319336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26258] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26258/stat : 26258 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928658266280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26259] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26259/stat : 26259 (java) S 26247 26249 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928657213736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26260] ppid=26247 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26249/task/26260/stat : 26260 (java) S 26247 26249 26215 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 291460755 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928644803432 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26261] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26261/stat : 26261 (java) S 26247 26249 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928643749752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26262] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26262/stat : 26262 (java) S 26247 26249 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928642696584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26263] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26263/stat : 26263 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928641645328 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26264] ppid=26247 vsize=9625004 CPUtime=0.69 cores=1,3,5,7
/proc/26249/task/26264/stat : 26264 (java) S 26247 26249 26215 0 -1 4202560 2792 0 0 0 69 0 0 0 20 0 19 0 291460757 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928640592184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26265] ppid=26247 vsize=9625004 CPUtime=0.62 cores=1,3,5,7
/proc/26249/task/26265/stat : 26265 (java) S 26247 26249 26215 0 -1 4202560 4232 0 0 0 62 0 0 0 20 0 19 0 291460757 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928639539640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26266] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26266/stat : 26266 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928638486776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26267] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26267/stat : 26267 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460758 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928637434440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26268] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26268/stat : 26268 (java) S 26247 26249 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291460798 9856004096 27136 33554432000 1073741824 1073778376 140736356028400 139928636380712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 9625004

[startup+6.3008 s]
/proc/loadavg: 1.20 1.16 1.50 3/214 26296
/proc/meminfo: memFree=30204452/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9625004 CPUtime=7.74 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 10899 0 1 0 768 6 0 0 20 0 19 0 291460751 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2406251 30324 2291 9 0 2396937 0
[pid=26249/tid=26251] ppid=26247 vsize=9625004 CPUtime=6.17 cores=1,3,5,7
/proc/26249/task/26251/stat : 26251 (java) R 26247 26249 26215 0 -1 4202560 2592 0 1 0 615 2 0 0 20 0 19 0 291460752 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928820531752 139928761188870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26252] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26252/stat : 26252 (java) S 26247 26249 26215 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928664583080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26253] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26253/stat : 26253 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928663530536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26254] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26254/stat : 26254 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928662477480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26255] ppid=26247 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/26249/task/26255/stat : 26255 (java) S 26247 26249 26215 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 291460753 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928661424936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26256] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26256/stat : 26256 (java) S 26247 26249 26215 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928660371880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26257] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26257/stat : 26257 (java) S 26247 26249 26215 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928659319336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26258] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26258/stat : 26258 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928658266280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26259] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26259/stat : 26259 (java) S 26247 26249 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291460753 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928657213736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26260] ppid=26247 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/26249/task/26260/stat : 26260 (java) S 26247 26249 26215 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 19 0 291460755 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928644803432 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26261] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26261/stat : 26261 (java) S 26247 26249 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928643749752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26262] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26262/stat : 26262 (java) S 26247 26249 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928642696584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26263] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26263/stat : 26263 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928641645328 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26264] ppid=26247 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/26249/task/26264/stat : 26264 (java) S 26247 26249 26215 0 -1 4202560 2792 0 0 0 73 0 0 0 20 0 19 0 291460757 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928640592184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26265] ppid=26247 vsize=9625004 CPUtime=0.65 cores=1,3,5,7
/proc/26249/task/26265/stat : 26265 (java) S 26247 26249 26215 0 -1 4202560 4232 0 0 0 65 0 0 0 20 0 19 0 291460757 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928639539640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26266] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26266/stat : 26266 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928638486776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26267] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26267/stat : 26267 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460758 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928637434440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26268] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26268/stat : 26268 (java) S 26247 26249 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291460798 9856004096 30324 33554432000 1073741824 1073778376 140736356028400 139928636380712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 9625004

[startup+12.7008 s]

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

[pid=26249/tid=26264] ppid=26247 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/26249/task/26264/stat : 26264 (java) S 26247 26249 26215 0 -1 4202560 2792 0 0 0 74 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928640592184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26265] ppid=26247 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26249/task/26265/stat : 26265 (java) S 26247 26249 26215 0 -1 4202560 4251 0 0 0 75 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928639539640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26266] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26266/stat : 26266 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928638486776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26267] ppid=26247 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/26249/task/26267/stat : 26267 (java) S 26247 26249 26215 0 -1 4202560 99 0 0 0 16 18 0 0 20 0 19 0 291460758 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928637434440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26268] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26268/stat : 26268 (java) S 26247 26249 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291460798 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928636380712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1729.45
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/213 26514
/proc/meminfo: memFree=29733392/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9625004 CPUtime=1789.63 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 13321 0 1 0 178922 41 0 0 20 0 19 0 291460751 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2406251 88210 2292 9 0 2396937 0
[pid=26249/tid=26251] ppid=26247 vsize=9625004 CPUtime=1764.6 cores=1,3,5,7
/proc/26249/task/26251/stat : 26251 (java) R 26247 26249 26215 0 -1 4202560 2775 0 1 0 176430 30 0 0 20 0 19 0 291460752 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928820531504 139928761058204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26252] ppid=26247 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/26249/task/26252/stat : 26252 (java) S 26247 26249 26215 0 -1 4202560 392 0 0 0 111 4 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928664583080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26253] ppid=26247 vsize=9625004 CPUtime=1.05 cores=1,3,5,7
/proc/26249/task/26253/stat : 26253 (java) S 26247 26249 26215 0 -1 4202560 416 0 0 0 102 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928663530536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26254] ppid=26247 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/26249/task/26254/stat : 26254 (java) S 26247 26249 26215 0 -1 4202560 111 0 0 0 98 4 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928662477480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26255] ppid=26247 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/26249/task/26255/stat : 26255 (java) S 26247 26249 26215 0 -1 4202560 87 0 0 0 97 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928661424936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26256] ppid=26247 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/26249/task/26256/stat : 26256 (java) S 26247 26249 26215 0 -1 4202560 86 0 0 0 90 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928660371880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26257] ppid=26247 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/26249/task/26257/stat : 26257 (java) S 26247 26249 26215 0 -1 4202560 292 0 0 0 96 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928659319336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26258] ppid=26247 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/26249/task/26258/stat : 26258 (java) S 26247 26249 26215 0 -1 4202560 359 0 0 0 100 2 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928658266280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26259] ppid=26247 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/26249/task/26259/stat : 26259 (java) S 26247 26249 26215 0 -1 4202560 290 0 0 0 97 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928657213736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26260] ppid=26247 vsize=9625004 CPUtime=10.76 cores=1,3,5,7
/proc/26249/task/26260/stat : 26260 (java) S 26247 26249 26215 0 -1 4202560 181 0 0 0 1074 2 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928644803432 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26261] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26261/stat : 26261 (java) S 26247 26249 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928643749752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26262] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26262/stat : 26262 (java) S 26247 26249 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928642696584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26263] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26263/stat : 26263 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928641645328 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26264] ppid=26247 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/26249/task/26264/stat : 26264 (java) S 26247 26249 26215 0 -1 4202560 2792 0 0 0 74 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928640592184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26265] ppid=26247 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26249/task/26265/stat : 26265 (java) S 26247 26249 26215 0 -1 4202560 4251 0 0 0 75 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928639539640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26266] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26266/stat : 26266 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928638486776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26267] ppid=26247 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/26249/task/26267/stat : 26267 (java) S 26247 26249 26215 0 -1 4202560 103 0 0 0 17 18 0 0 20 0 19 0 291460758 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928637434440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26268] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26268/stat : 26268 (java) S 26247 26249 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291460798 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928636380712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.7 s]
/proc/loadavg: 2.00 2.01 1.91 3/213 26514
/proc/meminfo: memFree=29733392/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 13321 0 1 0 179962 41 0 0 20 0 19 0 291460751 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2406251 88210 2292 9 0 2396937 0
[pid=26249/tid=26251] ppid=26247 vsize=9625004 CPUtime=1774.99 cores=1,3,5,7
/proc/26249/task/26251/stat : 26251 (java) R 26247 26249 26215 0 -1 4202560 2775 0 1 0 177469 30 0 0 20 0 19 0 291460752 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928820531504 139928760864967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26252] ppid=26247 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/26249/task/26252/stat : 26252 (java) S 26247 26249 26215 0 -1 4202560 392 0 0 0 111 4 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928664583080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26253] ppid=26247 vsize=9625004 CPUtime=1.05 cores=1,3,5,7
/proc/26249/task/26253/stat : 26253 (java) S 26247 26249 26215 0 -1 4202560 416 0 0 0 102 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928663530536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26254] ppid=26247 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/26249/task/26254/stat : 26254 (java) S 26247 26249 26215 0 -1 4202560 111 0 0 0 98 4 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928662477480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26255] ppid=26247 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/26249/task/26255/stat : 26255 (java) S 26247 26249 26215 0 -1 4202560 87 0 0 0 97 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928661424936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26256] ppid=26247 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/26249/task/26256/stat : 26256 (java) S 26247 26249 26215 0 -1 4202560 86 0 0 0 90 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928660371880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26257] ppid=26247 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/26249/task/26257/stat : 26257 (java) S 26247 26249 26215 0 -1 4202560 292 0 0 0 96 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928659319336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26258] ppid=26247 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/26249/task/26258/stat : 26258 (java) S 26247 26249 26215 0 -1 4202560 359 0 0 0 100 2 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928658266280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26259] ppid=26247 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/26249/task/26259/stat : 26259 (java) S 26247 26249 26215 0 -1 4202560 290 0 0 0 97 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928657213736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26260] ppid=26247 vsize=9625004 CPUtime=10.76 cores=1,3,5,7
/proc/26249/task/26260/stat : 26260 (java) S 26247 26249 26215 0 -1 4202560 181 0 0 0 1074 2 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928644803432 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26261] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26261/stat : 26261 (java) S 26247 26249 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928643749752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26262] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26262/stat : 26262 (java) S 26247 26249 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928642696584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26263] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26263/stat : 26263 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928641645328 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26264] ppid=26247 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/26249/task/26264/stat : 26264 (java) S 26247 26249 26215 0 -1 4202560 2792 0 0 0 74 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928640592184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26265] ppid=26247 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26249/task/26265/stat : 26265 (java) S 26247 26249 26215 0 -1 4202560 4251 0 0 0 75 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928639539640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26266] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26266/stat : 26266 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928638486776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26267] ppid=26247 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/26249/task/26267/stat : 26267 (java) S 26247 26249 26215 0 -1 4202560 103 0 0 0 18 18 0 0 20 0 19 0 291460758 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928637434440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26268] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26268/stat : 26268 (java) S 26247 26249 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291460798 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928636380712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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

[startup+1792.7 s]
/proc/loadavg: 2.00 2.01 1.91 3/213 26514
/proc/meminfo: memFree=29733392/32873844 swapFree=6080/6080
[pid=26249] ppid=26247 vsize=9625004 CPUtime=1800.03 cores=1,3,5,7
/proc/26249/stat : 26249 (java) S 26247 26249 26215 0 -1 4202496 13321 0 1 0 179962 41 0 0 20 0 19 0 291460751 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 140736356019536 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/26249/statm: 2406251 88210 2292 9 0 2396937 0
[pid=26249/tid=26251] ppid=26247 vsize=9625004 CPUtime=1774.99 cores=1,3,5,7
/proc/26249/task/26251/stat : 26251 (java) R 26247 26249 26215 0 -1 4202560 2775 0 1 0 177469 30 0 0 20 0 19 0 291460752 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928820531504 139928760864967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26252] ppid=26247 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/26249/task/26252/stat : 26252 (java) S 26247 26249 26215 0 -1 4202560 392 0 0 0 111 4 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928664583080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26253] ppid=26247 vsize=9625004 CPUtime=1.05 cores=1,3,5,7
/proc/26249/task/26253/stat : 26253 (java) S 26247 26249 26215 0 -1 4202560 416 0 0 0 102 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928663530536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26254] ppid=26247 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/26249/task/26254/stat : 26254 (java) S 26247 26249 26215 0 -1 4202560 111 0 0 0 98 4 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928662477480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26255] ppid=26247 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/26249/task/26255/stat : 26255 (java) S 26247 26249 26215 0 -1 4202560 87 0 0 0 97 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928661424936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26256] ppid=26247 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/26249/task/26256/stat : 26256 (java) S 26247 26249 26215 0 -1 4202560 86 0 0 0 90 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928660371880 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26257] ppid=26247 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/26249/task/26257/stat : 26257 (java) S 26247 26249 26215 0 -1 4202560 292 0 0 0 96 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928659319336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26258] ppid=26247 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/26249/task/26258/stat : 26258 (java) S 26247 26249 26215 0 -1 4202560 359 0 0 0 100 2 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928658266280 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26259] ppid=26247 vsize=9625004 CPUtime=1 cores=1,3,5,7
/proc/26249/task/26259/stat : 26259 (java) S 26247 26249 26215 0 -1 4202560 290 0 0 0 97 3 0 0 20 0 19 0 291460753 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928657213736 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26260] ppid=26247 vsize=9625004 CPUtime=10.76 cores=1,3,5,7
/proc/26249/task/26260/stat : 26260 (java) S 26247 26249 26215 0 -1 4202560 181 0 0 0 1074 2 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928644803432 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26261] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26261/stat : 26261 (java) S 26247 26249 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928643749752 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26262] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26262/stat : 26262 (java) S 26247 26249 26215 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291460755 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928642696584 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26263] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26263/stat : 26263 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928641645328 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26249/tid=26264] ppid=26247 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/26249/task/26264/stat : 26264 (java) S 26247 26249 26215 0 -1 4202560 2792 0 0 0 74 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928640592184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26249/tid=26265] ppid=26247 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/26249/task/26265/stat : 26265 (java) S 26247 26249 26215 0 -1 4202560 4251 0 0 0 75 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928639539640 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26266] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26266/stat : 26266 (java) S 26247 26249 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291460757 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928638486776 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26249/tid=26267] ppid=26247 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/26249/task/26267/stat : 26267 (java) S 26247 26249 26215 0 -1 4202560 103 0 0 0 18 18 0 0 20 0 19 0 291460758 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928637434440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26249/tid=26268] ppid=26247 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/26249/task/26268/stat : 26268 (java) S 26247 26249 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291460798 9856004096 88210 33554432000 1073741824 1073778376 140736356028400 139928636380712 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26249 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=258079
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=891864
# CPU time returned by wait4() is 1796.15
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.77
CPU time (s): 1800.03
CPU user time (s): 1799.62
CPU system time (s): 0.41
CPU usage (%): 100.405
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.26
system time used= 0.891864
maximum resident set size= 352964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13355
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42132
involuntary context switches= 16356

runsolver used 6.15006 second user time and 14.8337 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-29 03:02:42
IDJOB=3710381
IDBENCH=92722
IDSOLVER=2289
FILE ID=node139/3710381-1338253362
RUNJOBID= node139-1338253362-26232
PBS_JOBID= 14624667
Free space on /tmp= 71652 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_8.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-3710381-1338253362/watcher-3710381-1338253362 -o /tmp/evaluation-result-3710381-1338253362/solver-3710381-1338253362 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710381-1338253362.opb

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

MD5SUM BENCH= 4bf433c60343e128a7fab53c33d88c45
RANDOM SEED=1826471756

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
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:       32873844 kB
MemFree:        31014068 kB
Buffers:          445928 kB
Cached:           547156 kB
SwapCached:          828 kB
Active:           700852 kB
Inactive:         304624 kB
Active(anon):       5972 kB
Inactive(anon):     7968 kB
Active(file):     694880 kB
Inactive(file):   296656 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              1592 kB
Writeback:             0 kB
AnonPages:         14836 kB
Mapped:            11148 kB
Shmem:                 8 kB
Slab:             717956 kB
SReclaimable:     160152 kB
SUnreclaim:       557804 kB
KernelStack:        1400 kB
PageTables:         4112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     107888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node139 at 2012-05-29 03:32:37