Trace number 3741915

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
PB11: Sat4j Res//CP 2.3.0SAT 1617.85 834.063

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K104.opb
MD5SUMa8d55fafa030e5024da65ad802ff80be
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark92.024
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7072
Total number of constraints7282
Number of constraints which are clauses7178
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint104
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 105
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.1.v20110525
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		9996466904
0.08/0.10	c Max memory 		10048897024
0.08/0.10	c Total memory 		10048897024
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3741915-1338762256.opb
0.08/0.12	c reading problem ... 
0.74/0.47	c ... done. Wall clock time 0.342s.
0.74/0.47	c #vars     7072
0.74/0.47	c #constraints  7282
0.74/0.47	c constraints type 
0.74/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5837
0.74/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 104
0.74/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1339
0.74/0.47	c constraints type 
0.74/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1339
0.74/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5837
0.74/0.47	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 104
4.82/1.94	c cleaning 2494 clauses out of 4995 with flag 5000/5000
8.32/3.65	c cleaning 4234 clauses out of 8496 with flag 11000/11000
12.64/5.72	c cleaning 5587 clauses out of 11258 with flag 18000/18000
17.80/8.35	c cleaning 6815 clauses out of 13667 with flag 26000/26000
23.81/11.34	c cleaning 7849 clauses out of 15851 with flag 35001/35001
30.96/14.93	c cleaning 8954 clauses out of 18000 with flag 45000/45000
37.70/18.37	c cleaning 9401 clauses out of 19045 with flag 55002/55002
43.64/21.37	c cleaning 9652 clauses out of 19637 with flag 65000/65000
50.16/24.61	c cleaning 9847 clauses out of 19986 with flag 75003/75003
55.89/27.59	c cleaning 9933 clauses out of 20135 with flag 85000/85000
61.81/30.58	c cleaning 9970 clauses out of 20202 with flag 95001/95001
67.34/33.35	c cleaning 9970 clauses out of 20230 with flag 105001/105001
73.62/36.52	c cleaning 10021 clauses out of 20257 with flag 115000/115000
80.13/39.87	c cleaning 9981 clauses out of 20236 with flag 125005/125005
89.63/44.63	c cleaning 9992 clauses out of 20250 with flag 135000/135000
95.15/47.46	c cleaning 10068 clauses out of 20259 with flag 145002/145002
100.79/50.40	c cleaning 9973 clauses out of 20185 with flag 155000/155000
106.70/53.35	c cleaning 9951 clauses out of 20214 with flag 165002/165002
111.80/55.91	c cleaning 9892 clauses out of 20259 with flag 175000/175000
117.08/58.69	c cleaning 9877 clauses out of 20368 with flag 185001/185001
125.13/62.75	c cleaning 9361 clauses out of 20490 with flag 195000/195000
132.60/66.57	c cleaning 9588 clauses out of 21132 with flag 205003/205003
139.28/69.95	c cleaning 9709 clauses out of 21538 with flag 215000/215000
145.56/73.19	c cleaning 9459 clauses out of 21830 with flag 225001/225001
151.57/76.24	c cleaning 9568 clauses out of 22373 with flag 235004/235004
159.45/80.28	c cleaning 9256 clauses out of 22801 with flag 245000/245000
165.51/83.33	c cleaning 9652 clauses out of 23547 with flag 255002/255002
174.38/87.87	c cleaning 9447 clauses out of 23898 with flag 265005/265005
184.61/93.02	c cleaning 9796 clauses out of 24447 with flag 275001/275001
191.07/96.38	c cleaning 9459 clauses out of 24650 with flag 285000/285000
200.20/100.94	c cleaning 9694 clauses out of 25194 with flag 295003/295003
206.27/104.09	c cleaning 9386 clauses out of 25492 with flag 305000/305000
213.06/107.50	c cleaning 9523 clauses out of 26105 with flag 315000/315000
218.52/110.36	c cleaning 9469 clauses out of 26583 with flag 325002/325002
226.25/114.20	c cleaning 9562 clauses out of 27112 with flag 335002/335002
235.53/118.90	c cleaning 9616 clauses out of 27548 with flag 345000/345000
244.30/123.42	c cleaning 9609 clauses out of 27933 with flag 355001/355001
251.76/127.21	c cleaning 9544 clauses out of 28324 with flag 365001/365001
257.81/130.35	c cleaning 9365 clauses out of 28779 with flag 375000/375000
265.08/134.08	c cleaning 9529 clauses out of 29415 with flag 385001/385001
275.26/139.24	c cleaning 9730 clauses out of 29887 with flag 395002/395002
282.73/143.04	c cleaning 9482 clauses out of 30159 with flag 405004/405004
292.77/148.10	c cleaning 9643 clauses out of 30673 with flag 415000/415000
317.44/160.54	c cleaning 9718 clauses out of 31031 with flag 425001/425001
336.62/170.26	c cleaning 9708 clauses out of 31314 with flag 435002/435002
343.51/173.79	c cleaning 9946 clauses out of 31603 with flag 445002/445002
351.53/177.82	c cleaning 9453 clauses out of 31656 with flag 455004/455004
357.37/180.82	c cleaning 9433 clauses out of 32199 with flag 465000/465000
362.92/183.73	c cleaning 9607 clauses out of 32766 with flag 475000/475000
368.55/186.66	c cleaning 9727 clauses out of 33155 with flag 485001/485001
375.37/190.15	c cleaning 9573 clauses out of 33427 with flag 495000/495000
382.39/193.70	c cleaning 9543 clauses out of 33856 with flag 505002/505002
399.53/202.43	c cleaning 9565 clauses out of 34312 with flag 515001/515001
416.36/210.92	c cleaning 9648 clauses out of 34746 with flag 525000/525000
429.77/217.80	c cleaning 9659 clauses out of 35098 with flag 535000/535000
441.01/223.47	c cleaning 9667 clauses out of 35440 with flag 545001/545001
457.10/231.65	c cleaning 9436 clauses out of 35773 with flag 555001/555001
463.91/235.17	c cleaning 9821 clauses out of 36337 with flag 565001/565001
480.36/243.46	c cleaning 9760 clauses out of 36516 with flag 575001/575001
485.57/246.18	c cleaning 9553 clauses out of 36756 with flag 585001/585001
492.82/249.98	c cleaning 9784 clauses out of 37204 with flag 595002/595002
499.58/253.41	c cleaning 9678 clauses out of 37418 with flag 605000/605000
508.96/258.21	c cleaning 9684 clauses out of 37742 with flag 615002/615002
515.94/261.86	c cleaning 9762 clauses out of 38056 with flag 625000/625000
523.56/265.81	c cleaning 9650 clauses out of 38294 with flag 635000/635000
529.74/269.06	c cleaning 9683 clauses out of 38644 with flag 645001/645001
541.32/274.94	c cleaning 9544 clauses out of 38960 with flag 655000/655000
557.70/283.23	c cleaning 9689 clauses out of 39416 with flag 665000/665000
563.74/286.44	c cleaning 9357 clauses out of 39727 with flag 675000/675000
574.30/291.87	c cleaning 9647 clauses out of 40373 with flag 685003/685003
588.27/298.97	c cleaning 9823 clauses out of 40723 with flag 695000/695000
598.48/304.19	c cleaning 10111 clauses out of 40900 with flag 705001/705001
607.29/308.77	c cleaning 9649 clauses out of 40790 with flag 715002/715002
613.84/312.11	c cleaning 9585 clauses out of 41139 with flag 725000/725000
619.80/315.26	c cleaning 9580 clauses out of 41555 with flag 735001/735001
629.38/320.17	c cleaning 9722 clauses out of 41974 with flag 745000/745000
634.37/322.84	c cleaning 0 clauses out of 5002 with flag 0/5002
640.41/325.81	c cleaning 9761 clauses out of 42253 with flag 755001/755001
657.34/334.39	c cleaning 9674 clauses out of 42493 with flag 765002/765002
665.90/338.80	c cleaning 9727 clauses out of 42817 with flag 775000/775000
676.69/344.33	c cleaning 9558 clauses out of 43090 with flag 785000/785000
684.61/348.49	c cleaning 10062 clauses out of 43534 with flag 795002/795002
691.75/352.17	c cleaning 9564 clauses out of 43472 with flag 805002/805002
697.48/355.13	c cleaning 9915 clauses out of 43906 with flag 815000/815000
702.63/357.90	c cleaning 9444 clauses out of 43991 with flag 825000/825000
713.95/363.74	c cleaning 9947 clauses out of 44546 with flag 835000/835000
730.48/372.14	c cleaning 9724 clauses out of 44599 with flag 845000/845000
747.81/380.91	c cleaning 9728 clauses out of 44876 with flag 855001/855001
771.01/392.79	c cleaning 9826 clauses out of 45148 with flag 865001/865001
796.15/405.44	c cleaning 9917 clauses out of 45322 with flag 875001/875001
817.53/416.24	c cleaning 9859 clauses out of 45404 with flag 885000/885000
833.45/424.40	c cleaning 9985 clauses out of 45548 with flag 895003/895003
845.42/430.51	c cleaning 9825 clauses out of 45562 with flag 905002/905002
857.73/436.81	c cleaning 9781 clauses out of 45741 with flag 915006/915006
864.26/440.29	c cleaning 9641 clauses out of 45955 with flag 925001/925001
871.58/444.07	c cleaning 9584 clauses out of 46314 with flag 935001/935001
878.70/447.83	c cleaning 9753 clauses out of 46729 with flag 945000/945000
885.81/451.59	c cleaning 9543 clauses out of 46976 with flag 955000/955000
895.68/456.62	c cleaning 9684 clauses out of 47436 with flag 965003/965003
913.62/465.76	c cleaning 9745 clauses out of 47749 with flag 975000/975000
932.94/475.69	c cleaning 9957 clauses out of 48004 with flag 985000/985000
948.87/483.74	c cleaning 9864 clauses out of 48050 with flag 995003/995003
958.96/488.97	c cleaning 9829 clauses out of 48181 with flag 1005000/1005000
967.23/493.22	c cleaning 9537 clauses out of 48350 with flag 1015000/1015000
976.10/497.90	c cleaning 9730 clauses out of 48813 with flag 1025000/1025000
983.00/501.59	c cleaning 9597 clauses out of 49083 with flag 1035000/1035000
990.05/505.22	c cleaning 9582 clauses out of 49487 with flag 1045001/1045001
998.71/509.76	c cleaning 9667 clauses out of 49904 with flag 1055000/1055000
1009.94/515.61	c cleaning 9774 clauses out of 50240 with flag 1065003/1065003
1025.41/523.58	c cleaning 9744 clauses out of 50464 with flag 1075001/1075001
1040.28/531.19	c cleaning 9824 clauses out of 50723 with flag 1085004/1085004
1049.17/535.79	c cleaning 9586 clauses out of 50895 with flag 1095000/1095000
1057.62/540.26	c cleaning 9701 clauses out of 51312 with flag 1105003/1105003
1078.62/550.94	c cleaning 9578 clauses out of 51611 with flag 1115003/1115003
1088.70/556.11	c cleaning 9602 clauses out of 52030 with flag 1125000/1125000
1101.14/562.53	c cleaning 9859 clauses out of 52428 with flag 1135000/1135000
1111.16/567.86	c cleaning 9591 clauses out of 52569 with flag 1145000/1145000
1120.62/572.79	c cleaning 9719 clauses out of 52981 with flag 1155003/1155003
1134.09/579.65	c cleaning 9706 clauses out of 53259 with flag 1165000/1165000
1140.31/583.00	c cleaning 9785 clauses out of 53557 with flag 1175004/1175004
1147.11/586.62	c cleaning 9566 clauses out of 53768 with flag 1185000/1185000
1155.54/591.03	c cleaning 9718 clauses out of 54202 with flag 1195000/1195000
1164.79/595.86	c cleaning 9612 clauses out of 54484 with flag 1205000/1205000
1178.81/603.08	c cleaning 9675 clauses out of 54873 with flag 1215001/1215001
1189.42/608.64	c cleaning 9852 clauses out of 55199 with flag 1225002/1225002
1202.45/615.34	c cleaning 9773 clauses out of 55348 with flag 1235003/1235003
1216.52/622.56	c cleaning 9812 clauses out of 55574 with flag 1245002/1245002
1230.73/629.88	c cleaning 9749 clauses out of 55760 with flag 1255000/1255000
1244.34/636.98	c cleaning 9725 clauses out of 56011 with flag 1265000/1265000
1254.99/642.48	c cleaning 9892 clauses out of 56286 with flag 1275000/1275000
1267.19/648.72	c cleaning 9657 clauses out of 56395 with flag 1285001/1285001
1280.63/655.66	c cleaning 10059 clauses out of 56737 with flag 1295000/1295000
1290.63/660.96	c cleaning 9550 clauses out of 56678 with flag 1305000/1305000
1303.43/667.54	c cleaning 9721 clauses out of 57129 with flag 1315001/1315001
1316.25/674.10	c cleaning 9751 clauses out of 57408 with flag 1325001/1325001
1324.45/678.49	c cleaning 9943 clauses out of 57657 with flag 1335001/1335001
1332.17/682.66	c cleaning 10004 clauses out of 57713 with flag 1345000/1345000
1343.59/688.54	c cleaning 9588 clauses out of 57711 with flag 1355002/1355002
1352.56/693.22	c cleaning 9916 clauses out of 58123 with flag 1365002/1365002
1363.97/699.13	c cleaning 9792 clauses out of 58207 with flag 1375002/1375002
1375.30/705.12	c cleaning 9829 clauses out of 58413 with flag 1385000/1385000
1386.10/710.76	c cleaning 9767 clauses out of 58586 with flag 1395002/1395002
1398.88/717.32	c cleaning 10039 clauses out of 58818 with flag 1405001/1405001
1408.67/722.49	c cleaning 9786 clauses out of 58778 with flag 1415000/1415000
1417.58/727.21	c cleaning 9849 clauses out of 58993 with flag 1425001/1425001
1426.55/731.94	c cleaning 9879 clauses out of 59144 with flag 1435002/1435002
1434.14/735.91	c cleaning 9693 clauses out of 59265 with flag 1445002/1445002
1443.49/740.84	c cleaning 9698 clauses out of 59574 with flag 1455004/1455004
1458.78/748.81	c cleaning 9841 clauses out of 59878 with flag 1465006/1465006
1474.75/757.07	c cleaning 9846 clauses out of 60033 with flag 1475002/1475002
1490.92/765.32	c cleaning 9775 clauses out of 60187 with flag 1485002/1485002
1508.87/774.54	c cleaning 9779 clauses out of 60410 with flag 1495000/1495000
1523.73/782.35	c cleaning 9929 clauses out of 60631 with flag 1505000/1505000
1535.47/788.48	c cleaning 9888 clauses out of 60704 with flag 1515003/1515003
1543.60/792.79	c cleaning 9654 clauses out of 60813 with flag 1525000/1525000
1550.95/796.66	c cleaning 9735 clauses out of 61158 with flag 1535000/1535000
1562.81/803.00	c cleaning 9704 clauses out of 61423 with flag 1545000/1545000
1574.74/809.14	c cleaning 9550 clauses out of 61720 with flag 1555001/1555001
1589.29/816.62	c cleaning 9826 clauses out of 62170 with flag 1565001/1565001
1604.64/824.52	c cleaning 9790 clauses out of 62344 with flag 1575001/1575001
1613.03/829.12	c  And the winner is Resolution
1615.98/834.00	c starts		: 190
1615.98/834.00	c conflicts		: 1581239
1615.98/834.00	c decisions		: 17562498
1615.98/834.00	c propagations		: 562727533
1615.98/834.00	c inspects		: 1487866150
1615.98/834.00	c shortcuts		: 0
1615.98/834.00	c learnt literals	: 83
1615.98/834.00	c learnt binary clauses	: 43240
1615.98/834.00	c learnt ternary clauses	: 61170
1615.98/834.00	c learnt constraints	: 1581156
1615.98/834.00	c ignored constraints	: 0
1615.98/834.00	c root simplifications	: 0
1615.98/834.00	c removed literals (reason simplification)	: 37227365
1615.98/834.00	c reason swapping (by a shorter reason)	: 0
1615.98/834.00	c Calls to reduceDB	: 159
1615.98/834.00	c number of reductions to clauses (during analyze)	: 0
1615.98/834.00	c number of learned constraints concerned by reduction	: 0
1615.98/834.00	c number of learning phase by resolution	: 0
1615.98/834.00	c number of learning phase by cutting planes	: 0
1614.13/834.00	c speed (assignments/second)	: 675113.7127637877
1614.13/834.00	c non guided choices	11615
1614.13/834.02	c learnt constraints type 
1614.13/834.02	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 43240
1614.13/834.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15552
1614.13/834.02	c constraints type 
1614.13/834.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5837
1614.13/834.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 104
1614.13/834.02	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1339
1614.13/834.02	c constraints type 
1614.13/834.02	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1339
1614.13/834.02	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5837
1614.13/834.02	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 104
1614.13/834.02	s SATISFIABLE
1614.13/834.03	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 x292 -x293 x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 x4488 -x4489 x4490 -x4491 x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 x4515 -x4516 x4517 -x4518 x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 x4926 -x4927 x4928 -x4929 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 x5410 -x5411 -x5412 -x5413 -x5414 x5415 -x5416 -x5417 -x5418 -x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 x5511 -x5512 -x5513 -x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 x6235 -x6236 x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 x6416 -x6417 x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 x6585 -x6586 x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 x7072 
1614.13/834.04	c Total wall clock time (in seconds): 833.918

