Trace number 3492215

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.14 1795.06

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMfc69cf5fb8ed09269ce87a121862dce7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.473927
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 constraints140
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 6854
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6853
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492215-1307908474.wbo
0.10/0.11	c reading problem ... 
0.28/0.29	c ... done. Wall clock time 0.182s.
0.28/0.29	c #vars     5240
0.28/0.29	c #constraints  202
0.28/0.29	c constraints type 
0.28/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
0.28/0.29	c org.sat4j.minisat.constraints.card.MinWatchCard => 29
0.28/0.29	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
1.14/0.51	c SATISFIABLE
1.14/0.51	c OPTIMIZING...
1.14/0.51	c Got one! Elapsed wall clock time (in seconds):0.402
1.14/0.51	o 151
1.14/0.58	c Got one! Elapsed wall clock time (in seconds):0.466
1.14/0.58	o 145
1.38/0.66	c Got one! Elapsed wall clock time (in seconds):0.548
1.38/0.66	o 139
1.60/0.83	c Got one! Elapsed wall clock time (in seconds):0.716
1.60/0.83	o 105
1.81/1.06	c Got one! Elapsed wall clock time (in seconds):0.948
1.81/1.06	o 58
2.11/1.32	c Got one! Elapsed wall clock time (in seconds):1.209
2.11/1.32	o 55
3.11/2.35	c Got one! Elapsed wall clock time (in seconds):2.24
3.11/2.35	o 52
3.41/2.68	c cleaning 4121 clauses out of 8243 with flag 1003/8243
3.54/2.78	c Got one! Elapsed wall clock time (in seconds):2.671
3.54/2.78	o 48
4.17/3.32	c Got one! Elapsed wall clock time (in seconds):3.212
4.17/3.32	o 45
5.18/4.34	c Got one! Elapsed wall clock time (in seconds):4.231
5.18/4.34	o 30
5.47/4.69	c cleaning 5342 clauses out of 10698 with flag 1001/14819
7.89/7.02	c cleaning 5637 clauses out of 11356 with flag 7001/20819
7.89/7.06	c Got one! Elapsed wall clock time (in seconds):6.951
7.89/7.06	o 26
8.04/7.14	c Got one! Elapsed wall clock time (in seconds):7.029
8.04/7.14	o 24
8.69/7.70	c Got one! Elapsed wall clock time (in seconds):7.595
8.69/7.70	o 19
10.09/9.13	c cleaning 5918 clauses out of 11880 with flag 4006/26980
10.74/9.74	c Got one! Elapsed wall clock time (in seconds):9.633
10.74/9.74	o 5
13.05/12.02	c cleaning 5698 clauses out of 11423 with flag 4002/32441
15.04/14.01	c Got one! Elapsed wall clock time (in seconds):13.902
15.04/14.01	o 4
15.44/14.42	c cleaning 5811 clauses out of 11629 with flag 1002/38345
17.85/16.87	c cleaning 5869 clauses out of 11817 with flag 7001/44344
20.76/19.71	c cleaning 6441 clauses out of 12947 with flag 14000/51343
24.26/23.22	c cleaning 7202 clauses out of 14508 with flag 22002/59345
28.77/27.70	c cleaning 8152 clauses out of 16308 with flag 31004/68347
32.17/31.19	c cleaning 9020 clauses out of 18152 with flag 41000/78343
35.99/34.92	c cleaning 9512 clauses out of 19133 with flag 51001/88344
41.09/40.05	c cleaning 9774 clauses out of 19624 with flag 61004/98347
46.60/45.54	c cleaning 9877 clauses out of 19846 with flag 71000/108343
52.61/51.59	c cleaning 9881 clauses out of 19970 with flag 81001/118344
57.33/56.27	c cleaning 9993 clauses out of 20090 with flag 91002/128345
64.04/62.99	c cleaning 9991 clauses out of 20096 with flag 101001/138344
69.55/68.47	c cleaning 10021 clauses out of 20104 with flag 111000/148343
76.17/75.00	c cleaning 10022 clauses out of 20091 with flag 121008/158351
81.18/80.08	c cleaning 10009 clauses out of 20063 with flag 131002/168345
84.99/83.80	c cleaning 9971 clauses out of 20054 with flag 141002/178345
89.10/87.98	c cleaning 10000 clauses out of 20081 with flag 151000/188343
94.41/93.24	c cleaning 9990 clauses out of 20082 with flag 161001/198344
100.32/99.16	c cleaning 9994 clauses out of 20095 with flag 171004/208347
107.02/105.84	c cleaning 10001 clauses out of 20097 with flag 181000/218343
113.93/112.76	c cleaning 9999 clauses out of 20097 with flag 191001/228344
117.94/116.74	c cleaning 10032 clauses out of 20097 with flag 201000/238343
122.75/121.52	c cleaning 10012 clauses out of 20065 with flag 211000/248343
126.86/125.65	c cleaning 10008 clauses out of 20054 with flag 221001/258344
130.37/129.14	c cleaning 9943 clauses out of 20046 with flag 231001/268344
134.18/132.97	c cleaning 9984 clauses out of 20102 with flag 241000/278343
138.80/137.54	c cleaning 9998 clauses out of 20118 with flag 251000/288343
144.50/143.21	c cleaning 10005 clauses out of 20122 with flag 261002/298345
150.41/149.19	c cleaning 10018 clauses out of 20115 with flag 271000/308343
156.43/155.17	c cleaning 10025 clauses out of 20097 with flag 281000/318343
159.34/158.02	c cleaning 10012 clauses out of 20074 with flag 291002/328345
163.46/162.15	c cleaning 10006 clauses out of 20061 with flag 301001/338344
167.27/165.99	c cleaning 10000 clauses out of 20054 with flag 311000/348343
174.69/173.39	c cleaning 9996 clauses out of 20056 with flag 321002/358345
181.90/180.56	c cleaning 9998 clauses out of 20058 with flag 331000/368343
189.31/187.91	c cleaning 9998 clauses out of 20060 with flag 341000/378343
196.43/195.09	c cleaning 9997 clauses out of 20066 with flag 351004/388347
200.35/198.98	c cleaning 9964 clauses out of 20065 with flag 361000/398343
205.65/204.22	c cleaning 9988 clauses out of 20105 with flag 371004/408347
209.87/208.45	c cleaning 10005 clauses out of 20113 with flag 381000/418343
215.98/214.50	c cleaning 10001 clauses out of 20109 with flag 391001/428344
221.58/220.17	c cleaning 10018 clauses out of 20109 with flag 401002/438345
227.99/226.51	c cleaning 10001 clauses out of 20089 with flag 411000/448343
235.00/233.53	c cleaning 10019 clauses out of 20088 with flag 421000/458343
242.51/241.01	c cleaning 10015 clauses out of 20074 with flag 431005/468348
249.04/247.55	c cleaning 10025 clauses out of 20054 with flag 441000/478343
252.35/250.87	c cleaning 9996 clauses out of 20030 with flag 451001/488344
256.16/254.69	c cleaning 9997 clauses out of 20034 with flag 461001/498344
260.27/258.79	c cleaning 9986 clauses out of 20043 with flag 471007/508350
265.61/264.10	c cleaning 10005 clauses out of 20050 with flag 481000/518343
269.32/267.76	c cleaning 9902 clauses out of 20045 with flag 491000/528343
275.94/274.33	c cleaning 10029 clauses out of 20144 with flag 501001/538344
282.87/281.28	c cleaning 10001 clauses out of 20114 with flag 511000/548343
289.79/288.13	c cleaning 10012 clauses out of 20114 with flag 521001/558344
295.90/294.22	c cleaning 9981 clauses out of 20103 with flag 531002/568345
302.52/300.81	c cleaning 10010 clauses out of 20120 with flag 541000/578343
308.83/307.11	c cleaning 9990 clauses out of 20111 with flag 551001/588344
312.65/310.99	c cleaning 9983 clauses out of 20123 with flag 561003/598346
316.96/315.29	c cleaning 10012 clauses out of 20138 with flag 571001/608344
321.27/319.50	c cleaning 10017 clauses out of 20125 with flag 581000/618343
326.48/324.77	c cleaning 10015 clauses out of 20111 with flag 591003/628346
333.59/331.84	c cleaning 9993 clauses out of 20093 with flag 601000/638343
339.00/337.23	c cleaning 10013 clauses out of 20100 with flag 611000/648343
345.51/343.72	c cleaning 10009 clauses out of 20087 with flag 621000/658343
351.72/349.93	c cleaning 10006 clauses out of 20078 with flag 631000/668343
357.63/355.80	c cleaning 9988 clauses out of 20072 with flag 641000/678343
361.64/359.89	c cleaning 9992 clauses out of 20084 with flag 651000/688343
365.85/364.03	c cleaning 10008 clauses out of 20094 with flag 661002/698345
370.26/368.47	c cleaning 10001 clauses out of 20086 with flag 671002/708345
374.16/372.39	c cleaning 9998 clauses out of 20084 with flag 681001/718344
379.18/377.31	c cleaning 10019 clauses out of 20085 with flag 691000/728343
384.79/382.98	c cleaning 10018 clauses out of 20068 with flag 701002/738345
390.61/388.77	c cleaning 10008 clauses out of 20050 with flag 711002/748345
396.63/394.79	c cleaning 10001 clauses out of 20040 with flag 721000/758343
402.37/400.42	c cleaning 10001 clauses out of 20040 with flag 731001/768344
407.79/405.82	c cleaning 10003 clauses out of 20041 with flag 741003/778346
411.90/409.97	c cleaning 9990 clauses out of 20037 with flag 751002/788345
416.01/414.04	c cleaning 9991 clauses out of 20045 with flag 761000/798343
420.23/418.29	c cleaning 10000 clauses out of 20054 with flag 771000/808343
424.45/422.42	c cleaning 9992 clauses out of 20054 with flag 781000/818343
428.85/426.83	c cleaning 10008 clauses out of 20062 with flag 791000/828343
433.56/431.58	c cleaning 9990 clauses out of 20056 with flag 801002/838345
439.27/437.22	c cleaning 10008 clauses out of 20065 with flag 811001/848344
444.09/442.06	c cleaning 10005 clauses out of 20059 with flag 821003/858346
449.21/447.12	c cleaning 10000 clauses out of 20051 with flag 831000/868343
453.73/451.61	c cleaning 10001 clauses out of 20052 with flag 841001/878344
456.94/454.89	c cleaning 9961 clauses out of 20050 with flag 851000/888343
460.65/458.56	c cleaning 9975 clauses out of 20090 with flag 861001/898344
464.96/462.80	c cleaning 10008 clauses out of 20115 with flag 871001/908344
471.57/469.42	c cleaning 10032 clauses out of 20112 with flag 881006/918349
477.18/475.00	c cleaning 9988 clauses out of 20074 with flag 891000/928343
482.59/480.47	c cleaning 10005 clauses out of 20090 with flag 901004/938347
487.79/485.66	c cleaning 10003 clauses out of 20082 with flag 911001/948344
493.30/491.17	c cleaning 10007 clauses out of 20078 with flag 921000/958343
498.71/496.50	c cleaning 10000 clauses out of 20071 with flag 931000/968343
503.31/501.12	c cleaning 10019 clauses out of 20073 with flag 941002/978345
508.33/506.16	c cleaning 10015 clauses out of 20052 with flag 951000/988343
513.94/511.70	c cleaning 10009 clauses out of 20040 with flag 961003/998346
519.96/517.79	c cleaning 9993 clauses out of 20028 with flag 971000/1008343
524.18/521.99	c cleaning 9976 clauses out of 20036 with flag 981001/1018344
528.30/526.01	c cleaning 9997 clauses out of 20060 with flag 991001/1028344
532.31/530.03	c cleaning 9991 clauses out of 20062 with flag 1001000/1038343
535.83/533.58	c cleaning 10007 clauses out of 20074 with flag 1011003/1048346
538.94/536.66	c cleaning 10000 clauses out of 20066 with flag 1021002/1058345
542.66/540.33	c cleaning 10002 clauses out of 20066 with flag 1031002/1068345
546.77/544.40	c cleaning 9996 clauses out of 20063 with flag 1041001/1078344
554.28/551.97	c cleaning 9999 clauses out of 20069 with flag 1051003/1088346
561.00/558.69	c cleaning 10007 clauses out of 20067 with flag 1061000/1098343
568.51/566.10	c cleaning 10008 clauses out of 20062 with flag 1071002/1108345
575.32/572.99	c cleaning 10003 clauses out of 20052 with flag 1081000/1118343
582.33/579.96	c cleaning 9989 clauses out of 20053 with flag 1091004/1128347
590.04/587.68	c cleaning 10005 clauses out of 20061 with flag 1101001/1138344
596.15/593.71	c cleaning 10002 clauses out of 20057 with flag 1111002/1148345
602.46/600.01	c cleaning 10002 clauses out of 20055 with flag 1121002/1158345
609.47/607.00	c cleaning 9987 clauses out of 20051 with flag 1131000/1168343
616.09/613.69	c cleaning 10002 clauses out of 20064 with flag 1141000/1178343
621.70/619.28	c cleaning 10007 clauses out of 20062 with flag 1151000/1188343
627.91/625.47	c cleaning 10008 clauses out of 20056 with flag 1161001/1198344
633.83/631.33	c cleaning 9998 clauses out of 20051 with flag 1171004/1208347
639.23/636.78	c cleaning 10001 clauses out of 20050 with flag 1181001/1218344
645.75/643.30	c cleaning 9995 clauses out of 20048 with flag 1191000/1228343
651.76/649.21	c cleaning 10010 clauses out of 20055 with flag 1201002/1238345
656.87/654.36	c cleaning 10003 clauses out of 20043 with flag 1211000/1248343
662.48/659.99	c cleaning 9998 clauses out of 20041 with flag 1221001/1258344
668.29/665.76	c cleaning 10003 clauses out of 20044 with flag 1231002/1268345
673.60/671.05	c cleaning 10001 clauses out of 20039 with flag 1241000/1278343
679.41/676.87	c cleaning 9999 clauses out of 20039 with flag 1251001/1288344
685.72/683.16	c cleaning 9995 clauses out of 20041 with flag 1261002/1298345
692.03/689.42	c cleaning 10003 clauses out of 20046 with flag 1271002/1308345
697.54/694.98	c cleaning 9983 clauses out of 20041 with flag 1281000/1318343
702.35/699.74	c cleaning 9983 clauses out of 20059 with flag 1291001/1328344
706.16/703.54	c cleaning 9977 clauses out of 20076 with flag 1301001/1338344
710.18/707.50	c cleaning 9986 clauses out of 20099 with flag 1311001/1348344
714.59/711.93	c cleaning 10005 clauses out of 20115 with flag 1321003/1358346
719.60/716.98	c cleaning 10001 clauses out of 20109 with flag 1331002/1368345
725.33/722.66	c cleaning 9999 clauses out of 20106 with flag 1341000/1378343
730.33/727.66	c cleaning 10031 clauses out of 20107 with flag 1351000/1388343
736.45/733.78	c cleaning 10015 clauses out of 20077 with flag 1361001/1398344
742.96/740.27	c cleaning 10005 clauses out of 20061 with flag 1371000/1408343
748.36/745.60	c cleaning 9995 clauses out of 20057 with flag 1381001/1418344
754.88/752.14	c cleaning 9995 clauses out of 20064 with flag 1391003/1428346
760.79/758.04	c cleaning 10006 clauses out of 20067 with flag 1401001/1438344
766.50/763.76	c cleaning 9997 clauses out of 20060 with flag 1411000/1448343
772.40/769.68	c cleaning 10002 clauses out of 20063 with flag 1421000/1458343
777.02/774.23	c cleaning 9957 clauses out of 20061 with flag 1431000/1468343
783.05/780.24	c cleaning 9987 clauses out of 20105 with flag 1441001/1478344
787.67/784.86	c cleaning 9986 clauses out of 20118 with flag 1451001/1488344
797.28/794.42	c cleaning 9992 clauses out of 20132 with flag 1461001/1498344
802.63/799.75	c cleaning 10007 clauses out of 20145 with flag 1471006/1508349
807.05/804.15	c cleaning 9997 clauses out of 20132 with flag 1481000/1518343
815.76/812.84	c cleaning 9985 clauses out of 20137 with flag 1491002/1528345
819.76/816.81	c cleaning 10005 clauses out of 20155 with flag 1501005/1538348
824.48/821.58	c cleaning 9990 clauses out of 20150 with flag 1511005/1548348
828.50/825.55	c cleaning 10014 clauses out of 20155 with flag 1521000/1558343
832.51/829.58	c cleaning 10008 clauses out of 20143 with flag 1531002/1568345
836.92/833.92	c cleaning 10004 clauses out of 20135 with flag 1541002/1578345
841.63/838.70	c cleaning 9998 clauses out of 20129 with flag 1551000/1588343
845.94/842.97	c cleaning 10000 clauses out of 20133 with flag 1561002/1598345
849.45/846.46	c cleaning 9991 clauses out of 20131 with flag 1571000/1608343
853.46/850.43	c cleaning 10003 clauses out of 20143 with flag 1581003/1618346
857.58/854.52	c cleaning 9992 clauses out of 20137 with flag 1591000/1628343
863.20/860.19	c cleaning 9994 clauses out of 20145 with flag 1601000/1638343
868.10/865.03	c cleaning 9996 clauses out of 20152 with flag 1611001/1648344
873.01/869.91	c cleaning 10001 clauses out of 20156 with flag 1621001/1658344
877.72/874.62	c cleaning 10000 clauses out of 20155 with flag 1631001/1668344
882.62/879.55	c cleaning 9999 clauses out of 20159 with flag 1641005/1678348
887.34/884.24	c cleaning 10001 clauses out of 20156 with flag 1651001/1688344
891.85/888.73	c cleaning 9995 clauses out of 20156 with flag 1661002/1698345
896.45/893.35	c cleaning 10006 clauses out of 20161 with flag 1671002/1708345
900.86/897.77	c cleaning 9993 clauses out of 20153 with flag 1681000/1718343
905.36/902.24	c cleaning 10002 clauses out of 20160 with flag 1691000/1728343
909.96/906.86	c cleaning 9999 clauses out of 20159 with flag 1701001/1738344
914.57/911.46	c cleaning 10002 clauses out of 20160 with flag 1711001/1748344
919.48/916.34	c cleaning 10000 clauses out of 20158 with flag 1721001/1758344
924.07/920.99	c cleaning 10002 clauses out of 20158 with flag 1731001/1768344
928.88/925.78	c cleaning 10014 clauses out of 20155 with flag 1741000/1778343
933.79/930.67	c cleaning 10006 clauses out of 20142 with flag 1751001/1788344
939.09/935.94	c cleaning 10004 clauses out of 20135 with flag 1761000/1798343
944.00/940.82	c cleaning 10001 clauses out of 20134 with flag 1771003/1808346
948.81/945.67	c cleaning 10003 clauses out of 20131 with flag 1781001/1818344
953.62/950.46	c cleaning 10003 clauses out of 20129 with flag 1791002/1828345
958.42/955.25	c cleaning 10001 clauses out of 20124 with flag 1801000/1838343
963.53/960.34	c cleaning 9998 clauses out of 20123 with flag 1811000/1848343
968.23/965.03	c cleaning 9996 clauses out of 20126 with flag 1821001/1858344
972.94/969.77	c cleaning 10009 clauses out of 20136 with flag 1831007/1868350
977.44/974.23	c cleaning 9995 clauses out of 20120 with flag 1841000/1878343
982.44/979.26	c cleaning 10002 clauses out of 20129 with flag 1851004/1888347
986.94/983.74	c cleaning 10002 clauses out of 20125 with flag 1861002/1898345
991.45/988.20	c cleaning 10000 clauses out of 20122 with flag 1871001/1908344
996.35/993.20	c cleaning 10000 clauses out of 20123 with flag 1881002/1918345
1001.15/997.96	c cleaning 9998 clauses out of 20122 with flag 1891001/1928344
1006.26/1003.04	c cleaning 10002 clauses out of 20125 with flag 1901002/1938345
1010.96/1007.73	c cleaning 9999 clauses out of 20122 with flag 1911001/1948344
1015.77/1012.55	c cleaning 9999 clauses out of 20123 with flag 1921001/1958344
1021.37/1018.16	c cleaning 10000 clauses out of 20124 with flag 1931001/1968344
1027.47/1024.23	c cleaning 10004 clauses out of 20127 with flag 1941004/1978347
1033.07/1029.88	c cleaning 10002 clauses out of 20125 with flag 1951006/1988349
1036.68/1033.42	c cleaning 10011 clauses out of 20118 with flag 1961001/1998344
1040.51/1037.30	c cleaning 9988 clauses out of 20108 with flag 1971002/2008345
1045.02/1041.72	c cleaning 10016 clauses out of 20118 with flag 1981000/2018343
1050.22/1046.94	c cleaning 10007 clauses out of 20102 with flag 1991000/2028343
1054.83/1051.58	c cleaning 10013 clauses out of 20097 with flag 2001002/2038345
1060.04/1056.76	c cleaning 10008 clauses out of 20083 with flag 2011001/2048344
1066.06/1062.71	c cleaning 9975 clauses out of 20074 with flag 2021000/2058343
1073.47/1070.19	c cleaning 9989 clauses out of 20102 with flag 2031003/2068346
1080.29/1076.96	c cleaning 9991 clauses out of 20112 with flag 2041002/2078345
1085.10/1081.73	c cleaning 10017 clauses out of 20121 with flag 2051002/2088345
1089.91/1086.54	c cleaning 10007 clauses out of 20103 with flag 2061001/2098344
1094.72/1091.37	c cleaning 10003 clauses out of 20098 with flag 2071003/2108346
1099.42/1096.06	c cleaning 10001 clauses out of 20094 with flag 2081002/2118345
1102.83/1099.46	c cleaning 10020 clauses out of 20091 with flag 2091000/2128343
1106.25/1102.84	c cleaning 10020 clauses out of 20072 with flag 2101001/2138344
1109.37/1105.96	c cleaning 10003 clauses out of 20052 with flag 2111001/2148344
1112.77/1109.32	c cleaning 9979 clauses out of 20048 with flag 2121000/2158343
1117.58/1114.12	c cleaning 9997 clauses out of 20069 with flag 2131000/2168343
1122.19/1118.73	c cleaning 10001 clauses out of 20074 with flag 2141002/2178345
1126.69/1123.27	c cleaning 10012 clauses out of 20072 with flag 2151001/2188344
1131.40/1127.90	c cleaning 9997 clauses out of 20062 with flag 2161003/2198346
1136.51/1133.09	c cleaning 9986 clauses out of 20062 with flag 2171000/2208343
1141.82/1138.39	c cleaning 10017 clauses out of 20079 with flag 2181003/2218346
1147.12/1143.67	c cleaning 9994 clauses out of 20060 with flag 2191001/2228344
1152.83/1149.38	c cleaning 9954 clauses out of 20066 with flag 2201001/2238344
1158.45/1154.94	c cleaning 10026 clauses out of 20111 with flag 2211000/2248343
1164.75/1161.29	c cleaning 10018 clauses out of 20086 with flag 2221001/2258344
1170.86/1167.39	c cleaning 10006 clauses out of 20069 with flag 2231002/2268345
1176.36/1172.81	c cleaning 10006 clauses out of 20063 with flag 2241002/2278345
1181.37/1177.87	c cleaning 9997 clauses out of 20056 with flag 2251001/2288344
1186.39/1182.81	c cleaning 10000 clauses out of 20058 with flag 2261000/2298343
1191.40/1187.81	c cleaning 10000 clauses out of 20061 with flag 2271003/2308346
1196.81/1193.24	c cleaning 10000 clauses out of 20058 with flag 2281000/2318343
1201.43/1197.81	c cleaning 10001 clauses out of 20060 with flag 2291002/2328345
1206.03/1202.48	c cleaning 9999 clauses out of 20057 with flag 2301000/2338343
1210.54/1206.99	c cleaning 9999 clauses out of 20058 with flag 2311000/2348343
1215.54/1212.00	c cleaning 10001 clauses out of 20060 with flag 2321001/2358344
1219.85/1216.25	c cleaning 10001 clauses out of 20059 with flag 2331001/2368344
1224.45/1220.87	c cleaning 9997 clauses out of 20057 with flag 2341000/2378343
1229.46/1225.82	c cleaning 10002 clauses out of 20062 with flag 2351002/2388345
1233.67/1230.05	c cleaning 10001 clauses out of 20059 with flag 2361001/2398344
1237.88/1234.28	c cleaning 10000 clauses out of 20058 with flag 2371001/2408344
1242.08/1238.46	c cleaning 10000 clauses out of 20060 with flag 2381003/2418346
1246.28/1242.60	c cleaning 10000 clauses out of 20057 with flag 2391000/2428343
1249.59/1245.94	c cleaning 10018 clauses out of 20057 with flag 2401000/2438343
1253.61/1249.92	c cleaning 10005 clauses out of 20039 with flag 2411000/2448343
1257.53/1253.80	c cleaning 10001 clauses out of 20036 with flag 2421002/2458345
1263.14/1259.48	c cleaning 10006 clauses out of 20034 with flag 2431001/2468344
1267.96/1264.27	c cleaning 10000 clauses out of 20027 with flag 2441000/2478343
1272.09/1268.35	c cleaning 9981 clauses out of 20027 with flag 2451000/2488343
1277.19/1273.43	c cleaning 10005 clauses out of 20047 with flag 2461001/2498344
1281.21/1277.49	c cleaning 10005 clauses out of 20041 with flag 2471000/2508343
1285.43/1281.68	c cleaning 10005 clauses out of 20036 with flag 2481000/2518343
1290.24/1286.45	c cleaning 9988 clauses out of 20034 with flag 2491003/2528346
1294.25/1290.42	c cleaning 10009 clauses out of 20043 with flag 2501000/2538343
1297.77/1293.96	c cleaning 10007 clauses out of 20038 with flag 2511004/2548347
1302.38/1298.51	c cleaning 9996 clauses out of 20029 with flag 2521002/2558345
1307.30/1303.43	c cleaning 9986 clauses out of 20034 with flag 2531003/2568346
1311.51/1307.65	c cleaning 9999 clauses out of 20047 with flag 2541002/2578345
1316.22/1312.31	c cleaning 9995 clauses out of 20050 with flag 2551004/2588347
1321.24/1317.35	c cleaning 10007 clauses out of 20056 with flag 2561005/2598348
1325.45/1321.52	c cleaning 9990 clauses out of 20044 with flag 2571000/2608343
1329.16/1325.28	c cleaning 10016 clauses out of 20058 with flag 2581004/2618347
1333.08/1329.10	c cleaning 10007 clauses out of 20042 with flag 2591004/2628347
1336.79/1332.81	c cleaning 9981 clauses out of 20033 with flag 2601002/2638345
1341.49/1337.59	c cleaning 10010 clauses out of 20053 with flag 2611003/2648346
1345.40/1341.41	c cleaning 9977 clauses out of 20041 with flag 2621001/2658344
1350.32/1346.32	c cleaning 9987 clauses out of 20063 with flag 2631000/2668343
1355.52/1351.57	c cleaning 9982 clauses out of 20078 with flag 2641002/2678345
1358.93/1354.98	c cleaning 9987 clauses out of 20096 with flag 2651002/2688345
1362.65/1358.67	c cleaning 9985 clauses out of 20107 with flag 2661000/2698343
1366.17/1362.13	c cleaning 10008 clauses out of 20124 with flag 2671002/2708345
1370.19/1366.15	c cleaning 10003 clauses out of 20115 with flag 2681001/2718344
1374.30/1370.27	c cleaning 9997 clauses out of 20114 with flag 2691003/2728346
1378.52/1374.40	c cleaning 10004 clauses out of 20118 with flag 2701004/2738347
1382.54/1378.46	c cleaning 10002 clauses out of 20111 with flag 2711001/2748344
1386.46/1382.38	c cleaning 9997 clauses out of 20109 with flag 2721001/2758344
1390.57/1386.41	c cleaning 9991 clauses out of 20112 with flag 2731001/2768344
1393.98/1389.89	c cleaning 10000 clauses out of 20121 with flag 2741001/2778344
1397.80/1393.64	c cleaning 10011 clauses out of 20120 with flag 2751000/2788343
1401.20/1397.03	c cleaning 10001 clauses out of 20110 with flag 2761001/2798344
1405.00/1400.84	c cleaning 10001 clauses out of 20111 with flag 2771003/2808346
1409.01/1404.84	c cleaning 9989 clauses out of 20108 with flag 2781001/2818344
1412.92/1408.74	c cleaning 9983 clauses out of 20121 with flag 2791003/2828346
1417.13/1412.95	c cleaning 10011 clauses out of 20135 with flag 2801000/2838343
1421.54/1417.36	c cleaning 10003 clauses out of 20124 with flag 2811000/2848343
1426.36/1422.18	c cleaning 10013 clauses out of 20123 with flag 2821002/2858345
1430.76/1426.59	c cleaning 9998 clauses out of 20108 with flag 2831000/2868343
1434.98/1430.74	c cleaning 9997 clauses out of 20114 with flag 2841004/2878347
1439.39/1435.11	c cleaning 9999 clauses out of 20116 with flag 2851003/2888346
1443.71/1439.43	c cleaning 10008 clauses out of 20119 with flag 2861005/2898348
1448.01/1443.75	c cleaning 9989 clauses out of 20110 with flag 2871004/2908347
1452.63/1448.37	c cleaning 10003 clauses out of 20118 with flag 2881001/2918344
1457.74/1453.41	c cleaning 10003 clauses out of 20115 with flag 2891001/2928344
1462.25/1457.96	c cleaning 9992 clauses out of 20111 with flag 2901000/2938343
1467.27/1462.97	c cleaning 9996 clauses out of 20120 with flag 2911001/2948344
1471.19/1466.83	c cleaning 10012 clauses out of 20123 with flag 2921000/2958343
1475.10/1470.71	c cleaning 10003 clauses out of 20111 with flag 2931000/2968343
1479.00/1474.69	c cleaning 9999 clauses out of 20110 with flag 2941002/2978345
1482.91/1478.51	c cleaning 9989 clauses out of 20110 with flag 2951001/2988344
1487.51/1483.11	c cleaning 9909 clauses out of 20121 with flag 2961001/2998344
1491.72/1487.32	c cleaning 9990 clauses out of 20211 with flag 2971000/3008343
1496.73/1492.39	c cleaning 10007 clauses out of 20224 with flag 2981003/3018346
1502.55/1498.13	c cleaning 10074 clauses out of 20216 with flag 2991002/3028345
1508.55/1504.11	c cleaning 10042 clauses out of 20140 with flag 3001000/3038343
1513.06/1508.60	c cleaning 10023 clauses out of 20098 with flag 3011000/3048343
1517.57/1513.17	c cleaning 10016 clauses out of 20076 with flag 3021001/3058344
1521.79/1517.34	c cleaning 10003 clauses out of 20059 with flag 3031000/3068343
1526.21/1521.71	c cleaning 10003 clauses out of 20060 with flag 3041004/3078347
1531.53/1527.00	c cleaning 10000 clauses out of 20053 with flag 3051000/3088343
1536.35/1531.83	c cleaning 9997 clauses out of 20053 with flag 3061000/3098343
1541.45/1537.00	c cleaning 10002 clauses out of 20058 with flag 3071002/3108345
1547.06/1542.51	c cleaning 10002 clauses out of 20058 with flag 3081004/3118347
1552.07/1547.53	c cleaning 9995 clauses out of 20053 with flag 3091001/3128344
1557.40/1552.86	c cleaning 9985 clauses out of 20057 with flag 3101000/3138343
1562.52/1557.93	c cleaning 10022 clauses out of 20072 with flag 3111000/3148343
1567.44/1562.87	c cleaning 9986 clauses out of 20050 with flag 3121000/3158343
1572.25/1567.61	c cleaning 10012 clauses out of 20067 with flag 3131003/3168346
1577.16/1572.51	c cleaning 10018 clauses out of 20057 with flag 3141005/3178348
1582.87/1578.24	c cleaning 9988 clauses out of 20035 with flag 3151001/3188344
1588.38/1583.71	c cleaning 9990 clauses out of 20047 with flag 3161001/3198344
1594.39/1589.74	c cleaning 9995 clauses out of 20057 with flag 3171001/3208344
1600.60/1595.91	c cleaning 9997 clauses out of 20063 with flag 3181002/3218345
1606.71/1602.04	c cleaning 9999 clauses out of 20067 with flag 3191003/3228346
1612.52/1607.82	c cleaning 10000 clauses out of 20066 with flag 3201001/3238344
1619.12/1614.47	c cleaning 9998 clauses out of 20065 with flag 3211000/3248343
1626.03/1621.39	c cleaning 10002 clauses out of 20069 with flag 3221002/3258345
1632.53/1627.88	c cleaning 9995 clauses out of 20065 with flag 3231000/3268343
1638.94/1634.26	c cleaning 10000 clauses out of 20070 with flag 3241000/3278343
1644.04/1639.31	c cleaning 10023 clauses out of 20072 with flag 3251002/3288345
1649.45/1644.71	c cleaning 10012 clauses out of 20049 with flag 3261002/3298345
1654.06/1649.36	c cleaning 10005 clauses out of 20038 with flag 3271003/3308346
1658.86/1654.14	c cleaning 10004 clauses out of 20034 with flag 3281004/3318347
1663.47/1658.70	c cleaning 9997 clauses out of 20026 with flag 3291000/3328343
1668.17/1663.46	c cleaning 10005 clauses out of 20032 with flag 3301003/3338346
1673.27/1668.51	c cleaning 10001 clauses out of 20026 with flag 3311002/3348345
1677.98/1673.20	c cleaning 9998 clauses out of 20023 with flag 3321000/3358343
1682.28/1677.59	c cleaning 9975 clauses out of 20025 with flag 3331000/3368343
1686.98/1682.27	c cleaning 9986 clauses out of 20050 with flag 3341000/3378343
1693.19/1688.46	c cleaning 9995 clauses out of 20068 with flag 3351004/3388347
1699.39/1694.69	c cleaning 10002 clauses out of 20072 with flag 3361003/3398346
1704.90/1700.14	c cleaning 10002 clauses out of 20067 with flag 3371000/3408343
1711.60/1706.82	c cleaning 9998 clauses out of 20065 with flag 3381000/3418343
1716.70/1711.96	c cleaning 10001 clauses out of 20072 with flag 3391005/3428348
1720.10/1715.37	c cleaning 9997 clauses out of 20067 with flag 3401001/3438344
1724.12/1719.34	c cleaning 9985 clauses out of 20069 with flag 3411000/3448343
1728.63/1723.89	c cleaning 10011 clauses out of 20086 with flag 3421002/3458345
1733.36/1728.55	c cleaning 10001 clauses out of 20074 with flag 3431001/3468344
1736.97/1732.14	c cleaning 10000 clauses out of 20074 with flag 3441002/3478345
1741.39/1736.53	c cleaning 10000 clauses out of 20073 with flag 3451001/3488344
1745.00/1740.13	c cleaning 10002 clauses out of 20073 with flag 3461001/3498344
1748.51/1743.67	c cleaning 9990 clauses out of 20070 with flag 3471000/3508343
1752.42/1747.58	c cleaning 10004 clauses out of 20080 with flag 3481000/3518343
1756.73/1751.87	c cleaning 10008 clauses out of 20079 with flag 3491003/3528346
1760.45/1755.52	c cleaning 10001 clauses out of 20073 with flag 3501005/3538348
1763.95/1759.09	c cleaning 9995 clauses out of 20067 with flag 3511000/3548343
1767.56/1762.69	c cleaning 9998 clauses out of 20072 with flag 3521000/3558343
1770.96/1766.05	c cleaning 9995 clauses out of 20075 with flag 3531001/3568344
1774.58/1769.60	c cleaning 10006 clauses out of 20081 with flag 3541002/3578345
1778.39/1773.47	c cleaning 10000 clauses out of 20073 with flag 3551000/3588343
1782.10/1777.10	c cleaning 10001 clauses out of 20073 with flag 3561000/3598343
1785.50/1780.56	c cleaning 10004 clauses out of 20075 with flag 3571003/3608346
1788.91/1783.99	c cleaning 9997 clauses out of 20069 with flag 3581001/3618344
1792.62/1787.66	c cleaning 9997 clauses out of 20072 with flag 3591001/3628344
1795.63/1790.66	c cleaning 9995 clauses out of 20075 with flag 3601001/3638344
1799.14/1794.17	c cleaning 10001 clauses out of 20081 with flag 3611002/3648345
1800.04/1795.01	c starts		: 266
1800.04/1795.01	c conflicts		: 3651348
1800.04/1795.01	c decisions		: 5568932
1800.04/1795.01	c propagations		: 116994683
1800.04/1795.01	c inspects		: 5225718971
1800.04/1795.01	c shortcuts		: 0
1800.04/1795.01	c learnt literals	: 0
1800.04/1795.01	c learnt binary clauses	: 0
1800.04/1795.01	c learnt ternary clauses	: 0
1800.04/1795.01	c learnt constraints	: 3651349
1800.04/1795.01	c ignored constraints	: 0
1800.04/1795.01	c root simplifications	: 0
1800.04/1795.01	c removed literals (reason simplification)	: 15226877
1800.04/1795.01	c reason swapping (by a shorter reason)	: 0
1800.04/1795.01	c Calls to reduceDB	: 368
1800.04/1795.01	c number of reductions to clauses (during analyze)	: 0
1800.04/1795.01	c number of learned constraints concerned by reduction	: 0
1800.04/1795.01	c number of learning phase by resolution	: 0
1800.04/1795.01	c number of learning phase by cutting planes	: 0
1800.04/1795.01	c speed (assignments/second)	: 65690.5341836431
1800.04/1795.01	c non guided choices	467227
1800.04/1795.02	c learnt constraints type 
1800.04/1795.02	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13114
1800.04/1795.02	c constraints type 
1800.04/1795.02	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 102
1800.04/1795.02	c org.sat4j.minisat.constraints.card.MinWatchCard => 29
1800.04/1795.02	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 72
1800.04/1795.02	s SATISFIABLE
1800.04/1795.03	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.04/1795.03	c objective function=4
1800.04/1795.03	c Total wall clock time (in seconds): 1794.925

