Trace number 3690176

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_1.opb
MD5SUM8a23e88f34ee33e636d3b24522832f27
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3948307
Best CPU time to get the best result obtained on this benchmark1800.1
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 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120418
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3690176-1337888647.opb
0.10/0.11	c reading problem ... 
1.12/0.60	c ... done. Wall clock time 0.481s.
1.12/0.60	c declared #vars     5100
1.12/0.60	c #constraints  12510
1.12/0.60	c constraints type 
1.42/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1.42/0.60	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.42/0.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.42/0.60	c ignored satisfied constraints => 2
1.42/0.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1.42/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
1.42/0.60	c 12512 constraints processed.
1.42/0.60	c constraints type 
1.42/0.60	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1.42/0.60	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1.42/0.60	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.42/0.60	c ignored satisfied constraints => 2
1.42/0.60	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1.42/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
1.42/0.60	c 12512 constraints processed.
1.42/0.60	c objective function length is 4950 literals
3.03/1.02	c  And the winner is solver0
3.03/1.10	c SATISFIABLE
3.03/1.10	c OPTIMIZING...
3.03/1.10	c Got one! Elapsed wall clock time (in seconds):0.988
3.03/1.10	o 5411871
5.76/2.11	c cleaning 2609 clauses out of 5218 with flag 5001/5218
7.61/3.09	c cleaning 4301 clauses out of 8609 with flag 11001/11218
9.80/4.17	c cleaning 5652 clauses out of 11308 with flag 18001/18218
12.14/5.40	c cleaning 6828 clauses out of 13655 with flag 26000/26217
14.88/6.76	c cleaning 7913 clauses out of 15827 with flag 35000/35217
17.88/8.24	c cleaning 8954 clauses out of 17915 with flag 45001/45218
21.04/9.88	c cleaning 9977 clauses out of 19960 with flag 56000/56217
24.53/11.65	c cleaning 10988 clauses out of 21983 with flag 68000/68217
28.38/13.64	c cleaning 11996 clauses out of 23995 with flag 81000/81217
32.45/15.77	c cleaning 12999 clauses out of 26000 with flag 95001/95218
37.15/18.15	c cleaning 14000 clauses out of 28002 with flag 110002/110219
42.44/20.81	c cleaning 14998 clauses out of 30001 with flag 126001/126218
47.65/23.50	c cleaning 15997 clauses out of 32002 with flag 143000/143217
52.90/26.23	c cleaning 17003 clauses out of 34005 with flag 161000/161217
57.14/28.46	c  And the winner is solver1
57.15/28.69	c Got one! Elapsed wall clock time (in seconds):28.578
57.15/28.69	o 3951925
58.90/29.57	c cleaning 18287 clauses out of 36576 with flag 5001/180791
61.42/30.80	c cleaning 12143 clauses out of 24289 with flag 11001/186791
64.00/32.21	c cleaning 9573 clauses out of 19145 with flag 18000/193790
66.85/33.69	c cleaning 8787 clauses out of 17573 with flag 26001/201791
70.31/35.44	c cleaning 8881 clauses out of 17767 with flag 35001/210791
73.81/37.12	c cleaning 9435 clauses out of 18885 with flag 45000/220790
77.45/38.95	c cleaning 10218 clauses out of 20450 with flag 56000/231790
81.25/40.95	c cleaning 11113 clauses out of 22233 with flag 68001/243791
85.44/43.14	c cleaning 12056 clauses out of 24119 with flag 81000/256790
89.85/45.44	c cleaning 13030 clauses out of 26064 with flag 95001/270791
94.75/48.03	c cleaning 14011 clauses out of 28033 with flag 110000/285790
99.76/50.63	c cleaning 15008 clauses out of 30023 with flag 126001/301791
104.92/53.35	c cleaning 16003 clauses out of 32015 with flag 143001/318791
110.50/56.22	c cleaning 17005 clauses out of 34011 with flag 161000/336790
116.57/59.49	c cleaning 17996 clauses out of 36006 with flag 180000/355790
122.97/62.70	c cleaning 19001 clauses out of 38010 with flag 200000/375790
129.34/66.08	c cleaning 20003 clauses out of 40009 with flag 221000/396790
136.09/69.52	c cleaning 20999 clauses out of 42007 with flag 243001/418791
143.50/73.49	c cleaning 22000 clauses out of 44008 with flag 266001/441791
151.45/77.53	c cleaning 22997 clauses out of 46007 with flag 290000/465790
159.78/81.87	c cleaning 24004 clauses out of 48010 with flag 315000/490790
168.52/86.37	c cleaning 24999 clauses out of 50007 with flag 341001/516791
177.75/91.15	c cleaning 25999 clauses out of 52007 with flag 368000/543790
187.90/96.32	c cleaning 27001 clauses out of 54009 with flag 396001/571791
197.48/101.29	c cleaning 27998 clauses out of 56008 with flag 425001/600791
206.99/106.17	c cleaning 28999 clauses out of 58010 with flag 455001/630791
216.91/111.33	c cleaning 30000 clauses out of 60011 with flag 486001/661791
227.83/116.99	c cleaning 31001 clauses out of 62012 with flag 518002/693792
239.37/122.87	c cleaning 32000 clauses out of 64010 with flag 551001/726791
250.72/128.61	c cleaning 32999 clauses out of 66010 with flag 585001/760791
263.05/135.02	c cleaning 34005 clauses out of 68011 with flag 620001/795791
275.16/141.23	c cleaning 34996 clauses out of 70005 with flag 656000/831790
287.29/147.45	c cleaning 35999 clauses out of 72009 with flag 693000/868790
300.86/154.30	c cleaning 36999 clauses out of 74010 with flag 731000/906790
313.80/161.08	c cleaning 38004 clauses out of 76011 with flag 770000/945790
327.15/167.88	c cleaning 38997 clauses out of 78007 with flag 810000/985790
340.64/174.77	c cleaning 40003 clauses out of 80011 with flag 851001/1026791
354.71/181.91	c cleaning 40998 clauses out of 82007 with flag 893000/1068790
368.61/189.14	c cleaning 41993 clauses out of 84009 with flag 936000/1111790
383.07/196.58	c cleaning 43004 clauses out of 86017 with flag 980001/1155791
397.74/204.05	c cleaning 44007 clauses out of 88014 with flag 1025002/1200792
412.82/211.73	c cleaning 44997 clauses out of 90005 with flag 1071000/1246790
428.06/219.69	c cleaning 46000 clauses out of 92008 with flag 1118000/1293790
444.34/227.90	c cleaning 47001 clauses out of 94009 with flag 1166001/1341791
461.22/236.50	c cleaning 48001 clauses out of 96007 with flag 1215000/1390790
477.26/244.77	c cleaning 48996 clauses out of 98006 with flag 1265000/1440790
494.50/253.64	c cleaning 50003 clauses out of 100013 with flag 1316003/1491793
511.58/262.35	c cleaning 51000 clauses out of 102008 with flag 1368001/1543791
528.69/271.08	c cleaning 52000 clauses out of 104008 with flag 1421001/1596791
546.60/280.16	c cleaning 52997 clauses out of 106008 with flag 1475001/1650791
565.68/289.91	c cleaning 53997 clauses out of 108011 with flag 1530001/1705791
584.55/299.57	c cleaning 55005 clauses out of 110015 with flag 1586002/1761792
603.24/309.09	c cleaning 56001 clauses out of 112008 with flag 1643000/1818790
623.11/319.13	c cleaning 56999 clauses out of 114008 with flag 1701001/1876791
645.60/330.68	c cleaning 57998 clauses out of 116009 with flag 1760001/1935791
666.30/341.12	c cleaning 58999 clauses out of 118010 with flag 1820000/1995790
687.81/352.03	c cleaning 60005 clauses out of 120011 with flag 1881000/2056790
711.31/363.93	c cleaning 61001 clauses out of 122007 with flag 1943001/2118791
735.80/376.46	c cleaning 61994 clauses out of 124005 with flag 2006000/2181790
759.15/388.21	c cleaning 63000 clauses out of 126011 with flag 2070000/2245790
783.23/400.61	c cleaning 64000 clauses out of 128011 with flag 2135000/2310790
807.83/413.26	c cleaning 65003 clauses out of 130013 with flag 2201002/2376792
831.96/425.45	c cleaning 66001 clauses out of 132009 with flag 2268001/2443791
856.14/437.67	c cleaning 67003 clauses out of 134009 with flag 2336002/2511792
881.82/450.66	c cleaning 68002 clauses out of 136004 with flag 2405000/2580790
909.28/464.66	c cleaning 68992 clauses out of 138003 with flag 2475001/2650791
936.04/478.27	c cleaning 70001 clauses out of 140011 with flag 2546001/2721791
963.97/492.45	c cleaning 71000 clauses out of 142010 with flag 2618001/2793791
990.09/505.79	c cleaning 71993 clauses out of 144009 with flag 2691000/2866790
1020.84/521.59	c cleaning 72998 clauses out of 146016 with flag 2765000/2940790
1053.62/538.19	c cleaning 74004 clauses out of 148018 with flag 2840000/3015790
1085.05/554.11	c cleaning 75003 clauses out of 150014 with flag 2916000/3091790
1113.88/568.86	c cleaning 75995 clauses out of 152012 with flag 2993001/3168791
1144.41/584.59	c cleaning 77003 clauses out of 154016 with flag 3071000/3246790
1177.43/601.37	c cleaning 78006 clauses out of 156014 with flag 3150001/3325791
1207.89/616.89	c cleaning 79003 clauses out of 158007 with flag 3230000/3405790
1240.98/633.71	c cleaning 79995 clauses out of 160005 with flag 3311001/3486791
1266.80/647.24	c  And the winner is solver0
1266.12/647.96	c Got one! Elapsed wall clock time (in seconds):647.846
1266.12/647.96	o 3948307
1268.05/649.63	c cleaning 76311 clauses out of 152646 with flag 5000/3559427
1271.08/651.58	c cleaning 41155 clauses out of 82335 with flag 11000/3565427
1273.93/653.35	c cleaning 24075 clauses out of 48180 with flag 18000/3572427
1276.93/655.26	c cleaning 16037 clauses out of 32107 with flag 26002/3580429
1280.48/657.67	c cleaning 12518 clauses out of 25069 with flag 35001/3589428
1283.89/659.76	c cleaning 11255 clauses out of 22550 with flag 45000/3599427
1287.68/662.04	c cleaning 11145 clauses out of 22296 with flag 56001/3610428
1291.50/664.40	c cleaning 11575 clauses out of 23150 with flag 68000/3622427
1296.35/667.48	c cleaning 12282 clauses out of 24575 with flag 81000/3635427
1300.92/670.10	c cleaning 13141 clauses out of 26293 with flag 95000/3649427
1305.51/672.83	c cleaning 14063 clauses out of 28152 with flag 110000/3664427
1310.49/675.73	c cleaning 15032 clauses out of 30089 with flag 126000/3680427
1316.38/679.30	c cleaning 16022 clauses out of 32057 with flag 143000/3697427
1321.97/682.57	c cleaning 17005 clauses out of 34036 with flag 161001/3715428
1328.59/686.23	c cleaning 18008 clauses out of 36030 with flag 180000/3734427
1335.44/690.02	c cleaning 19001 clauses out of 38023 with flag 200001/3754428
1343.41/694.62	c cleaning 20002 clauses out of 40021 with flag 221000/3775427
1351.06/698.81	c cleaning 20996 clauses out of 42019 with flag 243000/3797427
1358.69/703.03	c cleaning 22005 clauses out of 44024 with flag 266001/3820428
1366.14/707.14	c cleaning 23006 clauses out of 46018 with flag 290000/3844427
1374.68/712.08	c cleaning 24004 clauses out of 48013 with flag 315001/3869428
1382.52/716.31	c cleaning 24999 clauses out of 50009 with flag 341001/3895428
1390.73/720.83	c cleaning 25996 clauses out of 52010 with flag 368001/3922428
1398.97/725.34	c cleaning 26996 clauses out of 54013 with flag 396000/3950427
1408.29/730.62	c cleaning 27996 clauses out of 56018 with flag 425001/3979428
1416.72/735.29	c cleaning 28999 clauses out of 58017 with flag 455000/4009427
1426.38/740.40	c cleaning 29998 clauses out of 60019 with flag 486001/4040428
1436.00/745.61	c cleaning 30997 clauses out of 62021 with flag 518001/4072428
1446.21/751.45	c cleaning 31999 clauses out of 64024 with flag 551001/4105428
1456.17/756.82	c cleaning 33001 clauses out of 66025 with flag 585001/4139428
1466.53/762.46	c cleaning 33997 clauses out of 68024 with flag 620001/4174428
1477.27/768.28	c cleaning 34997 clauses out of 70026 with flag 656000/4210427
1488.93/774.76	c cleaning 35999 clauses out of 72030 with flag 693001/4247428
1500.46/780.99	c cleaning 37007 clauses out of 74031 with flag 731001/4285428
1512.42/787.32	c cleaning 38002 clauses out of 76023 with flag 770000/4324427
1525.56/794.37	c cleaning 39002 clauses out of 78023 with flag 810002/4364429
1540.48/802.96	c cleaning 40003 clauses out of 80020 with flag 851001/4405428
1553.50/809.76	c cleaning 40995 clauses out of 82016 with flag 893000/4447427
1566.50/816.68	c cleaning 41998 clauses out of 84022 with flag 936001/4490428
1579.96/824.06	c cleaning 43003 clauses out of 86024 with flag 980001/4534428
1592.75/830.84	c cleaning 44001 clauses out of 88020 with flag 1025000/4579427
1606.90/838.39	c cleaning 44997 clauses out of 90019 with flag 1071000/4625427
1622.13/846.35	c cleaning 46001 clauses out of 92023 with flag 1118001/4672428
1637.11/854.52	c cleaning 47000 clauses out of 94021 with flag 1166000/4720427
1651.43/862.17	c cleaning 48003 clauses out of 96021 with flag 1215000/4769427
1666.54/870.16	c cleaning 48998 clauses out of 98017 with flag 1265001/4819428
1684.07/879.30	c cleaning 49994 clauses out of 100019 with flag 1316001/4870428
1700.86/888.44	c cleaning 51000 clauses out of 102024 with flag 1368000/4922427
1716.62/896.77	c cleaning 51993 clauses out of 104009 with flag 1421000/4975427
1733.77/905.76	c cleaning 52994 clauses out of 106016 with flag 1475000/5029427
1752.54/915.55	c cleaning 53994 clauses out of 108024 with flag 1530002/5084429
1774.64/927.26	c cleaning 55005 clauses out of 110028 with flag 1586000/5140427
1795.72/938.12	c cleaning 56000 clauses out of 112025 with flag 1643002/5197429
1797.47/939.41	c starts		: 368
1797.47/939.41	c conflicts		: 5200161
1797.47/939.41	c decisions		: 5853770
1797.47/939.41	c propagations		: 58804136
1797.47/939.41	c inspects		: 1783817989
1797.47/939.41	c shortcuts		: 0
1797.47/939.41	c learnt literals	: 40
1797.47/939.41	c learnt binary clauses	: 10
1797.47/939.41	c learnt ternary clauses	: 247
1797.47/939.41	c learnt constraints	: 5200122
1797.47/939.41	c ignored constraints	: 0
1797.47/939.41	c root simplifications	: 0
1797.47/939.41	c removed literals (reason simplification)	: 415659365
1797.47/939.41	c reason swapping (by a shorter reason)	: 0
1797.47/939.41	c Calls to reduceDB	: 144
1797.47/939.41	c number of reductions to clauses (during analyze)	: 0
1797.47/939.41	c number of learned constraints concerned by reduction	: 0
1797.47/939.41	c number of learning phase by resolution	: 0
1797.47/939.41	c number of learning phase by cutting planes	: 0
1797.47/939.41	c speed (assignments/second)	: 64571.063227951585
1797.47/939.41	c non guided choices	105
1797.47/939.44	c learnt constraints type 
1797.47/939.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 10
1797.47/939.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 58881
1797.47/939.44	c constraints type 
1797.47/939.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1797.47/939.44	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1797.47/939.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1797.47/939.44	c ignored satisfied constraints => 2
1797.47/939.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1797.47/939.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1797.47/939.44	c 12513 constraints processed.
1797.47/939.44	c constraints type 
1797.47/939.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1797.47/939.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1797.47/939.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1797.47/939.44	c ignored satisfied constraints => 2
1797.47/939.44	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1797.47/939.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376
1797.47/939.44	c 12513 constraints processed.
1797.47/939.44	s SATISFIABLE
1797.47/939.45	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 
1797.47/939.46	c objective function=3948307
1797.47/939.46	c Total wall clock time (in seconds): 939.343

