Trace number 3492225

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.23 1794.47

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM2683f5c0f2bcb2ef48b38611ac907218
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.683895
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6000
Total number of constraints220
Number of soft constraints76
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Top cost 4191
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4190
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3492225-1307908747.wbo
0.09/0.11	c reading problem ... 
0.28/0.28	c ... done. Wall clock time 0.177s.
0.28/0.28	c #vars     6076
0.28/0.28	c #constraints  220
0.28/0.28	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
0.28/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 66
0.28/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 34
1.15/0.55	c SATISFIABLE
1.15/0.55	c OPTIMIZING...
1.15/0.55	c Got one! Elapsed wall clock time (in seconds):0.442
1.15/0.55	o 126
1.35/0.63	c Got one! Elapsed wall clock time (in seconds):0.527
1.35/0.63	o 113
1.56/0.85	c Got one! Elapsed wall clock time (in seconds):0.743
1.56/0.85	o 109
1.80/1.10	c Got one! Elapsed wall clock time (in seconds):0.99
1.80/1.10	o 99
2.30/1.55	c Got one! Elapsed wall clock time (in seconds):1.443
2.30/1.55	o 87
2.51/1.77	c Got one! Elapsed wall clock time (in seconds):1.666
2.51/1.77	o 85
3.20/2.46	c cleaning 4263 clauses out of 8549 with flag 2003/8549
3.35/2.51	c Got one! Elapsed wall clock time (in seconds):2.402
3.35/2.51	o 84
3.45/2.61	c Got one! Elapsed wall clock time (in seconds):2.503
3.45/2.61	o 49
3.99/3.16	c Got one! Elapsed wall clock time (in seconds):3.05
3.99/3.16	o 42
5.59/4.77	c cleaning 5248 clauses out of 10503 with flag 4000/14766
6.30/5.50	c Got one! Elapsed wall clock time (in seconds):5.394
6.30/5.50	o 38
7.50/6.69	c cleaning 5159 clauses out of 10398 with flag 3002/19909
8.67/7.74	c Got one! Elapsed wall clock time (in seconds):7.628
8.67/7.74	o 29
9.87/8.96	c cleaning 5405 clauses out of 10895 with flag 3002/25565
12.73/11.72	c cleaning 5715 clauses out of 11490 with flag 9002/31565
13.54/12.52	c Got one! Elapsed wall clock time (in seconds):12.416
13.54/12.52	o 24
14.66/13.55	c cleaning 5804 clauses out of 11668 with flag 4000/37458
18.17/17.01	c cleaning 5906 clauses out of 11864 with flag 10000/43458
21.68/20.53	c cleaning 6459 clauses out of 12959 with flag 17001/50459
21.89/20.73	c Got one! Elapsed wall clock time (in seconds):20.628
21.89/20.73	o 22
23.79/22.66	c cleaning 6030 clauses out of 12140 with flag 5002/56099
27.10/25.93	c cleaning 6030 clauses out of 12108 with flag 11000/62097
31.20/30.02	c cleaning 6522 clauses out of 13079 with flag 18001/69098
36.32/35.14	c cleaning 7257 clauses out of 14560 with flag 26004/77101
41.12/39.97	c cleaning 8127 clauses out of 16300 with flag 35001/86098
45.24/44.08	c cleaning 9050 clauses out of 18172 with flag 45000/96097
50.75/49.57	c cleaning 9532 clauses out of 19125 with flag 55003/106100
55.16/53.91	c cleaning 9736 clauses out of 19590 with flag 65000/116097
60.27/59.05	c cleaning 9897 clauses out of 19856 with flag 75002/126099
65.79/64.59	c cleaning 9945 clauses out of 19958 with flag 85001/136098
70.80/69.51	c cleaning 9976 clauses out of 20014 with flag 95002/146099
75.41/74.14	c cleaning 10016 clauses out of 20037 with flag 105001/156098
77.73/76.45	c cleaning 9995 clauses out of 20020 with flag 115000/166097
82.93/81.60	c cleaning 9967 clauses out of 20027 with flag 125002/176099
87.05/85.73	c cleaning 9989 clauses out of 20059 with flag 135001/186098
91.86/90.56	c cleaning 9995 clauses out of 20069 with flag 145000/196097
97.28/95.95	c cleaning 10010 clauses out of 20075 with flag 155001/206098
101.89/100.58	c cleaning 9995 clauses out of 20066 with flag 165002/216099
108.51/107.10	c cleaning 9998 clauses out of 20071 with flag 175002/226099
114.73/113.40	c cleaning 10010 clauses out of 20071 with flag 185000/236097
120.83/119.42	c cleaning 10007 clauses out of 20061 with flag 195000/246097
127.15/125.76	c cleaning 10002 clauses out of 20055 with flag 205001/256098
131.96/130.53	c cleaning 9998 clauses out of 20056 with flag 215004/266101
136.58/135.15	c cleaning 10002 clauses out of 20055 with flag 225001/276098
142.79/141.36	c cleaning 9995 clauses out of 20053 with flag 235001/286098
149.21/147.74	c cleaning 9997 clauses out of 20058 with flag 245001/296098
153.92/152.41	c cleaning 9959 clauses out of 20061 with flag 255001/306098
158.94/157.43	c cleaning 9988 clauses out of 20101 with flag 265000/316097
163.05/161.52	c cleaning 10030 clauses out of 20113 with flag 275000/326097
168.25/166.70	c cleaning 9991 clauses out of 20083 with flag 285000/336097
173.87/172.34	c cleaning 10013 clauses out of 20092 with flag 295000/346097
178.08/176.54	c cleaning 10004 clauses out of 20082 with flag 305003/356100
182.69/181.13	c cleaning 9998 clauses out of 20077 with flag 315002/366099
187.20/185.61	c cleaning 10009 clauses out of 20079 with flag 325002/376099
191.82/190.27	c cleaning 9996 clauses out of 20069 with flag 335001/386098
196.03/194.43	c cleaning 10036 clauses out of 20073 with flag 345001/396098
201.15/199.56	c cleaning 9980 clauses out of 20038 with flag 355002/406099
207.46/205.86	c cleaning 9998 clauses out of 20057 with flag 365001/416098
213.98/212.34	c cleaning 10013 clauses out of 20059 with flag 375001/426098
219.08/217.47	c cleaning 9998 clauses out of 20045 with flag 385000/436097
224.80/223.12	c cleaning 10003 clauses out of 20049 with flag 395002/446099
229.21/227.50	c cleaning 9992 clauses out of 20044 with flag 405000/456097
234.12/232.46	c cleaning 9998 clauses out of 20055 with flag 415003/466100
239.14/237.50	c cleaning 10002 clauses out of 20056 with flag 425002/476099
241.95/240.20	c cleaning 9992 clauses out of 20053 with flag 435001/486098
246.07/244.36	c cleaning 9999 clauses out of 20060 with flag 445000/496097
249.19/247.49	c cleaning 10007 clauses out of 20069 with flag 455008/506105
254.71/252.91	c cleaning 9993 clauses out of 20055 with flag 465001/516098
259.25/257.43	c cleaning 9994 clauses out of 20061 with flag 475000/526097
264.55/262.78	c cleaning 10023 clauses out of 20074 with flag 485007/536104
272.37/270.58	c cleaning 10013 clauses out of 20051 with flag 495007/546104
278.99/277.14	c cleaning 9998 clauses out of 20031 with flag 505000/556097
284.69/282.82	c cleaning 10006 clauses out of 20033 with flag 515000/566097
291.40/289.58	c cleaning 9989 clauses out of 20027 with flag 525000/576097
297.11/295.24	c cleaning 10005 clauses out of 20038 with flag 535000/586097
301.73/299.87	c cleaning 9957 clauses out of 20033 with flag 545000/596097
305.45/303.52	c cleaning 9976 clauses out of 20076 with flag 555000/606097
311.45/309.57	c cleaning 10012 clauses out of 20100 with flag 565000/616097
317.07/315.19	c cleaning 10005 clauses out of 20090 with flag 575002/626099
321.48/319.53	c cleaning 10018 clauses out of 20084 with flag 585001/636098
327.20/325.23	c cleaning 10009 clauses out of 20066 with flag 595001/646098
331.01/329.03	c cleaning 10015 clauses out of 20056 with flag 605000/656097
334.92/333.00	c cleaning 10010 clauses out of 20042 with flag 615001/666098
338.83/336.84	c cleaning 10006 clauses out of 20033 with flag 625002/676099
343.34/341.39	c cleaning 10002 clauses out of 20029 with flag 635004/686101
346.85/344.82	c cleaning 10001 clauses out of 20023 with flag 645000/696097
349.96/347.97	c cleaning 10000 clauses out of 20022 with flag 655000/706097
352.76/350.71	c cleaning 9995 clauses out of 20022 with flag 665000/716097
358.27/356.21	c cleaning 9996 clauses out of 20029 with flag 675002/726099
364.68/362.61	c cleaning 9999 clauses out of 20034 with flag 685003/736100
371.10/369.09	c cleaning 9996 clauses out of 20032 with flag 695000/746097
378.11/376.03	c cleaning 9997 clauses out of 20036 with flag 705000/756097
384.93/382.88	c cleaning 9999 clauses out of 20040 with flag 715001/766098
391.03/388.94	c cleaning 9999 clauses out of 20040 with flag 725000/776097
396.45/394.32	c cleaning 10009 clauses out of 20042 with flag 735001/786098
399.55/397.45	c cleaning 9982 clauses out of 20033 with flag 745001/796098
403.46/401.37	c cleaning 10014 clauses out of 20050 with flag 755000/806097
407.79/405.60	c cleaning 9997 clauses out of 20038 with flag 765002/816099
411.01/408.83	c cleaning 10005 clauses out of 20041 with flag 775002/826099
414.93/412.71	c cleaning 10005 clauses out of 20035 with flag 785001/836098
418.45/416.24	c cleaning 9999 clauses out of 20030 with flag 795001/846098
422.27/420.05	c cleaning 9995 clauses out of 20030 with flag 805000/856097
425.70/423.45	c cleaning 9999 clauses out of 20036 with flag 815001/866098
429.21/426.97	c cleaning 10002 clauses out of 20036 with flag 825000/876097
432.93/430.60	c cleaning 10011 clauses out of 20036 with flag 835002/886099
438.05/435.77	c cleaning 9979 clauses out of 20024 with flag 845001/896098
444.26/442.00	c cleaning 10000 clauses out of 20046 with flag 855002/906099
448.88/446.54	c cleaning 10009 clauses out of 20047 with flag 865003/916100
453.40/451.02	c cleaning 9963 clauses out of 20037 with flag 875002/926099
457.10/454.76	c cleaning 9972 clauses out of 20073 with flag 885001/936098
461.01/458.68	c cleaning 10011 clauses out of 20100 with flag 895000/946097
466.82/464.49	c cleaning 10002 clauses out of 20093 with flag 905004/956101
472.64/470.25	c cleaning 10006 clauses out of 20088 with flag 915001/966098
477.96/475.52	c cleaning 10003 clauses out of 20081 with flag 925000/976097
485.47/483.09	c cleaning 10004 clauses out of 20078 with flag 935000/986097
493.48/491.06	c cleaning 9973 clauses out of 20077 with flag 945003/996100
500.80/498.32	c cleaning 9981 clauses out of 20101 with flag 955000/1006097
507.32/504.85	c cleaning 10044 clauses out of 20123 with flag 965003/1016100
511.02/508.58	c cleaning 10011 clauses out of 20076 with flag 975000/1026097
514.75/512.24	c cleaning 10014 clauses out of 20067 with flag 985002/1036099
518.48/515.95	c cleaning 10009 clauses out of 20052 with flag 995001/1046098
522.70/520.18	c cleaning 10000 clauses out of 20043 with flag 1005001/1056098
529.91/527.37	c cleaning 9997 clauses out of 20043 with flag 1015001/1066098
534.33/531.77	c cleaning 10006 clauses out of 20045 with flag 1025000/1076097
539.15/536.52	c cleaning 9992 clauses out of 20039 with flag 1035000/1086097
547.26/544.61	c cleaning 10000 clauses out of 20050 with flag 1045003/1096100
556.28/553.68	c cleaning 10000 clauses out of 20049 with flag 1055002/1106099
563.99/561.36	c cleaning 9996 clauses out of 20047 with flag 1065000/1116097
570.61/567.98	c cleaning 9998 clauses out of 20053 with flag 1075002/1126099
577.32/574.65	c cleaning 9999 clauses out of 20054 with flag 1085001/1136098
583.83/581.18	c cleaning 9995 clauses out of 20054 with flag 1095000/1146097
590.04/587.39	c cleaning 10002 clauses out of 20060 with flag 1105001/1156098
597.04/594.32	c cleaning 9997 clauses out of 20057 with flag 1115000/1166097
604.25/601.54	c cleaning 10002 clauses out of 20063 with flag 1125003/1176100
609.36/606.66	c cleaning 10007 clauses out of 20059 with flag 1135001/1186098
614.37/611.69	c cleaning 10012 clauses out of 20052 with flag 1145001/1196098
620.18/617.48	c cleaning 10009 clauses out of 20039 with flag 1155000/1206097
625.49/622.72	c cleaning 9999 clauses out of 20031 with flag 1165001/1216098
631.00/628.20	c cleaning 10002 clauses out of 20032 with flag 1175001/1226098
637.31/634.56	c cleaning 10001 clauses out of 20029 with flag 1185000/1236097
642.61/639.88	c cleaning 9998 clauses out of 20028 with flag 1195000/1246097
650.62/647.83	c cleaning 10004 clauses out of 20030 with flag 1205000/1256097
656.53/653.71	c cleaning 9996 clauses out of 20027 with flag 1215001/1266098
661.04/658.22	c cleaning 9982 clauses out of 20032 with flag 1225002/1276099
667.15/664.31	c cleaning 9987 clauses out of 20048 with flag 1235000/1286097
670.86/668.03	c cleaning 9995 clauses out of 20061 with flag 1245000/1296097
675.46/672.60	c cleaning 10000 clauses out of 20067 with flag 1255001/1306098
679.76/676.93	c cleaning 10000 clauses out of 20068 with flag 1265002/1316099
683.67/680.90	c cleaning 10003 clauses out of 20069 with flag 1275003/1326100
688.57/685.70	c cleaning 10009 clauses out of 20066 with flag 1285003/1336100
693.89/691.07	c cleaning 10004 clauses out of 20055 with flag 1295001/1346098
699.60/696.70	c cleaning 10012 clauses out of 20051 with flag 1305001/1356098
706.21/703.36	c cleaning 10008 clauses out of 20040 with flag 1315002/1366099
709.32/706.40	c cleaning 9980 clauses out of 20031 with flag 1325001/1376098
712.35/709.49	c cleaning 9984 clauses out of 20052 with flag 1335002/1386099
716.97/714.03	c cleaning 10002 clauses out of 20069 with flag 1345003/1396100
720.48/717.55	c cleaning 9985 clauses out of 20064 with flag 1355000/1406097
724.50/721.52	c cleaning 10001 clauses out of 20082 with flag 1365003/1416100
730.31/727.31	c cleaning 9980 clauses out of 20078 with flag 1375000/1426097
736.63/733.64	c cleaning 9997 clauses out of 20103 with flag 1385005/1436102
742.85/739.89	c cleaning 10009 clauses out of 20101 with flag 1395000/1446097
749.46/746.45	c cleaning 10007 clauses out of 20095 with flag 1405003/1456100
754.98/751.97	c cleaning 10016 clauses out of 20086 with flag 1415001/1466098
761.59/758.54	c cleaning 10007 clauses out of 20071 with flag 1425002/1476099
767.81/764.78	c cleaning 10003 clauses out of 20063 with flag 1435001/1486098
774.32/771.24	c cleaning 10002 clauses out of 20059 with flag 1445000/1496097
780.42/777.35	c cleaning 9997 clauses out of 20057 with flag 1455000/1506097
786.35/783.26	c cleaning 10000 clauses out of 20060 with flag 1465000/1516097
791.14/788.09	c cleaning 10005 clauses out of 20062 with flag 1475002/1526099
794.56/791.40	c cleaning 10003 clauses out of 20056 with flag 1485001/1536098
799.67/796.58	c cleaning 10000 clauses out of 20054 with flag 1495002/1546099
804.59/801.42	c cleaning 9993 clauses out of 20052 with flag 1505000/1556097
808.41/805.22	c cleaning 10008 clauses out of 20062 with flag 1515003/1566100
813.21/810.02	c cleaning 9998 clauses out of 20054 with flag 1525003/1576100
817.23/814.08	c cleaning 10003 clauses out of 20054 with flag 1535001/1586098
821.84/818.60	c cleaning 10005 clauses out of 20054 with flag 1545004/1596101
826.05/822.81	c cleaning 10000 clauses out of 20048 with flag 1555003/1606100
830.66/827.46	c cleaning 9999 clauses out of 20046 with flag 1565001/1616098
834.47/831.23	c cleaning 9966 clauses out of 20047 with flag 1575001/1626098
839.29/836.03	c cleaning 9986 clauses out of 20080 with flag 1585000/1636097
844.49/841.20	c cleaning 9997 clauses out of 20094 with flag 1595000/1646097
850.21/846.94	c cleaning 9982 clauses out of 20098 with flag 1605001/1656098
855.62/852.31	c cleaning 10005 clauses out of 20115 with flag 1615000/1666097
860.93/857.63	c cleaning 10003 clauses out of 20110 with flag 1625000/1676097
866.25/862.98	c cleaning 10005 clauses out of 20108 with flag 1635001/1686098
871.35/868.09	c cleaning 9994 clauses out of 20103 with flag 1645001/1696098
877.56/874.29	c cleaning 10004 clauses out of 20108 with flag 1655000/1706097
883.38/880.07	c cleaning 10002 clauses out of 20105 with flag 1665001/1716098
889.58/886.21	c cleaning 10001 clauses out of 20106 with flag 1675004/1726101
894.99/891.64	c cleaning 9993 clauses out of 20105 with flag 1685004/1736101
900.30/896.97	c cleaning 9991 clauses out of 20112 with flag 1695004/1746101
905.71/902.33	c cleaning 9988 clauses out of 20120 with flag 1705003/1756100
910.82/907.41	c cleaning 9998 clauses out of 20131 with flag 1715002/1766099
915.02/911.66	c cleaning 9997 clauses out of 20131 with flag 1725000/1776097
920.93/917.54	c cleaning 10001 clauses out of 20134 with flag 1735000/1786097
927.46/924.02	c cleaning 9997 clauses out of 20134 with flag 1745001/1796098
933.57/930.11	c cleaning 9994 clauses out of 20136 with flag 1755000/1806097
937.89/934.46	c cleaning 10025 clauses out of 20145 with flag 1765003/1816100
942.50/939.04	c cleaning 10039 clauses out of 20122 with flag 1775005/1826102
946.92/943.44	c cleaning 9963 clauses out of 20080 with flag 1785002/1836099
954.12/950.69	c cleaning 10012 clauses out of 20121 with flag 1795006/1846103
960.05/956.51	c cleaning 9980 clauses out of 20106 with flag 1805003/1856100
966.57/963.06	c cleaning 10015 clauses out of 20123 with flag 1815000/1866097
973.49/969.92	c cleaning 10006 clauses out of 20112 with flag 1825004/1876101
981.21/977.66	c cleaning 9994 clauses out of 20105 with flag 1835003/1886100
986.83/983.29	c cleaning 9992 clauses out of 20108 with flag 1845000/1896097
992.45/988.82	c cleaning 9972 clauses out of 20117 with flag 1855001/1906098
998.68/995.07	c cleaning 10006 clauses out of 20147 with flag 1865003/1916100
1003.40/999.78	c cleaning 10001 clauses out of 20144 with flag 1875006/1926103
1009.40/1005.74	c cleaning 10022 clauses out of 20140 with flag 1885003/1936100
1015.31/1011.68	c cleaning 9992 clauses out of 20115 with flag 1895000/1946097
1021.02/1017.34	c cleaning 9998 clauses out of 20128 with flag 1905005/1956102
1026.93/1023.21	c cleaning 10003 clauses out of 20129 with flag 1915004/1966101
1032.94/1029.29	c cleaning 10010 clauses out of 20122 with flag 1925000/1976097
1040.24/1036.53	c cleaning 10006 clauses out of 20112 with flag 1935000/1986097
1046.05/1042.39	c cleaning 10016 clauses out of 20106 with flag 1945000/1996097
1051.97/1048.22	c cleaning 10003 clauses out of 20090 with flag 1955000/2006097
1058.98/1055.23	c cleaning 10015 clauses out of 20089 with flag 1965002/2016099
1063.40/1059.69	c cleaning 10013 clauses out of 20074 with flag 1975002/2026099
1068.41/1064.60	c cleaning 9998 clauses out of 20060 with flag 1985001/2036098
1074.92/1071.10	c cleaning 9997 clauses out of 20062 with flag 1995001/2046098
1079.33/1075.54	c cleaning 10000 clauses out of 20065 with flag 2005001/2056098
1085.35/1081.55	c cleaning 10006 clauses out of 20065 with flag 2015001/2066098
1091.07/1087.27	c cleaning 9995 clauses out of 20058 with flag 2025000/2076097
1093.78/1089.99	c cleaning 9985 clauses out of 20064 with flag 2035001/2086098
1096.90/1093.01	c cleaning 10006 clauses out of 20078 with flag 2045000/2096097
1099.91/1096.07	c cleaning 10002 clauses out of 20075 with flag 2055003/2106100
1103.83/1099.98	c cleaning 10001 clauses out of 20071 with flag 2065001/2116098
1106.94/1103.03	c cleaning 9988 clauses out of 20073 with flag 2075004/2126101
1110.26/1106.39	c cleaning 9980 clauses out of 20082 with flag 2085001/2136098
1113.68/1109.80	c cleaning 9996 clauses out of 20101 with flag 2095000/2146097
1117.69/1113.73	c cleaning 9998 clauses out of 20111 with flag 2105006/2156103
1120.20/1116.25	c cleaning 9995 clauses out of 20108 with flag 2115001/2166098
1123.31/1119.33	c cleaning 10006 clauses out of 20113 with flag 2125001/2176098
1126.81/1122.86	c cleaning 9990 clauses out of 20106 with flag 2135000/2186097
1129.72/1125.74	c cleaning 10045 clauses out of 20117 with flag 2145001/2196098
1132.74/1128.77	c cleaning 10022 clauses out of 20076 with flag 2155005/2206102
1136.85/1132.85	c cleaning 10011 clauses out of 20051 with flag 2165002/2216099
1140.47/1136.42	c cleaning 10002 clauses out of 20038 with flag 2175000/2226097
1144.48/1140.47	c cleaning 10007 clauses out of 20040 with flag 2185004/2236101
1147.40/1143.33	c cleaning 10002 clauses out of 20030 with flag 2195001/2246098
1150.50/1146.49	c cleaning 9998 clauses out of 20027 with flag 2205000/2256097
1154.01/1149.96	c cleaning 10002 clauses out of 20031 with flag 2215002/2266099
1157.42/1153.37	c cleaning 9999 clauses out of 20027 with flag 2225000/2276097
1160.43/1156.34	c cleaning 10001 clauses out of 20032 with flag 2235004/2286101
1163.13/1159.01	c cleaning 9990 clauses out of 20027 with flag 2245000/2296097
1166.75/1162.63	c cleaning 9996 clauses out of 20038 with flag 2255001/2306098
1170.86/1166.75	c cleaning 9985 clauses out of 20041 with flag 2265000/2316097
1174.48/1170.37	c cleaning 9981 clauses out of 20058 with flag 2275002/2326099
1178.68/1174.57	c cleaning 10030 clauses out of 20085 with flag 2285010/2336107
1183.30/1179.18	c cleaning 10007 clauses out of 20048 with flag 2295003/2346100
1187.00/1182.87	c cleaning 9996 clauses out of 20039 with flag 2305001/2356098
1191.71/1187.57	c cleaning 10004 clauses out of 20042 with flag 2315000/2366097
1196.22/1192.00	c cleaning 9996 clauses out of 20043 with flag 2325005/2376102
1200.34/1196.18	c cleaning 10004 clauses out of 20043 with flag 2335001/2386098
1204.85/1200.68	c cleaning 9985 clauses out of 20038 with flag 2345000/2396097
1210.06/1205.81	c cleaning 9993 clauses out of 20054 with flag 2355001/2406098
1215.17/1210.93	c cleaning 10015 clauses out of 20062 with flag 2365002/2416099
1219.88/1215.64	c cleaning 10001 clauses out of 20045 with flag 2375000/2426097
1224.39/1220.18	c cleaning 9986 clauses out of 20046 with flag 2385002/2436099
1232.51/1228.21	c cleaning 9967 clauses out of 20058 with flag 2395000/2446097
1238.82/1234.51	c cleaning 10012 clauses out of 20094 with flag 2405003/2456100
1245.23/1240.95	c cleaning 9999 clauses out of 20082 with flag 2415003/2466100
1250.74/1246.43	c cleaning 10009 clauses out of 20083 with flag 2425003/2476100
1256.46/1252.15	c cleaning 9998 clauses out of 20071 with flag 2435000/2486097
1262.86/1258.50	c cleaning 9993 clauses out of 20073 with flag 2445000/2496097
1269.39/1265.03	c cleaning 10007 clauses out of 20082 with flag 2455002/2506099
1276.49/1272.15	c cleaning 10005 clauses out of 20074 with flag 2465001/2516098
1283.11/1278.71	c cleaning 10005 clauses out of 20069 with flag 2475001/2526098
1289.72/1285.38	c cleaning 9992 clauses out of 20066 with flag 2485003/2536100
1296.03/1291.60	c cleaning 10001 clauses out of 20072 with flag 2495001/2546098
1302.26/1297.85	c cleaning 10004 clauses out of 20075 with flag 2505005/2556102
1310.38/1305.90	c cleaning 9991 clauses out of 20066 with flag 2515000/2566097
1319.50/1315.00	c cleaning 9994 clauses out of 20081 with flag 2525006/2576103
1327.81/1323.36	c cleaning 9997 clauses out of 20081 with flag 2535000/2586097
1333.02/1328.52	c cleaning 10009 clauses out of 20086 with flag 2545002/2596099
1338.83/1334.35	c cleaning 10002 clauses out of 20075 with flag 2555000/2606097
1345.24/1340.79	c cleaning 10007 clauses out of 20075 with flag 2565002/2616099
1351.16/1346.61	c cleaning 9990 clauses out of 20067 with flag 2575001/2626098
1357.48/1352.97	c cleaning 9995 clauses out of 20077 with flag 2585001/2636098
1364.19/1359.66	c cleaning 9992 clauses out of 20085 with flag 2595004/2646101
1376.30/1371.73	c cleaning 9998 clauses out of 20090 with flag 2605001/2656098
1378.91/1374.39	c cleaning 10022 clauses out of 20092 with flag 2615001/2666098
1382.02/1377.47	c cleaning 10010 clauses out of 20071 with flag 2625002/2676099
1385.04/1380.48	c cleaning 9997 clauses out of 20059 with flag 2635000/2686097
1387.94/1383.36	c cleaning 10008 clauses out of 20062 with flag 2645000/2696097
1390.85/1386.24	c cleaning 10002 clauses out of 20058 with flag 2655004/2706101
1393.86/1389.28	c cleaning 10002 clauses out of 20053 with flag 2665001/2716098
1397.27/1392.61	c cleaning 9977 clauses out of 20054 with flag 2675004/2726101
1400.49/1395.88	c cleaning 10017 clauses out of 20073 with flag 2685000/2736097
1403.90/1399.28	c cleaning 10001 clauses out of 20056 with flag 2695000/2746097
1407.21/1402.53	c cleaning 10004 clauses out of 20056 with flag 2705001/2756098
1410.61/1405.98	c cleaning 10002 clauses out of 20051 with flag 2715000/2766097
1413.83/1409.15	c cleaning 9998 clauses out of 20050 with flag 2725001/2776098
1416.82/1412.15	c cleaning 10001 clauses out of 20053 with flag 2735002/2786099
1420.23/1415.55	c cleaning 9998 clauses out of 20050 with flag 2745000/2796097
1423.14/1418.45	c cleaning 10001 clauses out of 20052 with flag 2755000/2806097
1426.65/1421.94	c cleaning 10001 clauses out of 20051 with flag 2765000/2816097
1429.75/1425.03	c cleaning 9992 clauses out of 20051 with flag 2775001/2826098
1433.06/1428.38	c cleaning 10008 clauses out of 20060 with flag 2785002/2836099
1436.07/1431.34	c cleaning 9997 clauses out of 20050 with flag 2795000/2846097
1439.67/1434.99	c cleaning 10006 clauses out of 20056 with flag 2805003/2856100
1443.99/1439.23	c cleaning 9990 clauses out of 20049 with flag 2815002/2866099
1447.70/1442.90	c cleaning 10015 clauses out of 20067 with flag 2825010/2876107
1451.62/1446.85	c cleaning 9997 clauses out of 20042 with flag 2835000/2886097
1455.22/1450.48	c cleaning 10007 clauses out of 20054 with flag 2845009/2896106
1459.73/1454.90	c cleaning 9995 clauses out of 20040 with flag 2855002/2906099
1464.14/1459.39	c cleaning 9999 clauses out of 20045 with flag 2865002/2916099
1467.94/1463.18	c cleaning 10000 clauses out of 20047 with flag 2875003/2926100
1471.45/1466.68	c cleaning 10000 clauses out of 20048 with flag 2885004/2936101
1474.46/1469.66	c cleaning 9999 clauses out of 20045 with flag 2895001/2946098
1478.25/1473.45	c cleaning 9997 clauses out of 20045 with flag 2905000/2956097
1481.56/1476.78	c cleaning 10003 clauses out of 20049 with flag 2915001/2966098
1485.47/1480.67	c cleaning 10003 clauses out of 20048 with flag 2925003/2976100
1488.77/1483.92	c cleaning 9993 clauses out of 20042 with flag 2935000/2986097
1492.97/1488.18	c cleaning 10002 clauses out of 20050 with flag 2945001/2996098
1498.70/1493.85	c cleaning 10010 clauses out of 20048 with flag 2955001/3006098
1504.50/1499.67	c cleaning 9980 clauses out of 20037 with flag 2965000/3016097
1511.42/1506.54	c cleaning 10001 clauses out of 20058 with flag 2975001/3026098
1518.03/1513.19	c cleaning 9996 clauses out of 20058 with flag 2985002/3036099
1525.24/1520.38	c cleaning 10000 clauses out of 20063 with flag 2995003/3046100
1529.05/1524.19	c cleaning 10016 clauses out of 20060 with flag 3005000/3056097
1532.88/1527.94	c cleaning 10003 clauses out of 20046 with flag 3015002/3066099
1536.69/1531.79	c cleaning 10012 clauses out of 20043 with flag 3025002/3076099
1542.40/1537.40	c cleaning 10004 clauses out of 20030 with flag 3035001/3086098
1548.41/1543.42	c cleaning 10002 clauses out of 20025 with flag 3045000/3096097
1554.32/1549.36	c cleaning 9998 clauses out of 20024 with flag 3055001/3106098
1560.03/1555.09	c cleaning 10003 clauses out of 20028 with flag 3065003/3116100
1565.14/1560.19	c cleaning 9990 clauses out of 20023 with flag 3075001/3126098
1571.46/1566.47	c cleaning 9997 clauses out of 20033 with flag 3085001/3136098
1577.37/1572.31	c cleaning 9997 clauses out of 20038 with flag 3095003/3146100
1583.48/1578.44	c cleaning 9998 clauses out of 20038 with flag 3105000/3156097
1590.10/1585.03	c cleaning 10003 clauses out of 20044 with flag 3115004/3166101
1595.90/1590.84	c cleaning 9998 clauses out of 20039 with flag 3125002/3176099
1601.21/1596.14	c cleaning 10002 clauses out of 20039 with flag 3135000/3186097
1604.92/1599.89	c cleaning 9984 clauses out of 20037 with flag 3145000/3196097
1609.53/1604.49	c cleaning 10013 clauses out of 20053 with flag 3155000/3206097
1613.46/1608.30	c cleaning 10005 clauses out of 20040 with flag 3165000/3216097
1617.68/1612.52	c cleaning 9983 clauses out of 20035 with flag 3175000/3226097
1622.00/1616.88	c cleaning 10015 clauses out of 20052 with flag 3185000/3236097
1625.91/1620.79	c cleaning 9981 clauses out of 20037 with flag 3195000/3246097
1630.83/1625.68	c cleaning 10011 clauses out of 20058 with flag 3205002/3256099
1635.75/1630.55	c cleaning 9994 clauses out of 20045 with flag 3215000/3266097
1640.57/1635.32	c cleaning 10011 clauses out of 20051 with flag 3225000/3276097
1645.20/1639.95	c cleaning 10000 clauses out of 20043 with flag 3235003/3286100
1650.41/1645.16	c cleaning 9995 clauses out of 20043 with flag 3245003/3296100
1655.35/1650.06	c cleaning 10000 clauses out of 20048 with flag 3255003/3306100
1660.47/1655.18	c cleaning 9969 clauses out of 20049 with flag 3265004/3316101
1665.30/1659.96	c cleaning 10014 clauses out of 20079 with flag 3275003/3326100
1670.11/1664.73	c cleaning 10006 clauses out of 20063 with flag 3285001/3336098
1674.63/1669.25	c cleaning 9999 clauses out of 20057 with flag 3295001/3346098
1678.64/1673.25	c cleaning 9986 clauses out of 20057 with flag 3305000/3356097
1683.36/1677.95	c cleaning 9995 clauses out of 20073 with flag 3315002/3366099
1687.78/1682.38	c cleaning 9958 clauses out of 20077 with flag 3325001/3376098
1692.70/1687.20	c cleaning 10036 clauses out of 20120 with flag 3335002/3386099
1698.21/1692.73	c cleaning 10003 clauses out of 20086 with flag 3345004/3396101
1703.23/1697.77	c cleaning 9999 clauses out of 20079 with flag 3355000/3406097
1707.95/1702.47	c cleaning 10012 clauses out of 20083 with flag 3365003/3416100
1714.06/1708.58	c cleaning 9990 clauses out of 20071 with flag 3375003/3426100
1719.89/1714.36	c cleaning 9993 clauses out of 20079 with flag 3385001/3436098
1728.59/1723.01	c cleaning 9997 clauses out of 20085 with flag 3395000/3446097
1737.61/1732.09	c cleaning 10000 clauses out of 20088 with flag 3405000/3456097
1745.32/1739.70	c cleaning 9996 clauses out of 20088 with flag 3415000/3466097
1752.84/1747.24	c cleaning 10000 clauses out of 20094 with flag 3425002/3476099
1761.35/1755.73	c cleaning 9999 clauses out of 20092 with flag 3435000/3486097
1768.76/1763.16	c cleaning 10000 clauses out of 20093 with flag 3445000/3496097
1776.07/1770.46	c cleaning 10000 clauses out of 20093 with flag 3455000/3506097
1783.48/1777.86	c cleaning 10001 clauses out of 20094 with flag 3465001/3516098
1791.88/1786.30	c cleaning 10002 clauses out of 20094 with flag 3475002/3526099
1800.09/1794.41	c starts		: 264
1800.09/1794.41	c conflicts		: 3535875
1800.09/1794.41	c decisions		: 5419865
1800.09/1794.41	c propagations		: 179891848
1800.09/1794.41	c inspects		: 5006784875
1800.09/1794.41	c shortcuts		: 0
1800.09/1794.41	c learnt literals	: 0
1800.09/1794.41	c learnt binary clauses	: 0
1800.09/1794.41	c learnt ternary clauses	: 0
1800.09/1794.41	c learnt constraints	: 3535875
1800.09/1794.41	c ignored constraints	: 0
1800.09/1794.41	c root simplifications	: 0
1800.09/1794.41	c removed literals (reason simplification)	: 13469143
1800.09/1794.41	c reason swapping (by a shorter reason)	: 0
1800.09/1794.41	c Calls to reduceDB	: 357
1800.09/1794.41	c number of reductions to clauses (during analyze)	: 0
1800.09/1794.41	c number of learned constraints concerned by reduction	: 0
1800.09/1794.41	c number of learning phase by resolution	: 0
1800.09/1794.41	c number of learning phase by cutting planes	: 0
1800.09/1794.41	c speed (assignments/second)	: 101423.18044558307
1800.09/1794.41	c non guided choices	450566
1800.09/1794.42	c learnt constraints type 
1800.09/1794.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19879
1800.09/1794.42	c constraints type 
1800.09/1794.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
1800.09/1794.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 66
1800.09/1794.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 35
1800.09/1794.42	s SATISFIABLE
1800.09/1794.43	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 
1800.09/1794.44	c objective function=22
1800.09/1794.44	c Total wall clock time (in seconds): 1794.335