Verifier Data 

OK	4

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

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

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


[startup+0 s]
/proc/loadavg: 1.99 1.79 1.63 2/195 11331
/proc/meminfo: memFree=32301000/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/11331/stat : 11331 (java) R 11329 11331 9967 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 902445374 23580672 692 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228239386088 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11331/statm: 5757 692 509 9 0 124 0

[startup+0.0123569 s]
/proc/loadavg: 1.99 1.79 1.63 2/195 11331
/proc/meminfo: memFree=32301000/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 2240 0 1 0 0 0 0 0 25 0 2 0 902445374 10681323520 1941 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2607745 1960 906 9 0 2598901 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10430980

[startup+0.100296 s]
/proc/loadavg: 1.99 1.79 1.63 2/195 11331
/proc/meminfo: memFree=32301000/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10474952 CPUtime=0.1 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 12989 0 1 0 9 1 0 0 25 0 18 0 902445374 10726350848 12685 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2618738 12685 2093 9 0 2609472 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10474952

[startup+0.300284 s]
/proc/loadavg: 1.99 1.79 1.63 2/195 11331
/proc/meminfo: memFree=32301000/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10545308 CPUtime=0.54 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 18891 0 1 0 52 2 0 0 25 0 18 0 902445374 10798395392 17326 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2636327 17326 2210 9 0 2627061 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10545308

