Trace number 3492526

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.15 1794.95

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMb6d6940e1e32d980df9f418447a42cea
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.764882
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints202
Number of constraints which are clauses102
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 constraint51
Top cost 10037
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 10036
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		9996466904
0.03/0.08	c Max memory 		10048897024
0.03/0.08	c Total memory 		10048897024
0.03/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492526-1307910856.wbo
0.10/0.10	c reading problem ... 
0.29/0.29	c ... done. Wall clock time 0.183s.
0.29/0.29	c #vars     5302
0.29/0.29	c #constraints  202
0.29/0.29	c constraints type 
0.29/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
0.29/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
1.16/0.55	c SATISFIABLE
1.16/0.55	c OPTIMIZING...
1.16/0.55	c Got one! Elapsed wall clock time (in seconds):0.446
1.16/0.55	o 237
1.38/0.62	c Got one! Elapsed wall clock time (in seconds):0.513
1.38/0.62	o 86
1.59/0.86	c Got one! Elapsed wall clock time (in seconds):0.759
1.59/0.86	o 68
1.82/1.10	c Got one! Elapsed wall clock time (in seconds):0.996
1.82/1.10	o 60
2.43/1.60	c Got one! Elapsed wall clock time (in seconds):1.495
2.43/1.60	o 46
2.93/2.13	c cleaning 3589 clauses out of 7201 with flag 2000/7201
3.36/2.58	c Got one! Elapsed wall clock time (in seconds):2.477
3.36/2.58	o 40
3.56/2.74	c Got one! Elapsed wall clock time (in seconds):2.633
3.56/2.74	o 32
4.39/3.50	c Got one! Elapsed wall clock time (in seconds):3.397
4.39/3.50	o 23
4.99/4.14	c cleaning 4992 clauses out of 10026 with flag 2000/13615
5.11/4.24	c Got one! Elapsed wall clock time (in seconds):4.133
5.11/4.24	o 8
6.51/5.65	c Got one! Elapsed wall clock time (in seconds):5.55
6.51/5.65	o 7
6.91/6.08	c cleaning 5357 clauses out of 10717 with flag 1002/19298
8.82/7.93	c Got one! Elapsed wall clock time (in seconds):7.829
8.82/7.93	o 6
10.73/9.84	c cleaning 7985 clauses out of 16032 with flag 5000/29970
12.91/11.90	c cleaning 6985 clauses out of 14050 with flag 11003/35973
15.51/14.56	c cleaning 7001 clauses out of 14063 with flag 18001/42971
18.41/17.45	c Got one! Elapsed wall clock time (in seconds):17.343
18.41/17.45	o 4
20.41/19.42	c cleaning 9619 clauses out of 19317 with flag 5000/55226
20.53/19.60	c Got one! Elapsed wall clock time (in seconds):19.491
20.53/19.60	o 3
22.53/21.51	c cleaning 7583 clauses out of 15209 with flag 5001/60737
24.54/23.56	c cleaning 6779 clauses out of 13628 with flag 11003/66739
27.54/26.56	c cleaning 6890 clauses out of 13847 with flag 18001/73737
30.34/29.31	c cleaning 7431 clauses out of 14956 with flag 26000/81736
33.25/32.24	c cleaning 8210 clauses out of 16526 with flag 35001/90737
37.86/36.82	c cleaning 9112 clauses out of 18316 with flag 45001/100737
42.97/41.95	c cleaning 9553 clauses out of 19203 with flag 55000/110736
47.18/46.16	c cleaning 9775 clauses out of 19652 with flag 65002/120738
50.89/49.87	c cleaning 9873 clauses out of 19877 with flag 75002/130738
55.09/54.09	c cleaning 9949 clauses out of 20003 with flag 85001/140737
60.70/59.65	c cleaning 9987 clauses out of 20054 with flag 95001/150737
65.81/64.80	c cleaning 9993 clauses out of 20066 with flag 105000/160736
71.83/70.72	c cleaning 9992 clauses out of 20074 with flag 115001/170737
76.24/75.14	c cleaning 9924 clauses out of 20081 with flag 125000/180736
80.36/79.26	c cleaning 10001 clauses out of 20157 with flag 135000/190736
84.86/83.73	c cleaning 10010 clauses out of 20158 with flag 145002/200738
91.06/89.98	c cleaning 10003 clauses out of 20148 with flag 155002/210738
95.57/94.46	c cleaning 10013 clauses out of 20146 with flag 165003/220739
101.18/100.02	c cleaning 10000 clauses out of 20130 with flag 175000/230736
106.09/104.93	c cleaning 10022 clauses out of 20131 with flag 185001/240737
110.80/109.62	c cleaning 10010 clauses out of 20108 with flag 195000/250736
115.31/114.16	c cleaning 10003 clauses out of 20098 with flag 205000/260736
118.62/117.42	c cleaning 9981 clauses out of 20098 with flag 215003/270739
122.74/121.52	c cleaning 10003 clauses out of 20116 with flag 225002/280738
126.94/125.72	c cleaning 10020 clauses out of 20112 with flag 235001/290737
130.96/129.76	c cleaning 10019 clauses out of 20091 with flag 245000/300736
136.86/135.63	c cleaning 10009 clauses out of 20073 with flag 255001/310737
142.17/140.92	c cleaning 10010 clauses out of 20063 with flag 265000/320736
145.48/144.21	c cleaning 9990 clauses out of 20053 with flag 275000/330736
149.60/148.39	c cleaning 9999 clauses out of 20066 with flag 285003/340739
153.30/152.00	c cleaning 10002 clauses out of 20066 with flag 295002/350738
156.92/155.66	c cleaning 9999 clauses out of 20064 with flag 305002/360738
160.64/159.30	c cleaning 10001 clauses out of 20065 with flag 315002/370738
164.46/163.14	c cleaning 10000 clauses out of 20062 with flag 325000/380736
168.49/167.10	c cleaning 9988 clauses out of 20063 with flag 335001/390737
171.70/170.34	c cleaning 9955 clauses out of 20076 with flag 345002/400738
176.01/174.65	c cleaning 9999 clauses out of 20119 with flag 355000/410736
180.12/178.74	c cleaning 10011 clauses out of 20123 with flag 365003/420739
186.03/184.63	c cleaning 10004 clauses out of 20109 with flag 375000/430736
192.05/190.65	c cleaning 10025 clauses out of 20106 with flag 385001/440737
198.96/197.57	c cleaning 10008 clauses out of 20080 with flag 395000/450736
203.57/202.13	c cleaning 9999 clauses out of 20072 with flag 405000/460736
209.08/207.67	c cleaning 10004 clauses out of 20073 with flag 415000/470736
213.59/212.15	c cleaning 10033 clauses out of 20071 with flag 425002/480738
216.81/215.38	c cleaning 10012 clauses out of 20038 with flag 435002/490738
220.02/218.57	c cleaning 10007 clauses out of 20026 with flag 445002/500738
223.33/221.84	c cleaning 9993 clauses out of 20020 with flag 455003/510739
228.14/226.61	c cleaning 9990 clauses out of 20024 with flag 465000/520736
232.96/231.49	c cleaning 10006 clauses out of 20037 with flag 475003/530739
237.28/235.72	c cleaning 10004 clauses out of 20028 with flag 485000/540736
241.72/240.19	c cleaning 10002 clauses out of 20024 with flag 495000/550736
246.54/244.97	c cleaning 10004 clauses out of 20022 with flag 505000/560736
252.36/250.71	c cleaning 10002 clauses out of 20019 with flag 515001/570737
256.78/255.12	c cleaning 9983 clauses out of 20017 with flag 525001/580737
261.69/260.07	c cleaning 9972 clauses out of 20033 with flag 535000/590736
265.61/263.95	c cleaning 9980 clauses out of 20062 with flag 545001/600737
270.92/269.20	c cleaning 10001 clauses out of 20085 with flag 555004/610740
276.04/274.35	c cleaning 10003 clauses out of 20084 with flag 565004/620740
281.05/279.34	c cleaning 9983 clauses out of 20077 with flag 575000/630736
286.76/285.02	c cleaning 9999 clauses out of 20094 with flag 585000/640736
291.66/289.91	c cleaning 10000 clauses out of 20095 with flag 595000/650736
296.48/294.79	c cleaning 9999 clauses out of 20095 with flag 605000/660736
301.37/299.68	c cleaning 10000 clauses out of 20097 with flag 615001/670737
305.58/303.84	c cleaning 10019 clauses out of 20097 with flag 625001/680737
310.48/308.74	c cleaning 9992 clauses out of 20077 with flag 635000/690736
314.80/313.02	c cleaning 9990 clauses out of 20086 with flag 645001/700737
321.21/319.43	c cleaning 9992 clauses out of 20095 with flag 655000/710736
326.72/324.97	c cleaning 10021 clauses out of 20103 with flag 665000/720736
331.83/330.09	c cleaning 10011 clauses out of 20082 with flag 675000/730736
336.44/334.69	c cleaning 10005 clauses out of 20074 with flag 685003/740739
341.24/339.41	c cleaning 9998 clauses out of 20067 with flag 695001/750737
346.75/344.95	c cleaning 9997 clauses out of 20069 with flag 705001/760737
351.26/349.45	c cleaning 10008 clauses out of 20074 with flag 715003/770739
355.67/353.84	c cleaning 10005 clauses out of 20067 with flag 725004/780740
359.28/357.43	c cleaning 10014 clauses out of 20058 with flag 735000/790736
363.88/362.05	c cleaning 10012 clauses out of 20047 with flag 745003/800739
368.60/366.78	c cleaning 9997 clauses out of 20032 with flag 755000/810736
373.51/371.62	c cleaning 10001 clauses out of 20039 with flag 765004/820740
377.72/375.80	c cleaning 10007 clauses out of 20038 with flag 775004/830740
382.44/380.56	c cleaning 9984 clauses out of 20027 with flag 785000/840736
387.56/385.65	c cleaning 10003 clauses out of 20045 with flag 795002/850738
392.77/390.83	c cleaning 9998 clauses out of 20041 with flag 805001/860737
398.69/396.71	c cleaning 10002 clauses out of 20042 with flag 815000/870736
404.10/402.15	c cleaning 10007 clauses out of 20042 with flag 825002/880738
407.83/405.83	c cleaning 9955 clauses out of 20033 with flag 835000/890736
412.13/410.10	c cleaning 9978 clauses out of 20080 with flag 845002/900738
416.25/414.25	c cleaning 9987 clauses out of 20102 with flag 855002/910738
421.75/419.76	c cleaning 9982 clauses out of 20116 with flag 865003/920739
427.37/425.31	c cleaning 10021 clauses out of 20132 with flag 875001/930737
434.29/432.24	c cleaning 10009 clauses out of 20111 with flag 885001/940737
439.80/437.73	c cleaning 10002 clauses out of 20105 with flag 895004/950740
445.10/443.05	c cleaning 10002 clauses out of 20099 with flag 905000/960736
449.81/447.78	c cleaning 9997 clauses out of 20097 with flag 915000/970736
453.42/451.39	c cleaning 10007 clauses out of 20100 with flag 925000/980736
457.43/455.39	c cleaning 10010 clauses out of 20097 with flag 935004/990740
461.84/459.72	c cleaning 10000 clauses out of 20083 with flag 945000/1000736
466.25/464.11	c cleaning 10006 clauses out of 20087 with flag 955004/1010740
469.06/467.00	c cleaning 9997 clauses out of 20077 with flag 965000/1020736
471.56/469.48	c cleaning 9992 clauses out of 20081 with flag 975001/1030737
474.89/472.71	c cleaning 10011 clauses out of 20089 with flag 985001/1040737
477.90/475.73	c cleaning 10004 clauses out of 20078 with flag 995001/1050737
481.01/478.88	c cleaning 9999 clauses out of 20073 with flag 1005000/1060736
484.53/482.37	c cleaning 10000 clauses out of 20077 with flag 1015003/1070739
487.94/485.74	c cleaning 10003 clauses out of 20074 with flag 1025000/1080736
493.76/491.56	c cleaning 10022 clauses out of 20071 with flag 1035000/1090736
500.27/498.09	c cleaning 10009 clauses out of 20049 with flag 1045000/1100736
506.58/504.31	c cleaning 10007 clauses out of 20042 with flag 1055002/1110738
512.49/510.29	c cleaning 10006 clauses out of 20036 with flag 1065003/1120739
518.59/516.31	c cleaning 10000 clauses out of 20028 with flag 1075001/1130737
524.40/522.19	c cleaning 9995 clauses out of 20027 with flag 1085000/1140736
530.81/528.56	c cleaning 10001 clauses out of 20033 with flag 1095001/1150737
536.82/534.55	c cleaning 10003 clauses out of 20033 with flag 1105002/1160738
542.93/540.62	c cleaning 10001 clauses out of 20028 with flag 1115000/1170736
548.13/545.80	c cleaning 9997 clauses out of 20028 with flag 1125001/1180737
551.54/549.29	c cleaning 10003 clauses out of 20036 with flag 1135006/1190742
555.85/553.59	c cleaning 9969 clauses out of 20030 with flag 1145003/1200739
559.57/557.28	c cleaning 9992 clauses out of 20059 with flag 1155001/1210737
565.67/563.36	c cleaning 10020 clauses out of 20067 with flag 1165001/1220737
570.59/568.29	c cleaning 10011 clauses out of 20048 with flag 1175002/1230738
576.50/574.18	c cleaning 9990 clauses out of 20037 with flag 1185002/1240738
580.82/578.46	c cleaning 10010 clauses out of 20045 with flag 1195000/1250736
584.83/582.44	c cleaning 9973 clauses out of 20036 with flag 1205001/1260737
590.15/587.77	c cleaning 10020 clauses out of 20065 with flag 1215003/1270739
595.27/592.84	c cleaning 9980 clauses out of 20042 with flag 1225000/1280736
599.78/597.37	c cleaning 10018 clauses out of 20062 with flag 1235000/1290736
604.98/602.52	c cleaning 9997 clauses out of 20046 with flag 1245002/1300738
609.99/607.52	c cleaning 10012 clauses out of 20049 with flag 1255002/1310738
615.60/613.16	c cleaning 10003 clauses out of 20036 with flag 1265001/1320737
619.81/617.36	c cleaning 9950 clauses out of 20035 with flag 1275003/1330739
623.63/621.13	c cleaning 10004 clauses out of 20082 with flag 1285000/1340736
628.14/625.60	c cleaning 10004 clauses out of 20079 with flag 1295001/1350737
632.15/629.62	c cleaning 9983 clauses out of 20075 with flag 1305001/1360737
636.86/634.36	c cleaning 9954 clauses out of 20094 with flag 1315003/1370739
643.77/641.23	c cleaning 9988 clauses out of 20138 with flag 1325001/1380737
648.08/645.56	c cleaning 10046 clauses out of 20149 with flag 1335000/1390736
653.39/650.89	c cleaning 10022 clauses out of 20103 with flag 1345000/1400736
658.50/655.95	c cleaning 10011 clauses out of 20082 with flag 1355001/1410737
662.51/659.94	c cleaning 10009 clauses out of 20070 with flag 1365000/1420736
666.32/663.79	c cleaning 10012 clauses out of 20063 with flag 1375002/1430738
670.34/667.77	c cleaning 10009 clauses out of 20050 with flag 1385001/1440737
674.15/671.53	c cleaning 9998 clauses out of 20040 with flag 1395000/1450736
677.67/675.00	c cleaning 9991 clauses out of 20044 with flag 1405002/1460738
681.88/679.25	c cleaning 9996 clauses out of 20051 with flag 1415000/1470736
686.49/683.86	c cleaning 10000 clauses out of 20060 with flag 1425005/1480741
691.70/689.02	c cleaning 10000 clauses out of 20055 with flag 1435000/1490736
696.61/693.98	c cleaning 9995 clauses out of 20057 with flag 1445002/1500738
701.91/699.27	c cleaning 10003 clauses out of 20062 with flag 1455002/1510738
707.42/704.71	c cleaning 10001 clauses out of 20057 with flag 1465000/1520736
711.23/708.52	c cleaning 10013 clauses out of 20058 with flag 1475002/1530738
715.05/712.31	c cleaning 10013 clauses out of 20043 with flag 1485000/1540736
718.37/715.61	c cleaning 10003 clauses out of 20030 with flag 1495000/1550736
721.79/719.09	c cleaning 10003 clauses out of 20027 with flag 1505000/1560736
725.21/722.41	c cleaning 10002 clauses out of 20024 with flag 1515000/1570736
729.03/726.22	c cleaning 9999 clauses out of 20023 with flag 1525001/1580737
732.24/729.41	c cleaning 10002 clauses out of 20024 with flag 1535001/1590737
735.75/732.91	c cleaning 9997 clauses out of 20023 with flag 1545002/1600738
739.37/736.51	c cleaning 10002 clauses out of 20024 with flag 1555000/1610736
742.79/739.99	c cleaning 9991 clauses out of 20022 with flag 1565000/1620736
746.60/743.77	c cleaning 9989 clauses out of 20033 with flag 1575002/1630738
751.00/748.11	c cleaning 9995 clauses out of 20043 with flag 1585001/1640737
755.32/752.45	c cleaning 9996 clauses out of 20047 with flag 1595000/1650736
759.92/757.01	c cleaning 9996 clauses out of 20053 with flag 1605002/1660738
764.52/761.63	c cleaning 10001 clauses out of 20056 with flag 1615001/1670737
769.33/766.48	c cleaning 10003 clauses out of 20057 with flag 1625003/1680739
773.94/771.05	c cleaning 10000 clauses out of 20055 with flag 1635004/1690740
778.94/776.09	c cleaning 9999 clauses out of 20053 with flag 1645002/1700738
784.04/781.14	c cleaning 10003 clauses out of 20055 with flag 1655003/1710739
789.35/786.44	c cleaning 10001 clauses out of 20053 with flag 1665004/1720740
795.65/792.75	c cleaning 10001 clauses out of 20049 with flag 1675001/1730737
802.07/799.19	c cleaning 9994 clauses out of 20048 with flag 1685001/1740737
808.37/805.42	c cleaning 9998 clauses out of 20054 with flag 1695001/1750737
813.98/811.03	c cleaning 9997 clauses out of 20056 with flag 1705001/1760737
820.38/817.47	c cleaning 10026 clauses out of 20058 with flag 1715000/1770736
824.60/821.69	c cleaning 10006 clauses out of 20037 with flag 1725005/1780741
829.11/826.14	c cleaning 10003 clauses out of 20027 with flag 1735001/1790737
835.11/832.13	c cleaning 10002 clauses out of 20025 with flag 1745002/1800738
839.62/836.60	c cleaning 10000 clauses out of 20021 with flag 1755000/1810736
844.33/841.35	c cleaning 9999 clauses out of 20021 with flag 1765000/1820736
849.33/846.37	c cleaning 10000 clauses out of 20024 with flag 1775002/1830738
854.23/851.25	c cleaning 10002 clauses out of 20023 with flag 1785001/1840737
858.74/855.76	c cleaning 10000 clauses out of 20020 with flag 1795000/1850736
863.04/860.08	c cleaning 10001 clauses out of 20022 with flag 1805002/1860738
867.45/864.48	c cleaning 9999 clauses out of 20019 with flag 1815000/1870736
872.06/869.04	c cleaning 9999 clauses out of 20021 with flag 1825001/1880737
876.55/873.50	c cleaning 9999 clauses out of 20021 with flag 1835000/1890736
881.25/878.25	c cleaning 10000 clauses out of 20023 with flag 1845001/1900737
885.66/882.62	c cleaning 9996 clauses out of 20022 with flag 1855000/1910736
890.36/887.34	c cleaning 10004 clauses out of 20027 with flag 1865001/1920737
894.97/891.96	c cleaning 9999 clauses out of 20022 with flag 1875000/1930736
899.27/896.21	c cleaning 10003 clauses out of 20026 with flag 1885003/1940739
903.67/900.63	c cleaning 10003 clauses out of 20023 with flag 1895003/1950739
908.38/905.31	c cleaning 9997 clauses out of 20018 with flag 1905001/1960737
912.68/909.64	c cleaning 10001 clauses out of 20023 with flag 1915003/1970739
916.88/913.84	c cleaning 9990 clauses out of 20019 with flag 1925000/1980736
921.49/918.44	c cleaning 10006 clauses out of 20031 with flag 1935002/1990738
925.09/922.05	c cleaning 9952 clauses out of 20027 with flag 1945004/2000740
929.00/925.94	c cleaning 9993 clauses out of 20074 with flag 1955003/2010739
932.91/929.85	c cleaning 9990 clauses out of 20083 with flag 1965005/2020741
937.42/934.33	c cleaning 9994 clauses out of 20090 with flag 1975002/2030738
942.64/939.51	c cleaning 10004 clauses out of 20095 with flag 1985001/2040737
948.45/945.35	c cleaning 10013 clauses out of 20090 with flag 1995000/2050736
951.86/948.78	c cleaning 10006 clauses out of 20079 with flag 2005002/2060738
955.57/952.43	c cleaning 9992 clauses out of 20071 with flag 2015000/2070736
958.58/955.41	c cleaning 10025 clauses out of 20081 with flag 2025002/2080738
962.49/959.34	c cleaning 10005 clauses out of 20059 with flag 2035005/2090741
967.00/963.88	c cleaning 10012 clauses out of 20052 with flag 2045003/2100739
971.32/968.12	c cleaning 9997 clauses out of 20037 with flag 2055000/2110736
975.54/972.33	c cleaning 10003 clauses out of 20042 with flag 2065002/2120738
979.14/975.97	c cleaning 9970 clauses out of 20039 with flag 2075002/2130738
983.46/980.29	c cleaning 10000 clauses out of 20068 with flag 2085001/2140737
987.58/984.32	c cleaning 9999 clauses out of 20071 with flag 2095004/2150740
991.91/988.67	c cleaning 10004 clauses out of 20068 with flag 2105000/2160736
995.84/992.51	c cleaning 9960 clauses out of 20065 with flag 2115001/2170737
999.66/996.30	c cleaning 10018 clauses out of 20104 with flag 2125000/2180736
1003.47/1000.16	c cleaning 10017 clauses out of 20088 with flag 2135002/2190738
1007.58/1004.27	c cleaning 10011 clauses out of 20070 with flag 2145001/2200737
1012.09/1008.73	c cleaning 10004 clauses out of 20058 with flag 2155000/2210736
1017.20/1013.87	c cleaning 10002 clauses out of 20055 with flag 2165001/2220737
1021.50/1018.14	c cleaning 10005 clauses out of 20053 with flag 2175001/2230737
1026.01/1022.61	c cleaning 10001 clauses out of 20050 with flag 2185003/2240739
1030.72/1027.31	c cleaning 9998 clauses out of 20046 with flag 2195000/2250736
1035.31/1031.95	c cleaning 9994 clauses out of 20049 with flag 2205001/2260737
1041.22/1037.88	c cleaning 10001 clauses out of 20054 with flag 2215000/2270736
1046.52/1043.14	c cleaning 9998 clauses out of 20053 with flag 2225000/2280736
1050.92/1047.58	c cleaning 10008 clauses out of 20055 with flag 2235000/2290736
1055.73/1052.32	c cleaning 10008 clauses out of 20048 with flag 2245001/2300737
1060.45/1057.07	c cleaning 10005 clauses out of 20040 with flag 2255001/2310737
1065.25/1061.83	c cleaning 10002 clauses out of 20037 with flag 2265003/2320739
1069.96/1066.56	c cleaning 10000 clauses out of 20032 with flag 2275000/2330736
1074.57/1071.15	c cleaning 10007 clauses out of 20038 with flag 2285006/2340742
1079.28/1075.83	c cleaning 9983 clauses out of 20027 with flag 2295002/2350738
1084.28/1080.83	c cleaning 10006 clauses out of 20042 with flag 2305000/2360736
1088.89/1085.48	c cleaning 10004 clauses out of 20036 with flag 2315000/2370736
1093.59/1090.16	c cleaning 10003 clauses out of 20033 with flag 2325001/2380737
1098.49/1095.04	c cleaning 9998 clauses out of 20029 with flag 2335000/2390736
1103.80/1100.32	c cleaning 10001 clauses out of 20033 with flag 2345002/2400738
1109.20/1105.70	c cleaning 10007 clauses out of 20036 with flag 2355006/2410742
1114.71/1111.21	c cleaning 9993 clauses out of 20024 with flag 2365001/2420737
1120.41/1116.92	c cleaning 10003 clauses out of 20034 with flag 2375004/2430740
1125.02/1121.55	c cleaning 9994 clauses out of 20028 with flag 2385001/2440737
1129.04/1125.53	c cleaning 9999 clauses out of 20033 with flag 2395000/2450736
1133.27/1129.77	c cleaning 10009 clauses out of 20036 with flag 2405002/2460738
1136.88/1133.30	c cleaning 9998 clauses out of 20028 with flag 2415003/2470739
1141.20/1137.60	c cleaning 9997 clauses out of 20029 with flag 2425002/2480738
1145.71/1142.13	c cleaning 9992 clauses out of 20030 with flag 2435000/2490736
1150.44/1146.89	c cleaning 10008 clauses out of 20039 with flag 2445001/2500737
1155.37/1151.75	c cleaning 9996 clauses out of 20032 with flag 2455002/2510738
1160.08/1156.46	c cleaning 10004 clauses out of 20035 with flag 2465001/2520737
1166.20/1162.56	c cleaning 10006 clauses out of 20032 with flag 2475002/2530738
1170.73/1167.03	c cleaning 9997 clauses out of 20024 with flag 2485000/2540736
1174.93/1171.29	c cleaning 10001 clauses out of 20028 with flag 2495001/2550737
1179.24/1175.54	c cleaning 9990 clauses out of 20026 with flag 2505000/2560736
1184.26/1180.57	c cleaning 10009 clauses out of 20036 with flag 2515000/2570736
1188.98/1185.21	c cleaning 10005 clauses out of 20029 with flag 2525002/2580738
1193.59/1189.83	c cleaning 9993 clauses out of 20024 with flag 2535002/2590738
1202.00/1198.27	c cleaning 9995 clauses out of 20029 with flag 2545000/2600736
1206.62/1202.87	c cleaning 10005 clauses out of 20036 with flag 2555002/2610738
1212.14/1208.36	c cleaning 9998 clauses out of 20031 with flag 2565002/2620738
1216.65/1212.87	c cleaning 9998 clauses out of 20032 with flag 2575001/2630737
1222.57/1218.76	c cleaning 10007 clauses out of 20033 with flag 2585000/2640736
1227.58/1223.76	c cleaning 9995 clauses out of 20026 with flag 2595000/2650736
1231.88/1228.08	c cleaning 9984 clauses out of 20037 with flag 2605006/2660742
1236.70/1232.84	c cleaning 9983 clauses out of 20048 with flag 2615001/2670737
1242.12/1238.27	c cleaning 9995 clauses out of 20066 with flag 2625002/2680738
1247.14/1243.24	c cleaning 10002 clauses out of 20070 with flag 2635001/2690737
1253.66/1249.71	c cleaning 10011 clauses out of 20069 with flag 2645002/2700738
1259.29/1255.37	c cleaning 10004 clauses out of 20078 with flag 2655022/2710758
1264.80/1260.87	c cleaning 9975 clauses out of 20054 with flag 2665002/2720738
1269.41/1265.40	c cleaning 10016 clauses out of 20079 with flag 2675002/2730738
1274.43/1270.42	c cleaning 10004 clauses out of 20062 with flag 2685001/2740737
1278.93/1274.94	c cleaning 9980 clauses out of 20057 with flag 2695000/2750736
1283.64/1279.65	c cleaning 9996 clauses out of 20077 with flag 2705000/2760736
1288.06/1284.08	c cleaning 10017 clauses out of 20082 with flag 2715001/2770737
1292.27/1288.26	c cleaning 10008 clauses out of 20065 with flag 2725001/2780737
1297.18/1293.17	c cleaning 9981 clauses out of 20057 with flag 2735001/2790737
1301.90/1297.85	c cleaning 10005 clauses out of 20077 with flag 2745002/2800738
1305.81/1301.74	c cleaning 10008 clauses out of 20070 with flag 2755000/2810736
1310.02/1305.92	c cleaning 10007 clauses out of 20065 with flag 2765003/2820739
1314.24/1310.16	c cleaning 9999 clauses out of 20057 with flag 2775002/2830738
1318.25/1314.14	c cleaning 9992 clauses out of 20056 with flag 2785000/2840736
1322.45/1318.31	c cleaning 9987 clauses out of 20066 with flag 2795002/2850738
1326.67/1322.51	c cleaning 10004 clauses out of 20078 with flag 2805001/2860737
1330.69/1326.54	c cleaning 10019 clauses out of 20075 with flag 2815002/2870738
1335.10/1330.96	c cleaning 9989 clauses out of 20054 with flag 2825000/2880736
1339.21/1335.08	c cleaning 10013 clauses out of 20069 with flag 2835004/2890740
1343.92/1339.74	c cleaning 9993 clauses out of 20052 with flag 2845000/2900736
1348.23/1344.02	c cleaning 9990 clauses out of 20059 with flag 2855000/2910736
1354.73/1350.57	c cleaning 10014 clauses out of 20070 with flag 2865001/2920737
1359.73/1355.53	c cleaning 9997 clauses out of 20056 with flag 2875001/2930737
1364.95/1360.76	c cleaning 10007 clauses out of 20061 with flag 2885003/2940739
1369.17/1364.93	c cleaning 9983 clauses out of 20053 with flag 2895002/2950738
1372.78/1368.56	c cleaning 10011 clauses out of 20068 with flag 2905000/2960736
1378.19/1373.98	c cleaning 10004 clauses out of 20060 with flag 2915003/2970739
1382.69/1378.46	c cleaning 9990 clauses out of 20054 with flag 2925001/2980737
1386.51/1382.25	c cleaning 10011 clauses out of 20065 with flag 2935002/2990738
1390.52/1386.27	c cleaning 9989 clauses out of 20053 with flag 2945001/3000737
1394.33/1390.06	c cleaning 9990 clauses out of 20064 with flag 2955001/3010737
1398.35/1394.00	c cleaning 9981 clauses out of 20075 with flag 2965002/3020738
1403.25/1398.91	c cleaning 9982 clauses out of 20093 with flag 2975001/3030737
1407.88/1403.52	c cleaning 9974 clauses out of 20110 with flag 2985000/3040736
1412.28/1407.91	c cleaning 10036 clauses out of 20137 with flag 2995001/3050737
1416.89/1412.59	c cleaning 10034 clauses out of 20101 with flag 3005001/3060737
1420.71/1416.36	c cleaning 10018 clauses out of 20070 with flag 3015004/3070740
1424.42/1420.05	c cleaning 10010 clauses out of 20049 with flag 3025001/3080737
1429.33/1424.99	c cleaning 10006 clauses out of 20038 with flag 3035000/3090736
1434.15/1429.74	c cleaning 10004 clauses out of 20034 with flag 3045002/3100738
1438.77/1434.32	c cleaning 9999 clauses out of 20029 with flag 3055001/3110737
1443.38/1438.99	c cleaning 10004 clauses out of 20031 with flag 3065002/3120738
1448.38/1443.90	c cleaning 9985 clauses out of 20027 with flag 3075002/3130738
1453.39/1448.98	c cleaning 9994 clauses out of 20040 with flag 3085000/3140736
1458.40/1453.90	c cleaning 9997 clauses out of 20047 with flag 3095001/3150737
1463.70/1459.26	c cleaning 9996 clauses out of 20052 with flag 3105003/3160739
1467.42/1462.99	c cleaning 9980 clauses out of 20055 with flag 3115002/3170738
1471.12/1466.66	c cleaning 9991 clauses out of 20073 with flag 3125000/3180736
1475.04/1470.57	c cleaning 10014 clauses out of 20083 with flag 3135001/3190737
1479.66/1475.16	c cleaning 10012 clauses out of 20069 with flag 3145001/3200737
1484.66/1480.12	c cleaning 10001 clauses out of 20056 with flag 3155000/3210736
1489.47/1485.00	c cleaning 10005 clauses out of 20056 with flag 3165001/3220737
1494.37/1489.88	c cleaning 10001 clauses out of 20051 with flag 3175001/3230737
1499.28/1494.77	c cleaning 9993 clauses out of 20050 with flag 3185001/3240737
1503.79/1499.23	c cleaning 10004 clauses out of 20060 with flag 3195004/3250740
1508.49/1503.91	c cleaning 9999 clauses out of 20054 with flag 3205002/3260738
1513.29/1508.71	c cleaning 10001 clauses out of 20054 with flag 3215001/3270737
1518.29/1513.70	c cleaning 10006 clauses out of 20057 with flag 3225005/3280741
1522.40/1517.80	c cleaning 10009 clauses out of 20046 with flag 3235000/3290736
1527.21/1522.60	c cleaning 10007 clauses out of 20042 with flag 3245005/3300741
1532.03/1527.49	c cleaning 10000 clauses out of 20030 with flag 3255000/3310736
1537.33/1532.79	c cleaning 10002 clauses out of 20032 with flag 3265002/3320738
1543.84/1539.22	c cleaning 10004 clauses out of 20033 with flag 3275005/3330741
1549.15/1544.51	c cleaning 9994 clauses out of 20025 with flag 3285001/3340737
1554.26/1549.69	c cleaning 10001 clauses out of 20034 with flag 3295004/3350740
1558.77/1554.19	c cleaning 9991 clauses out of 20029 with flag 3305000/3360736
1563.17/1558.59	c cleaning 10006 clauses out of 20038 with flag 3315000/3370736
1567.78/1563.10	c cleaning 10003 clauses out of 20035 with flag 3325003/3380739
1572.19/1567.59	c cleaning 9996 clauses out of 20029 with flag 3335000/3390736
1576.68/1572.04	c cleaning 10001 clauses out of 20037 with flag 3345004/3400740
1580.99/1576.39	c cleaning 10001 clauses out of 20032 with flag 3355000/3410736
1585.59/1580.92	c cleaning 10002 clauses out of 20032 with flag 3365001/3420737
1589.99/1585.39	c cleaning 9995 clauses out of 20029 with flag 3375000/3430736
1593.19/1588.57	c cleaning 10006 clauses out of 20038 with flag 3385004/3440740
1596.61/1591.95	c cleaning 10003 clauses out of 20031 with flag 3395003/3450739
1600.13/1595.45	c cleaning 9998 clauses out of 20026 with flag 3405001/3460737
1603.66/1598.98	c cleaning 9987 clauses out of 20027 with flag 3415000/3470736
1606.98/1602.20	c cleaning 10008 clauses out of 20040 with flag 3425000/3480736
1610.49/1605.72	c cleaning 10004 clauses out of 20034 with flag 3435002/3490738
1614.12/1609.33	c cleaning 10002 clauses out of 20028 with flag 3445000/3500736
1618.44/1613.62	c cleaning 9996 clauses out of 20027 with flag 3455001/3510737
1622.55/1617.74	c cleaning 10001 clauses out of 20032 with flag 3465002/3520738
1625.97/1621.16	c cleaning 10004 clauses out of 20030 with flag 3475001/3530737
1628.98/1624.16	c cleaning 9979 clauses out of 20025 with flag 3485000/3540736
1632.39/1627.57	c cleaning 10008 clauses out of 20048 with flag 3495002/3550738
1636.41/1631.54	c cleaning 10010 clauses out of 20038 with flag 3505000/3560736
1639.83/1634.94	c cleaning 10003 clauses out of 20029 with flag 3515001/3570737
1643.43/1638.53	c cleaning 9997 clauses out of 20025 with flag 3525000/3580736
1646.75/1641.88	c cleaning 10001 clauses out of 20031 with flag 3535003/3590739
1650.56/1645.67	c cleaning 9995 clauses out of 20027 with flag 3545000/3600736
1653.77/1648.87	c cleaning 10009 clauses out of 20035 with flag 3555003/3610739
1657.68/1652.73	c cleaning 9999 clauses out of 20026 with flag 3565003/3620739
1661.08/1656.10	c cleaning 9987 clauses out of 20024 with flag 3575000/3630736
1664.48/1659.56	c cleaning 10012 clauses out of 20040 with flag 3585003/3640739
1668.59/1663.62	c cleaning 9994 clauses out of 20028 with flag 3595003/3650739
1672.10/1667.19	c cleaning 9989 clauses out of 20034 with flag 3605003/3660739
1676.81/1671.88	c cleaning 9991 clauses out of 20042 with flag 3615000/3670736
1681.42/1676.49	c cleaning 9995 clauses out of 20051 with flag 3625000/3680736
1685.62/1680.70	c cleaning 9998 clauses out of 20056 with flag 3635000/3690736
1690.03/1685.03	c cleaning 10001 clauses out of 20062 with flag 3645004/3700740
1694.33/1689.37	c cleaning 10001 clauses out of 20059 with flag 3655002/3710738
1698.83/1693.85	c cleaning 10000 clauses out of 20060 with flag 3665004/3720740
1703.45/1698.41	c cleaning 9998 clauses out of 20057 with flag 3675001/3730737
1707.65/1702.63	c cleaning 10000 clauses out of 20058 with flag 3685000/3740736
1712.17/1707.13	c cleaning 10000 clauses out of 20059 with flag 3695001/3750737
1716.77/1711.73	c cleaning 10001 clauses out of 20060 with flag 3705002/3760738
1721.17/1716.17	c cleaning 9999 clauses out of 20057 with flag 3715000/3770736
1725.78/1720.75	c cleaning 9999 clauses out of 20059 with flag 3725001/3780737
1730.38/1725.33	c cleaning 10001 clauses out of 20059 with flag 3735000/3790736
1735.29/1730.26	c cleaning 10000 clauses out of 20060 with flag 3745002/3800738
1740.29/1735.20	c cleaning 10001 clauses out of 20061 with flag 3755003/3810739
1745.30/1740.22	c cleaning 10000 clauses out of 20059 with flag 3765002/3820738
1750.00/1744.92	c cleaning 9999 clauses out of 20058 with flag 3775001/3830737
1755.00/1749.93	c cleaning 9999 clauses out of 20060 with flag 3785002/3840738
1759.91/1754.86	c cleaning 9999 clauses out of 20059 with flag 3795000/3850736
1765.12/1760.03	c cleaning 10001 clauses out of 20062 with flag 3805002/3860738
1770.02/1764.93	c cleaning 9997 clauses out of 20060 with flag 3815001/3870737
1774.72/1769.68	c cleaning 10001 clauses out of 20062 with flag 3825000/3880736
1779.72/1774.60	c cleaning 10001 clauses out of 20061 with flag 3835000/3890736
1784.72/1779.62	c cleaning 10003 clauses out of 20063 with flag 3845003/3900739
1789.52/1784.43	c cleaning 9998 clauses out of 20057 with flag 3855000/3910736
1793.93/1788.82	c cleaning 10002 clauses out of 20061 with flag 3865002/3920738
1798.34/1793.22	c cleaning 9998 clauses out of 20058 with flag 3875001/3930737
1800.05/1794.91	c starts		: 265
1800.05/1794.91	c conflicts		: 3934587
1800.05/1794.91	c decisions		: 5814710
1800.05/1794.91	c propagations		: 133676191
1800.05/1794.91	c inspects		: 5702723494
1800.05/1794.91	c shortcuts		: 0
1800.05/1794.91	c learnt literals	: 0
1800.05/1794.91	c learnt binary clauses	: 0
1800.05/1794.91	c learnt ternary clauses	: 0
1800.05/1794.91	c learnt constraints	: 3934587
1800.05/1794.91	c ignored constraints	: 0
1800.05/1794.91	c root simplifications	: 0
1800.05/1794.91	c removed literals (reason simplification)	: 13406851
1800.05/1794.91	c reason swapping (by a shorter reason)	: 0
1800.05/1794.91	c Calls to reduceDB	: 396
1800.05/1794.91	c number of reductions to clauses (during analyze)	: 0
1800.05/1794.91	c number of learned constraints concerned by reduction	: 0
1800.05/1794.91	c number of learning phase by resolution	: 0
1800.05/1794.91	c number of learning phase by cutting planes	: 0
1800.05/1794.91	c speed (assignments/second)	: 75297.21446459612
1800.05/1794.91	c non guided choices	467171
1800.05/1794.92	c learnt constraints type 
1800.05/1794.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13924
1800.05/1794.92	c constraints type 
1800.05/1794.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
1800.05/1794.92	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 101
1800.05/1794.92	s SATISFIABLE
1800.05/1794.93	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.05/1794.93	c objective function=3
1800.05/1794.93	c Total wall clock time (in seconds): 1794.83