Verifier Data 

OK	22

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 /var/tmp/evaluation-result-3492225-1307908747/watcher-3492225-1307908747 -o /var/tmp/evaluation-result-3492225-1307908747/solver-3492225-1307908747 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492225-1307908747.wbo 

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: 2.00 1.97 1.88 3/195 11161
/proc/meminfo: memFree=1422228/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/11161/stat : 11161 (java) R 11159 11161 9537 0 -1 4202496 952 0 0 0 0 0 0 0 25 0 1 0 902474447 23580672 693 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248084735889 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11161/statm: 5757 694 511 9 0 124 0

[startup+0.0391759 s]
/proc/loadavg: 2.00 1.97 1.88 3/195 11161
/proc/meminfo: memFree=1422228/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10467480 CPUtime=0.02 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 11107 0 1 0 1 1 0 0 25 0 13 0 902474447 10718699520 10802 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2616870 10804 1640 9 0 2607618 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10467480

[startup+0.101138 s]
/proc/loadavg: 2.00 1.97 1.88 3/195 11161
/proc/meminfo: memFree=1422228/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10540024 CPUtime=0.09 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 13092 0 1 0 8 1 0 0 25 0 18 0 902474447 10792984576 12750 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2635006 12750 2092 9 0 2625740 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540024

[startup+0.301105 s]
/proc/loadavg: 2.00 1.97 1.88 3/195 11161
/proc/meminfo: memFree=1422228/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10544332 CPUtime=0.55 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 18911 0 1 0 53 2 0 0 25 0 18 0 902474447 10797395968 17719 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2636083 17719 2212 9 0 2626817 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10544332