[startup+0.700212 s]
/proc/loadavg: 1.99 1.79 1.63 2/195 11331
/proc/meminfo: memFree=32301000/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10547476 CPUtime=1.5 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 22529 0 1 0 147 3 0 0 25 0 19 0 902445374 10800615424 19148 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2636869 19148 2225 9 0 2627603 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 10547476

[startup+1.5011 s]
/proc/loadavg: 1.99 1.79 1.63 3/214 11350
/proc/meminfo: memFree=32229084/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10547476 CPUtime=2.31 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 24232 0 1 0 228 3 0 0 25 0 19 0 902445374 10800615424 20850 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2636869 20850 2227 9 0 2627603 0
[pid=11331/tid=11333] ppid=11329 vsize=10547476 CPUtime=1.47 cores=0,2,4,6
/proc/11331/task/11333/stat : 11333 (java) R 11329 11331 9967 0 -1 4202560 16161 0 1 0 146 1 0 0 25 0 19 0 902445374 10800615424 20850 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 46912505749390 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11331/tid=11334] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11334/stat : 11334 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902445376 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11335] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11335/stat : 11335 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902445376 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11336] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11336/stat : 11336 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902445376 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11337] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11337/stat : 11337 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902445376 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11338] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11338/stat : 11338 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902445376 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11339] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11339/stat : 11339 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902445376 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11340] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11340/stat : 11340 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902445376 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11341] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11341/stat : 11341 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902445376 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11342] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11342/stat : 11342 (java) S 11329 11331 9967 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902445377 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 0 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11343] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11343/stat : 11343 (java) S 11329 11331 9967 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 902445377 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11344] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11344/stat : 11344 (java) S 11329 11331 9967 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 19 0 902445377 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11345] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11345/stat : 11345 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902445380 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256172465 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11346] ppid=11329 vsize=10547476 CPUtime=0.38 cores=0,2,4,6
/proc/11331/task/11346/stat : 11346 (java) S 11329 11331 9967 0 -1 4202560 3722 0 0 0 38 0 0 0 17 0 19 0 902445380 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11347] ppid=11329 vsize=10547476 CPUtime=0.42 cores=0,2,4,6
/proc/11331/task/11347/stat : 11347 (java) S 11329 11331 9967 0 -1 4202560 3189 0 0 0 42 0 0 0 15 0 19 0 902445380 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11348] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11348/stat : 11348 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902445380 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11349] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11349/stat : 11349 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902445380 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11350] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11350/stat : 11350 (java) S 11329 11331 9967 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902445405 10800615424 20851 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10547476