Verifier Data 

OK	3

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.93 2/195 11696
/proc/meminfo: memFree=32333352/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 1235 0 0 0 0 0 0 0 25 0 2 0 902683547 31260672 955 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 7632 957 730 9 0 383 0
[pid=11696/tid=11697] ppid=11694 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 902683547 31260672 957 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228244348672 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0432349 s]
/proc/loadavg: 2.00 2.02 1.93 2/195 11696
/proc/meminfo: memFree=32333352/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 11289 0 1 0 2 1 0 0 25 0 13 0 902683547 10718699520 10986 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2616870 10986 1675 9 0 2607618 0
[pid=11696/tid=11697] ppid=11694 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 10143 0 1 0 2 1 0 0 25 0 13 0 902683547 10718699520 10987 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 47952068030469 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.100253 s]
/proc/loadavg: 2.00 2.02 1.93 2/195 11696
/proc/meminfo: memFree=32333352/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10540432 CPUtime=0.1 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 13137 0 1 0 8 2 0 0 25 0 18 0 902683547 10793402368 12805 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2635108 12805 2093 9 0 2625842 0
[pid=11696/tid=11697] ppid=11694 vsize=10540432 CPUtime=0.08 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 11208 0 1 0 7 1 0 0 18 0 18 0 902683547 10793402368 12805 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 47952068030469 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540432