Verifier Data 

OK	3948307

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-3690176-1337888647/watcher-3690176-1337888647 -o /tmp/evaluation-result-3690176-1337888647/solver-3690176-1337888647 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3690176-1337888647.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.70 3.87 3.80 3/197 27624
/proc/meminfo: memFree=28823232/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/27624/stat : 27624 (java) D 27622 27624 21231 0 -1 4202496 444 0 0 0 0 0 0 0 20 0 1 0 254990426 9515008 175 33554432000 1073741824 1073778376 140736951633472 140736951616200 272886481808 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2323 175 133 9 0 71 0

[startup+0.0353491 s]
/proc/loadavg: 3.70 3.87 3.80 3/197 27624
/proc/meminfo: memFree=28823232/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 2984 0 1 0 1 0 0 0 20 0 13 0 254990426 9446973440 3682 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2306390 3682 1676 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100248 s]
/proc/loadavg: 3.70 3.87 3.80 3/197 27624
/proc/meminfo: memFree=28823232/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 4298 0 1 0 9 1 0 0 20 0 18 0 254990426 9787813888 5504 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2389603 5504 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300221 s]
/proc/loadavg: 3.70 3.87 3.80 3/197 27624
/proc/meminfo: memFree=28823232/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9558412 CPUtime=0.52 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 7315 0 1 0 50 2 0 0 20 0 18 0 254990426 9787813888 10314 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2389603 10314 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558412

