Trace number 3492513

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.19 1794.47

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM6f81f937ed71e1dab8ff48fcb963c1e2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1.36179
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints210
Number of constraints which are clauses110
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 constraint55
Top cost 10479
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10478
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		9996466904
0.06/0.09	c Max memory 		10048897024
0.06/0.09	c Total memory 		10048897024
0.06/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492513-1307910838.wbo
0.11/0.11	c reading problem ... 
0.28/0.34	c ... done. Wall clock time 0.196s.
0.28/0.34	c #vars     5710
0.28/0.34	c #constraints  210
0.28/0.34	c constraints type 
0.28/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 110
0.28/0.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
1.42/0.61	c SATISFIABLE
1.42/0.61	c OPTIMIZING...
1.42/0.61	c Got one! Elapsed wall clock time (in seconds):0.505
1.42/0.61	o 82
1.57/0.77	c Got one! Elapsed wall clock time (in seconds):0.663
1.57/0.77	o 78
1.78/0.99	c Got one! Elapsed wall clock time (in seconds):0.882
1.78/0.99	o 70
2.30/1.44	c Got one! Elapsed wall clock time (in seconds):1.331
2.30/1.44	o 43
2.52/1.69	c Got one! Elapsed wall clock time (in seconds):1.587
2.52/1.69	o 40
3.02/2.13	c Got one! Elapsed wall clock time (in seconds):2.024
3.02/2.13	o 34
3.91/3.08	c Got one! Elapsed wall clock time (in seconds):2.971
3.91/3.08	o 28
4.51/3.64	c cleaning 4227 clauses out of 8453 with flag 1002/8453
5.16/4.11	c Got one! Elapsed wall clock time (in seconds):4.001
5.16/4.11	o 17
6.69/5.60	c Got one! Elapsed wall clock time (in seconds):5.492
6.69/5.60	o 13
6.99/5.99	c cleaning 5356 clauses out of 10770 with flag 1001/14997
7.40/6.36	c Got one! Elapsed wall clock time (in seconds):6.248
7.40/6.36	o 6
8.90/7.84	c cleaning 5634 clauses out of 11339 with flag 5002/20922
11.11/9.95	c cleaning 5842 clauses out of 11703 with flag 11000/26920
14.26/13.09	c cleaning 6403 clauses out of 12861 with flag 18000/33920
18.08/16.87	c cleaning 7204 clauses out of 14458 with flag 26000/41920
23.29/22.09	c cleaning 8094 clauses out of 16254 with flag 35000/50920
28.49/27.26	c cleaning 9055 clauses out of 18162 with flag 45002/60922
34.79/33.56	c cleaning 9540 clauses out of 19107 with flag 55002/70922
40.00/38.79	c cleaning 9748 clauses out of 19566 with flag 65001/80921
44.80/43.57	c cleaning 9902 clauses out of 19817 with flag 75000/90920
50.51/49.21	c cleaning 9932 clauses out of 19915 with flag 85000/100920
58.72/57.46	c cleaning 9962 clauses out of 19985 with flag 95002/110922
63.63/62.32	c cleaning 9937 clauses out of 20022 with flag 105001/120921
68.95/67.60	c cleaning 9979 clauses out of 20085 with flag 115001/130921
74.46/73.14	c cleaning 10021 clauses out of 20108 with flag 125003/140923
80.57/79.29	c cleaning 10009 clauses out of 20087 with flag 135003/150923
86.47/85.11	c cleaning 9995 clauses out of 20076 with flag 145001/160921
91.18/89.88	c cleaning 9981 clauses out of 20080 with flag 155000/170920
95.80/94.42	c cleaning 10013 clauses out of 20099 with flag 165000/180920
101.91/100.53	c cleaning 10014 clauses out of 20087 with flag 175001/190921
108.02/106.60	c cleaning 10009 clauses out of 20072 with flag 185000/200920
114.12/112.76	c cleaning 10006 clauses out of 20063 with flag 195000/210920
122.03/120.61	c cleaning 10015 clauses out of 20058 with flag 205001/220921
128.84/127.47	c cleaning 10014 clauses out of 20042 with flag 215000/230920
132.06/130.66	c cleaning 9982 clauses out of 20029 with flag 225001/240921
136.47/135.04	c cleaning 10007 clauses out of 20047 with flag 235001/250921
140.79/139.33	c cleaning 9974 clauses out of 20039 with flag 245000/260920
146.22/144.79	c cleaning 10003 clauses out of 20065 with flag 255000/270920
151.83/150.34	c cleaning 10010 clauses out of 20063 with flag 265001/280921
157.54/156.06	c cleaning 9989 clauses out of 20052 with flag 275000/290920
163.06/161.54	c cleaning 9997 clauses out of 20068 with flag 285005/300925
169.37/167.85	c cleaning 9997 clauses out of 20068 with flag 295002/310922
174.97/173.49	c cleaning 10006 clauses out of 20072 with flag 305003/320923
181.49/179.95	c cleaning 10008 clauses out of 20063 with flag 315000/330920
189.31/187.73	c cleaning 10005 clauses out of 20058 with flag 325003/340923
194.43/192.87	c cleaning 9982 clauses out of 20052 with flag 335002/350922
198.55/196.99	c cleaning 10003 clauses out of 20069 with flag 345001/360921
202.36/200.72	c cleaning 10000 clauses out of 20065 with flag 355000/370920
206.37/204.71	c cleaning 9999 clauses out of 20068 with flag 365003/380923
210.50/208.80	c cleaning 9990 clauses out of 20066 with flag 375000/390920
215.21/213.52	c cleaning 9999 clauses out of 20078 with flag 385002/400922
220.52/218.83	c cleaning 10018 clauses out of 20077 with flag 395000/410920
225.93/224.20	c cleaning 10001 clauses out of 20060 with flag 405001/420921
232.44/230.77	c cleaning 9997 clauses out of 20058 with flag 415000/430920
239.15/237.41	c cleaning 10003 clauses out of 20062 with flag 425001/440921
244.87/243.19	c cleaning 10005 clauses out of 20061 with flag 435003/450923
248.88/247.13	c cleaning 10004 clauses out of 20055 with flag 445002/460922
253.39/251.62	c cleaning 10001 clauses out of 20050 with flag 455001/470921
257.50/255.71	c cleaning 9999 clauses out of 20050 with flag 465002/480922
263.31/261.54	c cleaning 9999 clauses out of 20049 with flag 475000/490920
269.03/267.20	c cleaning 9996 clauses out of 20052 with flag 485002/500922
275.44/273.63	c cleaning 10007 clauses out of 20057 with flag 495003/510923
281.66/279.86	c cleaning 9998 clauses out of 20049 with flag 505002/520922
284.58/282.74	c cleaning 10001 clauses out of 20051 with flag 515002/530922
287.79/285.94	c cleaning 9995 clauses out of 20049 with flag 525001/540921
291.81/289.91	c cleaning 10002 clauses out of 20053 with flag 535000/550920
296.03/294.20	c cleaning 9998 clauses out of 20051 with flag 545000/560920
299.44/297.54	c cleaning 9997 clauses out of 20053 with flag 555000/570920
303.45/301.59	c cleaning 10004 clauses out of 20060 with flag 565004/580924
307.07/305.15	c cleaning 10004 clauses out of 20054 with flag 575002/590922
311.30/309.38	c cleaning 9997 clauses out of 20048 with flag 585000/600920
317.31/315.31	c cleaning 10004 clauses out of 20056 with flag 595005/610925
323.62/321.62	c cleaning 9977 clauses out of 20048 with flag 605001/620921
329.43/327.49	c cleaning 10005 clauses out of 20072 with flag 615002/630922
336.95/334.92	c cleaning 9991 clauses out of 20065 with flag 625000/640920
342.27/340.26	c cleaning 9998 clauses out of 20074 with flag 635000/650920
349.09/347.06	c cleaning 9987 clauses out of 20081 with flag 645005/660925
355.40/353.33	c cleaning 9969 clauses out of 20090 with flag 655001/670921
361.13/359.07	c cleaning 9992 clauses out of 20123 with flag 665003/680923
369.04/366.93	c cleaning 10022 clauses out of 20128 with flag 675000/690920
375.95/373.80	c cleaning 10008 clauses out of 20106 with flag 685000/700920
383.55/381.41	c cleaning 10011 clauses out of 20099 with flag 695001/710921
389.87/387.77	c cleaning 10032 clauses out of 20087 with flag 705000/720920
394.38/392.21	c cleaning 10018 clauses out of 20058 with flag 715003/730923
398.99/396.80	c cleaning 10007 clauses out of 20037 with flag 725000/740920
403.90/401.76	c cleaning 10004 clauses out of 20030 with flag 735000/750920
408.92/406.74	c cleaning 10003 clauses out of 20029 with flag 745003/760923
414.44/412.23	c cleaning 9998 clauses out of 20023 with flag 755000/770920
419.25/417.08	c cleaning 9998 clauses out of 20026 with flag 765001/780921
423.77/421.51	c cleaning 9918 clauses out of 20033 with flag 775006/790926
429.90/427.68	c cleaning 10004 clauses out of 20110 with flag 785001/800921
435.02/432.76	c cleaning 10001 clauses out of 20108 with flag 795003/810923
441.04/438.80	c cleaning 9986 clauses out of 20104 with flag 805000/820920
446.25/443.91	c cleaning 9997 clauses out of 20118 with flag 815000/830920
451.07/448.79	c cleaning 9994 clauses out of 20121 with flag 825000/840920
457.18/454.84	c cleaning 9992 clauses out of 20130 with flag 835003/850923
462.99/460.65	c cleaning 10002 clauses out of 20136 with flag 845001/860921
468.41/466.00	c cleaning 10012 clauses out of 20136 with flag 855003/870923
475.92/473.58	c cleaning 9997 clauses out of 20125 with flag 865004/880924
480.53/478.14	c cleaning 10046 clauses out of 20124 with flag 875000/890920
486.05/483.68	c cleaning 9995 clauses out of 20080 with flag 885002/900922
492.26/489.82	c cleaning 10004 clauses out of 20083 with flag 895000/910920
498.67/496.25	c cleaning 10002 clauses out of 20081 with flag 905002/920922
503.58/501.18	c cleaning 9992 clauses out of 20079 with flag 915002/930922
509.79/507.39	c cleaning 9997 clauses out of 20086 with flag 925001/940921
514.12/511.66	c cleaning 10004 clauses out of 20089 with flag 935001/950921
519.43/516.93	c cleaning 10005 clauses out of 20084 with flag 945000/960920
525.23/522.74	c cleaning 10038 clauses out of 20080 with flag 955001/970921
530.45/527.91	c cleaning 10011 clauses out of 20042 with flag 965001/980921
535.36/532.83	c cleaning 10003 clauses out of 20032 with flag 975002/990922
540.68/538.13	c cleaning 10003 clauses out of 20029 with flag 985002/1000922
546.00/543.41	c cleaning 10001 clauses out of 20025 with flag 995001/1010921
551.51/548.94	c cleaning 9985 clauses out of 20026 with flag 1005003/1020923
560.61/558.04	c cleaning 9993 clauses out of 20042 with flag 1015004/1030924
567.12/564.50	c cleaning 9978 clauses out of 20045 with flag 1025000/1040920
573.33/570.74	c cleaning 10001 clauses out of 20067 with flag 1035000/1050920
579.34/576.75	c cleaning 10003 clauses out of 20069 with flag 1045003/1060923
585.56/582.93	c cleaning 10004 clauses out of 20067 with flag 1055004/1070924
591.76/589.13	c cleaning 10004 clauses out of 20059 with flag 1065000/1080920
595.58/592.90	c cleaning 9982 clauses out of 20056 with flag 1075001/1090921
598.90/596.25	c cleaning 10021 clauses out of 20074 with flag 1085001/1100921
602.72/600.07	c cleaning 9994 clauses out of 20052 with flag 1095000/1110920
607.24/604.57	c cleaning 9991 clauses out of 20060 with flag 1105002/1120922
612.46/609.71	c cleaning 10025 clauses out of 20074 with flag 1115007/1130927
616.59/613.89	c cleaning 10002 clauses out of 20042 with flag 1125000/1140920
620.80/618.09	c cleaning 9997 clauses out of 20041 with flag 1135001/1150921
624.71/621.96	c cleaning 10010 clauses out of 20047 with flag 1145004/1160924
628.63/625.89	c cleaning 10000 clauses out of 20033 with flag 1155000/1170920
632.65/629.84	c cleaning 9956 clauses out of 20033 with flag 1165000/1180920
635.56/632.73	c cleaning 9979 clauses out of 20078 with flag 1175001/1190921
638.47/635.63	c cleaning 9994 clauses out of 20100 with flag 1185002/1200922
641.58/638.70	c cleaning 9993 clauses out of 20106 with flag 1195002/1210922
644.39/641.51	c cleaning 9998 clauses out of 20111 with flag 1205000/1220920
647.41/644.51	c cleaning 10000 clauses out of 20118 with flag 1215005/1230925
650.91/648.06	c cleaning 9991 clauses out of 20113 with flag 1225000/1240920
654.53/651.65	c cleaning 10005 clauses out of 20123 with flag 1235001/1250921
657.74/654.81	c cleaning 9999 clauses out of 20119 with flag 1245002/1260922
661.66/658.77	c cleaning 10003 clauses out of 20120 with flag 1255002/1270922
665.77/662.81	c cleaning 9997 clauses out of 20118 with flag 1265003/1280923
669.28/666.37	c cleaning 9998 clauses out of 20120 with flag 1275002/1290922
673.69/670.75	c cleaning 10003 clauses out of 20120 with flag 1285000/1300920
677.80/674.80	c cleaning 9998 clauses out of 20118 with flag 1295001/1310921
682.22/679.22	c cleaning 10000 clauses out of 20119 with flag 1305000/1320920
685.73/682.76	c cleaning 10024 clauses out of 20121 with flag 1315002/1330922
690.84/687.84	c cleaning 10016 clauses out of 20098 with flag 1325003/1340923
696.86/693.83	c cleaning 10007 clauses out of 20080 with flag 1335001/1350921
701.37/698.34	c cleaning 9974 clauses out of 20073 with flag 1345001/1360921
706.99/703.92	c cleaning 10004 clauses out of 20100 with flag 1355002/1370922
713.50/710.46	c cleaning 10003 clauses out of 20096 with flag 1365002/1380922
718.81/715.76	c cleaning 10015 clauses out of 20093 with flag 1375002/1390922
725.42/722.38	c cleaning 10010 clauses out of 20079 with flag 1385003/1400923
731.84/728.77	c cleaning 10001 clauses out of 20067 with flag 1395001/1410921
736.86/733.79	c cleaning 10007 clauses out of 20067 with flag 1405002/1420922
742.06/739.00	c cleaning 10006 clauses out of 20062 with flag 1415004/1430924
747.78/744.64	c cleaning 9997 clauses out of 20052 with flag 1425000/1440920
753.68/750.50	c cleaning 10005 clauses out of 20057 with flag 1435002/1450922
757.89/754.79	c cleaning 10012 clauses out of 20050 with flag 1445000/1460920
761.01/757.84	c cleaning 10010 clauses out of 20041 with flag 1455003/1470923
764.51/761.30	c cleaning 10003 clauses out of 20029 with flag 1465001/1480921
767.93/764.72	c cleaning 10008 clauses out of 20035 with flag 1475010/1490930
771.75/768.52	c cleaning 10002 clauses out of 20021 with flag 1485004/1500924
775.76/772.58	c cleaning 9992 clauses out of 20015 with flag 1495000/1510920
779.68/776.42	c cleaning 10004 clauses out of 20026 with flag 1505003/1520923
782.09/778.88	c cleaning 9982 clauses out of 20024 with flag 1515005/1530925
784.80/781.53	c cleaning 9994 clauses out of 20037 with flag 1525000/1540920
787.81/784.51	c cleaning 10000 clauses out of 20043 with flag 1535000/1550920
790.72/787.48	c cleaning 10001 clauses out of 20047 with flag 1545004/1560924
793.73/790.43	c cleaning 10000 clauses out of 20045 with flag 1555003/1570923
797.06/793.73	c cleaning 9997 clauses out of 20042 with flag 1565000/1580920
800.17/796.86	c cleaning 9996 clauses out of 20045 with flag 1575000/1590920
804.19/800.83	c cleaning 10004 clauses out of 20054 with flag 1585005/1600925
808.29/804.98	c cleaning 9998 clauses out of 20045 with flag 1595000/1610920
815.40/812.03	c cleaning 10002 clauses out of 20050 with flag 1605003/1620923
817.62/814.27	c cleaning 10004 clauses out of 20046 with flag 1615001/1630921
820.83/817.43	c cleaning 9998 clauses out of 20041 with flag 1625000/1640920
824.65/821.24	c cleaning 10002 clauses out of 20044 with flag 1635001/1650921
828.17/824.71	c cleaning 10002 clauses out of 20041 with flag 1645000/1660920
831.58/828.14	c cleaning 10001 clauses out of 20042 with flag 1655003/1670923
835.10/831.67	c cleaning 9998 clauses out of 20039 with flag 1665001/1680921
838.31/834.86	c cleaning 9997 clauses out of 20042 with flag 1675002/1690922
842.61/839.12	c cleaning 10000 clauses out of 20048 with flag 1685005/1700925
846.03/842.55	c cleaning 9999 clauses out of 20043 with flag 1695000/1710920
849.64/846.13	c cleaning 10001 clauses out of 20045 with flag 1705001/1720921
853.45/849.95	c cleaning 10001 clauses out of 20043 with flag 1715000/1730920
857.07/853.51	c cleaning 10006 clauses out of 20049 with flag 1725007/1740927
860.07/856.59	c cleaning 9999 clauses out of 20036 with flag 1735000/1750920
863.69/860.11	c cleaning 9999 clauses out of 20038 with flag 1745001/1760921
866.69/863.13	c cleaning 10000 clauses out of 20040 with flag 1755002/1770922
868.81/865.24	c cleaning 9999 clauses out of 20039 with flag 1765001/1780921
871.52/867.95	c cleaning 9997 clauses out of 20039 with flag 1775000/1790920
874.73/871.19	c cleaning 9999 clauses out of 20043 with flag 1785001/1800921
878.15/874.52	c cleaning 10004 clauses out of 20052 with flag 1795009/1810929
880.75/877.10	c cleaning 9976 clauses out of 20039 with flag 1805000/1820920
883.66/880.08	c cleaning 10013 clauses out of 20070 with flag 1815007/1830927
888.87/885.27	c cleaning 10001 clauses out of 20050 with flag 1825000/1840920
891.98/888.39	c cleaning 9999 clauses out of 20050 with flag 1835001/1850921
895.70/892.04	c cleaning 9999 clauses out of 20051 with flag 1845001/1860921
898.71/895.00	c cleaning 10002 clauses out of 20053 with flag 1855002/1870922
901.32/897.61	c cleaning 10002 clauses out of 20050 with flag 1865001/1880921
904.63/900.92	c cleaning 9993 clauses out of 20047 with flag 1875000/1890920
907.74/904.03	c cleaning 9978 clauses out of 20054 with flag 1885000/1900920
910.94/907.22	c cleaning 10013 clauses out of 20076 with flag 1895000/1910920
913.95/910.25	c cleaning 10007 clauses out of 20065 with flag 1905002/1920922
916.66/912.91	c cleaning 10000 clauses out of 20056 with flag 1915000/1930920
919.47/915.77	c cleaning 10005 clauses out of 20057 with flag 1925001/1940921
923.39/919.66	c cleaning 10002 clauses out of 20052 with flag 1935001/1950921
927.20/923.45	c cleaning 10001 clauses out of 20049 with flag 1945000/1960920
930.21/926.49	c cleaning 10000 clauses out of 20048 with flag 1955000/1970920
933.22/929.50	c cleaning 9998 clauses out of 20049 with flag 1965001/1980921
936.32/932.59	c cleaning 10004 clauses out of 20052 with flag 1975002/1990922
940.42/936.68	c cleaning 9989 clauses out of 20048 with flag 1985002/2000922
945.74/941.93	c cleaning 9997 clauses out of 20059 with flag 1995002/2010922
950.65/946.82	c cleaning 9985 clauses out of 20063 with flag 2005003/2020923
957.17/953.40	c cleaning 9996 clauses out of 20076 with flag 2015001/2030921
962.19/958.36	c cleaning 10003 clauses out of 20083 with flag 2025004/2040924
966.81/962.90	c cleaning 10002 clauses out of 20077 with flag 2035001/2050921
970.93/967.09	c cleaning 10005 clauses out of 20079 with flag 2045005/2060925
974.94/971.00	c cleaning 9996 clauses out of 20070 with flag 2055001/2070921
979.25/975.30	c cleaning 10009 clauses out of 20075 with flag 2065002/2080922
984.87/980.99	c cleaning 9999 clauses out of 20064 with flag 2075000/2090920
990.18/986.26	c cleaning 9999 clauses out of 20066 with flag 2085001/2100921
996.69/992.78	c cleaning 10000 clauses out of 20066 with flag 2095000/2110920
1003.50/999.54	c cleaning 9997 clauses out of 20066 with flag 2105000/2120920
1006.71/1002.77	c cleaning 9994 clauses out of 20071 with flag 2115002/2130922
1011.22/1007.27	c cleaning 10017 clauses out of 20075 with flag 2125000/2140920
1014.74/1010.74	c cleaning 10005 clauses out of 20058 with flag 2135000/2150920
1018.04/1014.03	c cleaning 10001 clauses out of 20054 with flag 2145001/2160921
1021.65/1017.63	c cleaning 10004 clauses out of 20055 with flag 2155003/2170923
1024.76/1020.76	c cleaning 9997 clauses out of 20048 with flag 2165000/2180920
1028.07/1024.08	c cleaning 9967 clauses out of 20051 with flag 2175000/2190920
1033.58/1029.54	c cleaning 9992 clauses out of 20089 with flag 2185005/2200925
1039.68/1035.62	c cleaning 9997 clauses out of 20093 with flag 2195001/2210921
1045.39/1041.32	c cleaning 9996 clauses out of 20095 with flag 2205000/2220920
1051.60/1047.56	c cleaning 9997 clauses out of 20100 with flag 2215001/2230921
1058.11/1054.02	c cleaning 9996 clauses out of 20102 with flag 2225000/2240920
1064.43/1060.37	c cleaning 9993 clauses out of 20108 with flag 2235002/2250922
1070.73/1066.66	c cleaning 10005 clauses out of 20114 with flag 2245001/2260921
1076.25/1072.14	c cleaning 9997 clauses out of 20109 with flag 2255001/2270921
1082.25/1078.11	c cleaning 10003 clauses out of 20111 with flag 2265000/2280920
1086.86/1082.76	c cleaning 9988 clauses out of 20109 with flag 2275001/2290921
1091.87/1087.71	c cleaning 10013 clauses out of 20121 with flag 2285001/2300921
1096.08/1091.98	c cleaning 10013 clauses out of 20113 with flag 2295006/2310926
1100.29/1096.15	c cleaning 9980 clauses out of 20094 with flag 2305000/2320920
1105.70/1101.56	c cleaning 9993 clauses out of 20114 with flag 2315000/2330920
1110.42/1106.22	c cleaning 10030 clauses out of 20124 with flag 2325003/2340923
1115.83/1111.69	c cleaning 9999 clauses out of 20093 with flag 2335002/2350922
1121.44/1117.23	c cleaning 10004 clauses out of 20095 with flag 2345003/2360923
1126.05/1121.86	c cleaning 9978 clauses out of 20093 with flag 2355005/2370925
1131.16/1126.93	c cleaning 10023 clauses out of 20112 with flag 2365002/2380922
1135.77/1131.52	c cleaning 9999 clauses out of 20089 with flag 2375002/2390922
1141.28/1137.00	c cleaning 9978 clauses out of 20088 with flag 2385000/2400920
1146.49/1142.26	c cleaning 9986 clauses out of 20115 with flag 2395005/2410925
1152.60/1148.34	c cleaning 10002 clauses out of 20126 with flag 2405002/2420922
1157.62/1153.37	c cleaning 10001 clauses out of 20126 with flag 2415004/2430924
1160.44/1156.14	c cleaning 10019 clauses out of 20122 with flag 2425001/2440921
1163.05/1158.79	c cleaning 10010 clauses out of 20105 with flag 2435003/2450923
1166.46/1162.12	c cleaning 9999 clauses out of 20093 with flag 2445001/2460921
1169.48/1165.18	c cleaning 10006 clauses out of 20093 with flag 2455000/2470920
1172.79/1168.45	c cleaning 10002 clauses out of 20087 with flag 2465000/2480920
1175.81/1171.50	c cleaning 10000 clauses out of 20086 with flag 2475001/2490921
1178.82/1174.44	c cleaning 10000 clauses out of 20085 with flag 2485000/2500920
1182.03/1177.64	c cleaning 10008 clauses out of 20089 with flag 2495004/2510924
1185.75/1181.34	c cleaning 9997 clauses out of 20078 with flag 2505001/2520921
1189.96/1185.52	c cleaning 10000 clauses out of 20080 with flag 2515000/2530920
1193.58/1189.12	c cleaning 10001 clauses out of 20082 with flag 2525002/2540922
1196.68/1192.29	c cleaning 9997 clauses out of 20079 with flag 2535000/2550920
1199.88/1195.44	c cleaning 9999 clauses out of 20082 with flag 2545000/2560920
1202.89/1198.46	c cleaning 10001 clauses out of 20084 with flag 2555001/2570921
1206.09/1201.61	c cleaning 10001 clauses out of 20082 with flag 2565000/2580920
1209.20/1204.75	c cleaning 10001 clauses out of 20081 with flag 2575000/2590920
1212.81/1208.31	c cleaning 10000 clauses out of 20084 with flag 2585004/2600924
1216.62/1212.12	c cleaning 9998 clauses out of 20082 with flag 2595002/2610922
1220.21/1215.77	c cleaning 9999 clauses out of 20082 with flag 2605000/2620920
1224.43/1219.90	c cleaning 10001 clauses out of 20087 with flag 2615004/2630924
1227.65/1223.19	c cleaning 9999 clauses out of 20083 with flag 2625001/2640921
1231.45/1226.90	c cleaning 10004 clauses out of 20087 with flag 2635004/2650924
1235.37/1230.85	c cleaning 10020 clauses out of 20079 with flag 2645000/2660920
1241.69/1237.12	c cleaning 10012 clauses out of 20062 with flag 2655003/2670923
1248.00/1243.40	c cleaning 9985 clauses out of 20048 with flag 2665001/2680921
1254.22/1249.64	c cleaning 10010 clauses out of 20062 with flag 2675000/2690920
1261.13/1256.59	c cleaning 9995 clauses out of 20054 with flag 2685002/2700922
1267.74/1263.12	c cleaning 10004 clauses out of 20058 with flag 2695001/2710921
1273.55/1268.97	c cleaning 9994 clauses out of 20053 with flag 2705000/2720920
1279.66/1275.08	c cleaning 10010 clauses out of 20059 with flag 2715000/2730920
1285.57/1280.95	c cleaning 10004 clauses out of 20051 with flag 2725002/2740922
1292.28/1287.66	c cleaning 10001 clauses out of 20046 with flag 2735001/2750921
1298.79/1294.17	c cleaning 9994 clauses out of 20044 with flag 2745000/2760920
1305.40/1300.74	c cleaning 10000 clauses out of 20052 with flag 2755002/2770922
1311.91/1307.27	c cleaning 10003 clauses out of 20052 with flag 2765002/2780922
1318.22/1313.55	c cleaning 9989 clauses out of 20048 with flag 2775001/2790921
1325.03/1320.31	c cleaning 9987 clauses out of 20064 with flag 2785006/2800926
1332.04/1327.38	c cleaning 9990 clauses out of 20073 with flag 2795002/2810922
1339.46/1334.71	c cleaning 10008 clauses out of 20081 with flag 2805000/2820920
1346.67/1341.99	c cleaning 10011 clauses out of 20076 with flag 2815003/2830923
1354.07/1349.39	c cleaning 9988 clauses out of 20062 with flag 2825000/2840920
1361.68/1356.96	c cleaning 9995 clauses out of 20074 with flag 2835000/2850920
1368.89/1364.15	c cleaning 10012 clauses out of 20079 with flag 2845000/2860920
1374.79/1370.03	c cleaning 10004 clauses out of 20067 with flag 2855000/2870920
1381.29/1376.56	c cleaning 10014 clauses out of 20066 with flag 2865003/2880923
1388.79/1384.01	c cleaning 9996 clauses out of 20049 with flag 2875000/2890920
1395.51/1390.73	c cleaning 10001 clauses out of 20055 with flag 2885002/2900922
1402.92/1398.14	c cleaning 10004 clauses out of 20052 with flag 2895000/2910920
1409.73/1404.96	c cleaning 9996 clauses out of 20050 with flag 2905002/2920922
1416.24/1411.40	c cleaning 10005 clauses out of 20053 with flag 2915001/2930921
1423.34/1418.59	c cleaning 9995 clauses out of 20048 with flag 2925001/2940921
1429.55/1424.79	c cleaning 9990 clauses out of 20052 with flag 2935000/2950920
1435.57/1430.78	c cleaning 9994 clauses out of 20062 with flag 2945000/2960920
1442.18/1437.32	c cleaning 10002 clauses out of 20069 with flag 2955001/2970921
1448.98/1444.15	c cleaning 10015 clauses out of 20069 with flag 2965003/2980923
1454.79/1449.94	c cleaning 10018 clauses out of 20052 with flag 2975001/2990921
1459.91/1455.01	c cleaning 10010 clauses out of 20034 with flag 2985001/3000921
1463.22/1458.39	c cleaning 9985 clauses out of 20023 with flag 2995000/3010920
1466.84/1462.00	c cleaning 9985 clauses out of 20039 with flag 3005001/3020921
1470.65/1465.79	c cleaning 10000 clauses out of 20054 with flag 3015001/3030921
1476.77/1471.89	c cleaning 10000 clauses out of 20053 with flag 3025000/3040920
1481.89/1476.97	c cleaning 10022 clauses out of 20057 with flag 3035004/3050924
1484.51/1479.53	c cleaning 9988 clauses out of 20035 with flag 3045004/3060924
1488.01/1483.02	c cleaning 9995 clauses out of 20047 with flag 3055004/3070924
1491.83/1486.84	c cleaning 10000 clauses out of 20053 with flag 3065005/3080925
1498.04/1493.05	c cleaning 10005 clauses out of 20050 with flag 3075002/3090922
1504.36/1499.37	c cleaning 9999 clauses out of 20043 with flag 3085000/3100920
1511.06/1506.09	c cleaning 10005 clauses out of 20048 with flag 3095004/3110924
1518.28/1513.28	c cleaning 9989 clauses out of 20040 with flag 3105001/3120921
1521.30/1516.29	c cleaning 9968 clauses out of 20053 with flag 3115003/3130923
1525.81/1520.74	c cleaning 9983 clauses out of 20083 with flag 3125001/3140921
1530.61/1525.53	c cleaning 9990 clauses out of 20100 with flag 3135001/3150921
1535.32/1530.23	c cleaning 9998 clauses out of 20109 with flag 3145000/3160920
1539.93/1534.87	c cleaning 9997 clauses out of 20112 with flag 3155001/3170921
1544.74/1539.61	c cleaning 9999 clauses out of 20116 with flag 3165002/3180922
1548.46/1543.39	c cleaning 10006 clauses out of 20115 with flag 3175000/3190920
1553.87/1548.78	c cleaning 9999 clauses out of 20109 with flag 3185000/3200920
1559.07/1553.90	c cleaning 9975 clauses out of 20111 with flag 3195001/3210921
1564.79/1559.65	c cleaning 9990 clauses out of 20145 with flag 3205010/3220930
1570.80/1565.69	c cleaning 10030 clauses out of 20145 with flag 3215000/3230920
1577.12/1571.91	c cleaning 9971 clauses out of 20116 with flag 3225001/3240921
1584.33/1579.11	c cleaning 10026 clauses out of 20147 with flag 3235003/3250923
1589.74/1584.53	c cleaning 10014 clauses out of 20118 with flag 3245000/3260920
1596.26/1591.02	c cleaning 10010 clauses out of 20110 with flag 3255006/3270926
1602.77/1597.53	c cleaning 9999 clauses out of 20095 with flag 3265001/3280921
1606.28/1601.01	c cleaning 9976 clauses out of 20098 with flag 3275003/3290923
1610.10/1604.87	c cleaning 9985 clauses out of 20121 with flag 3285002/3300922
1614.73/1609.47	c cleaning 10004 clauses out of 20134 with flag 3295000/3310920
1619.24/1613.90	c cleaning 10012 clauses out of 20130 with flag 3305000/3320920
1623.37/1618.06	c cleaning 9992 clauses out of 20120 with flag 3315002/3330922
1627.28/1621.99	c cleaning 10010 clauses out of 20127 with flag 3325001/3340921
1630.69/1625.31	c cleaning 9992 clauses out of 20116 with flag 3335000/3350920
1634.41/1629.03	c cleaning 10000 clauses out of 20128 with flag 3345004/3360924
1638.31/1632.99	c cleaning 9998 clauses out of 20124 with flag 3355000/3370920
1642.43/1637.05	c cleaning 10000 clauses out of 20127 with flag 3365001/3380921
1646.55/1641.17	c cleaning 10010 clauses out of 20127 with flag 3375001/3390921
1650.05/1644.68	c cleaning 9979 clauses out of 20119 with flag 3385003/3400923
1653.36/1647.92	c cleaning 10014 clauses out of 20137 with flag 3395000/3410920
1657.17/1651.70	c cleaning 9995 clauses out of 20123 with flag 3405000/3420920
1660.48/1655.03	c cleaning 9994 clauses out of 20128 with flag 3415000/3430920
1665.69/1660.22	c cleaning 10038 clauses out of 20135 with flag 3425001/3440921
1671.50/1666.05	c cleaning 10025 clauses out of 20099 with flag 3435003/3450923
1677.91/1672.44	c cleaning 10009 clauses out of 20072 with flag 3445001/3460921
1684.42/1678.92	c cleaning 10008 clauses out of 20063 with flag 3455001/3470921
1691.23/1685.74	c cleaning 10000 clauses out of 20054 with flag 3465000/3480920
1697.63/1692.10	c cleaning 10003 clauses out of 20054 with flag 3475000/3490920
1704.33/1698.84	c cleaning 10004 clauses out of 20055 with flag 3485004/3500924
1710.94/1705.42	c cleaning 10000 clauses out of 20048 with flag 3495001/3510921
1717.55/1712.10	c cleaning 9996 clauses out of 20047 with flag 3505000/3520920
1724.46/1718.94	c cleaning 9989 clauses out of 20051 with flag 3515000/3530920
1730.87/1725.35	c cleaning 9987 clauses out of 20062 with flag 3525000/3540920
1737.27/1731.78	c cleaning 10011 clauses out of 20075 with flag 3535000/3550920
1743.29/1737.76	c cleaning 10005 clauses out of 20065 with flag 3545001/3560921
1749.29/1743.77	c cleaning 10003 clauses out of 20059 with flag 3555000/3570920
1755.30/1749.77	c cleaning 10000 clauses out of 20060 with flag 3565004/3580924
1762.41/1756.85	c cleaning 10000 clauses out of 20057 with flag 3575001/3590921
1768.93/1763.34	c cleaning 10000 clauses out of 20056 with flag 3585000/3600920
1775.63/1770.06	c cleaning 10003 clauses out of 20059 with flag 3595003/3610923
1782.44/1776.86	c cleaning 10004 clauses out of 20059 with flag 3605006/3620926
1789.15/1783.50	c cleaning 10001 clauses out of 20050 with flag 3615001/3630921
1795.86/1790.27	c cleaning 10001 clauses out of 20053 with flag 3625005/3640925
1800.07/1794.41	c starts		: 261
1800.07/1794.41	c conflicts		: 3646847
1800.07/1794.41	c decisions		: 5552315
1800.07/1794.41	c propagations		: 162162031
1800.07/1794.41	c inspects		: 4819214369
1800.07/1794.41	c shortcuts		: 0
1800.07/1794.41	c learnt literals	: 0
1800.07/1794.41	c learnt binary clauses	: 0
1800.07/1794.41	c learnt ternary clauses	: 0
1800.07/1794.41	c learnt constraints	: 3646847
1800.07/1794.41	c ignored constraints	: 0
1800.07/1794.41	c root simplifications	: 0
1800.07/1794.41	c removed literals (reason simplification)	: 12696846
1800.07/1794.41	c reason swapping (by a shorter reason)	: 0
1800.07/1794.41	c Calls to reduceDB	: 366
1800.07/1794.41	c number of reductions to clauses (during analyze)	: 0
1800.07/1794.41	c number of learned constraints concerned by reduction	: 0
1800.07/1794.41	c number of learning phase by resolution	: 0
1800.07/1794.41	c number of learning phase by cutting planes	: 0
1800.07/1794.41	c speed (assignments/second)	: 90691.91646337303
1800.07/1794.41	c non guided choices	437949
1800.07/1794.42	c learnt constraints type 
1800.07/1794.42	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15983
1800.07/1794.42	c constraints type 
1800.07/1794.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 110
1800.07/1794.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 101
1800.07/1794.42	s SATISFIABLE
1800.07/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 
1800.07/1794.44	c objective function=6
1800.07/1794.44	c Total wall clock time (in seconds): 1794.331

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492513-1307910838/watcher-3492513-1307910838 -o /tmp/evaluation-result-3492513-1307910838/solver-3492513-1307910838 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492513-1307910838.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: 1.99 1.98 1.86 2/195 10370
/proc/meminfo: memFree=2817228/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/10370/stat : 10370 (java) R 10368 10370 8865 0 -1 4202496 958 0 0 0 0 0 0 0 25 0 1 0 902681548 23580672 700 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212682712552 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/10370/statm: 5757 701 518 9 0 124 0