[startup+0.301199 s]
/proc/loadavg: 2.00 2.02 1.93 2/195 11696
/proc/meminfo: memFree=32333352/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10546172 CPUtime=0.57 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 20275 0 1 0 54 3 0 0 25 0 18 0 902683547 10799280128 18087 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2636543 18087 2211 9 0 2627277 0
[pid=11696/tid=11697] ppid=11694 vsize=10546172 CPUtime=0.28 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 13601 0 1 0 26 2 0 0 18 0 18 0 902683547 10799280128 18087 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 46912505207079 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10546172

[startup+0.701146 s]
/proc/loadavg: 2.00 2.02 1.93 2/195 11696
/proc/meminfo: memFree=32333352/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10547356 CPUtime=1.49 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 22639 0 1 0 146 3 0 0 25 0 19 0 902683547 10800492544 19593 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2636839 19593 2232 9 0 2627573 0
[pid=11696/tid=11697] ppid=11694 vsize=10547356 CPUtime=0.68 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 14462 0 1 0 66 2 0 0 19 0 19 0 902683547 10800492544 19593 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 46912505737982 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10547356

[startup+1.50098 s]
/proc/loadavg: 2.00 2.02 1.93 3/214 11715
/proc/meminfo: memFree=32258888/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10547356 CPUtime=2.33 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 24513 0 1 0 229 4 0 0 25 0 19 0 902683547 10800492544 21466 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2636839 21466 2234 9 0 2627573 0
[pid=11696/tid=11697] ppid=11694 vsize=10547356 CPUtime=1.48 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 16329 0 1 0 146 2 0 0 20 0 19 0 902683547 10800492544 21466 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 46912505829194 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11696/tid=11699] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11699/stat : 11699 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683549 10800492544 21466 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11700] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11700/stat : 11700 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683549 10800492544 21466 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11701] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11701/stat : 11701 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 21466 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11702] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11702/stat : 11702 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683549 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11703] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11703/stat : 11703 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683549 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11704] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11704/stat : 11704 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683549 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11705] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11705/stat : 11705 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683549 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11706] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11706/stat : 11706 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683549 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11707] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11707/stat : 11707 (java) S 11694 11696 9967 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 0 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11708] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11708/stat : 11708 (java) S 11694 11696 9967 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 902683550 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11709] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11709/stat : 11709 (java) S 11694 11696 9967 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902683550 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11710] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11710/stat : 11710 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256172465 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11711] ppid=11694 vsize=10547356 CPUtime=0.41 cores=0,2,4,6
/proc/11696/task/11711/stat : 11711 (java) S 11694 11696 9967 0 -1 4202560 2445 0 0 0 41 0 0 0 15 0 19 0 902683552 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11712] ppid=11694 vsize=10547356 CPUtime=0.42 cores=0,2,4,6
/proc/11696/task/11712/stat : 11712 (java) S 11694 11696 9967 0 -1 4202560 4579 0 0 0 42 0 0 0 15 0 19 0 902683552 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11713] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11713/stat : 11713 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 21467 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11714] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11714/stat : 11714 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902683552 10800492544 21468 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11715] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11715/stat : 11715 (java) S 11694 11696 9967 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902683577 10800492544 21468 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 10547356

