Trace number 2698186

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 PB Resolution 2.2.1MSAT (TO) 1800.19 1794.49

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.07/1.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/1.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/1.10	c See www.sat4j.org for details.
0.07/1.11	c version 2.2.1.v20100705
0.07/1.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/1.11	c java.vm.name		Java HotSpot(TM) Server VM
0.07/1.11	c java.vm.version	11.2-b01
0.07/1.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/1.11	c sun.arch.data.model	32
0.07/1.11	c java.version		1.6.0_12
0.07/1.11	c os.name		Linux
0.07/1.11	c os.version		2.6.18-164.el5
0.07/1.11	c os.arch		i386
0.07/1.11	c Free memory 		1393557488
0.07/1.11	c Max memory 		1395916800
0.07/1.11	c Total memory 		1395916800
0.07/1.11	c Number of processors 	8
0.07/1.13	c Pseudo Boolean Optimization
0.07/1.13	c --- Begin Solver configuration ---
0.07/1.13	c Stops conflict analysis at the first Unique Implication Point
0.07/1.13	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@16fd0b7
0.07/1.13	c Learn all clauses as in MiniSAT
0.07/1.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/1.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/1.13	c Expensive reason simplification
0.07/1.13	c Armin Biere (Picosat) restarts strategy
0.07/1.13	c Glucose learned constraints deletion strategy
0.07/1.13	c timeout=2147483s
0.07/1.13	c DB Simplification allowed=false
0.07/1.13	c --- End Solver configuration ---
0.07/1.13	c solving HOME/instance-2698186-1278323728.wbo
0.07/1.13	c reading problem ... 
0.47/1.32	c ... done. Wall clock time 0.194s.
0.47/1.32	c #vars     6152
0.47/1.32	c #constraints  220
0.47/1.32	c constraints type 
0.47/1.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
0.47/1.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.47/1.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 70
1.67/1.73	c SATISFIABLE
1.67/1.73	c OPTIMIZING...
1.67/1.73	c Got one! Elapsed wall clock time (in seconds):0.604
1.67/1.73	o 178
1.67/1.79	c Got one! Elapsed wall clock time (in seconds):0.655
1.67/1.79	o 162
2.02/1.90	c Got one! Elapsed wall clock time (in seconds):0.767
2.02/1.90	o 77
2.13/2.05	c Got one! Elapsed wall clock time (in seconds):0.924
2.13/2.05	o 65
2.44/2.33	c Got one! Elapsed wall clock time (in seconds):1.196
2.44/2.33	o 59
2.54/2.45	c Got one! Elapsed wall clock time (in seconds):1.315
2.54/2.45	o 45
3.13/3.02	c cleaning 2487 clauses out of 5002 with flag 5002/5002
3.47/3.37	c Got one! Elapsed wall clock time (in seconds):2.243
3.47/3.37	o 36
4.37/4.20	c Got one! Elapsed wall clock time (in seconds):3.07
4.37/4.20	o 28
5.47/5.39	c Got one! Elapsed wall clock time (in seconds):4.26
5.47/5.39	o 22
6.09/5.98	c cleaning 4232 clauses out of 8514 with flag 11001/11001
6.71/6.51	c Got one! Elapsed wall clock time (in seconds):5.38
6.71/6.51	o 17
9.11/8.92	c Got one! Elapsed wall clock time (in seconds):7.79
9.11/8.92	o 15
10.64/10.47	c cleaning 5607 clauses out of 11281 with flag 18000/18000
11.16/10.97	c Got one! Elapsed wall clock time (in seconds):9.837
11.16/10.97	o 11
15.95/15.71	c cleaning 6834 clauses out of 13674 with flag 26000/26000
19.59/19.39	c cleaning 7919 clauses out of 15842 with flag 35002/35002
20.90/20.60	c Got one! Elapsed wall clock time (in seconds):19.467
20.90/20.60	o 10
25.00/24.76	c cleaning 8907 clauses out of 17922 with flag 45001/45001
31.51/31.25	c cleaning 9477 clauses out of 19014 with flag 55000/55000
38.83/38.52	c cleaning 9747 clauses out of 19537 with flag 65000/65000
47.84/47.59	c cleaning 9884 clauses out of 19793 with flag 75003/75003
53.55/53.26	c cleaning 9929 clauses out of 19907 with flag 85001/85001
61.58/61.29	c cleaning 9962 clauses out of 19980 with flag 95003/95003
68.79/68.45	c cleaning 9952 clauses out of 20017 with flag 105002/105002
76.00/75.62	c cleaning 10030 clauses out of 20063 with flag 115000/115000
82.53/82.10	c cleaning 10006 clauses out of 20036 with flag 125003/125003
89.55/89.16	c cleaning 9988 clauses out of 20027 with flag 135000/135000
96.77/96.31	c cleaning 9990 clauses out of 20043 with flag 145004/145004
106.20/105.71	c cleaning 10013 clauses out of 20051 with flag 155002/155002
113.52/113.05	c cleaning 10002 clauses out of 20037 with flag 165001/165001
120.24/119.71	c cleaning 9965 clauses out of 20034 with flag 175000/175000
127.18/126.66	c cleaning 10032 clauses out of 20070 with flag 185001/185001
134.51/133.95	c cleaning 9993 clauses out of 20039 with flag 195002/195002
142.02/141.49	c cleaning 10002 clauses out of 20051 with flag 205007/205007
150.03/149.43	c cleaning 9989 clauses out of 20046 with flag 215004/215004
165.36/164.71	c cleaning 9988 clauses out of 20055 with flag 225002/225002
173.19/172.50	c cleaning 10001 clauses out of 20065 with flag 235000/235000
180.82/180.17	c cleaning 9978 clauses out of 20064 with flag 245000/245000
190.83/190.19	c cleaning 10011 clauses out of 20087 with flag 255001/255001
198.25/197.58	c cleaning 10012 clauses out of 20076 with flag 265001/265001
205.07/204.34	c cleaning 10003 clauses out of 20065 with flag 275002/275002
213.10/212.32	c cleaning 10014 clauses out of 20063 with flag 285003/285003
222.11/221.32	c cleaning 10003 clauses out of 20047 with flag 295001/295001
228.32/227.52	c cleaning 9998 clauses out of 20044 with flag 305001/305001
237.44/236.62	c cleaning 9993 clauses out of 20045 with flag 315000/315000
241.95/241.16	c cleaning 10005 clauses out of 20053 with flag 325001/325001
247.57/246.74	c cleaning 10003 clauses out of 20048 with flag 335001/335001
254.28/253.42	c cleaning 10004 clauses out of 20045 with flag 345001/345001
261.70/260.88	c cleaning 9995 clauses out of 20040 with flag 355000/355000
269.14/268.27	c cleaning 9996 clauses out of 20048 with flag 365003/365003
276.98/276.02	c cleaning 10004 clauses out of 20056 with flag 375007/375007
286.31/285.31	c cleaning 10007 clauses out of 20046 with flag 385001/385001
292.67/291.69	c cleaning 9980 clauses out of 20038 with flag 395000/395000
300.51/299.43	c cleaning 9981 clauses out of 20059 with flag 405001/405001
309.64/308.59	c cleaning 10015 clauses out of 20077 with flag 415000/415000
317.87/316.70	c cleaning 10016 clauses out of 20062 with flag 425000/425000
324.49/323.34	c cleaning 9988 clauses out of 20046 with flag 435000/435000
332.31/331.17	c cleaning 9974 clauses out of 20061 with flag 445003/445003
337.43/336.23	c cleaning 9981 clauses out of 20084 with flag 455000/455000
347.25/346.08	c cleaning 10000 clauses out of 20103 with flag 465000/465000
356.48/355.24	c cleaning 10006 clauses out of 20106 with flag 475003/475003
362.12/360.88	c cleaning 10008 clauses out of 20097 with flag 485000/485000
370.03/368.77	c cleaning 10003 clauses out of 20089 with flag 495000/495000
378.27/376.93	c cleaning 9997 clauses out of 20088 with flag 505002/505002
385.91/384.58	c cleaning 9998 clauses out of 20090 with flag 515001/515001
392.44/391.06	c cleaning 9991 clauses out of 20091 with flag 525000/525000
399.47/398.00	c cleaning 9994 clauses out of 20100 with flag 535000/535000
406.38/405.00	c cleaning 9995 clauses out of 20106 with flag 545000/545000
413.49/412.05	c cleaning 10004 clauses out of 20113 with flag 555002/555002
421.10/419.69	c cleaning 9998 clauses out of 20107 with flag 565000/565000
429.02/427.58	c cleaning 10000 clauses out of 20109 with flag 575000/575000
437.83/436.31	c cleaning 10000 clauses out of 20110 with flag 585001/585001
443.94/442.45	c cleaning 10033 clauses out of 20109 with flag 595000/595000
450.89/449.32	c cleaning 9982 clauses out of 20080 with flag 605004/605004
458.92/457.37	c cleaning 10008 clauses out of 20094 with flag 615000/615000
469.56/467.99	c cleaning 10008 clauses out of 20086 with flag 625000/625000
477.08/475.42	c cleaning 9991 clauses out of 20079 with flag 635001/635001
484.90/483.26	c cleaning 10005 clauses out of 20087 with flag 645000/645000
490.72/489.04	c cleaning 10012 clauses out of 20082 with flag 655000/655000
497.04/495.35	c cleaning 10003 clauses out of 20072 with flag 665002/665002
504.75/503.07	c cleaning 10005 clauses out of 20067 with flag 675000/675000
509.08/507.38	c cleaning 10011 clauses out of 20067 with flag 685005/685005
514.31/512.55	c cleaning 10008 clauses out of 20058 with flag 695007/695007
519.52/517.78	c cleaning 9987 clauses out of 20044 with flag 705001/705001
527.44/525.60	c cleaning 10011 clauses out of 20056 with flag 715000/715000
533.77/531.95	c cleaning 9991 clauses out of 20046 with flag 725001/725001
544.30/542.41	c cleaning 10001 clauses out of 20057 with flag 735003/735003
554.13/552.29	c cleaning 9992 clauses out of 20053 with flag 745000/745000
563.55/561.67	c cleaning 10001 clauses out of 20064 with flag 755003/755003
571.87/569.91	c cleaning 10001 clauses out of 20062 with flag 765002/765002
580.28/578.31	c cleaning 9997 clauses out of 20061 with flag 775002/775002
590.81/588.85	c cleaning 10022 clauses out of 20064 with flag 785002/785002
594.75/592.72	c cleaning 10004 clauses out of 20040 with flag 795000/795000
599.27/597.28	c cleaning 10004 clauses out of 20039 with flag 805003/805003
604.10/602.01	c cleaning 10003 clauses out of 20035 with flag 815003/815003
609.82/607.78	c cleaning 9994 clauses out of 20029 with flag 825000/825000
614.14/612.06	c cleaning 9991 clauses out of 20035 with flag 835000/835000
618.85/616.79	c cleaning 9996 clauses out of 20044 with flag 845000/845000
622.87/620.74	c cleaning 10007 clauses out of 20052 with flag 855004/855004
627.18/625.02	c cleaning 10003 clauses out of 20041 with flag 865000/865000
632.80/630.69	c cleaning 10003 clauses out of 20039 with flag 875001/875001
637.41/635.23	c cleaning 10015 clauses out of 20036 with flag 885001/885001
644.03/641.88	c cleaning 10004 clauses out of 20021 with flag 895001/895001
649.46/647.24	c cleaning 9993 clauses out of 20016 with flag 905000/905000
655.88/653.66	c cleaning 9999 clauses out of 20025 with flag 915002/915002
661.22/658.94	c cleaning 9956 clauses out of 20028 with flag 925004/925004
666.93/664.60	c cleaning 9947 clauses out of 20069 with flag 935001/935001
671.05/668.79	c cleaning 10020 clauses out of 20123 with flag 945002/945002
674.96/672.62	c cleaning 9986 clauses out of 20103 with flag 955002/955002
682.39/680.08	c cleaning 10001 clauses out of 20115 with flag 965000/965000
687.41/685.03	c cleaning 10028 clauses out of 20114 with flag 975000/975000
691.85/689.44	c cleaning 10015 clauses out of 20088 with flag 985002/985002
696.27/693.80	c cleaning 10009 clauses out of 20071 with flag 995000/995000
701.90/699.50	c cleaning 10009 clauses out of 20066 with flag 1005004/1005004
706.82/704.30	c cleaning 10018 clauses out of 20054 with flag 1015001/1015001
714.73/712.24	c cleaning 10005 clauses out of 20036 with flag 1025001/1025001
723.65/721.19	c cleaning 10002 clauses out of 20030 with flag 1035000/1035000
732.08/729.53	c cleaning 10003 clauses out of 20032 with flag 1045004/1045004
741.90/739.33	c cleaning 10002 clauses out of 20030 with flag 1055005/1055005
750.22/747.61	c cleaning 9994 clauses out of 20023 with flag 1065000/1065000
760.13/757.53	c cleaning 9998 clauses out of 20030 with flag 1075001/1075001
767.35/764.74	c cleaning 9988 clauses out of 20032 with flag 1085001/1085001
774.58/771.91	c cleaning 10000 clauses out of 20043 with flag 1095000/1095000
780.31/777.69	c cleaning 9999 clauses out of 20044 with flag 1105001/1105001
787.92/785.27	c cleaning 10001 clauses out of 20046 with flag 1115002/1115002
795.44/792.71	c cleaning 9998 clauses out of 20043 with flag 1125000/1125000
801.66/798.92	c cleaning 10002 clauses out of 20046 with flag 1135001/1135001
807.77/805.08	c cleaning 10005 clauses out of 20048 with flag 1145005/1145005
814.48/811.78	c cleaning 9994 clauses out of 20038 with flag 1155000/1155000
820.79/818.06	c cleaning 9996 clauses out of 20044 with flag 1165000/1165000
827.29/824.51	c cleaning 10005 clauses out of 20049 with flag 1175001/1175001
831.70/828.98	c cleaning 10001 clauses out of 20044 with flag 1185001/1185001
837.23/834.45	c cleaning 9993 clauses out of 20044 with flag 1195002/1195002
842.54/839.70	c cleaning 10013 clauses out of 20050 with flag 1205001/1205001
847.16/844.40	c cleaning 10006 clauses out of 20038 with flag 1215002/1215002
853.87/851.01	c cleaning 9994 clauses out of 20033 with flag 1225003/1225003
859.88/857.05	c cleaning 10005 clauses out of 20039 with flag 1235003/1235003
865.60/862.75	c cleaning 10002 clauses out of 20033 with flag 1245002/1245002
871.01/868.19	c cleaning 9997 clauses out of 20029 with flag 1255000/1255000
878.62/875.80	c cleaning 10003 clauses out of 20035 with flag 1265003/1265003
884.33/881.45	c cleaning 9998 clauses out of 20030 with flag 1275001/1275001
891.04/888.11	c cleaning 10001 clauses out of 20032 with flag 1285001/1285001
898.56/895.60	c cleaning 10001 clauses out of 20033 with flag 1295003/1295003
905.78/902.87	c cleaning 9998 clauses out of 20029 with flag 1305000/1305000
910.70/907.75	c cleaning 9993 clauses out of 20033 with flag 1315002/1315002
915.63/912.69	c cleaning 9993 clauses out of 20040 with flag 1325002/1325002
921.84/918.89	c cleaning 9983 clauses out of 20046 with flag 1335001/1335001
928.48/925.45	c cleaning 10028 clauses out of 20062 with flag 1345000/1345000
936.91/933.86	c cleaning 9976 clauses out of 20034 with flag 1355000/1355000
944.65/941.57	c cleaning 9989 clauses out of 20058 with flag 1365000/1365000
954.76/951.64	c cleaning 10000 clauses out of 20069 with flag 1375000/1375000
965.49/962.36	c cleaning 10012 clauses out of 20069 with flag 1385000/1385000
973.93/970.72	c cleaning 10006 clauses out of 20059 with flag 1395002/1395002
983.85/980.67	c cleaning 9991 clauses out of 20054 with flag 1405003/1405003
993.08/989.85	c cleaning 10005 clauses out of 20062 with flag 1415002/1415002
997.82/994.54	c cleaning 10003 clauses out of 20055 with flag 1425000/1425000
1002.04/998.74	c cleaning 9998 clauses out of 20052 with flag 1435000/1435000
1009.36/1006.05	c cleaning 10004 clauses out of 20057 with flag 1445003/1445003
1015.29/1011.91	c cleaning 9999 clauses out of 20052 with flag 1455002/1455002
1022.10/1018.74	c cleaning 10013 clauses out of 20051 with flag 1465000/1465000
1030.63/1027.27	c cleaning 10009 clauses out of 20041 with flag 1475003/1475003
1040.04/1036.66	c cleaning 10004 clauses out of 20030 with flag 1485001/1485001
1050.36/1046.96	c cleaning 10000 clauses out of 20026 with flag 1495001/1495001
1058.40/1054.93	c cleaning 9999 clauses out of 20026 with flag 1505001/1505001
1067.91/1064.45	c cleaning 10004 clauses out of 20031 with flag 1515005/1515005
1075.63/1072.12	c cleaning 9990 clauses out of 20023 with flag 1525001/1525001
1081.06/1077.54	c cleaning 10001 clauses out of 20033 with flag 1535001/1535001
1087.28/1083.72	c cleaning 10001 clauses out of 20033 with flag 1545002/1545002
1093.90/1090.37	c cleaning 9997 clauses out of 20033 with flag 1555003/1555003
1100.93/1097.33	c cleaning 9978 clauses out of 20033 with flag 1565000/1565000
1108.46/1104.86	c cleaning 10011 clauses out of 20055 with flag 1575000/1575000
1116.19/1112.51	c cleaning 9997 clauses out of 20047 with flag 1585003/1585003
1124.52/1120.84	c cleaning 9987 clauses out of 20047 with flag 1595000/1595000
1131.45/1127.71	c cleaning 9984 clauses out of 20060 with flag 1605000/1605000
1136.97/1133.29	c cleaning 10027 clauses out of 20080 with flag 1615004/1615004
1144.30/1140.60	c cleaning 9944 clauses out of 20049 with flag 1625000/1625000
1155.01/1151.24	c cleaning 9978 clauses out of 20107 with flag 1635002/1635002
1170.84/1167.02	c cleaning 9992 clauses out of 20131 with flag 1645004/1645004
1183.06/1179.25	c cleaning 9996 clauses out of 20135 with flag 1655000/1655000
1196.57/1192.78	c cleaning 9998 clauses out of 20140 with flag 1665001/1665001
1209.89/1206.01	c cleaning 9995 clauses out of 20142 with flag 1675001/1675001
1222.71/1218.88	c cleaning 10001 clauses out of 20149 with flag 1685003/1685003
1235.52/1231.65	c cleaning 9997 clauses out of 20150 with flag 1695005/1695005
1250.33/1246.46	c cleaning 10000 clauses out of 20148 with flag 1705000/1705000
1263.15/1259.22	c cleaning 10001 clauses out of 20151 with flag 1715003/1715003
1275.16/1271.21	c cleaning 9998 clauses out of 20147 with flag 1725000/1725000
1287.47/1283.57	c cleaning 10000 clauses out of 20150 with flag 1735001/1735001
1300.88/1296.91	c cleaning 10001 clauses out of 20149 with flag 1745000/1745000
1314.40/1310.40	c cleaning 10002 clauses out of 20149 with flag 1755001/1755001
1328.10/1324.13	c cleaning 10000 clauses out of 20147 with flag 1765001/1765001
1336.72/1332.73	c cleaning 10056 clauses out of 20146 with flag 1775000/1775000
1344.05/1340.00	c cleaning 10027 clauses out of 20091 with flag 1785001/1785001
1351.89/1347.88	c cleaning 10019 clauses out of 20069 with flag 1795006/1795006
1359.04/1354.99	c cleaning 10004 clauses out of 20044 with flag 1805000/1805000
1367.48/1363.36	c cleaning 9991 clauses out of 20040 with flag 1815000/1815000
1379.12/1374.95	c cleaning 10011 clauses out of 20052 with flag 1825003/1825003
1387.75/1383.50	c cleaning 9982 clauses out of 20039 with flag 1835001/1835001
1395.79/1391.50	c cleaning 10000 clauses out of 20057 with flag 1845001/1845001
1405.41/1401.14	c cleaning 10009 clauses out of 20059 with flag 1855003/1855003
1413.35/1409.09	c cleaning 10010 clauses out of 20047 with flag 1865000/1865000
1420.98/1416.64	c cleaning 9978 clauses out of 20037 with flag 1875000/1875000
1430.02/1425.65	c cleaning 10019 clauses out of 20063 with flag 1885004/1885004
1438.26/1433.88	c cleaning 10008 clauses out of 20045 with flag 1895005/1895005
1445.59/1441.14	c cleaning 10002 clauses out of 20036 with flag 1905004/1905004
1454.10/1449.64	c cleaning 10002 clauses out of 20034 with flag 1915004/1915004
1464.53/1460.00	c cleaning 9996 clauses out of 20028 with flag 1925000/1925000
1472.88/1468.37	c cleaning 9996 clauses out of 20032 with flag 1935000/1935000
1481.61/1477.05	c cleaning 9998 clauses out of 20036 with flag 1945000/1945000
1491.04/1486.47	c cleaning 10003 clauses out of 20038 with flag 1955000/1955000
1497.78/1493.17	c cleaning 9998 clauses out of 20036 with flag 1965001/1965001
1504.69/1500.01	c cleaning 9999 clauses out of 20037 with flag 1975000/1975000
1512.12/1507.40	c cleaning 9997 clauses out of 20039 with flag 1985001/1985001
1517.84/1513.11	c cleaning 9980 clauses out of 20042 with flag 1995001/1995001
1524.77/1520.09	c cleaning 10028 clauses out of 20062 with flag 2005001/2005001
1531.00/1526.25	c cleaning 9983 clauses out of 20033 with flag 2015000/2015000
1539.63/1534.82	c cleaning 9974 clauses out of 20050 with flag 2025000/2025000
1548.35/1543.50	c cleaning 9992 clauses out of 20077 with flag 2035001/2035001
1557.80/1552.90	c cleaning 9998 clauses out of 20085 with flag 2045001/2045001
1563.92/1559.05	c cleaning 10015 clauses out of 20086 with flag 2055000/2055000
1572.73/1567.86	c cleaning 10004 clauses out of 20071 with flag 2065000/2065000
1582.38/1577.43	c cleaning 10002 clauses out of 20069 with flag 2075002/2075002
1587.10/1582.12	c cleaning 9996 clauses out of 20067 with flag 2085002/2085002
1592.33/1587.36	c cleaning 9998 clauses out of 20069 with flag 2095000/2095000
1597.75/1592.74	c cleaning 10000 clauses out of 20072 with flag 2105001/2105001
1602.86/1597.89	c cleaning 9990 clauses out of 20071 with flag 2115000/2115000
1607.48/1602.40	c cleaning 10007 clauses out of 20082 with flag 2125001/2125001
1617.01/1611.97	c cleaning 10010 clauses out of 20076 with flag 2135002/2135002
1625.13/1620.09	c cleaning 9989 clauses out of 20066 with flag 2145002/2145002
1634.24/1629.14	c cleaning 10002 clauses out of 20080 with flag 2155005/2155005
1642.96/1637.89	c cleaning 10008 clauses out of 20078 with flag 2165005/2165005
1652.97/1647.89	c cleaning 9997 clauses out of 20068 with flag 2175003/2175003
1663.09/1657.96	c cleaning 10002 clauses out of 20069 with flag 2185001/2185001
1667.50/1662.31	c cleaning 10013 clauses out of 20067 with flag 2195001/2195001
1672.63/1667.43	c cleaning 10007 clauses out of 20053 with flag 2205000/2205000
1677.95/1672.71	c cleaning 10005 clauses out of 20048 with flag 2215002/2215002
1684.28/1679.07	c cleaning 10006 clauses out of 20042 with flag 2225001/2225001
1689.31/1684.01	c cleaning 10002 clauses out of 20037 with flag 2235002/2235002
1693.53/1688.26	c cleaning 10004 clauses out of 20033 with flag 2245000/2245000
1698.94/1693.69	c cleaning 10003 clauses out of 20033 with flag 2255004/2255004
1704.25/1698.92	c cleaning 9994 clauses out of 20026 with flag 2265000/2265000
1710.77/1705.50	c cleaning 10003 clauses out of 20033 with flag 2275001/2275001
1717.10/1711.70	c cleaning 9993 clauses out of 20030 with flag 2285001/2285001
1725.02/1719.66	c cleaning 9982 clauses out of 20037 with flag 2295001/2295001
1733.95/1728.53	c cleaning 9990 clauses out of 20054 with flag 2305000/2305000
1741.17/1735.75	c cleaning 10015 clauses out of 20066 with flag 2315002/2315002
1748.80/1743.39	c cleaning 10004 clauses out of 20050 with flag 2325001/2325001
1758.32/1752.85	c cleaning 10008 clauses out of 20045 with flag 2335000/2335000
1768.54/1763.03	c cleaning 9982 clauses out of 20038 with flag 2345001/2345001
1778.57/1773.05	c cleaning 10011 clauses out of 20059 with flag 2355004/2355004
1785.99/1780.44	c cleaning 10009 clauses out of 20047 with flag 2365003/2365003
1794.90/1789.35	c cleaning 10000 clauses out of 20035 with flag 2375000/2375000
1800.03/1794.41	c starts		: 242
1800.03/1794.41	c conflicts		: 2381066
1800.03/1794.41	c decisions		: 3807321
1800.03/1794.41	c propagations		: 115732035
1800.03/1794.41	c inspects		: 2898345761
1800.03/1794.41	c learnt literals	: 0
1800.03/1794.41	c learnt binary clauses	: 0
1800.03/1794.41	c learnt ternary clauses	: 0
1800.03/1794.41	c learnt clauses	: 2381065
1800.03/1794.41	c ignored clauses	: 0
1800.03/1794.41	c root simplifications	: 0
1800.03/1794.41	c removed literals (reason simplification)	: 7691400
1800.03/1794.41	c reason swapping (by a shorter reason)	: 0
1800.03/1794.41	c Calls to reduceDB	: 239
1800.03/1794.41	c number of reductions to clauses (during analyze)	: 0
1800.03/1794.41	c number of learned constraints concerned by reduction	: 0
1800.03/1794.41	c number of learning phase by resolution	: 0
1800.03/1794.41	c number of learning phase by cutting planes	: 0
1800.03/1794.41	c speed (assignments/second)	: 65244.81963139273
1800.03/1794.41	c non guided choices	401943
1800.03/1794.42	c learnt constraints type 
1800.03/1794.42	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 16109
1800.03/1794.42	c constraints type 
1800.03/1794.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
1800.03/1794.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
1800.03/1794.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 71
1800.03/1794.42	s SATISFIABLE
1800.03/1794.43	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 
1800.03/1794.44	c objective function=10
1800.03/1794.44	c Total wall clock time (in seconds): 1793.307