[startup+0.70016 s]
/proc/loadavg: 3.70 3.87 3.80 3/197 27624
/proc/meminfo: memFree=28823232/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 19255 0 1 0 177 5 0 0 20 0 22 0 254990426 10060460032 23045 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2456167 23045 2245 9 0 2446860 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9824668

[startup+1.50061 s]
/proc/loadavg: 3.80 3.89 3.81 7/219 27646
/proc/meminfo: memFree=28731832/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9824668 CPUtime=4.38 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 23356 0 1 0 430 8 0 0 20 0 22 0 254990426 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2456167 35899 2262 9 0 2446860 0
[pid=27624/tid=27626] ppid=27622 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/27624/task/27626/stat : 27626 (java) S 27622 27624 21231 0 -1 4202560 2474 0 1 0 57 2 0 0 20 0 22 0 254990427 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572790354936 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27627] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572751846440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27628] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572750793640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27629] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572749740840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27630] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572748688040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27631] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572747635240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27632] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572746582440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27633] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572745529640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27634] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) S 27622 27624 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572744476840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27635] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27622 27624 21231 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572614437864 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27636] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) S 27622 27624 21231 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572613383928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27637] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27622 27624 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572612331016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27638] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572611279504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27639] ppid=27622 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/27624/task/27639/stat : 27639 (java) S 27622 27624 21231 0 -1 4202560 6300 0 0 0 106 1 0 0 20 0 22 0 254990432 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572610226616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27640] ppid=27622 vsize=9824668 CPUtime=1.07 cores=0,2,4,6
/proc/27624/task/27640/stat : 27640 (java) S 27622 27624 21231 0 -1 4202560 13251 0 0 0 105 2 0 0 20 0 22 0 254990432 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572609173816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27641] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27641/stat : 27641 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572608121208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27642] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27642/stat : 27642 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572607068616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27645] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27645/stat : 27645 (java) S 27622 27624 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254990492 10060460032 35899 33554432000 1073741824 1073778376 140736951633472 140572603909544 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 9824668