[startup+3.10074 s]
/proc/loadavg: 2.00 2.02 1.93 3/214 11715
/proc/meminfo: memFree=32245152/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10547356 CPUtime=3.99 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 29187 0 1 0 395 4 0 0 25 0 19 0 902683547 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2636839 26129 2260 9 0 2627573 0
[pid=11696/tid=11697] ppid=11694 vsize=10547356 CPUtime=3.06 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 17804 0 1 0 303 3 0 0 25 0 19 0 902683547 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 46912505757527 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11696/tid=11699] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11699/stat : 11699 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11700] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11700/stat : 11700 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11701] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11701/stat : 11701 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11702] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11702/stat : 11702 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11703] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11703/stat : 11703 (java) S 11694 11696 9967 0 -1 4202560 206 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11704] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11704/stat : 11704 (java) S 11694 11696 9967 0 -1 4202560 449 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11705] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11705/stat : 11705 (java) S 11694 11696 9967 0 -1 4202560 466 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11706] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11706/stat : 11706 (java) S 11694 11696 9967 0 -1 4202560 485 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11707] ppid=11694 vsize=10547356 CPUtime=0.01 cores=0,2,4,6
/proc/11696/task/11707/stat : 11707 (java) S 11694 11696 9967 0 -1 4202560 1582 0 0 0 1 0 0 0 16 0 19 0 902683550 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 0 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11708] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11708/stat : 11708 (java) S 11694 11696 9967 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11709] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11709/stat : 11709 (java) S 11694 11696 9967 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11710] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11710/stat : 11710 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256172465 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11711] ppid=11694 vsize=10547356 CPUtime=0.44 cores=0,2,4,6
/proc/11696/task/11711/stat : 11711 (java) S 11694 11696 9967 0 -1 4202560 2452 0 0 0 44 0 0 0 15 0 19 0 902683552 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11712] ppid=11694 vsize=10547356 CPUtime=0.44 cores=0,2,4,6
/proc/11696/task/11712/stat : 11712 (java) S 11694 11696 9967 0 -1 4202560 4588 0 0 0 44 0 0 0 15 0 19 0 902683552 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11713] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11713/stat : 11713 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11714] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11714/stat : 11714 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902683552 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11715] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11715/stat : 11715 (java) S 11694 11696 9967 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902683577 10800492544 26129 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10547356