Verifier Data 

OK	10

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698186-1278323728/watcher-2698186-1278323728 -o /tmp/evaluation-result-2698186-1278323728/solver-2698186-1278323728 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698186-1278323728.wbo 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.06 0.41 0.97 3/177 3892
/proc/meminfo: memFree=32486352/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=24036 CPUtime=0
/proc/3892/stat : 3892 (runsolver) D 3888 3892 3856 0 -1 4202560 81 0 0 0 0 0 0 0 19 0 1 0 585121 24612864 107 4089446400 4194304 4302564 140735727421920 18446744073709551615 264726225911 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/3892/statm: 6009 107 69 27 0 2647 0

[startup+0.086945 s]
/proc/loadavg: 0.06 0.41 0.97 3/177 3892
/proc/meminfo: memFree=32486352/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=240 CPUtime=0
/proc/3892/stat : 3892 (java6) D 3888 3892 3856 0 -1 4194304 82 0 1 0 0 0 0 0 19 0 1 0 585121 245760 2 4089446400 0 0 4287469233 18446744073709551615 264726225911 0 0 4096 0 18446744071562154983 0 0 17 3 0 0 3
/proc/3892/statm: 60 2 0 0 0 21 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 240

[startup+0.100952 s]
/proc/loadavg: 0.06 0.41 0.97 3/177 3892
/proc/meminfo: memFree=32486352/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=248 CPUtime=0
/proc/3892/stat : 3892 (java6) D 3888 3892 3856 0 -1 4194304 107 0 3 0 0 0 0 0 19 0 1 0 585121 253952 28 4089446400 134512640 134550932 4287468384 18446744073709551615 2585172 0 0 4096 0 0 0 0 17 2 0 0 3
/proc/3892/statm: 62 28 21 10 0 23 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 248