[startup+0.0763021 s]
/proc/loadavg: 1.99 1.98 1.86 2/195 10370
/proc/meminfo: memFree=2817228/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10473088 CPUtime=0.06 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 11936 0 1 0 5 1 0 0 25 0 18 0 902681548 10724442112 11631 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2618272 11631 1754 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.104365 s]
/proc/loadavg: 1.99 1.98 1.86 2/195 10370
/proc/meminfo: memFree=2817228/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10540088 CPUtime=0.11 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 13095 0 1 0 9 2 0 0 25 0 18 0 902681548 10793050112 12790 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2635022 12790 2092 9 0 2625756 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540088

[startup+0.367246 s]
/proc/loadavg: 1.99 1.98 1.86 2/195 10370
/proc/meminfo: memFree=2817228/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10549800 CPUtime=0.72 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 20843 0 1 0 69 3 0 0 25 0 19 0 902681548 10802995200 18542 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2637450 18302 2223 9 0 2628184 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 10549800

[startup+0.700219 s]
/proc/loadavg: 1.99 1.98 1.86 2/195 10370
/proc/meminfo: memFree=2817228/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10550364 CPUtime=1.57 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 23467 0 1 0 153 4 0 0 25 0 19 0 902681548 10803572736 20364 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2637591 20364 2232 9 0 2628325 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10550364