[startup+6.30116 s]
/proc/loadavg: 2.00 2.02 1.93 3/214 11715
/proc/meminfo: memFree=32215512/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10547356 CPUtime=7.22 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 34438 0 1 0 717 5 0 0 25 0 19 0 902683547 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2636839 31012 2260 9 0 2627573 0
[pid=11696/tid=11697] ppid=11694 vsize=10547356 CPUtime=6.22 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 17808 0 1 0 619 3 0 0 25 0 19 0 902683547 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 46912505757928 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11696/tid=11699] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11699/stat : 11699 (java) S 11694 11696 9967 0 -1 4202560 878 0 0 0 0 0 0 0 15 0 19 0 902683549 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11700] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11700/stat : 11700 (java) S 11694 11696 9967 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 902683549 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11701] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11701/stat : 11701 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902683549 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11702] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11702/stat : 11702 (java) S 11694 11696 9967 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902683549 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11703] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11703/stat : 11703 (java) S 11694 11696 9967 0 -1 4202560 1127 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11704] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11704/stat : 11704 (java) S 11694 11696 9967 0 -1 4202560 594 0 0 0 0 0 0 0 15 0 19 0 902683549 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11705] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11705/stat : 11705 (java) S 11694 11696 9967 0 -1 4202560 1500 0 0 0 0 0 0 0 18 0 19 0 902683549 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11706] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11706/stat : 11706 (java) S 11694 11696 9967 0 -1 4202560 677 0 0 0 0 0 0 0 15 0 19 0 902683549 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11707] ppid=11694 vsize=10547356 CPUtime=0.05 cores=0,2,4,6
/proc/11696/task/11707/stat : 11707 (java) S 11694 11696 9967 0 -1 4202560 3421 0 0 0 5 0 0 0 16 0 19 0 902683550 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 0 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11708] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11708/stat : 11708 (java) S 11694 11696 9967 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11709] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11709/stat : 11709 (java) S 11694 11696 9967 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11710] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11710/stat : 11710 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256172465 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11711] ppid=11694 vsize=10547356 CPUtime=0.45 cores=0,2,4,6
/proc/11696/task/11711/stat : 11711 (java) S 11694 11696 9967 0 -1 4202560 2454 0 0 0 45 0 0 0 15 0 19 0 902683552 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11712] ppid=11694 vsize=10547356 CPUtime=0.45 cores=0,2,4,6
/proc/11696/task/11712/stat : 11712 (java) S 11694 11696 9967 0 -1 4202560 4588 0 0 0 45 0 0 0 15 0 19 0 902683552 10800492544 31012 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0

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