[startup+0.300906 s]
/proc/loadavg: 0.06 0.41 0.97 3/177 3892
/proc/meminfo: memFree=32486352/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=428 CPUtime=0
/proc/3892/stat : 3892 (java6) D 3888 3892 3856 0 -1 4194304 118 0 4 0 0 0 0 0 17 0 1 0 585121 438272 40 4089446400 134512640 134550932 4287468384 18446744073709551615 2587815 0 0 4096 0 18446744071562234166 0 0 17 6 0 0 5
/proc/3892/statm: 107 40 32 10 0 25 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 428

[startup+0.700823 s]
/proc/loadavg: 0.06 0.41 0.97 3/177 3892
/proc/meminfo: memFree=32486352/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=13164 CPUtime=0
/proc/3892/stat : 3892 (java) D 3888 3892 3856 0 -1 4194304 454 0 27 0 0 0 0 0 16 0 1 0 585121 13479936 196 4089446400 134512640 134550932 4288231968 18446744073709551615 2545275 0 0 4096 0 18446744071562234166 0 0 17 2 0 0 34
/proc/3892/statm: 3291 196 140 10 0 1121 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13164

[startup+1.50066 s]
/proc/loadavg: 0.06 0.41 0.97 3/203 3918
/proc/meminfo: memFree=32456356/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=1543384 CPUtime=1.07
/proc/3892/stat : 3892 (java) S 3888 3892 3856 0 -1 4202496 11906 0 105 0 104 3 0 0 16 0 19 0 585121 1580425216 10458 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 39
/proc/3892/statm: 385846 10459 1417 10 0 383149 0
[pid=3892/tid=3896] ppid=3888 vsize=1543384 CPUtime=0.43
/proc/3892/task/3896/stat : 3896 (java) R 3888 3892 3856 0 -1 4202560 6109 0 58 0 42 1 0 0 19 0 19 0 585196 1580425216 10461 4089446400 134512640 134550932 4288231968 18446744073709551615 4109232237 0 4 0 16800975 0 0 0 -1 5 0 0 20
[pid=3892/tid=3905] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3905/stat : 3905 (java) S 3888 3892 3856 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 585210 1580425216 10462 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3906] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3906/stat : 3906 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585210 1580425216 10462 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3907] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3907/stat : 3907 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585210 1580425216 10462 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3908] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3908/stat : 3908 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585210 1580425216 10462 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3909] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3909/stat : 3909 (java) S 3888 3892 3856 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 585210 1580425216 10464 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3910] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3910/stat : 3910 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585210 1580425216 10465 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3911] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3911/stat : 3911 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585210 1580425216 10466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3912] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3912/stat : 3912 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585210 1580425216 10467 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3913] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3913/stat : 3913 (java) S 3888 3892 3856 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 585215 1580425216 10469 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3916] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3916/stat : 3916 (java) S 3888 3892 3856 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 585216 1580425216 10469 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3917] ppid=3888 vsize=1543384 CPUtime=0
/proc/3892/task/3917/stat : 3917 (java) S 3888 3892 3856 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 585216 1580425216 10470 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 1543384