Verifier Data 

OK	0

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-3741915-1338762256/watcher-3741915-1338762256 -o /tmp/evaluation-result-3741915-1338762256/solver-3741915-1338762256 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741915-1338762256.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.65 3.77 3.72 4/195 4511
/proc/meminfo: memFree=25289800/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4511/stat : 4511 (java) D 4509 4511 1918 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342351012 9515008 183 33554432000 1073741824 1073778376 140737163047168 140737163038200 252263087797 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/4511/statm: 2323 183 140 9 0 71 0

[startup+0.0161591 s]
/proc/loadavg: 3.65 3.77 3.72 4/195 4511
/proc/meminfo: memFree=25289800/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 1372 0 0 0 0 0 0 0 20 0 2 0 342351012 103964672 1054 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 25382 1054 807 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100236 s]
/proc/loadavg: 3.65 3.77 3.72 4/195 4511
/proc/meminfo: memFree=25289800/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11586392 CPUtime=0.08 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 4656 0 1 0 7 1 0 0 20 0 18 0 342351012 11864465408 13524 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2896598 13524 2086 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.300216 s]
/proc/loadavg: 3.65 3.77 3.72 4/195 4511
/proc/meminfo: memFree=25289800/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11586392 CPUtime=0.53 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 7732 0 1 0 51 2 0 0 20 0 18 0 342351012 11864465408 17851 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2896598 17851 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 11586392