[startup+1.50107 s]
/proc/loadavg: 1.99 1.98 1.86 4/214 10389
/proc/meminfo: memFree=2741584/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10550364 CPUtime=2.42 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 25117 0 1 0 238 4 0 0 25 0 19 0 902681548 10803572736 22013 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2637591 22013 2234 9 0 2628325 0
[pid=10370/tid=10372] ppid=10368 vsize=10550364 CPUtime=1.48 cores=0,2,4,6
/proc/10370/task/10372/stat : 10372 (java) R 10368 10370 8865 0 -1 4202560 15819 0 1 0 146 2 0 0 20 0 19 0 902681549 10803572736 22013 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 46912505896100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10370/tid=10373] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10373/stat : 10373 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 22013 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10374] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10374/stat : 10374 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 22013 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10375] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10375/stat : 10375 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 22013 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10376] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10376/stat : 10376 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 22013 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10377] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10377/stat : 10377 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 22013 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10378] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10378/stat : 10378 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 22013 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10379] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10379/stat : 10379 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10380] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10380/stat : 10380 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10381] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10381/stat : 10381 (java) S 10368 10370 8865 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902681552 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 0 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10382] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10382/stat : 10382 (java) S 10368 10370 8865 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902681552 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10383] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10383/stat : 10383 (java) S 10368 10370 8865 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681552 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10384] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10384/stat : 10384 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699498929 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10385] ppid=10368 vsize=10550364 CPUtime=0.42 cores=0,2,4,6
/proc/10370/task/10385/stat : 10385 (java) S 10368 10370 8865 0 -1 4202560 3848 0 0 0 42 0 0 0 15 0 19 0 902681554 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10386] ppid=10368 vsize=10550364 CPUtime=0.48 cores=0,2,4,6
/proc/10370/task/10386/stat : 10386 (java) S 10368 10370 8865 0 -1 4202560 4284 0 0 0 48 0 0 0 15 0 19 0 902681554 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10387] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10387/stat : 10387 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10388] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10388/stat : 10388 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681554 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 2 0 0 0
[pid=10370/tid=10389] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10389/stat : 10389 (java) S 10368 10370 8865 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 902681581 10803572736 22014 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 10550364