[startup+0.701103 s]
/proc/loadavg: 2.00 1.97 1.88 3/195 11161
/proc/meminfo: memFree=1422228/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10545360 CPUtime=1.46 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 21371 0 1 0 144 2 0 0 25 0 19 0 902474447 10798448640 19203 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2636340 19203 2225 9 0 2627074 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10545360

[startup+1.50095 s]
/proc/loadavg: 2.16 2.00 1.89 3/214 11180
/proc/meminfo: memFree=1350120/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10545360 CPUtime=2.3 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 23674 0 1 0 227 3 0 0 25 0 19 0 902474447 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2636340 21505 2227 9 0 2627074 0
[pid=11161/tid=11163] ppid=11159 vsize=10545360 CPUtime=1.47 cores=0,2,4,6
/proc/11161/task/11163/stat : 11163 (java) R 11159 11161 9537 0 -1 4202560 17540 0 1 0 145 2 0 0 25 0 19 0 902474448 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 46912505704352 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11161/tid=11164] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11164/stat : 11164 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474450 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11165] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11165/stat : 11165 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474450 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11166] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11166/stat : 11166 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474450 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11167] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11167/stat : 11167 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474450 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11168] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11168/stat : 11168 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474450 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11169] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11169/stat : 11169 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474450 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11170] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11170/stat : 11170 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474450 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11171] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11171/stat : 11171 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474450 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11172] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11172/stat : 11172 (java) S 11159 11161 9537 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902474451 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 0 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11173] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11173/stat : 11173 (java) S 11159 11161 9537 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902474451 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11174] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11174/stat : 11174 (java) S 11159 11161 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902474451 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11175] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11175/stat : 11175 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101521841 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11176] ppid=11159 vsize=10545360 CPUtime=0.42 cores=0,2,4,6
/proc/11161/task/11176/stat : 11176 (java) S 11159 11161 9537 0 -1 4202560 2201 0 0 0 42 0 0 0 20 0 19 0 902474453 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11177] ppid=11159 vsize=10545360 CPUtime=0.39 cores=0,2,4,6
/proc/11161/task/11177/stat : 11177 (java) S 11159 11161 9537 0 -1 4202560 2770 0 0 0 39 0 0 0 23 0 19 0 902474453 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11178] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11178/stat : 11178 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11179] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11179/stat : 11179 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902474453 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11180] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11180/stat : 11180 (java) S 11159 11161 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902474478 10798448640 21505 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10545360