[startup+0.700172 s]
/proc/loadavg: 3.65 3.77 3.72 4/195 4511
/proc/meminfo: memFree=25289800/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 10147 0 1 0 176 3 0 0 20 0 22 0 342351012 12137111552 28267 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2963162 28267 2263 9 0 2953849 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 11852648

[startup+1.5007 s]
/proc/loadavg: 3.65 3.77 3.72 7/217 4533
/proc/meminfo: memFree=25174164/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11852648 CPUtime=4.01 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 12609 0 1 0 396 5 0 0 20 0 22 0 342351012 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2963162 62164 2266 9 0 2953849 0
[pid=4511/tid=4513] ppid=4509 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/4511/task/4513/stat : 4513 (java) S 4509 4511 1918 0 -1 4202560 2887 0 1 0 41 2 0 0 20 0 22 0 342351013 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706887496856 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4514] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4514/stat : 4514 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706842249384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4515] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4515/stat : 4515 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706841196840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4516] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4516/stat : 4516 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706840144296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4517] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4517/stat : 4517 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706839091752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4518] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4518/stat : 4518 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706838039208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4519] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4519/stat : 4519 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706836986664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4520] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4520/stat : 4520 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706835934120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4521] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4521/stat : 4521 (java) S 4509 4511 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706834881576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4522] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4522/stat : 4522 (java) S 4509 4511 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342351016 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706704554088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4523] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4523/stat : 4523 (java) S 4509 4511 1918 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342351017 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706703500408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4524] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4524/stat : 4524 (java) S 4509 4511 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342351017 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706702447752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4525] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4525/stat : 4525 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351019 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706701396496 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4526] ppid=4509 vsize=11852648 CPUtime=0.71 cores=0,2,4,6
/proc/4511/task/4526/stat : 4526 (java) S 4509 4511 1918 0 -1 4202560 4657 0 0 0 71 0 0 0 20 0 22 0 342351019 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706700343864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4527] ppid=4509 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/4511/task/4527/stat : 4527 (java) S 4509 4511 1918 0 -1 4202560 3698 0 0 0 79 0 0 0 20 0 22 0 342351019 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706699291320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4528] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4528/stat : 4528 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351019 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139706698238968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4529] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4529/stat : 4529 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351019 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139705689566536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4530] ppid=4509 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/4511/task/4530/stat : 4530 (java) R 4509 4511 1918 0 -1 4202560 25 0 0 0 101 0 0 0 20 0 22 0 342351059 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139705688508872 139706713780352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4531] ppid=4509 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/4511/task/4531/stat : 4531 (java) R 4509 4511 1918 0 -1 4202560 135 0 0 0 98 2 0 0 20 0 22 0 342351059 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139705687457816 139706714045946 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4532] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4532/stat : 4532 (java) S 4509 4511 1918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342351060 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139705686406184 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4533] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4533/stat : 4533 (java) S 4509 4511 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342351061 12137111552 62164 33554432000 1073741824 1073778376 140733800238176 139705685353640 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 11852648