[pid=11696/tid=11704] ppid=11694 vsize=10547356 CPUtime=0.77 cores=0,2,4,6
/proc/11696/task/11704/stat : 11704 (java) S 11694 11696 9967 0 -1 4202560 2921 0 0 0 77 0 0 0 15 0 19 0 902683549 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11705] ppid=11694 vsize=10547356 CPUtime=0.72 cores=0,2,4,6
/proc/11696/task/11705/stat : 11705 (java) S 11694 11696 9967 0 -1 4202560 4215 0 0 0 72 0 0 0 15 0 19 0 902683549 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11706] ppid=11694 vsize=10547356 CPUtime=0.79 cores=0,2,4,6
/proc/11696/task/11706/stat : 11706 (java) S 11694 11696 9967 0 -1 4202560 4829 0 0 0 79 0 0 0 16 0 19 0 902683549 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11707] ppid=11694 vsize=10547356 CPUtime=16.52 cores=0,2,4,6
/proc/11696/task/11707/stat : 11707 (java) S 11694 11696 9967 0 -1 4202560 19902 0 0 0 1644 8 0 0 15 0 19 0 902683550 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 0 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11708] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11708/stat : 11708 (java) S 11694 11696 9967 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11709] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11709/stat : 11709 (java) S 11694 11696 9967 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11710] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11710/stat : 11710 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256172465 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11711] ppid=11694 vsize=10547356 CPUtime=0.49 cores=0,2,4,6
/proc/11696/task/11711/stat : 11711 (java) S 11694 11696 9967 0 -1 4202560 2462 0 0 0 49 0 0 0 15 0 19 0 902683552 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11712] ppid=11694 vsize=10547356 CPUtime=0.47 cores=0,2,4,6
/proc/11696/task/11712/stat : 11712 (java) S 11694 11696 9967 0 -1 4202560 4606 0 0 0 47 0 0 0 15 0 19 0 902683552 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11713] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11713/stat : 11713 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11714] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11714/stat : 11714 (java) S 11694 11696 9967 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902683552 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11715] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11715/stat : 11715 (java) S 11694 11696 9967 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902683577 10800492544 77741 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1727.38
Current children cumulated vsize (KiB) 10547356

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/214 11771
/proc/meminfo: memFree=31975548/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10547356 CPUtime=1787.43 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 81784 0 1 0 178720 23 0 0 25 0 19 0 902683547 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2636839 77757 2261 9 0 2627573 0
[pid=11696/tid=11697] ppid=11694 vsize=10547356 CPUtime=1763.03 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 26774 0 1 0 176295 8 0 0 25 0 19 0 902683547 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 46912505757455 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11696/tid=11699] ppid=11694 vsize=10547356 CPUtime=0.76 cores=0,2,4,6
/proc/11696/task/11699/stat : 11699 (java) S 11694 11696 9967 0 -1 4202560 1992 0 0 0 76 0 0 0 15 0 19 0 902683549 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11700] ppid=11694 vsize=10547356 CPUtime=0.77 cores=0,2,4,6
/proc/11696/task/11700/stat : 11700 (java) S 11694 11696 9967 0 -1 4202560 2743 0 0 0 77 0 0 0 15 0 19 0 902683549 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11701] ppid=11694 vsize=10547356 CPUtime=0.76 cores=0,2,4,6
/proc/11696/task/11701/stat : 11701 (java) S 11694 11696 9967 0 -1 4202560 3647 0 0 0 75 1 0 0 15 0 19 0 902683549 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11702] ppid=11694 vsize=10547356 CPUtime=0.73 cores=0,2,4,6
/proc/11696/task/11702/stat : 11702 (java) S 11694 11696 9967 0 -1 4202560 2275 0 0 0 73 0 0 0 16 0 19 0 902683549 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11703] ppid=11694 vsize=10547356 CPUtime=0.8 cores=0,2,4,6
/proc/11696/task/11703/stat : 11703 (java) S 11694 11696 9967 0 -1 4202560 4152 0 0 0 80 0 0 0 15 0 19 0 902683549 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11704] ppid=11694 vsize=10547356 CPUtime=0.79 cores=0,2,4,6
/proc/11696/task/11704/stat : 11704 (java) S 11694 11696 9967 0 -1 4202560 2923 0 0 0 79 0 0 0 15 0 19 0 902683549 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11705] ppid=11694 vsize=10547356 CPUtime=0.74 cores=0,2,4,6
/proc/11696/task/11705/stat : 11705 (java) S 11694 11696 9967 0 -1 4202560 4215 0 0 0 74 0 0 0 16 0 19 0 902683549 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11706] ppid=11694 vsize=10547356 CPUtime=0.8 cores=0,2,4,6
/proc/11696/task/11706/stat : 11706 (java) S 11694 11696 9967 0 -1 4202560 4836 0 0 0 80 0 0 0 16 0 19 0 902683549 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11707] ppid=11694 vsize=10547356 CPUtime=17.15 cores=0,2,4,6
/proc/11696/task/11707/stat : 11707 (java) S 11694 11696 9967 0 -1 4202560 19906 0 0 0 1707 8 0 0 15 0 19 0 902683550 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 0 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11708] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11708/stat : 11708 (java) S 11694 11696 9967 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11709] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11709/stat : 11709 (java) S 11694 11696 9967 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11710] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11710/stat : 11710 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256172465 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11711] ppid=11694 vsize=10547356 CPUtime=0.49 cores=0,2,4,6
/proc/11696/task/11711/stat : 11711 (java) S 11694 11696 9967 0 -1 4202560 2462 0 0 0 49 0 0 0 15 0 19 0 902683552 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11712] ppid=11694 vsize=10547356 CPUtime=0.47 cores=0,2,4,6
/proc/11696/task/11712/stat : 11712 (java) S 11694 11696 9967 0 -1 4202560 4606 0 0 0 47 0 0 0 15 0 19 0 902683552 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11713] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11713/stat : 11713 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11714] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11714/stat : 11714 (java) S 11694 11696 9967 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902683552 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11715] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11715/stat : 11715 (java) S 11694 11696 9967 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902683577 10800492544 77757 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1787.43
Current children cumulated vsize (KiB) 10547356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 1.92 1.98 1.96 3/214 11830
/proc/meminfo: memFree=31310860/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10547356 CPUtime=1800.05 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 81796 0 1 0 179981 24 0 0 25 0 19 0 902683547 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2636839 77766 2261 9 0 2627573 0
[pid=11696/tid=11697] ppid=11694 vsize=10547356 CPUtime=1775.46 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 26777 0 1 0 177538 8 0 0 25 0 19 0 902683547 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 46912505757473 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11696/tid=11699] ppid=11694 vsize=10547356 CPUtime=0.77 cores=0,2,4,6
/proc/11696/task/11699/stat : 11699 (java) S 11694 11696 9967 0 -1 4202560 1995 0 0 0 77 0 0 0 16 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11700] ppid=11694 vsize=10547356 CPUtime=0.77 cores=0,2,4,6
/proc/11696/task/11700/stat : 11700 (java) S 11694 11696 9967 0 -1 4202560 2743 0 0 0 77 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11701] ppid=11694 vsize=10547356 CPUtime=0.77 cores=0,2,4,6
/proc/11696/task/11701/stat : 11701 (java) S 11694 11696 9967 0 -1 4202560 3653 0 0 0 76 1 0 0 16 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11702] ppid=11694 vsize=10547356 CPUtime=0.73 cores=0,2,4,6
/proc/11696/task/11702/stat : 11702 (java) S 11694 11696 9967 0 -1 4202560 2275 0 0 0 73 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11703] ppid=11694 vsize=10547356 CPUtime=0.81 cores=0,2,4,6
/proc/11696/task/11703/stat : 11703 (java) S 11694 11696 9967 0 -1 4202560 4152 0 0 0 81 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11704] ppid=11694 vsize=10547356 CPUtime=0.79 cores=0,2,4,6
/proc/11696/task/11704/stat : 11704 (java) S 11694 11696 9967 0 -1 4202560 2923 0 0 0 79 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11705] ppid=11694 vsize=10547356 CPUtime=0.74 cores=0,2,4,6
/proc/11696/task/11705/stat : 11705 (java) S 11694 11696 9967 0 -1 4202560 4215 0 0 0 74 0 0 0 16 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11706] ppid=11694 vsize=10547356 CPUtime=0.8 cores=0,2,4,6
/proc/11696/task/11706/stat : 11706 (java) S 11694 11696 9967 0 -1 4202560 4836 0 0 0 80 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11707] ppid=11694 vsize=10547356 CPUtime=17.32 cores=0,2,4,6
/proc/11696/task/11707/stat : 11707 (java) S 11694 11696 9967 0 -1 4202560 19906 0 0 0 1724 8 0 0 15 0 19 0 902683550 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 0 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11708] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11708/stat : 11708 (java) S 11694 11696 9967 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11709] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11709/stat : 11709 (java) S 11694 11696 9967 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11710] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11710/stat : 11710 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256172465 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11711] ppid=11694 vsize=10547356 CPUtime=0.49 cores=0,2,4,6
/proc/11696/task/11711/stat : 11711 (java) S 11694 11696 9967 0 -1 4202560 2462 0 0 0 49 0 0 0 15 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11712] ppid=11694 vsize=10547356 CPUtime=0.47 cores=0,2,4,6
/proc/11696/task/11712/stat : 11712 (java) S 11694 11696 9967 0 -1 4202560 4606 0 0 0 47 0 0 0 15 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11713] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11713/stat : 11713 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11714] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11714/stat : 11714 (java) S 11694 11696 9967 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11715] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11715/stat : 11715 (java) S 11694 11696 9967 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902683577 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10547356

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

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