[startup+3.10068 s]
/proc/loadavg: 2.16 2.00 1.89 3/214 11180
/proc/meminfo: memFree=1339108/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10545360 CPUtime=3.99 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 30703 0 1 0 395 4 0 0 25 0 19 0 902474447 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2636340 28523 2253 9 0 2627074 0
[pid=11161/tid=11163] ppid=11159 vsize=10545360 CPUtime=3.05 cores=0,2,4,6
/proc/11161/task/11163/stat : 11163 (java) R 11159 11161 9537 0 -1 4202560 19735 0 1 0 303 2 0 0 25 0 19 0 902474448 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 46912505704491 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11161/tid=11164] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11164/stat : 11164 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11165] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11165/stat : 11165 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11166] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11166/stat : 11166 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11167] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11167/stat : 11167 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11168] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11168/stat : 11168 (java) S 11159 11161 9537 0 -1 4202560 177 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11169] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11169/stat : 11169 (java) S 11159 11161 9537 0 -1 4202560 594 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11170] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11170/stat : 11170 (java) S 11159 11161 9537 0 -1 4202560 1081 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11171] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11171/stat : 11171 (java) S 11159 11161 9537 0 -1 4202560 590 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11172] ppid=11159 vsize=10545360 CPUtime=0.01 cores=0,2,4,6
/proc/11161/task/11172/stat : 11172 (java) S 11159 11161 9537 0 -1 4202560 2381 0 0 0 1 0 0 0 16 0 19 0 902474451 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 0 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11173] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11173/stat : 11173 (java) S 11159 11161 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902474451 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11174] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11174/stat : 11174 (java) S 11159 11161 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902474451 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11175] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11175/stat : 11175 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101521841 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11176] ppid=11159 vsize=10545360 CPUtime=0.47 cores=0,2,4,6
/proc/11161/task/11176/stat : 11176 (java) S 11159 11161 9537 0 -1 4202560 2213 0 0 0 47 0 0 0 15 0 19 0 902474453 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11177] ppid=11159 vsize=10545360 CPUtime=0.41 cores=0,2,4,6
/proc/11161/task/11177/stat : 11177 (java) S 11159 11161 9537 0 -1 4202560 2774 0 0 0 41 0 0 0 16 0 19 0 902474453 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11178] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11178/stat : 11178 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11179] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11179/stat : 11179 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902474453 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11180] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11180/stat : 11180 (java) S 11159 11161 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902474478 10798448640 28523 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10545360