[startup+3.10071 s]
/proc/loadavg: 3.65 3.77 3.72 5/217 4533
/proc/meminfo: memFree=24826996/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11852648 CPUtime=7.27 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 12797 0 1 0 716 11 0 0 20 0 22 0 342351012 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2963162 128258 2291 9 0 2953849 0
[pid=4511/tid=4513] ppid=4509 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/4511/task/4513/stat : 4513 (java) S 4509 4511 1918 0 -1 4202560 2887 0 1 0 41 2 0 0 20 0 22 0 342351013 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706887496856 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4514] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4514/stat : 4514 (java) S 4509 4511 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706842249384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4515] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4515/stat : 4515 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706841196840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4516] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4516/stat : 4516 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706840144296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4517] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4517/stat : 4517 (java) S 4509 4511 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706839091752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4518] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4518/stat : 4518 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706838039208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4519] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4519/stat : 4519 (java) S 4509 4511 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706836986664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4520] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4520/stat : 4520 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706835934120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4521] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4521/stat : 4521 (java) S 4509 4511 1918 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706834881576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4522] ppid=4509 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/4511/task/4522/stat : 4522 (java) S 4509 4511 1918 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 22 0 342351016 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706704554088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4523] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4523/stat : 4523 (java) S 4509 4511 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342351017 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706703500408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4524] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4524/stat : 4524 (java) S 4509 4511 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342351017 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706702447752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4525] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4525/stat : 4525 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351019 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706701396496 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4526] ppid=4509 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/4511/task/4526/stat : 4526 (java) S 4509 4511 1918 0 -1 4202560 4660 0 0 0 72 0 0 0 20 0 22 0 342351019 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706700343864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4527] ppid=4509 vsize=11852648 CPUtime=0.85 cores=0,2,4,6
/proc/4511/task/4527/stat : 4527 (java) S 4509 4511 1918 0 -1 4202560 3704 0 0 0 85 0 0 0 20 0 22 0 342351019 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706699291320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4528] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4528/stat : 4528 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351019 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139706698238968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4529] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4529/stat : 4529 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351019 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139705689566536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4530] ppid=4509 vsize=11852648 CPUtime=2.55 cores=0,2,4,6
/proc/4511/task/4530/stat : 4530 (java) R 4509 4511 1918 0 -1 4202560 27 0 0 0 255 0 0 0 20 0 22 0 342351059 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139705688510632 139706713690545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4531] ppid=4509 vsize=11852648 CPUtime=2.53 cores=0,2,4,6
/proc/4511/task/4531/stat : 4531 (java) R 4509 4511 1918 0 -1 4202560 252 0 0 0 247 6 0 0 20 0 22 0 342351059 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139705687457736 139706713640554 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4532] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4532/stat : 4532 (java) S 4509 4511 1918 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342351060 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139705686406184 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4533] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4533/stat : 4533 (java) S 4509 4511 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342351061 12137111552 128258 33554432000 1073741824 1073778376 140733800238176 139705685353640 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 11852648