[startup+3.10085 s]
/proc/loadavg: 1.99 1.79 1.63 3/214 11350
/proc/meminfo: memFree=32220140/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10547476 CPUtime=3.94 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 29419 0 1 0 391 3 0 0 25 0 19 0 902445374 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2636869 26034 2253 9 0 2627603 0
[pid=11331/tid=11333] ppid=11329 vsize=10547476 CPUtime=3.06 cores=0,2,4,6
/proc/11331/task/11333/stat : 11333 (java) R 11329 11331 9967 0 -1 4202560 17808 0 1 0 304 2 0 0 25 0 19 0 902445374 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 46912505687456 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11331/tid=11334] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11334/stat : 11334 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902445376 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11335] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11335/stat : 11335 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902445376 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11336] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11336/stat : 11336 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902445376 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11337] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11337/stat : 11337 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902445376 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11338] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11338/stat : 11338 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902445376 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11339] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11339/stat : 11339 (java) S 11329 11331 9967 0 -1 4202560 653 0 0 0 0 0 0 0 18 0 19 0 902445376 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11340] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11340/stat : 11340 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902445376 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11341] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11341/stat : 11341 (java) S 11329 11331 9967 0 -1 4202560 1122 0 0 0 0 0 0 0 18 0 19 0 902445376 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11342] ppid=11329 vsize=10547476 CPUtime=0.01 cores=0,2,4,6
/proc/11331/task/11342/stat : 11342 (java) S 11329 11331 9967 0 -1 4202560 1757 0 0 0 1 0 0 0 15 0 19 0 902445377 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 0 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11343] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11343/stat : 11343 (java) S 11329 11331 9967 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902445377 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11344] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11344/stat : 11344 (java) S 11329 11331 9967 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902445377 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11345] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11345/stat : 11345 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902445380 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256172465 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11346] ppid=11329 vsize=10547476 CPUtime=0.39 cores=0,2,4,6
/proc/11331/task/11346/stat : 11346 (java) S 11329 11331 9967 0 -1 4202560 3726 0 0 0 39 0 0 0 15 0 19 0 902445380 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11347] ppid=11329 vsize=10547476 CPUtime=0.44 cores=0,2,4,6
/proc/11331/task/11347/stat : 11347 (java) S 11329 11331 9967 0 -1 4202560 3196 0 0 0 44 0 0 0 15 0 19 0 902445380 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11348] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11348/stat : 11348 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902445380 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11349] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11349/stat : 11349 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902445380 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11350] ppid=11329 vsize=10547476 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11350/stat : 11350 (java) S 11329 11331 9967 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902445405 10800615424 26034 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 10547476