[startup+3.10082 s]
/proc/loadavg: 1.99 1.98 1.86 3/214 10389
/proc/meminfo: memFree=2732160/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10550364 CPUtime=4.01 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 27800 0 1 0 397 4 0 0 25 0 19 0 902681548 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2637591 24696 2234 9 0 2628325 0
[pid=10370/tid=10372] ppid=10368 vsize=10550364 CPUtime=3.08 cores=0,2,4,6
/proc/10370/task/10372/stat : 10372 (java) R 10368 10370 8865 0 -1 4202560 18502 0 1 0 306 2 0 0 25 0 19 0 902681549 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 46912505690686 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10370/tid=10373] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10373/stat : 10373 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10374] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10374/stat : 10374 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10375] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10375/stat : 10375 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10376] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10376/stat : 10376 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10377] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10377/stat : 10377 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10378] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10378/stat : 10378 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10379] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10379/stat : 10379 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10380] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10380/stat : 10380 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681551 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10381] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10381/stat : 10381 (java) S 10368 10370 8865 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902681552 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 0 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10382] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10382/stat : 10382 (java) S 10368 10370 8865 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902681552 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10383] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10383/stat : 10383 (java) S 10368 10370 8865 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902681552 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10384] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10384/stat : 10384 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699498929 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10385] ppid=10368 vsize=10550364 CPUtime=0.42 cores=0,2,4,6
/proc/10370/task/10385/stat : 10385 (java) S 10368 10370 8865 0 -1 4202560 3848 0 0 0 42 0 0 0 15 0 19 0 902681554 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10386] ppid=10368 vsize=10550364 CPUtime=0.49 cores=0,2,4,6
/proc/10370/task/10386/stat : 10386 (java) S 10368 10370 8865 0 -1 4202560 4284 0 0 0 49 0 0 0 15 0 19 0 902681554 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10387] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10387/stat : 10387 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10388] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10388/stat : 10388 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681554 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 2 0 0 0
[pid=10370/tid=10389] ppid=10368 vsize=10550364 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10389/stat : 10389 (java) S 10368 10370 8865 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 902681581 10803572736 24696 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 10550364