[startup+6.30079 s]
/proc/loadavg: 3.68 3.77 3.72 5/217 4533
/proc/meminfo: memFree=24459164/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11852648 CPUtime=13.81 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 14214 0 1 0 1360 21 0 0 20 0 22 0 342351012 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2963162 241576 2291 9 0 2953849 0
[pid=4511/tid=4513] ppid=4509 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/4511/task/4513/stat : 4513 (java) S 4509 4511 1918 0 -1 4202560 2887 0 1 0 41 2 0 0 20 0 22 0 342351013 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706887496856 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4514] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4514/stat : 4514 (java) S 4509 4511 1918 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706842249384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4515] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4515/stat : 4515 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706841196840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4516] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4516/stat : 4516 (java) S 4509 4511 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706840144296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4517] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4517/stat : 4517 (java) S 4509 4511 1918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706839091752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4518] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4518/stat : 4518 (java) S 4509 4511 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706838039208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4519] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4519/stat : 4519 (java) S 4509 4511 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706836986664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4520] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4520/stat : 4520 (java) S 4509 4511 1918 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706835934120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4521] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4521/stat : 4521 (java) S 4509 4511 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342351015 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706834881576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4522] ppid=4509 vsize=11852648 CPUtime=0.11 cores=0,2,4,6
/proc/4511/task/4522/stat : 4522 (java) S 4509 4511 1918 0 -1 4202560 39 0 0 0 11 0 0 0 20 0 22 0 342351016 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706704554088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4523] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4523/stat : 4523 (java) S 4509 4511 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342351017 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706703500408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4524] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4524/stat : 4524 (java) S 4509 4511 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342351017 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706702447752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4525] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4525/stat : 4525 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342351019 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706701396496 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4526] ppid=4509 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/4511/task/4526/stat : 4526 (java) S 4509 4511 1918 0 -1 4202560 5270 0 0 0 80 0 0 0 20 0 22 0 342351019 12137111552 241576 33554432000 1073741824 1073778376 140733800238176 139706700343864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0

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