[startup+6.30127 s]
/proc/loadavg: 1.99 1.80 1.63 3/214 11350
/proc/meminfo: memFree=32191608/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10545464 CPUtime=7.19 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 32714 0 1 0 715 4 0 0 25 0 19 0 902445374 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2636366 28822 2253 9 0 2627100 0
[pid=11331/tid=11333] ppid=11329 vsize=10545464 CPUtime=6.23 cores=0,2,4,6
/proc/11331/task/11333/stat : 11333 (java) R 11329 11331 9967 0 -1 4202560 17811 0 1 0 621 2 0 0 25 0 19 0 902445374 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 46912505695627 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11331/tid=11334] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11334/stat : 11334 (java) S 11329 11331 9967 0 -1 4202560 83 0 0 0 0 0 0 0 18 0 19 0 902445376 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11335] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11335/stat : 11335 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902445376 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11336] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11336/stat : 11336 (java) S 11329 11331 9967 0 -1 4202560 1134 0 0 0 0 0 0 0 16 0 19 0 902445376 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11337] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11337/stat : 11337 (java) S 11329 11331 9967 0 -1 4202560 1252 0 0 0 0 0 0 0 16 0 19 0 902445376 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11338] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11338/stat : 11338 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902445376 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11339] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11339/stat : 11339 (java) S 11329 11331 9967 0 -1 4202560 653 0 0 0 0 0 0 0 15 0 19 0 902445376 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11340] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11340/stat : 11340 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902445376 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11341] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11341/stat : 11341 (java) S 11329 11331 9967 0 -1 4202560 1122 0 0 0 0 0 0 0 18 0 19 0 902445376 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11342] ppid=11329 vsize=10545464 CPUtime=0.03 cores=0,2,4,6
/proc/11331/task/11342/stat : 11342 (java) S 11329 11331 9967 0 -1 4202560 2577 0 0 0 3 0 0 0 15 0 19 0 902445377 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 0 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11343] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11343/stat : 11343 (java) S 11329 11331 9967 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11344] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11344/stat : 11344 (java) S 11329 11331 9967 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11345] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11345/stat : 11345 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902445380 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256172465 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11346] ppid=11329 vsize=10545464 CPUtime=0.4 cores=0,2,4,6
/proc/11331/task/11346/stat : 11346 (java) S 11329 11331 9967 0 -1 4202560 3729 0 0 0 40 0 0 0 15 0 19 0 902445380 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11347] ppid=11329 vsize=10545464 CPUtime=0.47 cores=0,2,4,6
/proc/11331/task/11347/stat : 11347 (java) S 11329 11331 9967 0 -1 4202560 3199 0 0 0 47 0 0 0 15 0 19 0 902445380 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11348] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11348/stat : 11348 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902445380 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11349] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11349/stat : 11349 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902445380 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11350] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11350/stat : 11350 (java) S 11329 11331 9967 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902445405 10798555136 28822 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 10545464