[startup+3.10136 s]
/proc/loadavg: 0.06 0.41 0.97 4/215 3930
/proc/meminfo: memFree=32391832/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=1544752 CPUtime=3.27
/proc/3892/stat : 3892 (java) S 3888 3892 3856 0 -1 4202496 21992 0 105 0 323 4 0 0 16 0 19 0 585121 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 39
/proc/3892/statm: 386188 18466 1441 10 0 383491 0
[pid=3892/tid=3896] ppid=3888 vsize=1544752 CPUtime=2.02
/proc/3892/task/3896/stat : 3896 (java) R 3888 3892 3856 0 -1 4202560 10086 0 58 0 200 2 0 0 22 0 19 0 585196 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4109742756 0 4 0 16800975 0 0 0 -1 5 0 0 20
[pid=3892/tid=3905] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3905/stat : 3905 (java) S 3888 3892 3856 0 -1 4202560 540 0 0 0 0 0 0 0 17 0 19 0 585210 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3906] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3906/stat : 3906 (java) S 3888 3892 3856 0 -1 4202560 571 0 0 0 0 0 0 0 17 0 19 0 585210 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3907] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3907/stat : 3907 (java) S 3888 3892 3856 0 -1 4202560 298 0 0 0 0 0 0 0 17 0 19 0 585210 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3908] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3908/stat : 3908 (java) S 3888 3892 3856 0 -1 4202560 213 0 0 0 0 0 0 0 18 0 19 0 585210 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3909] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3909/stat : 3909 (java) S 3888 3892 3856 0 -1 4202560 115 0 0 0 0 0 0 0 18 0 19 0 585210 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 2 0 0 0
[pid=3892/tid=3910] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3910/stat : 3910 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585210 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3911] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3911/stat : 3911 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 585210 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3912] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3912/stat : 3912 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 585210 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3913] ppid=3888 vsize=1544752 CPUtime=0.01
/proc/3892/task/3913/stat : 3913 (java) S 3888 3892 3856 0 -1 4202560 1634 0 0 0 1 0 0 0 17 0 19 0 585215 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3916] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3916/stat : 3916 (java) S 3888 3892 3856 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 585216 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3917] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3917/stat : 3917 (java) S 3888 3892 3856 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 585216 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3919] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3919/stat : 3919 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585225 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3922] ppid=3888 vsize=1544752 CPUtime=0.6
/proc/3892/task/3922/stat : 3922 (java) S 3888 3892 3856 0 -1 4202560 4157 0 0 0 60 0 0 0 15 0 19 0 585225 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 4 0 0 0
[pid=3892/tid=3923] ppid=3888 vsize=1544752 CPUtime=0.59
/proc/3892/task/3923/stat : 3923 (java) S 3888 3892 3856 0 -1 4202560 3355 0 0 0 59 0 0 0 16 0 19 0 585225 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3926] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3926/stat : 3926 (java) S 3888 3892 3856 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 585225 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3927] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3927/stat : 3927 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 585225 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3930] ppid=3888 vsize=1544752 CPUtime=0
/proc/3892/task/3930/stat : 3930 (java) S 3888 3892 3856 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 585255 1581826048 18466 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 1544752