[pid=4511/tid=4522] ppid=4509 vsize=11852648 CPUtime=51.39 cores=0,2,4,6
/proc/4511/task/4522/stat : 4522 (java) S 4509 4511 1918 0 -1 4202560 282 0 0 0 5129 10 0 0 20 0 20 0 342351016 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706704554088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4523] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4523/stat : 4523 (java) S 4509 4511 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342351017 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706703500408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4524] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4524/stat : 4524 (java) S 4509 4511 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342351017 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706702447752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4525] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4525/stat : 4525 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706701396496 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4526] ppid=4509 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/4511/task/4526/stat : 4526 (java) S 4509 4511 1918 0 -1 4202560 13922 0 0 0 142 3 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706700343864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4527] ppid=4509 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/4511/task/4527/stat : 4527 (java) S 4509 4511 1918 0 -1 4202560 4268 0 0 0 103 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706699291320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4528] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4528/stat : 4528 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706698238968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4529] ppid=4509 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/4511/task/4529/stat : 4529 (java) S 4509 4511 1918 0 -1 4202560 49 0 0 0 11 17 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705689566536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4531] ppid=4509 vsize=11852648 CPUtime=775.34 cores=0,2,4,6
/proc/4511/task/4531/stat : 4531 (java) R 4509 4511 1918 0 -1 4202560 1558 0 0 0 77465 69 0 0 20 0 20 0 342351059 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705687455696 139706713844279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4533] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4533/stat : 4533 (java) S 4509 4511 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342351061 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705685353640 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1614.79
Current children cumulated vsize (KiB) 11852648

[startup+833.501 s]
/proc/loadavg: 3.80 3.90 3.79 4/215 4662
/proc/meminfo: memFree=22158416/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11852648 CPUtime=1615.58 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 24995 0 1 0 161436 122 0 0 20 0 20 0 342351012 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2963162 914522 2293 9 0 2953849 0
[pid=4511/tid=4513] ppid=4509 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/4511/task/4513/stat : 4513 (java) S 4509 4511 1918 0 -1 4202560 2972 0 1 0 43 4 0 0 20 0 20 0 342351013 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706887496856 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4514] ppid=4509 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/4511/task/4514/stat : 4514 (java) S 4509 4511 1918 0 -1 4202560 90 0 0 0 130 4 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706842249384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4515] ppid=4509 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/4511/task/4515/stat : 4515 (java) S 4509 4511 1918 0 -1 4202560 69 0 0 0 122 1 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706841196840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4516] ppid=4509 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/4511/task/4516/stat : 4516 (java) S 4509 4511 1918 0 -1 4202560 80 0 0 0 128 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706840144296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4517] ppid=4509 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/4511/task/4517/stat : 4517 (java) S 4509 4511 1918 0 -1 4202560 84 0 0 0 139 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706839091752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4518] ppid=4509 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/4511/task/4518/stat : 4518 (java) S 4509 4511 1918 0 -1 4202560 90 0 0 0 131 2 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706838039208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4519] ppid=4509 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/4511/task/4519/stat : 4519 (java) S 4509 4511 1918 0 -1 4202560 78 0 0 0 137 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706836986664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4520] ppid=4509 vsize=11852648 CPUtime=1.46 cores=0,2,4,6
/proc/4511/task/4520/stat : 4520 (java) S 4509 4511 1918 0 -1 4202560 91 0 0 0 143 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706835934120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4521] ppid=4509 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/4511/task/4521/stat : 4521 (java) S 4509 4511 1918 0 -1 4202560 65 0 0 0 128 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706834881576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4522] ppid=4509 vsize=11852648 CPUtime=51.39 cores=0,2,4,6
/proc/4511/task/4522/stat : 4522 (java) S 4509 4511 1918 0 -1 4202560 282 0 0 0 5129 10 0 0 20 0 20 0 342351016 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706704554088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4523] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4523/stat : 4523 (java) S 4509 4511 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342351017 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706703500408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4524] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4524/stat : 4524 (java) S 4509 4511 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342351017 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706702447752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4525] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4525/stat : 4525 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706701396496 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4526] ppid=4509 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/4511/task/4526/stat : 4526 (java) S 4509 4511 1918 0 -1 4202560 13922 0 0 0 142 3 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706700343864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4527] ppid=4509 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/4511/task/4527/stat : 4527 (java) S 4509 4511 1918 0 -1 4202560 4268 0 0 0 103 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706699291320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4528] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4528/stat : 4528 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706698238968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4529] ppid=4509 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/4511/task/4529/stat : 4529 (java) S 4509 4511 1918 0 -1 4202560 49 0 0 0 11 17 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705689566536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4531] ppid=4509 vsize=11852648 CPUtime=776.13 cores=0,2,4,6
/proc/4511/task/4531/stat : 4531 (java) R 4509 4511 1918 0 -1 4202560 1558 0 0 0 77544 69 0 0 20 0 20 0 342351059 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705687455696 139706713844168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4533] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4533/stat : 4533 (java) S 4509 4511 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342351061 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705685353640 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1615.58
Current children cumulated vsize (KiB) 11852648