[startup+6.30104 s]
/proc/loadavg: 2.16 2.00 1.89 3/214 11180
/proc/meminfo: memFree=1298848/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10545360 CPUtime=7.2 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 35183 0 1 0 716 4 0 0 25 0 19 0 902474447 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2636340 32991 2253 9 0 2627074 0
[pid=11161/tid=11163] ppid=11159 vsize=10545360 CPUtime=6.22 cores=0,2,4,6
/proc/11161/task/11163/stat : 11163 (java) R 11159 11161 9537 0 -1 4202560 19738 0 1 0 620 2 0 0 25 0 19 0 902474448 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 46912505720397 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11161/tid=11164] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11164/stat : 11164 (java) S 11159 11161 9537 0 -1 4202560 749 0 0 0 0 0 0 0 16 0 19 0 902474450 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11165] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11165/stat : 11165 (java) S 11159 11161 9537 0 -1 4202560 547 0 0 0 0 0 0 0 16 0 19 0 902474450 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11166] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11166/stat : 11166 (java) S 11159 11161 9537 0 -1 4202560 86 0 0 0 0 0 0 0 15 0 19 0 902474450 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11167] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11167/stat : 11167 (java) S 11159 11161 9537 0 -1 4202560 754 0 0 0 0 0 0 0 16 0 19 0 902474450 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11168] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11168/stat : 11168 (java) S 11159 11161 9537 0 -1 4202560 207 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11169] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11169/stat : 11169 (java) S 11159 11161 9537 0 -1 4202560 1428 0 0 0 0 0 0 0 16 0 19 0 902474450 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11170] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11170/stat : 11170 (java) S 11159 11161 9537 0 -1 4202560 1116 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11171] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11171/stat : 11171 (java) S 11159 11161 9537 0 -1 4202560 590 0 0 0 0 0 0 0 18 0 19 0 902474450 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11172] ppid=11159 vsize=10545360 CPUtime=0.03 cores=0,2,4,6
/proc/11161/task/11172/stat : 11172 (java) S 11159 11161 9537 0 -1 4202560 3827 0 0 0 3 0 0 0 15 0 19 0 902474451 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 0 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11173] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11173/stat : 11173 (java) S 11159 11161 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902474451 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11174] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11174/stat : 11174 (java) S 11159 11161 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902474451 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11175] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11175/stat : 11175 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101521841 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11176] ppid=11159 vsize=10545360 CPUtime=0.48 cores=0,2,4,6
/proc/11161/task/11176/stat : 11176 (java) S 11159 11161 9537 0 -1 4202560 2213 0 0 0 48 0 0 0 15 0 19 0 902474453 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11177] ppid=11159 vsize=10545360 CPUtime=0.41 cores=0,2,4,6
/proc/11161/task/11177/stat : 11177 (java) S 11159 11161 9537 0 -1 4202560 2774 0 0 0 41 0 0 0 16 0 19 0 902474453 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11178] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11178/stat : 11178 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11179] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11179/stat : 11179 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902474453 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11180] ppid=11159 vsize=10545360 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11180/stat : 11180 (java) S 11159 11161 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902474478 10798448640 32991 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 10545360