[startup+6.30075 s]
/proc/loadavg: 0.22 0.44 0.98 4/215 3930
/proc/meminfo: memFree=32343660/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=1543896 CPUtime=6.51
/proc/3892/stat : 3892 (java) S 3888 3892 3856 0 -1 4202496 27087 0 105 0 646 5 0 0 16 0 19 0 585121 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 39
/proc/3892/statm: 385974 23222 1441 10 0 383277 0
[pid=3892/tid=3896] ppid=3888 vsize=1543896 CPUtime=5.2
/proc/3892/task/3896/stat : 3896 (java) R 3888 3892 3856 0 -1 4202560 10100 0 58 0 518 2 0 0 25 0 19 0 585196 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4109354336 0 4 0 16800975 0 0 0 -1 5 0 0 20
[pid=3892/tid=3905] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3905/stat : 3905 (java) S 3888 3892 3856 0 -1 4202560 595 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3906] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3906/stat : 3906 (java) S 3888 3892 3856 0 -1 4202560 572 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3907] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3907/stat : 3907 (java) S 3888 3892 3856 0 -1 4202560 300 0 0 0 0 0 0 0 16 0 19 0 585210 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3908] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3908/stat : 3908 (java) S 3888 3892 3856 0 -1 4202560 1395 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3909] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3909/stat : 3909 (java) S 3888 3892 3856 0 -1 4202560 1057 0 0 0 0 0 0 0 18 0 19 0 585210 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 2 0 0 0
[pid=3892/tid=3910] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3910/stat : 3910 (java) S 3888 3892 3856 0 -1 4202560 938 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3911] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3911/stat : 3911 (java) S 3888 3892 3856 0 -1 4202560 370 0 0 0 0 0 0 0 16 0 19 0 585210 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3912] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3912/stat : 3912 (java) S 3888 3892 3856 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3913] ppid=3888 vsize=1543896 CPUtime=0.02
/proc/3892/task/3913/stat : 3913 (java) S 3888 3892 3856 0 -1 4202560 3219 0 0 0 2 0 0 0 15 0 19 0 585215 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3916] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3916/stat : 3916 (java) S 3888 3892 3856 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 585216 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3917] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3917/stat : 3917 (java) S 3888 3892 3856 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 585216 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3919] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3919/stat : 3919 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585225 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3922] ppid=3888 vsize=1543896 CPUtime=0.61
/proc/3892/task/3922/stat : 3922 (java) S 3888 3892 3856 0 -1 4202560 4159 0 0 0 61 0 0 0 16 0 19 0 585225 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 4 0 0 0
[pid=3892/tid=3923] ppid=3888 vsize=1543896 CPUtime=0.61
/proc/3892/task/3923/stat : 3923 (java) S 3888 3892 3856 0 -1 4202560 3358 0 0 0 61 0 0 0 15 0 19 0 585225 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3926] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3926/stat : 3926 (java) S 3888 3892 3856 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 585225 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3927] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3927/stat : 3927 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 585225 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3930] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3930/stat : 3930 (java) S 3888 3892 3856 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 585255 1580949504 23222 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 1543896