[startup+1794.9 s]
/proc/loadavg: 1.92 1.98 1.96 3/214 11830
/proc/meminfo: memFree=31310860/32951124 swapFree=67056676/67111528
[pid=11696] ppid=11694 vsize=10547356 CPUtime=1800.05 cores=0,2,4,6
/proc/11696/stat : 11696 (java) S 11694 11696 9967 0 -1 4202496 81796 0 1 0 179981 24 0 0 25 0 19 0 902683547 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11696/statm: 2636839 77766 2261 9 0 2627573 0
[pid=11696/tid=11697] ppid=11694 vsize=10547356 CPUtime=1775.46 cores=0,2,4,6
/proc/11696/task/11697/stat : 11697 (java) R 11694 11696 9967 0 -1 4202560 26777 0 1 0 177538 8 0 0 25 0 19 0 902683547 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 46912505757473 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11696/tid=11699] ppid=11694 vsize=10547356 CPUtime=0.77 cores=0,2,4,6
/proc/11696/task/11699/stat : 11699 (java) S 11694 11696 9967 0 -1 4202560 1995 0 0 0 77 0 0 0 16 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11700] ppid=11694 vsize=10547356 CPUtime=0.77 cores=0,2,4,6
/proc/11696/task/11700/stat : 11700 (java) S 11694 11696 9967 0 -1 4202560 2743 0 0 0 77 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11701] ppid=11694 vsize=10547356 CPUtime=0.77 cores=0,2,4,6
/proc/11696/task/11701/stat : 11701 (java) S 11694 11696 9967 0 -1 4202560 3653 0 0 0 76 1 0 0 16 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11702] ppid=11694 vsize=10547356 CPUtime=0.73 cores=0,2,4,6
/proc/11696/task/11702/stat : 11702 (java) S 11694 11696 9967 0 -1 4202560 2275 0 0 0 73 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11703] ppid=11694 vsize=10547356 CPUtime=0.81 cores=0,2,4,6
/proc/11696/task/11703/stat : 11703 (java) S 11694 11696 9967 0 -1 4202560 4152 0 0 0 81 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11704] ppid=11694 vsize=10547356 CPUtime=0.79 cores=0,2,4,6
/proc/11696/task/11704/stat : 11704 (java) S 11694 11696 9967 0 -1 4202560 2923 0 0 0 79 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11705] ppid=11694 vsize=10547356 CPUtime=0.74 cores=0,2,4,6
/proc/11696/task/11705/stat : 11705 (java) S 11694 11696 9967 0 -1 4202560 4215 0 0 0 74 0 0 0 16 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11706] ppid=11694 vsize=10547356 CPUtime=0.8 cores=0,2,4,6
/proc/11696/task/11706/stat : 11706 (java) S 11694 11696 9967 0 -1 4202560 4836 0 0 0 80 0 0 0 15 0 19 0 902683549 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
[pid=11696/tid=11707] ppid=11694 vsize=10547356 CPUtime=17.32 cores=0,2,4,6
/proc/11696/task/11707/stat : 11707 (java) S 11694 11696 9967 0 -1 4202560 19906 0 0 0 1724 8 0 0 15 0 19 0 902683550 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 0 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11708] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11708/stat : 11708 (java) S 11694 11696 9967 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11709] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11709/stat : 11709 (java) S 11694 11696 9967 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902683550 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11710] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11710/stat : 11710 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256172465 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11711] ppid=11694 vsize=10547356 CPUtime=0.49 cores=0,2,4,6
/proc/11696/task/11711/stat : 11711 (java) S 11694 11696 9967 0 -1 4202560 2462 0 0 0 49 0 0 0 15 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11712] ppid=11694 vsize=10547356 CPUtime=0.47 cores=0,2,4,6
/proc/11696/task/11712/stat : 11712 (java) S 11694 11696 9967 0 -1 4202560 4606 0 0 0 47 0 0 0 15 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 4 0 0 0
[pid=11696/tid=11713] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11713/stat : 11713 (java) S 11694 11696 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256164761 0 4 0 16800975 18446604449064628608 0 0 -1 2 0 0 0
[pid=11696/tid=11714] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11714/stat : 11714 (java) S 11694 11696 9967 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 902683552 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 0 0 0 0
[pid=11696/tid=11715] ppid=11694 vsize=10547356 CPUtime=0 cores=0,2,4,6
/proc/11696/task/11715/stat : 11715 (java) S 11694 11696 9967 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902683577 10800492544 77766 33554432000 1073741824 1073778376 140736147983856 18446744073709551615 228256165376 0 4 0 16800975 18446604449064628608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10547356