[startup+6.30123 s]
/proc/loadavg: 1.99 1.98 1.86 3/214 10389
/proc/meminfo: memFree=2704508/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10551280 CPUtime=7.4 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 38937 0 1 0 734 6 0 0 25 0 19 0 902681548 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2637820 34101 2260 9 0 2628554 0
[pid=10370/tid=10372] ppid=10368 vsize=10551280 CPUtime=6.22 cores=0,2,4,6
/proc/10370/task/10372/stat : 10372 (java) R 10368 10370 8865 0 -1 4202560 18983 0 1 0 620 2 0 0 25 0 19 0 902681549 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 46912505862393 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10370/tid=10373] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10373/stat : 10373 (java) S 10368 10370 8865 0 -1 4202560 1315 0 0 0 0 0 0 0 15 0 19 0 902681551 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10374] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10374/stat : 10374 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681551 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10375] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10375/stat : 10375 (java) S 10368 10370 8865 0 -1 4202560 983 0 0 0 0 0 0 0 18 0 19 0 902681551 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10376] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10376/stat : 10376 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681551 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10377] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10377/stat : 10377 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681551 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10378] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10378/stat : 10378 (java) S 10368 10370 8865 0 -1 4202560 974 0 0 0 0 0 0 0 18 0 19 0 902681551 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10379] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10379/stat : 10379 (java) S 10368 10370 8865 0 -1 4202560 1370 0 0 0 0 0 0 0 18 0 19 0 902681551 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10380] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10380/stat : 10380 (java) S 10368 10370 8865 0 -1 4202560 795 0 0 0 0 0 0 0 15 0 19 0 902681551 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10381] ppid=10368 vsize=10551280 CPUtime=0.03 cores=0,2,4,6
/proc/10370/task/10381/stat : 10381 (java) S 10368 10370 8865 0 -1 4202560 3318 0 0 0 3 0 0 0 16 0 19 0 902681552 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 0 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
[pid=10370/tid=10382] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10382/stat : 10382 (java) S 10368 10370 8865 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681552 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10383] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10383/stat : 10383 (java) S 10368 10370 8865 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681552 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10384] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10384/stat : 10384 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699498929 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10385] ppid=10368 vsize=10551280 CPUtime=0.45 cores=0,2,4,6
/proc/10370/task/10385/stat : 10385 (java) S 10368 10370 8865 0 -1 4202560 3850 0 0 0 45 0 0 0 15 0 19 0 902681554 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10386] ppid=10368 vsize=10551280 CPUtime=0.63 cores=0,2,4,6
/proc/10370/task/10386/stat : 10386 (java) S 10368 10370 8865 0 -1 4202560 6190 0 0 0 62 1 0 0 15 0 19 0 902681554 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10387] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10387/stat : 10387 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10388] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10388/stat : 10388 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902681554 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 2 0 0 0
[pid=10370/tid=10389] ppid=10368 vsize=10551280 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10389/stat : 10389 (java) S 10368 10370 8865 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 902681581 10804510720 34101 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 10551280