[startup+12.7015 s]
/proc/loadavg: 0.36 0.46 0.98 4/215 3930
/proc/meminfo: memFree=32291828/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=1543896 CPUtime=12.95
/proc/3892/stat : 3892 (java) S 3888 3892 3856 0 -1 4202496 31415 0 105 0 1290 5 0 0 16 0 19 0 585121 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 39
/proc/3892/statm: 385974 27548 1442 10 0 383277 0
[pid=3892/tid=3896] ppid=3888 vsize=1543896 CPUtime=11.57
/proc/3892/task/3896/stat : 3896 (java) R 3888 3892 3856 0 -1 4202560 10102 0 58 0 1155 2 0 0 21 0 19 0 585196 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4109763004 0 4 0 16800975 0 0 0 -1 3 0 0 20
[pid=3892/tid=3905] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3905/stat : 3905 (java) S 3888 3892 3856 0 -1 4202560 1166 0 0 0 0 0 0 0 16 0 19 0 585210 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3906] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3906/stat : 3906 (java) S 3888 3892 3856 0 -1 4202560 1176 0 0 0 0 0 0 0 16 0 19 0 585210 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3907] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3907/stat : 3907 (java) S 3888 3892 3856 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3908] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3908/stat : 3908 (java) S 3888 3892 3856 0 -1 4202560 1395 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3909] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3909/stat : 3909 (java) S 3888 3892 3856 0 -1 4202560 1656 0 0 0 0 0 0 0 18 0 19 0 585210 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 2 0 0 0
[pid=3892/tid=3910] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3910/stat : 3910 (java) S 3888 3892 3856 0 -1 4202560 938 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3911] ppid=3888 vsize=1543896 CPUtime=0
/proc/3892/task/3911/stat : 3911 (java) S 3888 3892 3856 0 -1 4202560 669 0 0 0 0 0 0 0 15 0 19 0 585210 1580949504 27548 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0

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