Child status: 143
Real time (s): 1794.95
CPU time (s): 1800.15
CPU user time (s): 1799.89
CPU system time (s): 0.253961
CPU usage (%): 100.289
Max. virtual memory (cumulated for all children) (KiB): 10547356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81906
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= 46580
involuntary context switches= 17737

runsolver used 3.21951 second user time and 6.61599 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-12 22:34:16
IDJOB=3492526
IDBENCH=79164
IDSOLVER=1982
FILE ID=node136/3492526-1307910856
RUNJOBID= node136-1307908020-11159
PBS_JOBID= 13559606
Free space on /tmp= 74060 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_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-3492526-1307910856/watcher-3492526-1307910856 -o /tmp/evaluation-result-3492526-1307910856/solver-3492526-1307910856 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492526-1307910856.wbo

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

MD5SUM BENCH= b6d6940e1e32d980df9f418447a42cea
RANDOM SEED=2024171730

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.76
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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
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.809
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.83
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.809
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.75
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.809
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:      32333508 kB
Buffers:        128428 kB
Cached:         202884 kB
SwapCached:       8452 kB
Active:         317032 kB
Inactive:       112944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32333508 kB
SwapTotal:    67111528 kB
SwapFree:     67056676 kB
Dirty:            1076 kB
Writeback:           0 kB
AnonPages:       95952 kB
Mapped:          21484 kB
Slab:           123204 kB
PageTables:       5052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10547188 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= 74052 MiB
End job on node136 at 2011-06-12 23:04:13