[startup+12.7011 s]

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

[pid=11331/tid=11339] ppid=11329 vsize=10545464 CPUtime=0.65 cores=0,2,4,6
/proc/11331/task/11339/stat : 11339 (java) S 11329 11331 9967 0 -1 4202560 3122 0 0 0 65 0 0 0 15 0 19 0 902445376 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11340] ppid=11329 vsize=10545464 CPUtime=0.72 cores=0,2,4,6
/proc/11331/task/11340/stat : 11340 (java) S 11329 11331 9967 0 -1 4202560 4042 0 0 0 72 0 0 0 16 0 19 0 902445376 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11341] ppid=11329 vsize=10545464 CPUtime=0.63 cores=0,2,4,6
/proc/11331/task/11341/stat : 11341 (java) S 11329 11331 9967 0 -1 4202560 3936 0 0 0 63 0 0 0 15 0 19 0 902445376 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11342] ppid=11329 vsize=10545464 CPUtime=14.08 cores=0,2,4,6
/proc/11331/task/11342/stat : 11342 (java) S 11329 11331 9967 0 -1 4202560 21235 0 0 0 1403 5 0 0 15 0 19 0 902445377 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 0 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11343] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11343/stat : 11343 (java) S 11329 11331 9967 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11344] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11344/stat : 11344 (java) S 11329 11331 9967 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11345] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11345/stat : 11345 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902445380 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256172465 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11346] ppid=11329 vsize=10545464 CPUtime=0.41 cores=0,2,4,6
/proc/11331/task/11346/stat : 11346 (java) S 11329 11331 9967 0 -1 4202560 3732 0 0 0 41 0 0 0 15 0 19 0 902445380 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11347] ppid=11329 vsize=10545464 CPUtime=0.63 cores=0,2,4,6
/proc/11331/task/11347/stat : 11347 (java) S 11329 11331 9967 0 -1 4202560 5550 0 0 0 63 0 0 0 15 0 19 0 902445380 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11348] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11348/stat : 11348 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902445380 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11349] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11349/stat : 11349 (java) S 11329 11331 9967 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 902445380 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11350] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11350/stat : 11350 (java) S 11329 11331 9967 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902445405 10798555136 83612 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1667.07
Current children cumulated vsize (KiB) 10545464

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 11467
/proc/meminfo: memFree=32006996/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10545464 CPUtime=1727.13 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 89689 0 1 0 172696 17 0 0 25 0 19 0 902445374 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2636366 83647 2254 9 0 2627100 0
[pid=11331/tid=11333] ppid=11329 vsize=10545464 CPUtime=1705.66 cores=0,2,4,6
/proc/11331/task/11333/stat : 11333 (java) R 11329 11331 9967 0 -1 4202560 28648 0 1 0 170562 4 0 0 25 0 19 0 902445374 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 46912505897634 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11331/tid=11334] ppid=11329 vsize=10545464 CPUtime=0.7 cores=0,2,4,6
/proc/11331/task/11334/stat : 11334 (java) S 11329 11331 9967 0 -1 4202560 3914 0 0 0 70 0 0 0 16 0 19 0 902445376 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11335] ppid=11329 vsize=10545464 CPUtime=0.65 cores=0,2,4,6
/proc/11331/task/11335/stat : 11335 (java) S 11329 11331 9967 0 -1 4202560 3383 0 0 0 65 0 0 0 16 0 19 0 902445376 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11336] ppid=11329 vsize=10545464 CPUtime=0.69 cores=0,2,4,6
/proc/11331/task/11336/stat : 11336 (java) S 11329 11331 9967 0 -1 4202560 3227 0 0 0 69 0 0 0 15 0 19 0 902445376 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11337] ppid=11329 vsize=10545464 CPUtime=0.72 cores=0,2,4,6
/proc/11331/task/11337/stat : 11337 (java) S 11329 11331 9967 0 -1 4202560 4314 0 0 0 72 0 0 0 15 0 19 0 902445376 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11338] ppid=11329 vsize=10545464 CPUtime=0.78 cores=0,2,4,6
/proc/11331/task/11338/stat : 11338 (java) S 11329 11331 9967 0 -1 4202560 3328 0 0 0 78 0 0 0 15 0 19 0 902445376 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11339] ppid=11329 vsize=10545464 CPUtime=0.67 cores=0,2,4,6
/proc/11331/task/11339/stat : 11339 (java) S 11329 11331 9967 0 -1 4202560 3128 0 0 0 67 0 0 0 16 0 19 0 902445376 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11340] ppid=11329 vsize=10545464 CPUtime=0.74 cores=0,2,4,6
/proc/11331/task/11340/stat : 11340 (java) S 11329 11331 9967 0 -1 4202560 4042 0 0 0 74 0 0 0 15 0 19 0 902445376 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11341] ppid=11329 vsize=10545464 CPUtime=0.64 cores=0,2,4,6
/proc/11331/task/11341/stat : 11341 (java) S 11329 11331 9967 0 -1 4202560 3936 0 0 0 64 0 0 0 15 0 19 0 902445376 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11342] ppid=11329 vsize=10545464 CPUtime=14.7 cores=0,2,4,6
/proc/11331/task/11342/stat : 11342 (java) S 11329 11331 9967 0 -1 4202560 21237 0 0 0 1465 5 0 0 15 0 19 0 902445377 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 0 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11343] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11343/stat : 11343 (java) S 11329 11331 9967 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11344] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11344/stat : 11344 (java) S 11329 11331 9967 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11345] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11345/stat : 11345 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902445380 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256172465 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11346] ppid=11329 vsize=10545464 CPUtime=0.41 cores=0,2,4,6
/proc/11331/task/11346/stat : 11346 (java) S 11329 11331 9967 0 -1 4202560 3732 0 0 0 41 0 0 0 15 0 19 0 902445380 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11347] ppid=11329 vsize=10545464 CPUtime=0.63 cores=0,2,4,6
/proc/11331/task/11347/stat : 11347 (java) S 11329 11331 9967 0 -1 4202560 5550 0 0 0 63 0 0 0 15 0 19 0 902445380 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11348] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11348/stat : 11348 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902445380 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11349] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11349/stat : 11349 (java) S 11329 11331 9967 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 902445380 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11350] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11350/stat : 11350 (java) S 11329 11331 9967 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902445405 10798555136 83647 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1727.13
Current children cumulated vsize (KiB) 10545464

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 11469
/proc/meminfo: memFree=31991284/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10545464 CPUtime=1787.31 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 89728 0 1 0 178714 17 0 0 25 0 19 0 902445374 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2636366 83664 2254 9 0 2627100 0
[pid=11331/tid=11333] ppid=11329 vsize=10545464 CPUtime=1764.72 cores=0,2,4,6
/proc/11331/task/11333/stat : 11333 (java) R 11329 11331 9967 0 -1 4202560 28664 0 1 0 176468 4 0 0 25 0 19 0 902445374 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 46912505685382 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11331/tid=11334] ppid=11329 vsize=10545464 CPUtime=0.74 cores=0,2,4,6
/proc/11331/task/11334/stat : 11334 (java) S 11329 11331 9967 0 -1 4202560 3918 0 0 0 74 0 0 0 15 0 19 0 902445376 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11335] ppid=11329 vsize=10545464 CPUtime=0.68 cores=0,2,4,6
/proc/11331/task/11335/stat : 11335 (java) S 11329 11331 9967 0 -1 4202560 3388 0 0 0 68 0 0 0 16 0 19 0 902445376 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11336] ppid=11329 vsize=10545464 CPUtime=0.73 cores=0,2,4,6
/proc/11331/task/11336/stat : 11336 (java) S 11329 11331 9967 0 -1 4202560 3227 0 0 0 73 0 0 0 15 0 19 0 902445376 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11337] ppid=11329 vsize=10545464 CPUtime=0.75 cores=0,2,4,6
/proc/11331/task/11337/stat : 11337 (java) S 11329 11331 9967 0 -1 4202560 4314 0 0 0 75 0 0 0 15 0 19 0 902445376 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11338] ppid=11329 vsize=10545464 CPUtime=0.8 cores=0,2,4,6
/proc/11331/task/11338/stat : 11338 (java) S 11329 11331 9967 0 -1 4202560 3328 0 0 0 80 0 0 0 15 0 19 0 902445376 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11339] ppid=11329 vsize=10545464 CPUtime=0.71 cores=0,2,4,6
/proc/11331/task/11339/stat : 11339 (java) S 11329 11331 9967 0 -1 4202560 3132 0 0 0 71 0 0 0 16 0 19 0 902445376 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11340] ppid=11329 vsize=10545464 CPUtime=0.78 cores=0,2,4,6
/proc/11331/task/11340/stat : 11340 (java) S 11329 11331 9967 0 -1 4202560 4046 0 0 0 78 0 0 0 15 0 19 0 902445376 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11341] ppid=11329 vsize=10545464 CPUtime=0.66 cores=0,2,4,6
/proc/11331/task/11341/stat : 11341 (java) S 11329 11331 9967 0 -1 4202560 3936 0 0 0 66 0 0 0 16 0 19 0 902445376 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11342] ppid=11329 vsize=10545464 CPUtime=15.55 cores=0,2,4,6
/proc/11331/task/11342/stat : 11342 (java) S 11329 11331 9967 0 -1 4202560 21241 0 0 0 1549 6 0 0 15 0 19 0 902445377 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 0 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11343] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11343/stat : 11343 (java) S 11329 11331 9967 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11344] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11344/stat : 11344 (java) S 11329 11331 9967 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11345] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11345/stat : 11345 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902445380 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256172465 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11346] ppid=11329 vsize=10545464 CPUtime=0.41 cores=0,2,4,6
/proc/11331/task/11346/stat : 11346 (java) S 11329 11331 9967 0 -1 4202560 3732 0 0 0 41 0 0 0 15 0 19 0 902445380 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11347] ppid=11329 vsize=10545464 CPUtime=0.63 cores=0,2,4,6
/proc/11331/task/11347/stat : 11347 (java) S 11329 11331 9967 0 -1 4202560 5550 0 0 0 63 0 0 0 15 0 19 0 902445380 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11348] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11348/stat : 11348 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902445380 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11349] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11349/stat : 11349 (java) S 11329 11331 9967 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 902445380 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11350] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11350/stat : 11350 (java) S 11329 11331 9967 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902445405 10798555136 83664 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1787.31
Current children cumulated vsize (KiB) 10545464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795 s]
/proc/loadavg: 2.00 2.00 1.91 3/214 11469
/proc/meminfo: memFree=31991252/32951124 swapFree=67056676/67111528
[pid=11331] ppid=11329 vsize=10545464 CPUtime=1800.04 cores=0,2,4,6
/proc/11331/stat : 11331 (java) S 11329 11331 9967 0 -1 4202496 89740 0 1 0 179986 18 0 0 25 0 19 0 902445374 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11331/statm: 2636366 83668 2254 9 0 2627100 0
[pid=11331/tid=11333] ppid=11329 vsize=10545464 CPUtime=1777.2 cores=0,2,4,6
/proc/11331/task/11333/stat : 11333 (java) R 11329 11331 9967 0 -1 4202560 28668 0 1 0 177716 4 0 0 25 0 19 0 902445374 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 46912505685412 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11331/tid=11334] ppid=11329 vsize=10545464 CPUtime=0.75 cores=0,2,4,6
/proc/11331/task/11334/stat : 11334 (java) S 11329 11331 9967 0 -1 4202560 3918 0 0 0 75 0 0 0 15 0 19 0 902445376 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11335] ppid=11329 vsize=10545464 CPUtime=0.69 cores=0,2,4,6
/proc/11331/task/11335/stat : 11335 (java) S 11329 11331 9967 0 -1 4202560 3392 0 0 0 69 0 0 0 15 0 19 0 902445376 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11336] ppid=11329 vsize=10545464 CPUtime=0.73 cores=0,2,4,6
/proc/11331/task/11336/stat : 11336 (java) S 11329 11331 9967 0 -1 4202560 3227 0 0 0 73 0 0 0 15 0 19 0 902445376 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11337] ppid=11329 vsize=10545464 CPUtime=0.76 cores=0,2,4,6
/proc/11331/task/11337/stat : 11337 (java) S 11329 11331 9967 0 -1 4202560 4314 0 0 0 76 0 0 0 15 0 19 0 902445376 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11338] ppid=11329 vsize=10545464 CPUtime=0.81 cores=0,2,4,6
/proc/11331/task/11338/stat : 11338 (java) S 11329 11331 9967 0 -1 4202560 3328 0 0 0 81 0 0 0 15 0 19 0 902445376 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11339] ppid=11329 vsize=10545464 CPUtime=0.72 cores=0,2,4,6
/proc/11331/task/11339/stat : 11339 (java) S 11329 11331 9967 0 -1 4202560 3132 0 0 0 72 0 0 0 15 0 19 0 902445376 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11340] ppid=11329 vsize=10545464 CPUtime=0.79 cores=0,2,4,6
/proc/11331/task/11340/stat : 11340 (java) S 11329 11331 9967 0 -1 4202560 4046 0 0 0 79 0 0 0 15 0 19 0 902445376 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 6 0 0 0
[pid=11331/tid=11341] ppid=11329 vsize=10545464 CPUtime=0.66 cores=0,2,4,6
/proc/11331/task/11341/stat : 11341 (java) S 11329 11331 9967 0 -1 4202560 3936 0 0 0 66 0 0 0 15 0 19 0 902445376 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11342] ppid=11329 vsize=10545464 CPUtime=15.76 cores=0,2,4,6
/proc/11331/task/11342/stat : 11342 (java) S 11329 11331 9967 0 -1 4202560 21243 0 0 0 1570 6 0 0 16 0 19 0 902445377 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 0 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11343] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11343/stat : 11343 (java) S 11329 11331 9967 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11344] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11344/stat : 11344 (java) S 11329 11331 9967 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 902445377 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
[pid=11331/tid=11345] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11345/stat : 11345 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902445380 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256172465 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11346] ppid=11329 vsize=10545464 CPUtime=0.41 cores=0,2,4,6
/proc/11331/task/11346/stat : 11346 (java) S 11329 11331 9967 0 -1 4202560 3732 0 0 0 41 0 0 0 15 0 19 0 902445380 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 4 0 0 0
[pid=11331/tid=11347] ppid=11329 vsize=10545464 CPUtime=0.63 cores=0,2,4,6
/proc/11331/task/11347/stat : 11347 (java) S 11329 11331 9967 0 -1 4202560 5550 0 0 0 63 0 0 0 15 0 19 0 902445380 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11348] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11348/stat : 11348 (java) S 11329 11331 9967 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902445380 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256164761 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11349] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11349/stat : 11349 (java) S 11329 11331 9967 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902445380 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 2 0 0 0
[pid=11331/tid=11350] ppid=11329 vsize=10545464 CPUtime=0 cores=0,2,4,6
/proc/11331/task/11350/stat : 11350 (java) S 11329 11331 9967 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 902445405 10798555136 83668 33554432000 1073741824 1073778376 140733826773312 18446744073709551615 228256165376 0 4 0 16800975 18446604443459131392 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10545464

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

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