[pid=3892/tid=3910] ppid=3888 vsize=1545944 CPUtime=0.84
/proc/3892/task/3910/stat : 3910 (java) S 3888 3892 3856 0 -1 4202560 7108 0 0 0 79 5 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3911] ppid=3888 vsize=1545944 CPUtime=0.77
/proc/3892/task/3911/stat : 3911 (java) S 3888 3892 3856 0 -1 4202560 6010 0 0 0 72 5 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 0 0 0 0
[pid=3892/tid=3912] ppid=3888 vsize=1545944 CPUtime=0.71
/proc/3892/task/3912/stat : 3912 (java) S 3888 3892 3856 0 -1 4202560 5511 0 0 0 67 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3913] ppid=3888 vsize=1545944 CPUtime=8.93
/proc/3892/task/3913/stat : 3913 (java) S 3888 3892 3856 0 -1 4202560 8044 0 0 0 888 5 0 0 15 0 19 0 585215 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3916] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3916/stat : 3916 (java) S 3888 3892 3856 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 585216 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3917] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3917/stat : 3917 (java) S 3888 3892 3856 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 585216 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3919] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3919/stat : 3919 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3922] ppid=3888 vsize=1545944 CPUtime=0.66
/proc/3892/task/3922/stat : 3922 (java) S 3888 3892 3856 0 -1 4202560 4171 0 0 0 66 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 4 0 0 0
[pid=3892/tid=3923] ppid=3888 vsize=1545944 CPUtime=0.65
/proc/3892/task/3923/stat : 3923 (java) S 3888 3892 3856 0 -1 4202560 3363 0 0 0 65 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3926] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3926/stat : 3926 (java) S 3888 3892 3856 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3927] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3927/stat : 3927 (java) S 3888 3892 3856 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3930] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3930/stat : 3930 (java) S 3888 3892 3856 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 585255 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.5
Current children cumulated vsize (KiB) 1545944

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 1.85 4/215 3988
/proc/meminfo: memFree=32002912/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=1545944 CPUtime=1727.75
/proc/3892/stat : 3892 (java) S 3888 3892 3856 0 -1 4202496 78529 0 105 0 172724 51 0 0 16 0 19 0 585121 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 39
/proc/3892/statm: 386486 67165 1442 10 0 383789 0
[pid=3892/tid=3896] ppid=3888 vsize=1545944 CPUtime=1710.36
/proc/3892/task/3896/stat : 3896 (java) R 3888 3892 3856 0 -1 4202560 20084 0 58 0 171032 4 0 0 25 0 19 0 585196 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4109762962 0 4 0 16800975 0 0 0 -1 1 0 0 20
[pid=3892/tid=3905] ppid=3888 vsize=1545944 CPUtime=0.75
/proc/3892/task/3905/stat : 3905 (java) S 3888 3892 3856 0 -1 4202560 6452 0 0 0 70 5 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3906] ppid=3888 vsize=1545944 CPUtime=0.84
/proc/3892/task/3906/stat : 3906 (java) S 3888 3892 3856 0 -1 4202560 4756 0 0 0 80 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3907] ppid=3888 vsize=1545944 CPUtime=0.76
/proc/3892/task/3907/stat : 3907 (java) S 3888 3892 3856 0 -1 4202560 2642 0 0 0 72 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3908] ppid=3888 vsize=1545944 CPUtime=0.8
/proc/3892/task/3908/stat : 3908 (java) S 3888 3892 3856 0 -1 4202560 4046 0 0 0 76 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 2 0 0 0
[pid=3892/tid=3909] ppid=3888 vsize=1545944 CPUtime=0.88
/proc/3892/task/3909/stat : 3909 (java) S 3888 3892 3856 0 -1 4202560 5219 0 0 0 85 3 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3910] ppid=3888 vsize=1545944 CPUtime=0.87
/proc/3892/task/3910/stat : 3910 (java) S 3888 3892 3856 0 -1 4202560 7108 0 0 0 82 5 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3911] ppid=3888 vsize=1545944 CPUtime=0.82
/proc/3892/task/3911/stat : 3911 (java) S 3888 3892 3856 0 -1 4202560 6010 0 0 0 76 6 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 0 0 0 0
[pid=3892/tid=3912] ppid=3888 vsize=1545944 CPUtime=0.75
/proc/3892/task/3912/stat : 3912 (java) S 3888 3892 3856 0 -1 4202560 5511 0 0 0 71 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3913] ppid=3888 vsize=1545944 CPUtime=9.51
/proc/3892/task/3913/stat : 3913 (java) S 3888 3892 3856 0 -1 4202560 8048 0 0 0 945 6 0 0 15 0 19 0 585215 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3916] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3916/stat : 3916 (java) S 3888 3892 3856 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 585216 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3917] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3917/stat : 3917 (java) S 3888 3892 3856 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 585216 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3919] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3919/stat : 3919 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3922] ppid=3888 vsize=1545944 CPUtime=0.66
/proc/3892/task/3922/stat : 3922 (java) S 3888 3892 3856 0 -1 4202560 4171 0 0 0 66 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 4 0 0 0
[pid=3892/tid=3923] ppid=3888 vsize=1545944 CPUtime=0.65
/proc/3892/task/3923/stat : 3923 (java) S 3888 3892 3856 0 -1 4202560 3363 0 0 0 65 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3926] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3926/stat : 3926 (java) S 3888 3892 3856 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3927] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3927/stat : 3927 (java) S 3888 3892 3856 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3930] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3930/stat : 3930 (java) S 3888 3892 3856 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 585255 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.75
Current children cumulated vsize (KiB) 1545944