[startup+3.10314 s]
/proc/loadavg: 3.80 3.89 3.81 5/219 27649
/proc/meminfo: memFree=28636872/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9824668 CPUtime=7.83 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 24310 0 1 0 769 14 0 0 20 0 22 0 254990426 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2456167 60083 2287 9 0 2446860 0
[pid=27624/tid=27626] ppid=27622 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/27624/task/27626/stat : 27626 (java) S 27622 27624 21231 0 -1 4202560 2475 0 1 0 57 2 0 0 20 0 22 0 254990427 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572790354936 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27627] ppid=27622 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) R 27622 27624 21231 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 22 0 254990428 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572751846440 272886434951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27628] ppid=27622 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) R 27622 27624 21231 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254990428 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572750793768 272886434951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27629] ppid=27622 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) R 27622 27624 21231 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254990428 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572749741016 140572792825587 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27630] ppid=27622 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) R 27622 27624 21231 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 254990428 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572748688168 272886434951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27631] ppid=27622 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) R 27622 27624 21231 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 254990428 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572747635416 140572792825587 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27632] ppid=27622 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) R 27622 27624 21231 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 254990428 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572746582616 140572794516200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27633] ppid=27622 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) R 27622 27624 21231 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254990428 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572745529640 272886434951 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27634] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) R 27622 27624 21231 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254990428 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572744476968 272886434951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27635] ppid=27622 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27622 27624 21231 0 -1 4202560 102 0 0 0 5 0 0 0 20 0 22 0 254990429 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572614436840 272889852988 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27636] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) S 27622 27624 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572613383928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27637] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27622 27624 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572612331016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27638] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572611279504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27639] ppid=27622 vsize=9824668 CPUtime=1.14 cores=0,2,4,6
/proc/27624/task/27639/stat : 27639 (java) S 27622 27624 21231 0 -1 4202560 6300 0 0 0 113 1 0 0 20 0 22 0 254990432 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572610226616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27640] ppid=27622 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/27624/task/27640/stat : 27640 (java) S 27622 27624 21231 0 -1 4202560 13976 0 0 0 118 3 0 0 20 0 22 0 254990432 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572609173816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27641] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27641/stat : 27641 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572608121208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27642] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27642/stat : 27642 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572607068616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27645] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27645/stat : 27645 (java) S 27622 27624 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254990492 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572603909544 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27647] ppid=27622 vsize=9824668 CPUtime=1.83 cores=0,2,4,6
/proc/27624/task/27647/stat : 27647 (java) S 27622 27624 21231 0 -1 4202560 5 0 0 0 183 0 0 0 20 0 22 0 254990538 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572604961048 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27648] ppid=27622 vsize=9824668 CPUtime=1.82 cores=0,2,4,6
/proc/27624/task/27648/stat : 27648 (java) S 27622 27624 21231 0 -1 4202560 40 0 0 0 182 0 0 0 20 0 22 0 254990538 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140572606014168 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27649] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27649/stat : 27649 (java) S 27622 27624 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254990539 10060460032 60083 33554432000 1073741824 1073778376 140736951633472 140571461018536 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 9824668