Child status: 143
Real time (s): 1795.06
CPU time (s): 1800.14
CPU user time (s): 1799.94
CPU system time (s): 0.19597
CPU usage (%): 100.283
Max. virtual memory (cumulated for all children) (KiB): 10549588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.19597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89853
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= 46201
involuntary context switches= 20176

runsolver used 3.2545 second user time and 6.577 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-12 21:54:34
IDJOB=3492215
IDBENCH=78692
IDSOLVER=1982
FILE ID=node136/3492215-1307908474
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/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492215-1307908474/watcher-3492215-1307908474 -o /tmp/evaluation-result-3492215-1307908474/solver-3492215-1307908474 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492215-1307908474.wbo

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

MD5SUM BENCH= fc69cf5fb8ed09269ce87a121862dce7
RANDOM SEED=2085395961

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:      32301552 kB
Buffers:        123608 kB
Cached:         202672 kB
SwapCached:       8452 kB
Active:         355000 kB
Inactive:       108092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32301552 kB
SwapTotal:    67111528 kB
SwapFree:     67056676 kB
Dirty:             556 kB
Writeback:           0 kB
AnonPages:      134284 kB
Mapped:          21508 kB
Slab:           122892 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10546636 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= 74060 MiB
End job on node136 at 2011-06-12 22:24:31