[startup+12.7011 s]

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

[pid=10370/tid=10378] ppid=10368 vsize=10548964 CPUtime=0.72 cores=0,2,4,6
/proc/10370/task/10378/stat : 10378 (java) S 10368 10370 8865 0 -1 4202560 2064 0 0 0 72 0 0 0 16 0 19 0 902681551 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 2 0 0 0
[pid=10370/tid=10379] ppid=10368 vsize=10548964 CPUtime=0.71 cores=0,2,4,6
/proc/10370/task/10379/stat : 10379 (java) S 10368 10370 8865 0 -1 4202560 4900 0 0 0 70 1 0 0 15 0 19 0 902681551 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10380] ppid=10368 vsize=10548964 CPUtime=0.83 cores=0,2,4,6
/proc/10370/task/10380/stat : 10380 (java) S 10368 10370 8865 0 -1 4202560 4264 0 0 0 83 0 0 0 15 0 19 0 902681551 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10381] ppid=10368 vsize=10548964 CPUtime=16.77 cores=0,2,4,6
/proc/10370/task/10381/stat : 10381 (java) S 10368 10370 8865 0 -1 4202560 21487 0 0 0 1668 9 0 0 15 0 19 0 902681552 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 0 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
[pid=10370/tid=10382] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10382/stat : 10382 (java) S 10368 10370 8865 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681552 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10383] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10383/stat : 10383 (java) S 10368 10370 8865 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681552 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10384] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10384/stat : 10384 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699498929 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10385] ppid=10368 vsize=10548964 CPUtime=0.61 cores=0,2,4,6
/proc/10370/task/10385/stat : 10385 (java) S 10368 10370 8865 0 -1 4202560 4016 0 0 0 61 0 0 0 15 0 19 0 902681554 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10386] ppid=10368 vsize=10548964 CPUtime=0.64 cores=0,2,4,6
/proc/10370/task/10386/stat : 10386 (java) S 10368 10370 8865 0 -1 4202560 6190 0 0 0 63 1 0 0 15 0 19 0 902681554 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10387] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10387/stat : 10387 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10388] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10388/stat : 10388 (java) S 10368 10370 8865 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 902681554 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10389] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10389/stat : 10389 (java) S 10368 10370 8865 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 902681581 10802139136 76656 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1667.8
Current children cumulated vsize (KiB) 10548964

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 10729
/proc/meminfo: memFree=2496120/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10548964 CPUtime=1727.87 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 82801 0 1 0 172763 24 0 0 25 0 19 0 902681548 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2637241 76691 2261 9 0 2627975 0
[pid=10370/tid=10372] ppid=10368 vsize=10548964 CPUtime=1702.88 cores=0,2,4,6
/proc/10370/task/10372/stat : 10372 (java) R 10368 10370 8865 0 -1 4202560 25041 0 1 0 170283 5 0 0 25 0 19 0 902681549 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 46912505791527 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10370/tid=10373] ppid=10368 vsize=10548964 CPUtime=0.81 cores=0,2,4,6
/proc/10370/task/10373/stat : 10373 (java) S 10368 10370 8865 0 -1 4202560 2519 0 0 0 81 0 0 0 15 0 19 0 902681551 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10374] ppid=10368 vsize=10548964 CPUtime=0.76 cores=0,2,4,6
/proc/10370/task/10374/stat : 10374 (java) S 10368 10370 8865 0 -1 4202560 802 0 0 0 76 0 0 0 15 0 19 0 902681551 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10375] ppid=10368 vsize=10548964 CPUtime=0.75 cores=0,2,4,6
/proc/10370/task/10375/stat : 10375 (java) S 10368 10370 8865 0 -1 4202560 3262 0 0 0 74 1 0 0 15 0 19 0 902681551 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10376] ppid=10368 vsize=10548964 CPUtime=0.82 cores=0,2,4,6
/proc/10370/task/10376/stat : 10376 (java) S 10368 10370 8865 0 -1 4202560 2856 0 0 0 82 0 0 0 15 0 19 0 902681551 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10377] ppid=10368 vsize=10548964 CPUtime=0.85 cores=0,2,4,6
/proc/10370/task/10377/stat : 10377 (java) S 10368 10370 8865 0 -1 4202560 4132 0 0 0 84 1 0 0 15 0 19 0 902681551 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10378] ppid=10368 vsize=10548964 CPUtime=0.74 cores=0,2,4,6
/proc/10370/task/10378/stat : 10378 (java) S 10368 10370 8865 0 -1 4202560 2069 0 0 0 74 0 0 0 16 0 19 0 902681551 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 2 0 0 0
[pid=10370/tid=10379] ppid=10368 vsize=10548964 CPUtime=0.73 cores=0,2,4,6
/proc/10370/task/10379/stat : 10379 (java) S 10368 10370 8865 0 -1 4202560 4900 0 0 0 72 1 0 0 15 0 19 0 902681551 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10380] ppid=10368 vsize=10548964 CPUtime=0.84 cores=0,2,4,6
/proc/10370/task/10380/stat : 10380 (java) S 10368 10370 8865 0 -1 4202560 4266 0 0 0 84 0 0 0 15 0 19 0 902681551 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10381] ppid=10368 vsize=10548964 CPUtime=17.32 cores=0,2,4,6
/proc/10370/task/10381/stat : 10381 (java) S 10368 10370 8865 0 -1 4202560 21494 0 0 0 1723 9 0 0 15 0 19 0 902681552 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 0 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
[pid=10370/tid=10382] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10382/stat : 10382 (java) S 10368 10370 8865 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681552 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10383] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10383/stat : 10383 (java) S 10368 10370 8865 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681552 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10384] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10384/stat : 10384 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699498929 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10385] ppid=10368 vsize=10548964 CPUtime=0.61 cores=0,2,4,6
/proc/10370/task/10385/stat : 10385 (java) S 10368 10370 8865 0 -1 4202560 4016 0 0 0 61 0 0 0 15 0 19 0 902681554 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10386] ppid=10368 vsize=10548964 CPUtime=0.64 cores=0,2,4,6
/proc/10370/task/10386/stat : 10386 (java) S 10368 10370 8865 0 -1 4202560 6190 0 0 0 63 1 0 0 15 0 19 0 902681554 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10387] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10387/stat : 10387 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10388] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10388/stat : 10388 (java) S 10368 10370 8865 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902681554 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10389] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10389/stat : 10389 (java) S 10368 10370 8865 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 902681581 10802139136 76691 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1727.87
Current children cumulated vsize (KiB) 10548964

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 10731
/proc/meminfo: memFree=2495420/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10548964 CPUtime=1787.95 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 82853 0 1 0 178771 24 0 0 25 0 19 0 902681548 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2637241 76728 2261 9 0 2627975 0
[pid=10370/tid=10372] ppid=10368 vsize=10548964 CPUtime=1762.27 cores=0,2,4,6
/proc/10370/task/10372/stat : 10372 (java) R 10368 10370 8865 0 -1 4202560 25050 0 1 0 176222 5 0 0 25 0 19 0 902681549 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 46912505690656 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10370/tid=10373] ppid=10368 vsize=10548964 CPUtime=0.83 cores=0,2,4,6
/proc/10370/task/10373/stat : 10373 (java) S 10368 10370 8865 0 -1 4202560 2525 0 0 0 83 0 0 0 16 0 19 0 902681551 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10374] ppid=10368 vsize=10548964 CPUtime=0.77 cores=0,2,4,6
/proc/10370/task/10374/stat : 10374 (java) S 10368 10370 8865 0 -1 4202560 810 0 0 0 77 0 0 0 15 0 19 0 902681551 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10375] ppid=10368 vsize=10548964 CPUtime=0.77 cores=0,2,4,6
/proc/10370/task/10375/stat : 10375 (java) S 10368 10370 8865 0 -1 4202560 3268 0 0 0 76 1 0 0 16 0 19 0 902681551 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10376] ppid=10368 vsize=10548964 CPUtime=0.83 cores=0,2,4,6
/proc/10370/task/10376/stat : 10376 (java) S 10368 10370 8865 0 -1 4202560 2857 0 0 0 83 0 0 0 16 0 19 0 902681551 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10377] ppid=10368 vsize=10548964 CPUtime=0.87 cores=0,2,4,6
/proc/10370/task/10377/stat : 10377 (java) S 10368 10370 8865 0 -1 4202560 4138 0 0 0 86 1 0 0 15 0 19 0 902681551 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10378] ppid=10368 vsize=10548964 CPUtime=0.75 cores=0,2,4,6
/proc/10370/task/10378/stat : 10378 (java) S 10368 10370 8865 0 -1 4202560 2079 0 0 0 75 0 0 0 16 0 19 0 902681551 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 2 0 0 0
[pid=10370/tid=10379] ppid=10368 vsize=10548964 CPUtime=0.74 cores=0,2,4,6
/proc/10370/task/10379/stat : 10379 (java) S 10368 10370 8865 0 -1 4202560 4900 0 0 0 73 1 0 0 15 0 19 0 902681551 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10380] ppid=10368 vsize=10548964 CPUtime=0.86 cores=0,2,4,6
/proc/10370/task/10380/stat : 10380 (java) S 10368 10370 8865 0 -1 4202560 4266 0 0 0 86 0 0 0 15 0 19 0 902681551 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 2 0 0 0
[pid=10370/tid=10381] ppid=10368 vsize=10548964 CPUtime=17.88 cores=0,2,4,6
/proc/10370/task/10381/stat : 10381 (java) S 10368 10370 8865 0 -1 4202560 21496 0 0 0 1779 9 0 0 15 0 19 0 902681552 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 0 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
[pid=10370/tid=10382] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10382/stat : 10382 (java) S 10368 10370 8865 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681552 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10383] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10383/stat : 10383 (java) S 10368 10370 8865 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681552 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10384] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10384/stat : 10384 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699498929 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10385] ppid=10368 vsize=10548964 CPUtime=0.61 cores=0,2,4,6
/proc/10370/task/10385/stat : 10385 (java) S 10368 10370 8865 0 -1 4202560 4016 0 0 0 61 0 0 0 15 0 19 0 902681554 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10386] ppid=10368 vsize=10548964 CPUtime=0.64 cores=0,2,4,6
/proc/10370/task/10386/stat : 10386 (java) S 10368 10370 8865 0 -1 4202560 6190 0 0 0 63 1 0 0 15 0 19 0 902681554 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10387] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10387/stat : 10387 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10388] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10388/stat : 10388 (java) S 10368 10370 8865 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902681554 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10389] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10389/stat : 10389 (java) S 10368 10370 8865 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 902681581 10802139136 76728 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1787.95
Current children cumulated vsize (KiB) 10548964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 10731
/proc/meminfo: memFree=2495408/32951124 swapFree=67076880/67111528
[pid=10370] ppid=10368 vsize=10548964 CPUtime=1800.07 cores=0,2,4,6
/proc/10370/stat : 10370 (java) S 10368 10370 8865 0 -1 4202496 82868 0 1 0 179983 24 0 0 25 0 19 0 902681548 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10370/statm: 2637241 76739 2261 9 0 2627975 0
[pid=10370/tid=10372] ppid=10368 vsize=10548964 CPUtime=1774.26 cores=0,2,4,6
/proc/10370/task/10372/stat : 10372 (java) R 10368 10370 8865 0 -1 4202560 25052 0 1 0 177421 5 0 0 25 0 19 0 902681549 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 46912505791333 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10370/tid=10373] ppid=10368 vsize=10548964 CPUtime=0.83 cores=0,2,4,6
/proc/10370/task/10373/stat : 10373 (java) S 10368 10370 8865 0 -1 4202560 2525 0 0 0 83 0 0 0 15 0 19 0 902681551 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10374] ppid=10368 vsize=10548964 CPUtime=0.77 cores=0,2,4,6
/proc/10370/task/10374/stat : 10374 (java) S 10368 10370 8865 0 -1 4202560 810 0 0 0 77 0 0 0 15 0 19 0 902681551 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10375] ppid=10368 vsize=10548964 CPUtime=0.77 cores=0,2,4,6
/proc/10370/task/10375/stat : 10375 (java) S 10368 10370 8865 0 -1 4202560 3268 0 0 0 76 1 0 0 15 0 19 0 902681551 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10376] ppid=10368 vsize=10548964 CPUtime=0.84 cores=0,2,4,6
/proc/10370/task/10376/stat : 10376 (java) S 10368 10370 8865 0 -1 4202560 2863 0 0 0 84 0 0 0 15 0 19 0 902681551 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10377] ppid=10368 vsize=10548964 CPUtime=0.87 cores=0,2,4,6
/proc/10370/task/10377/stat : 10377 (java) S 10368 10370 8865 0 -1 4202560 4143 0 0 0 86 1 0 0 16 0 19 0 902681551 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10378] ppid=10368 vsize=10548964 CPUtime=0.76 cores=0,2,4,6
/proc/10370/task/10378/stat : 10378 (java) S 10368 10370 8865 0 -1 4202560 2079 0 0 0 76 0 0 0 15 0 19 0 902681551 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10379] ppid=10368 vsize=10548964 CPUtime=0.75 cores=0,2,4,6
/proc/10370/task/10379/stat : 10379 (java) S 10368 10370 8865 0 -1 4202560 4900 0 0 0 74 1 0 0 15 0 19 0 902681551 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10380] ppid=10368 vsize=10548964 CPUtime=0.86 cores=0,2,4,6
/proc/10370/task/10380/stat : 10380 (java) S 10368 10370 8865 0 -1 4202560 4266 0 0 0 86 0 0 0 16 0 19 0 902681551 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 2 0 0 0
[pid=10370/tid=10381] ppid=10368 vsize=10548964 CPUtime=17.99 cores=0,2,4,6
/proc/10370/task/10381/stat : 10381 (java) S 10368 10370 8865 0 -1 4202560 21498 0 0 0 1790 9 0 0 15 0 19 0 902681552 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 0 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
[pid=10370/tid=10382] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10382/stat : 10382 (java) S 10368 10370 8865 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902681552 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10383] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10383/stat : 10383 (java) S 10368 10370 8865 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902681552 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10384] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10384/stat : 10384 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699498929 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10385] ppid=10368 vsize=10548964 CPUtime=0.61 cores=0,2,4,6
/proc/10370/task/10385/stat : 10385 (java) S 10368 10370 8865 0 -1 4202560 4016 0 0 0 61 0 0 0 15 0 19 0 902681554 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10386] ppid=10368 vsize=10548964 CPUtime=0.64 cores=0,2,4,6
/proc/10370/task/10386/stat : 10386 (java) S 10368 10370 8865 0 -1 4202560 6190 0 0 0 63 1 0 0 15 0 19 0 902681554 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10387] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10387/stat : 10387 (java) S 10368 10370 8865 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902681554 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491225 0 4 0 16800975 18446604453926298688 0 0 -1 6 0 0 0
[pid=10370/tid=10388] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10388/stat : 10388 (java) S 10368 10370 8865 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902681554 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 4 0 0 0
[pid=10370/tid=10389] ppid=10368 vsize=10548964 CPUtime=0 cores=0,2,4,6
/proc/10370/task/10389/stat : 10389 (java) S 10368 10370 8865 0 -1 4202560 11 0 0 0 0 0 0 0 19 0 19 0 902681581 10802139136 76739 33554432000 1073741824 1073778376 140736828942000 18446744073709551615 212699491840 0 4 0 16800975 18446604453926298688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10548964

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.19
CPU user time (s): 1799.93
CPU system time (s): 0.25896
CPU usage (%): 100.319
Max. virtual memory (cumulated for all children) (KiB): 10554100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82984
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= 46349
involuntary context switches= 25473

runsolver used 3.24751 second user time and 6.586 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-12 22:33:58
IDJOB=3492513
IDBENCH=79158
IDSOLVER=1982
FILE ID=node139/3492513-1307910838
RUNJOBID= node139-1307908888-10094
PBS_JOBID= 13559516
Free space on /tmp= 2692 MiB

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

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

MD5SUM BENCH= 6f81f937ed71e1dab8ff48fcb963c1e2
RANDOM SEED=1133434425

node139.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.852
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.70
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.852
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	: 5332.75
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.852
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.74
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.852
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.75
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.852
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	: 5321.49
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.852
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.75
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.852
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.82
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.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2817260 kB
Buffers:         65816 kB
Cached:       29030108 kB
SwapCached:       3400 kB
Active:       14462004 kB
Inactive:     14753632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2817260 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:             468 kB
Writeback:           0 kB
AnonPages:      118296 kB
Mapped:          22392 kB
Slab:           853732 kB
PageTables:       4676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10551580 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 /tmp at the end= 2692 MiB
End job on node139 at 2011-06-12 23:03:55