[startup+12.7009 s]

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

[pid=11161/tid=11169] ppid=11159 vsize=10546252 CPUtime=0.76 cores=0,2,4,6
/proc/11161/task/11169/stat : 11169 (java) S 11159 11161 9537 0 -1 4202560 4695 0 0 0 75 1 0 0 15 0 19 0 902474450 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11170] ppid=11159 vsize=10546252 CPUtime=0.76 cores=0,2,4,6
/proc/11161/task/11170/stat : 11170 (java) S 11159 11161 9537 0 -1 4202560 3011 0 0 0 76 0 0 0 16 0 19 0 902474450 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11171] ppid=11159 vsize=10546252 CPUtime=0.81 cores=0,2,4,6
/proc/11161/task/11171/stat : 11171 (java) S 11159 11161 9537 0 -1 4202560 4314 0 0 0 81 0 0 0 16 0 19 0 902474450 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11172] ppid=11159 vsize=10546252 CPUtime=14.93 cores=0,2,4,6
/proc/11161/task/11172/stat : 11172 (java) S 11159 11161 9537 0 -1 4202560 22069 0 0 0 1487 6 0 0 15 0 19 0 902474451 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 0 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11173] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11173/stat : 11173 (java) S 11159 11161 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902474451 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11174] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11174/stat : 11174 (java) S 11159 11161 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902474451 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11175] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11175/stat : 11175 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101521841 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11176] ppid=11159 vsize=10546252 CPUtime=0.59 cores=0,2,4,6
/proc/11161/task/11176/stat : 11176 (java) S 11159 11161 9537 0 -1 4202560 3961 0 0 0 58 1 0 0 15 0 19 0 902474453 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11177] ppid=11159 vsize=10546252 CPUtime=0.56 cores=0,2,4,6
/proc/11161/task/11177/stat : 11177 (java) S 11159 11161 9537 0 -1 4202560 5197 0 0 0 56 0 0 0 15 0 19 0 902474453 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11178] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11178/stat : 11178 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11179] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11179/stat : 11179 (java) S 11159 11161 9537 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 902474453 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11180] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11180/stat : 11180 (java) S 11159 11161 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902474478 10799362048 80521 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1667.71
Current children cumulated vsize (KiB) 10546252

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/214 11295
/proc/meminfo: memFree=1279516/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10546252 CPUtime=1727.89 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 87387 0 1 0 172767 22 0 0 25 0 19 0 902474447 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2636563 80690 2254 9 0 2627297 0
[pid=11161/tid=11163] ppid=11159 vsize=10546252 CPUtime=1704.7 cores=0,2,4,6
/proc/11161/task/11163/stat : 11163 (java) R 11159 11161 9537 0 -1 4202560 26857 0 1 0 170464 6 0 0 25 0 19 0 902474448 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 46912505777088 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11161/tid=11164] ppid=11159 vsize=10546252 CPUtime=0.88 cores=0,2,4,6
/proc/11161/task/11164/stat : 11164 (java) S 11159 11161 9537 0 -1 4202560 3533 0 0 0 87 1 0 0 15 0 19 0 902474450 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11165] ppid=11159 vsize=10546252 CPUtime=0.73 cores=0,2,4,6
/proc/11161/task/11165/stat : 11165 (java) S 11159 11161 9537 0 -1 4202560 3488 0 0 0 72 1 0 0 15 0 19 0 902474450 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11166] ppid=11159 vsize=10546252 CPUtime=0.79 cores=0,2,4,6
/proc/11161/task/11166/stat : 11166 (java) S 11159 11161 9537 0 -1 4202560 3156 0 0 0 79 0 0 0 16 0 19 0 902474450 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11167] ppid=11159 vsize=10546252 CPUtime=0.78 cores=0,2,4,6
/proc/11161/task/11167/stat : 11167 (java) S 11159 11161 9537 0 -1 4202560 2624 0 0 0 78 0 0 0 16 0 19 0 902474450 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11168] ppid=11159 vsize=10546252 CPUtime=0.8 cores=0,2,4,6
/proc/11161/task/11168/stat : 11168 (java) S 11159 11161 9537 0 -1 4202560 3075 0 0 0 80 0 0 0 16 0 19 0 902474450 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11169] ppid=11159 vsize=10546252 CPUtime=0.77 cores=0,2,4,6
/proc/11161/task/11169/stat : 11169 (java) S 11159 11161 9537 0 -1 4202560 4695 0 0 0 76 1 0 0 15 0 19 0 902474450 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11170] ppid=11159 vsize=10546252 CPUtime=0.79 cores=0,2,4,6
/proc/11161/task/11170/stat : 11170 (java) S 11159 11161 9537 0 -1 4202560 3014 0 0 0 79 0 0 0 16 0 19 0 902474450 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11171] ppid=11159 vsize=10546252 CPUtime=0.84 cores=0,2,4,6
/proc/11161/task/11171/stat : 11171 (java) S 11159 11161 9537 0 -1 4202560 4315 0 0 0 84 0 0 0 15 0 19 0 902474450 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11172] ppid=11159 vsize=10546252 CPUtime=15.54 cores=0,2,4,6
/proc/11161/task/11172/stat : 11172 (java) S 11159 11161 9537 0 -1 4202560 22220 0 0 0 1548 6 0 0 15 0 19 0 902474451 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 0 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11173] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11173/stat : 11173 (java) S 11159 11161 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902474451 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11174] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11174/stat : 11174 (java) S 11159 11161 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902474451 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11175] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11175/stat : 11175 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101521841 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11176] ppid=11159 vsize=10546252 CPUtime=0.59 cores=0,2,4,6
/proc/11161/task/11176/stat : 11176 (java) S 11159 11161 9537 0 -1 4202560 3961 0 0 0 58 1 0 0 15 0 19 0 902474453 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11177] ppid=11159 vsize=10546252 CPUtime=0.56 cores=0,2,4,6
/proc/11161/task/11177/stat : 11177 (java) S 11159 11161 9537 0 -1 4202560 5197 0 0 0 56 0 0 0 15 0 19 0 902474453 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11178] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11178/stat : 11178 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11179] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11179/stat : 11179 (java) S 11159 11161 9537 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902474453 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11180] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11180/stat : 11180 (java) S 11159 11161 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902474478 10799362048 80690 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1727.89
Current children cumulated vsize (KiB) 10546252

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/214 11297
/proc/meminfo: memFree=1263200/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10546252 CPUtime=1787.98 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 91379 0 1 0 178776 22 0 0 25 0 19 0 902474447 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2636563 84666 2254 9 0 2627297 0
[pid=11161/tid=11163] ppid=11159 vsize=10546252 CPUtime=1764.18 cores=0,2,4,6
/proc/11161/task/11163/stat : 11163 (java) R 11159 11161 9537 0 -1 4202560 26865 0 1 0 176412 6 0 0 25 0 19 0 902474448 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 46912505705299 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11161/tid=11164] ppid=11159 vsize=10546252 CPUtime=0.89 cores=0,2,4,6
/proc/11161/task/11164/stat : 11164 (java) S 11159 11161 9537 0 -1 4202560 3538 0 0 0 88 1 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11165] ppid=11159 vsize=10546252 CPUtime=0.74 cores=0,2,4,6
/proc/11161/task/11165/stat : 11165 (java) S 11159 11161 9537 0 -1 4202560 3497 0 0 0 73 1 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11166] ppid=11159 vsize=10546252 CPUtime=0.81 cores=0,2,4,6
/proc/11161/task/11166/stat : 11166 (java) S 11159 11161 9537 0 -1 4202560 3158 0 0 0 81 0 0 0 16 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11167] ppid=11159 vsize=10546252 CPUtime=0.81 cores=0,2,4,6
/proc/11161/task/11167/stat : 11167 (java) S 11159 11161 9537 0 -1 4202560 2631 0 0 0 81 0 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11168] ppid=11159 vsize=10546252 CPUtime=0.82 cores=0,2,4,6
/proc/11161/task/11168/stat : 11168 (java) S 11159 11161 9537 0 -1 4202560 3077 0 0 0 82 0 0 0 16 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 6 0 0 0
[pid=11161/tid=11169] ppid=11159 vsize=10546252 CPUtime=0.78 cores=0,2,4,6
/proc/11161/task/11169/stat : 11169 (java) S 11159 11161 9537 0 -1 4202560 4701 0 0 0 77 1 0 0 16 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11170] ppid=11159 vsize=10546252 CPUtime=0.8 cores=0,2,4,6
/proc/11161/task/11170/stat : 11170 (java) S 11159 11161 9537 0 -1 4202560 3018 0 0 0 80 0 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11171] ppid=11159 vsize=10546252 CPUtime=0.86 cores=0,2,4,6
/proc/11161/task/11171/stat : 11171 (java) S 11159 11161 9537 0 -1 4202560 4322 0 0 0 86 0 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11172] ppid=11159 vsize=10546252 CPUtime=16.03 cores=0,2,4,6
/proc/11161/task/11172/stat : 11172 (java) S 11159 11161 9537 0 -1 4202560 26158 0 0 0 1596 7 0 0 15 0 19 0 902474451 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 0 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11173] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11173/stat : 11173 (java) S 11159 11161 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902474451 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11174] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11174/stat : 11174 (java) S 11159 11161 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902474451 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11175] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11175/stat : 11175 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101521841 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11176] ppid=11159 vsize=10546252 CPUtime=0.59 cores=0,2,4,6
/proc/11161/task/11176/stat : 11176 (java) S 11159 11161 9537 0 -1 4202560 3961 0 0 0 58 1 0 0 15 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11177] ppid=11159 vsize=10546252 CPUtime=0.56 cores=0,2,4,6
/proc/11161/task/11177/stat : 11177 (java) S 11159 11161 9537 0 -1 4202560 5197 0 0 0 56 0 0 0 15 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11178] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11178/stat : 11178 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11179] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11179/stat : 11179 (java) S 11159 11161 9537 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11180] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11180/stat : 11180 (java) S 11159 11161 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902474478 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1787.98
Current children cumulated vsize (KiB) 10546252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/214 11297
/proc/meminfo: memFree=1263064/32950928 swapFree=67055156/67111528
[pid=11161] ppid=11159 vsize=10546252 CPUtime=1800.09 cores=0,2,4,6
/proc/11161/stat : 11161 (java) S 11159 11161 9537 0 -1 4202496 91382 0 1 0 179987 22 0 0 25 0 19 0 902474447 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11161/statm: 2636563 84666 2254 9 0 2627297 0
[pid=11161/tid=11163] ppid=11159 vsize=10546252 CPUtime=1776.23 cores=0,2,4,6
/proc/11161/task/11163/stat : 11163 (java) R 11159 11161 9537 0 -1 4202560 26866 0 1 0 177617 6 0 0 25 0 19 0 902474448 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 46912505720424 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11161/tid=11164] ppid=11159 vsize=10546252 CPUtime=0.89 cores=0,2,4,6
/proc/11161/task/11164/stat : 11164 (java) S 11159 11161 9537 0 -1 4202560 3538 0 0 0 88 1 0 0 16 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11165] ppid=11159 vsize=10546252 CPUtime=0.74 cores=0,2,4,6
/proc/11161/task/11165/stat : 11165 (java) S 11159 11161 9537 0 -1 4202560 3497 0 0 0 73 1 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11166] ppid=11159 vsize=10546252 CPUtime=0.81 cores=0,2,4,6
/proc/11161/task/11166/stat : 11166 (java) S 11159 11161 9537 0 -1 4202560 3158 0 0 0 81 0 0 0 16 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11167] ppid=11159 vsize=10546252 CPUtime=0.81 cores=0,2,4,6
/proc/11161/task/11167/stat : 11167 (java) S 11159 11161 9537 0 -1 4202560 2631 0 0 0 81 0 0 0 16 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11168] ppid=11159 vsize=10546252 CPUtime=0.82 cores=0,2,4,6
/proc/11161/task/11168/stat : 11168 (java) S 11159 11161 9537 0 -1 4202560 3077 0 0 0 82 0 0 0 16 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11169] ppid=11159 vsize=10546252 CPUtime=0.78 cores=0,2,4,6
/proc/11161/task/11169/stat : 11169 (java) S 11159 11161 9537 0 -1 4202560 4701 0 0 0 77 1 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11170] ppid=11159 vsize=10546252 CPUtime=0.8 cores=0,2,4,6
/proc/11161/task/11170/stat : 11170 (java) S 11159 11161 9537 0 -1 4202560 3018 0 0 0 80 0 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11171] ppid=11159 vsize=10546252 CPUtime=0.86 cores=0,2,4,6
/proc/11161/task/11171/stat : 11171 (java) S 11159 11161 9537 0 -1 4202560 4322 0 0 0 86 0 0 0 15 0 19 0 902474450 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11172] ppid=11159 vsize=10546252 CPUtime=16.08 cores=0,2,4,6
/proc/11161/task/11172/stat : 11172 (java) S 11159 11161 9537 0 -1 4202560 26158 0 0 0 1601 7 0 0 15 0 19 0 902474451 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 0 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11173] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11173/stat : 11173 (java) S 11159 11161 9537 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902474451 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11174] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11174/stat : 11174 (java) S 11159 11161 9537 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902474451 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11175] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11175/stat : 11175 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101521841 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11176] ppid=11159 vsize=10546252 CPUtime=0.59 cores=0,2,4,6
/proc/11161/task/11176/stat : 11176 (java) S 11159 11161 9537 0 -1 4202560 3961 0 0 0 58 1 0 0 15 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11177] ppid=11159 vsize=10546252 CPUtime=0.56 cores=0,2,4,6
/proc/11161/task/11177/stat : 11177 (java) S 11159 11161 9537 0 -1 4202560 5197 0 0 0 56 0 0 0 15 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
[pid=11161/tid=11178] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11178/stat : 11178 (java) S 11159 11161 9537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514137 0 4 0 16800975 18446604453871518016 0 0 -1 4 0 0 0
[pid=11161/tid=11179] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11179/stat : 11179 (java) S 11159 11161 9537 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902474453 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 2 0 0 0
[pid=11161/tid=11180] ppid=11159 vsize=10546252 CPUtime=0 cores=0,2,4,6
/proc/11161/task/11180/stat : 11180 (java) S 11159 11161 9537 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902474478 10799362048 84666 33554432000 1073741824 1073778376 140734983313680 18446744073709551615 248101514752 0 4 0 16800975 18446604453871518016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10546252

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

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