[startup+833.901 s]
/proc/loadavg: 3.80 3.90 3.79 4/215 4662
/proc/meminfo: memFree=22154320/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11852648 CPUtime=1615.98 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 24995 0 1 0 161476 122 0 0 20 0 20 0 342351012 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2963162 914522 2293 9 0 2953849 0
[pid=4511/tid=4513] ppid=4509 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/4511/task/4513/stat : 4513 (java) S 4509 4511 1918 0 -1 4202560 2972 0 1 0 43 4 0 0 20 0 20 0 342351013 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706887496856 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4514] ppid=4509 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/4511/task/4514/stat : 4514 (java) S 4509 4511 1918 0 -1 4202560 90 0 0 0 130 4 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706842249384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4515] ppid=4509 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/4511/task/4515/stat : 4515 (java) S 4509 4511 1918 0 -1 4202560 69 0 0 0 122 1 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706841196840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4516] ppid=4509 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/4511/task/4516/stat : 4516 (java) S 4509 4511 1918 0 -1 4202560 80 0 0 0 128 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706840144296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4517] ppid=4509 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/4511/task/4517/stat : 4517 (java) S 4509 4511 1918 0 -1 4202560 84 0 0 0 139 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706839091752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4518] ppid=4509 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/4511/task/4518/stat : 4518 (java) S 4509 4511 1918 0 -1 4202560 90 0 0 0 131 2 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706838039208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4519] ppid=4509 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/4511/task/4519/stat : 4519 (java) S 4509 4511 1918 0 -1 4202560 78 0 0 0 137 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706836986664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4520] ppid=4509 vsize=11852648 CPUtime=1.46 cores=0,2,4,6
/proc/4511/task/4520/stat : 4520 (java) S 4509 4511 1918 0 -1 4202560 91 0 0 0 143 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706835934120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4521] ppid=4509 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/4511/task/4521/stat : 4521 (java) S 4509 4511 1918 0 -1 4202560 65 0 0 0 128 3 0 0 20 0 20 0 342351015 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706834881576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4522] ppid=4509 vsize=11852648 CPUtime=51.39 cores=0,2,4,6
/proc/4511/task/4522/stat : 4522 (java) S 4509 4511 1918 0 -1 4202560 282 0 0 0 5129 10 0 0 20 0 20 0 342351016 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706704554088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4523] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4523/stat : 4523 (java) S 4509 4511 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342351017 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706703500408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4524] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4524/stat : 4524 (java) S 4509 4511 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342351017 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706702447752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4525] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4525/stat : 4525 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706701396496 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4526] ppid=4509 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/4511/task/4526/stat : 4526 (java) S 4509 4511 1918 0 -1 4202560 13922 0 0 0 142 3 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706700343864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4527] ppid=4509 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/4511/task/4527/stat : 4527 (java) S 4509 4511 1918 0 -1 4202560 4268 0 0 0 103 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706699291320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4528] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4528/stat : 4528 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139706698238968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4529] ppid=4509 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/4511/task/4529/stat : 4529 (java) S 4509 4511 1918 0 -1 4202560 49 0 0 0 11 17 0 0 20 0 20 0 342351019 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705689566536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4531] ppid=4509 vsize=11852648 CPUtime=776.53 cores=0,2,4,6
/proc/4511/task/4531/stat : 4531 (java) R 4509 4511 1918 0 -1 4202560 1558 0 0 0 77584 69 0 0 20 0 20 0 342351059 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705687455696 139706713844286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4533] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4533/stat : 4533 (java) S 4509 4511 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342351061 12137111552 914522 33554432000 1073741824 1073778376 140733800238176 139705685353640 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1615.98
Current children cumulated vsize (KiB) 11852648