[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 1.85 4/215 3990
/proc/meminfo: memFree=32002076/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=1545944 CPUtime=1787.9
/proc/3892/stat : 3892 (java) S 3888 3892 3856 0 -1 4202496 78540 0 105 0 178738 52 0 0 16 0 19 0 585121 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 39
/proc/3892/statm: 386486 67165 1442 10 0 383789 0
[pid=3892/tid=3896] ppid=3888 vsize=1545944 CPUtime=1769.94
/proc/3892/task/3896/stat : 3896 (java) R 3888 3892 3856 0 -1 4202560 20091 0 58 0 176990 4 0 0 25 0 19 0 585196 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4109762047 0 4 0 16800975 0 0 0 -1 1 0 0 20
[pid=3892/tid=3905] ppid=3888 vsize=1545944 CPUtime=0.78
/proc/3892/task/3905/stat : 3905 (java) S 3888 3892 3856 0 -1 4202560 6452 0 0 0 72 6 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3906] ppid=3888 vsize=1545944 CPUtime=0.86
/proc/3892/task/3906/stat : 3906 (java) S 3888 3892 3856 0 -1 4202560 4756 0 0 0 82 4 0 0 16 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3907] ppid=3888 vsize=1545944 CPUtime=0.77
/proc/3892/task/3907/stat : 3907 (java) S 3888 3892 3856 0 -1 4202560 2642 0 0 0 73 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3908] ppid=3888 vsize=1545944 CPUtime=0.82
/proc/3892/task/3908/stat : 3908 (java) S 3888 3892 3856 0 -1 4202560 4046 0 0 0 78 4 0 0 16 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 2 0 0 0
[pid=3892/tid=3909] ppid=3888 vsize=1545944 CPUtime=0.91
/proc/3892/task/3909/stat : 3909 (java) S 3888 3892 3856 0 -1 4202560 5219 0 0 0 87 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3910] ppid=3888 vsize=1545944 CPUtime=0.89
/proc/3892/task/3910/stat : 3910 (java) S 3888 3892 3856 0 -1 4202560 7108 0 0 0 84 5 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3911] ppid=3888 vsize=1545944 CPUtime=0.85
/proc/3892/task/3911/stat : 3911 (java) S 3888 3892 3856 0 -1 4202560 6010 0 0 0 79 6 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 0 0 0 0
[pid=3892/tid=3912] ppid=3888 vsize=1545944 CPUtime=0.76
/proc/3892/task/3912/stat : 3912 (java) S 3888 3892 3856 0 -1 4202560 5511 0 0 0 72 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3913] ppid=3888 vsize=1545944 CPUtime=9.88
/proc/3892/task/3913/stat : 3913 (java) S 3888 3892 3856 0 -1 4202560 8050 0 0 0 982 6 0 0 15 0 19 0 585215 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3916] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3916/stat : 3916 (java) S 3888 3892 3856 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 585216 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3917] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3917/stat : 3917 (java) S 3888 3892 3856 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 585216 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3919] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3919/stat : 3919 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3922] ppid=3888 vsize=1545944 CPUtime=0.66
/proc/3892/task/3922/stat : 3922 (java) S 3888 3892 3856 0 -1 4202560 4171 0 0 0 66 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 4 0 0 0
[pid=3892/tid=3923] ppid=3888 vsize=1545944 CPUtime=0.65
/proc/3892/task/3923/stat : 3923 (java) S 3888 3892 3856 0 -1 4202560 3363 0 0 0 65 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3926] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3926/stat : 3926 (java) S 3888 3892 3856 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3927] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3927/stat : 3927 (java) S 3888 3892 3856 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3930] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3930/stat : 3930 (java) S 3888 3892 3856 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 585255 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.9
Current children cumulated vsize (KiB) 1545944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.4 s]
/proc/loadavg: 2.02 2.06 1.86 2/195 3993
/proc/meminfo: memFree=32202764/32951124 swapFree=67111528/67111528
[pid=3892] ppid=3888 vsize=1545944 CPUtime=1800.03
/proc/3892/stat : 3892 (java) S 3888 3892 3856 0 -1 4202496 78545 0 105 0 179950 53 0 0 16 0 19 0 585121 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 39
/proc/3892/statm: 386486 67165 1442 10 0 383789 0
[pid=3892/tid=3896] ppid=3888 vsize=1545944 CPUtime=1782
/proc/3892/task/3896/stat : 3896 (java) R 3888 3892 3856 0 -1 4202560 20092 0 58 0 178196 4 0 0 25 0 19 0 585196 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4109669784 0 4 0 16800975 0 0 0 -1 4 0 0 20
[pid=3892/tid=3905] ppid=3888 vsize=1545944 CPUtime=0.79
/proc/3892/task/3905/stat : 3905 (java) S 3888 3892 3856 0 -1 4202560 6452 0 0 0 73 6 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
[pid=3892/tid=3906] ppid=3888 vsize=1545944 CPUtime=0.87
/proc/3892/task/3906/stat : 3906 (java) S 3888 3892 3856 0 -1 4202560 4756 0 0 0 83 4 0 0 16 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3907] ppid=3888 vsize=1545944 CPUtime=0.77
/proc/3892/task/3907/stat : 3907 (java) S 3888 3892 3856 0 -1 4202560 2642 0 0 0 73 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3908] ppid=3888 vsize=1545944 CPUtime=0.83
/proc/3892/task/3908/stat : 3908 (java) S 3888 3892 3856 0 -1 4202560 4046 0 0 0 79 4 0 0 16 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 2 0 0 0
[pid=3892/tid=3909] ppid=3888 vsize=1545944 CPUtime=0.91
/proc/3892/task/3909/stat : 3909 (java) S 3888 3892 3856 0 -1 4202560 5219 0 0 0 87 4 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3910] ppid=3888 vsize=1545944 CPUtime=0.9
/proc/3892/task/3910/stat : 3910 (java) S 3888 3892 3856 0 -1 4202560 7108 0 0 0 85 5 0 0 16 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3911] ppid=3888 vsize=1545944 CPUtime=0.85
/proc/3892/task/3911/stat : 3911 (java) S 3888 3892 3856 0 -1 4202560 6010 0 0 0 79 6 0 0 15 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 0 0 0 0
[pid=3892/tid=3912] ppid=3888 vsize=1545944 CPUtime=0.78
/proc/3892/task/3912/stat : 3912 (java) S 3888 3892 3856 0 -1 4202560 5511 0 0 0 73 5 0 0 16 0 19 0 585210 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 5 0 0 0
[pid=3892/tid=3913] ppid=3888 vsize=1545944 CPUtime=9.93
/proc/3892/task/3913/stat : 3913 (java) S 3888 3892 3856 0 -1 4202560 8052 0 0 0 987 6 0 0 15 0 19 0 585215 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 0 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3916] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3916/stat : 3916 (java) S 3888 3892 3856 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 585216 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3917] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3917/stat : 3917 (java) S 3888 3892 3856 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 585216 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3919] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3919/stat : 3919 (java) S 3888 3892 3856 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3922] ppid=3888 vsize=1545944 CPUtime=0.66
/proc/3892/task/3922/stat : 3922 (java) S 3888 3892 3856 0 -1 4202560 4171 0 0 0 66 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 4 0 0 0
[pid=3892/tid=3923] ppid=3888 vsize=1545944 CPUtime=0.65
/proc/3892/task/3923/stat : 3923 (java) S 3888 3892 3856 0 -1 4202560 3363 0 0 0 65 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 3 0 0 0
[pid=3892/tid=3926] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3926/stat : 3926 (java) S 3888 3892 3856 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 6 0 0 0
[pid=3892/tid=3927] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3927/stat : 3927 (java) S 3888 3892 3856 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 585225 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 1 0 0 0
[pid=3892/tid=3930] ppid=3888 vsize=1545944 CPUtime=0
/proc/3892/task/3930/stat : 3930 (java) S 3888 3892 3856 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 585255 1583046656 67165 4089446400 134512640 134550932 4288231968 18446744073709551615 4294960144 0 4 0 16800975 18446604471138146112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1545944

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

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

Child status: 143
Real time (s): 1794.49
CPU time (s): 1800.19
CPU user time (s): 1799.64
CPU system time (s): 0.541917
CPU usage (%): 100.317
Max. virtual memory (cumulated for all children) (KiB): 1547608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.541917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78566
page faults= 105
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44185
involuntary context switches= 136467

runsolver used 3.12752 second user time and 6.26805 second system time

The end

Launcher Data 

Begin job on node141 at 2010-07-05 11:55:29
IDJOB=2698186
IDBENCH=78677
IDSOLVER=1211
FILE ID=node141/2698186-1278323728
PBS_JOBID= 11207423
Free space on /tmp= 74180 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.1
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698186-1278323728/watcher-2698186-1278323728 -o /tmp/evaluation-result-2698186-1278323728/solver-2698186-1278323728 -C 1800 -W 2000 -M 3800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698186-1278323728.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e79d43742b4ee40954b18e2a5bb4c066
RANDOM SEED=899378843

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
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	: 5265.34
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.839
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.82
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.839
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.74
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.839
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.76
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.839
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32487616 kB
Buffers:         18644 kB
Cached:         285692 kB
SwapCached:          0 kB
Active:         108880 kB
Inactive:       256512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32487616 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             792 kB
Writeback:           0 kB
AnonPages:       61032 kB
Mapped:          14348 kB
Slab:            34920 kB
PageTables:       4524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183352 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= 74180 MiB
End job on node141 at 2010-07-05 12:25:25