Child status: 143
Real time (s): 1794.47
CPU time (s): 1800.23
CPU user time (s): 1799.99
CPU system time (s): 0.241963
CPU usage (%): 100.321
Max. virtual memory (cumulated for all children) (KiB): 10553428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91514
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45821
involuntary context switches= 36452

runsolver used 3.15252 second user time and 6.66599 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-12 21:59:07
IDJOB=3492225
IDBENCH=78697
IDSOLVER=1982
FILE ID=node123/3492225-1307908747
RUNJOBID= node123-1307907982-10981
PBS_JOBID= 13559583
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492225-1307908747/watcher-3492225-1307908747 -o /var/tmp/evaluation-result-3492225-1307908747/solver-3492225-1307908747 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492225-1307908747.wbo

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

MD5SUM BENCH= 2683f5c0f2bcb2ef48b38611ac907218
RANDOM SEED=1676551835

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1422756 kB
Buffers:         60840 kB
Cached:       30150408 kB
SwapCached:      10036 kB
Active:       14911500 kB
Inactive:     15668624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1422756 kB
SwapTotal:    67111528 kB
SwapFree:     67055156 kB
Dirty:             512 kB
Writeback:           0 kB
AnonPages:      366700 kB
Mapped:          21240 kB
Slab:           882200 kB
PageTables:       5516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10558484 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node123 at 2011-06-12 22:29:03