[startup+6.3007 s]
/proc/loadavg: 3.80 3.89 3.81 6/219 27649
/proc/meminfo: memFree=28531804/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9824668 CPUtime=14.07 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 24348 0 1 0 1392 15 0 0 20 0 22 0 254990426 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2456167 70199 2287 9 0 2446860 0
[pid=27624/tid=27626] ppid=27622 vsize=9824668 CPUtime=0.59 cores=0,2,4,6
/proc/27624/task/27626/stat : 27626 (java) S 27622 27624 21231 0 -1 4202560 2475 0 1 0 57 2 0 0 20 0 22 0 254990427 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572790354936 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27627] ppid=27622 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) S 27622 27624 21231 0 -1 4202560 24 0 0 0 5 2 0 0 20 0 22 0 254990428 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572751846440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27628] ppid=27622 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) S 27622 27624 21231 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 254990428 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572750793640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27629] ppid=27622 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) S 27622 27624 21231 0 -1 4202560 23 0 0 0 4 0 0 0 20 0 22 0 254990428 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572749740840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27630] ppid=27622 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27622 27624 21231 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 254990428 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572748688040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27631] ppid=27622 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27622 27624 21231 0 -1 4202560 23 0 0 0 3 0 0 0 20 0 22 0 254990428 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572747635240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27632] ppid=27622 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27622 27624 21231 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 254990428 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572746582440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27633] ppid=27622 vsize=9824668 CPUtime=0.03 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27622 27624 21231 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 254990428 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572745529640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27634] ppid=27622 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) S 27622 27624 21231 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 254990428 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572744476840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27635] ppid=27622 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27622 27624 21231 0 -1 4202560 111 0 0 0 33 0 0 0 20 0 22 0 254990429 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572614437864 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27636] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) S 27622 27624 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572613383928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27637] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27622 27624 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572612331016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27638] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572611279504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27639] ppid=27622 vsize=9824668 CPUtime=1.18 cores=0,2,4,6
/proc/27624/task/27639/stat : 27639 (java) S 27622 27624 21231 0 -1 4202560 6303 0 0 0 117 1 0 0 20 0 22 0 254990432 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572610226616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27640] ppid=27622 vsize=9824668 CPUtime=1.23 cores=0,2,4,6
/proc/27624/task/27640/stat : 27640 (java) S 27622 27624 21231 0 -1 4202560 13977 0 0 0 120 3 0 0 20 0 22 0 254990432 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572609173816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27641] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27641/stat : 27641 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572608121208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27642] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27642/stat : 27642 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 70199 33554432000 1073741824 1073778376 140736951633472 140572607068616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=27624/tid=27630] ppid=27622 vsize=9824668 CPUtime=1.93 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27622 27624 21231 0 -1 4202560 1171 0 0 0 186 7 0 0 20 0 22 0 254990428 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572748688040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27631] ppid=27622 vsize=9824668 CPUtime=1.97 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27622 27624 21231 0 -1 4202560 1232 0 0 0 189 8 0 0 20 0 22 0 254990428 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572747635240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27632] ppid=27622 vsize=9824668 CPUtime=2.09 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27622 27624 21231 0 -1 4202560 1319 0 0 0 201 8 0 0 20 0 22 0 254990428 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572746582440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27633] ppid=27622 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27622 27624 21231 0 -1 4202560 710 0 0 0 179 8 0 0 20 0 22 0 254990428 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572745529640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27634] ppid=27622 vsize=9824668 CPUtime=1.87 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) S 27622 27624 21231 0 -1 4202560 819 0 0 0 179 8 0 0 20 0 22 0 254990428 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572744476840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27635] ppid=27622 vsize=9824668 CPUtime=73.5 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27622 27624 21231 0 -1 4202560 3037 0 0 0 7325 25 0 0 20 0 22 0 254990429 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572614437864 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27636] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) S 27622 27624 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572613383928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27637] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27622 27624 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572612331016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27638] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572611279504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27639] ppid=27622 vsize=9824668 CPUtime=2.4 cores=0,2,4,6
/proc/27624/task/27639/stat : 27639 (java) S 27622 27624 21231 0 -1 4202560 17520 0 0 0 237 3 0 0 20 0 22 0 254990432 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572610226616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27640] ppid=27622 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/27624/task/27640/stat : 27640 (java) S 27622 27624 21231 0 -1 4202560 14243 0 0 0 156 3 0 0 20 0 22 0 254990432 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572609173816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27641] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27641/stat : 27641 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572608121208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27642] ppid=27622 vsize=9824668 CPUtime=0.17 cores=0,2,4,6
/proc/27624/task/27642/stat : 27642 (java) S 27622 27624 21231 0 -1 4202560 47 0 0 0 8 9 0 0 20 0 22 0 254990432 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572607068616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27652] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27652/stat : 27652 (java) S 27622 27624 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254993299 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572606015016 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27659] ppid=27622 vsize=9824668 CPUtime=135.54 cores=0,2,4,6
/proc/27624/task/27659/stat : 27659 (java) R 27622 27624 21231 0 -1 4202560 4 0 0 0 13552 2 0 0 20 0 22 0 255055224 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572603908848 140572619317231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27660] ppid=27622 vsize=9824668 CPUtime=135.51 cores=0,2,4,6
/proc/27624/task/27660/stat : 27660 (java) R 27622 27624 21231 0 -1 4202560 7 0 0 0 13549 2 0 0 20 0 22 0 255055224 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140571461015792 140572619407440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27661] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27661/stat : 27661 (java) S 27622 27624 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 255055273 10060460032 304481 33554432000 1073741824 1073778376 140736951633472 140572604961960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1576.56
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.79 3.84 3.82 5/219 27662
/proc/meminfo: memFree=26577904/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9824668 CPUtime=1688.65 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 48747 0 1 0 168731 134 0 0 20 0 22 0 254990426 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2456167 315860 2288 9 0 2446860 0
[pid=27624/tid=27626] ppid=27622 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/27624/task/27626/stat : 27626 (java) S 27622 27624 21231 0 -1 4202560 2570 0 1 0 62 3 0 0 20 0 22 0 254990427 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572790354936 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27627] ppid=27622 vsize=9824668 CPUtime=2.11 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) S 27622 27624 21231 0 -1 4202560 1047 0 0 0 203 8 0 0 20 0 22 0 254990428 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572751846440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27628] ppid=27622 vsize=9824668 CPUtime=2.14 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) S 27622 27624 21231 0 -1 4202560 853 0 0 0 205 9 0 0 20 0 22 0 254990428 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572750793640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27629] ppid=27622 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) S 27622 27624 21231 0 -1 4202560 1131 0 0 0 192 10 0 0 20 0 22 0 254990428 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572749740840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27630] ppid=27622 vsize=9824668 CPUtime=2.01 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27622 27624 21231 0 -1 4202560 1173 0 0 0 194 7 0 0 20 0 22 0 254990428 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572748688040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27631] ppid=27622 vsize=9824668 CPUtime=2.08 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27622 27624 21231 0 -1 4202560 1232 0 0 0 200 8 0 0 20 0 22 0 254990428 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572747635240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27632] ppid=27622 vsize=9824668 CPUtime=2.17 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27622 27624 21231 0 -1 4202560 1358 0 0 0 209 8 0 0 20 0 22 0 254990428 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572746582440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27633] ppid=27622 vsize=9824668 CPUtime=2.02 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27622 27624 21231 0 -1 4202560 711 0 0 0 193 9 0 0 20 0 22 0 254990428 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572745529640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27634] ppid=27622 vsize=9824668 CPUtime=1.97 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) S 27622 27624 21231 0 -1 4202560 845 0 0 0 189 8 0 0 20 0 22 0 254990428 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572744476840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27635] ppid=27622 vsize=9824668 CPUtime=81.72 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27622 27624 21231 0 -1 4202560 3103 0 0 0 8146 26 0 0 20 0 22 0 254990429 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572614437864 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27636] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) S 27622 27624 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572613383928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27637] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27622 27624 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572612331016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27638] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572611279504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27639] ppid=27622 vsize=9824668 CPUtime=2.4 cores=0,2,4,6
/proc/27624/task/27639/stat : 27639 (java) S 27622 27624 21231 0 -1 4202560 17520 0 0 0 237 3 0 0 20 0 22 0 254990432 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572610226616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27640] ppid=27622 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/27624/task/27640/stat : 27640 (java) S 27622 27624 21231 0 -1 4202560 14243 0 0 0 156 3 0 0 20 0 22 0 254990432 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572609173816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27641] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27641/stat : 27641 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572608121208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27642] ppid=27622 vsize=9824668 CPUtime=0.19 cores=0,2,4,6
/proc/27624/task/27642/stat : 27642 (java) S 27622 27624 21231 0 -1 4202560 51 0 0 0 9 10 0 0 20 0 22 0 254990432 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572607068616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27652] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27652/stat : 27652 (java) S 27622 27624 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254993299 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572606015016 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27659] ppid=27622 vsize=9824668 CPUtime=186.92 cores=0,2,4,6
/proc/27624/task/27659/stat : 27659 (java) R 27622 27624 21231 0 -1 4202560 5 0 0 0 18690 2 0 0 20 0 22 0 255055224 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572603908848 140572619895791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27660] ppid=27622 vsize=9824668 CPUtime=186.88 cores=0,2,4,6
/proc/27624/task/27660/stat : 27660 (java) R 27622 27624 21231 0 -1 4202560 9 0 0 0 18686 2 0 0 20 0 22 0 255055224 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140571461016240 140572619407517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27661] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27661/stat : 27661 (java) S 27622 27624 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 255055273 10060460032 315860 33554432000 1073741824 1073778376 140736951633472 140572604961960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1688.65
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+939.407 s]
/proc/loadavg: 3.36 3.74 3.79 3/193 27692
/proc/meminfo: memFree=27732080/32873844 swapFree=7104/7104
[pid=27624] ppid=27622 vsize=9824668 CPUtime=1797.47 cores=0,2,4,6
/proc/27624/stat : 27624 (java) S 27622 27624 21231 0 -1 4202496 49280 0 1 0 179608 139 0 0 20 0 22 0 254990426 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140736951624608 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27624/statm: 2456167 331159 2288 9 0 2446860 0
[pid=27624/tid=27626] ppid=27622 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/27624/task/27626/stat : 27626 (java) S 27622 27624 21231 0 -1 4202560 2577 0 1 0 62 3 0 0 20 0 22 0 254990427 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572790354936 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27627] ppid=27622 vsize=9824668 CPUtime=2.3 cores=0,2,4,6
/proc/27624/task/27627/stat : 27627 (java) S 27622 27624 21231 0 -1 4202560 1209 0 0 0 221 9 0 0 20 0 22 0 254990428 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572751846440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27628] ppid=27622 vsize=9824668 CPUtime=2.31 cores=0,2,4,6
/proc/27624/task/27628/stat : 27628 (java) S 27622 27624 21231 0 -1 4202560 862 0 0 0 222 9 0 0 20 0 22 0 254990428 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572750793640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27629] ppid=27622 vsize=9824668 CPUtime=2.17 cores=0,2,4,6
/proc/27624/task/27629/stat : 27629 (java) S 27622 27624 21231 0 -1 4202560 1133 0 0 0 207 10 0 0 20 0 22 0 254990428 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572749740840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27630] ppid=27622 vsize=9824668 CPUtime=2.15 cores=0,2,4,6
/proc/27624/task/27630/stat : 27630 (java) S 27622 27624 21231 0 -1 4202560 1174 0 0 0 208 7 0 0 20 0 22 0 254990428 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572748688040 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27631] ppid=27622 vsize=9824668 CPUtime=2.24 cores=0,2,4,6
/proc/27624/task/27631/stat : 27631 (java) S 27622 27624 21231 0 -1 4202560 1238 0 0 0 215 9 0 0 20 0 22 0 254990428 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572747635240 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27632] ppid=27622 vsize=9824668 CPUtime=2.34 cores=0,2,4,6
/proc/27624/task/27632/stat : 27632 (java) S 27622 27624 21231 0 -1 4202560 1413 0 0 0 226 8 0 0 20 0 22 0 254990428 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572746582440 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27633] ppid=27622 vsize=9824668 CPUtime=2.14 cores=0,2,4,6
/proc/27624/task/27633/stat : 27633 (java) S 27622 27624 21231 0 -1 4202560 913 0 0 0 205 9 0 0 20 0 22 0 254990428 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572745529640 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27634] ppid=27622 vsize=9824668 CPUtime=2.11 cores=0,2,4,6
/proc/27624/task/27634/stat : 27634 (java) S 27622 27624 21231 0 -1 4202560 889 0 0 0 203 8 0 0 20 0 22 0 254990428 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572744476840 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27624/tid=27635] ppid=27622 vsize=9824668 CPUtime=87.66 cores=0,2,4,6
/proc/27624/task/27635/stat : 27635 (java) S 27622 27624 21231 0 -1 4202560 3137 0 0 0 8739 27 0 0 20 0 22 0 254990429 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572614437864 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27636] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27636/stat : 27636 (java) S 27622 27624 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572613383928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27637] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27637/stat : 27637 (java) S 27622 27624 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254990429 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572612331016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27638] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27638/stat : 27638 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572611279504 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27639] ppid=27622 vsize=9824668 CPUtime=2.4 cores=0,2,4,6
/proc/27624/task/27639/stat : 27639 (java) S 27622 27624 21231 0 -1 4202560 17520 0 0 0 237 3 0 0 20 0 22 0 254990432 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572610226616 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27640] ppid=27622 vsize=9824668 CPUtime=1.59 cores=0,2,4,6
/proc/27624/task/27640/stat : 27640 (java) S 27622 27624 21231 0 -1 4202560 14243 0 0 0 156 3 0 0 20 0 22 0 254990432 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572609173816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27641] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27641/stat : 27641 (java) S 27622 27624 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254990432 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572608121208 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27624/tid=27642] ppid=27622 vsize=9824668 CPUtime=0.2 cores=0,2,4,6
/proc/27624/task/27642/stat : 27642 (java) S 27622 27624 21231 0 -1 4202560 54 0 0 0 9 11 0 0 20 0 22 0 254990432 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572607068616 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27652] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27652/stat : 27652 (java) S 27622 27624 21231 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254993299 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572606015016 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27659] ppid=27622 vsize=9824668 CPUtime=237.61 cores=0,2,4,6
/proc/27624/task/27659/stat : 27659 (java) R 27622 27624 21231 0 -1 4202560 6 0 0 0 23758 3 0 0 20 0 22 0 255055224 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572603908968 140572619895778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27624/tid=27660] ppid=27622 vsize=9824668 CPUtime=237.56 cores=0,2,4,6
/proc/27624/task/27660/stat : 27660 (java) R 27622 27624 21231 0 -1 4202560 16 0 0 0 23753 3 0 0 20 0 22 0 255055224 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140571461016112 140572619823744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27624/tid=27661] ppid=27622 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/27624/task/27661/stat : 27661 (java) S 27622 27624 21231 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 255055273 10060460032 331159 33554432000 1073741824 1073778376 140736951633472 140572604961960 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27624 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=739158
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=662747
# CPU time returned by wait4() is 1796.4
# while last known CPU time is 1797.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.62988
#  lost CPU user time (s): 2.79993
#  lost CPU system time (s): -0.17