[startup+834.001 s]
/proc/loadavg: 3.80 3.90 3.79 4/215 4662
/proc/meminfo: memFree=22154320/32873852 swapFree=7624/7624
[pid=4511] ppid=4509 vsize=11852648 CPUtime=1614.13 cores=0,2,4,6
/proc/4511/stat : 4511 (java) S 4509 4511 1918 0 -1 4202496 24997 0 1 0 161280 133 0 0 20 0 19 0 342351012 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 140733800229312 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4511/statm: 2963162 914514 2293 9 0 2953849 0
[pid=4511/tid=4513] ppid=4509 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/4511/task/4513/stat : 4513 (java) R 4509 4511 1918 0 -1 4202560 2972 0 1 0 43 4 0 0 20 0 19 0 342351013 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706887496384 252266472717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4514] ppid=4509 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/4511/task/4514/stat : 4514 (java) S 4509 4511 1918 0 -1 4202560 90 0 0 0 130 4 0 0 20 0 19 0 342351015 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706842249384 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4515] ppid=4509 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/4511/task/4515/stat : 4515 (java) S 4509 4511 1918 0 -1 4202560 69 0 0 0 122 1 0 0 20 0 19 0 342351015 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706841196840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4516] ppid=4509 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/4511/task/4516/stat : 4516 (java) S 4509 4511 1918 0 -1 4202560 80 0 0 0 128 3 0 0 20 0 19 0 342351015 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706840144296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4517] ppid=4509 vsize=11852648 CPUtime=1.42 cores=0,2,4,6
/proc/4511/task/4517/stat : 4517 (java) S 4509 4511 1918 0 -1 4202560 84 0 0 0 139 3 0 0 20 0 19 0 342351015 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706839091752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4518] ppid=4509 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/4511/task/4518/stat : 4518 (java) S 4509 4511 1918 0 -1 4202560 90 0 0 0 131 2 0 0 20 0 19 0 342351015 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706838039208 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4519] ppid=4509 vsize=11852648 CPUtime=1.4 cores=0,2,4,6
/proc/4511/task/4519/stat : 4519 (java) S 4509 4511 1918 0 -1 4202560 78 0 0 0 137 3 0 0 20 0 19 0 342351015 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706836986664 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4520] ppid=4509 vsize=11852648 CPUtime=1.46 cores=0,2,4,6
/proc/4511/task/4520/stat : 4520 (java) S 4509 4511 1918 0 -1 4202560 91 0 0 0 143 3 0 0 20 0 19 0 342351015 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706835934120 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4511/tid=4521] ppid=4509 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/4511/task/4521/stat : 4521 (java) S 4509 4511 1918 0 -1 4202560 65 0 0 0 128 3 0 0 20 0 19 0 342351015 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706834881576 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4522] ppid=4509 vsize=11852648 CPUtime=51.39 cores=0,2,4,6
/proc/4511/task/4522/stat : 4522 (java) S 4509 4511 1918 0 -1 4202560 282 0 0 0 5129 10 0 0 20 0 20 0 342351016 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706704554088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4523] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4523/stat : 4523 (java) S 4509 4511 1918 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342351017 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706703500408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4524] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4524/stat : 4524 (java) S 4509 4511 1918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342351017 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706702447752 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4525] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4525/stat : 4525 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342351019 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706701396496 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4511/tid=4526] ppid=4509 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/4511/task/4526/stat : 4526 (java) S 4509 4511 1918 0 -1 4202560 13924 0 0 0 142 3 0 0 20 0 20 0 342351019 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706700343864 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4527] ppid=4509 vsize=11852648 CPUtime=1.03 cores=0,2,4,6
/proc/4511/task/4527/stat : 4527 (java) S 4509 4511 1918 0 -1 4202560 4268 0 0 0 103 0 0 0 20 0 20 0 342351019 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706699291320 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4528] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4528/stat : 4528 (java) S 4509 4511 1918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342351019 12137111552 914514 33554432000 1073741824 1073778376 140733800238176 139706698238968 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4511/tid=4529] ppid=4509 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/4511/task/4529/stat : 4529 (java) S 4509 4511 1918 0 -1 4202560 49 0 0 0 11 17 0 0 20 0 20 0 342351019 12137111552 914516 33554432000 1073741824 1073778376 140733800238176 139705689566536 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4511/tid=4533] ppid=4509 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/4511/task/4533/stat : 4533 (java) S 4509 4511 1918 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342351061 12137111552 914516 33554432000 1073741824 1073778376 140733800238176 139705685353640 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1614.13
Current children cumulated vsize (KiB) 11852648

Child status: 10

# 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): 3.59998
#  lost CPU user time (s): 3.82996
#  lost CPU system time (s): -0.23

Real time (s): 834.063
CPU time (s): 1617.85
CPU user time (s): 1616.53
CPU system time (s): 1.32176
CPU usage (%): 193.972
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1612.7
system time used= 1.55176
maximum resident set size= 3660132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25008
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24729
involuntary context switches= 30780

runsolver used 3.68044 second user time and 9.07462 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-04 00:24:16
IDJOB=3741915
IDBENCH=90117
IDSOLVER=2328
FILE ID=node131/3741915-1338762256
RUNJOBID= node131-1338749255-1934
PBS_JOBID= 14636797
Free space on /tmp= 71404 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K104.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741915-1338762256/watcher-3741915-1338762256 -o /tmp/evaluation-result-3741915-1338762256/solver-3741915-1338762256 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741915-1338762256.opb

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

MD5SUM BENCH= a8d55fafa030e5024da65ad802ff80be
RANDOM SEED=254426539

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25290148 kB
Buffers:          566288 kB
Cached:          3132580 kB
SwapCached:         2348 kB
Active:          4444748 kB
Inactive:        2264472 kB
Active(anon):    3006056 kB
Inactive(anon):     3664 kB
Active(file):    1438692 kB
Inactive(file):  2260808 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:       3014316 kB
Mapped:            22428 kB
Shmem:                 0 kB
Slab:             729128 kB
SReclaimable:     171316 kB
SUnreclaim:       557812 kB
KernelStack:        1624 kB
PageTables:        10164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:   10461420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2951168 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= 71404 MiB
End job on node131 at 2012-06-04 00:38:10