Real time (s): 939.473
CPU time (s): 1800.1
CPU user time (s): 1798.88
CPU system time (s): 1.22
CPU usage (%): 191.607
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.74
system time used= 1.66275
maximum resident set size= 1324756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49313
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30217
involuntary context switches= 43937

runsolver used 3.87941 second user time and 7.30489 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-24 21:44:08
IDJOB=3690176
IDBENCH=92748
IDSOLVER=2268
FILE ID=node119/3690176-1337888647
RUNJOBID= node119-1337871880-21247
PBS_JOBID= 14620085
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 8a23e88f34ee33e636d3b24522832f27
RANDOM SEED=195597009

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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:        28823232 kB
Buffers:          218356 kB
Cached:          2823280 kB
SwapCached:            0 kB
Active:           585916 kB
Inactive:        2676436 kB
Active(anon):     223232 kB
Inactive(anon):        0 kB
Active(file):     362684 kB
Inactive(file):  2676436 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1792 kB
Writeback:             0 kB
AnonPages:        249608 kB
Mapped:            21724 kB
Shmem:               200 kB
Slab:             627656 kB
SReclaimable:      69404 kB
SUnreclaim:       558252 kB
KernelStack:        1624 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     704600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71700 MiB
End job on node119 at 2012-05-24 21:59:49