Trace number 3492182

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.1 1794.75

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM9e4fdadcc7668e5ef6d5afa26a2e782c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.571912
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints145
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 7273
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7272
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.04/0.28	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.28	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.28	c See www.sat4j.org for details.
0.04/0.29	c version 2.3.1.v20110525
0.04/0.29	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.29	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.29	c java.vm.version	19.1-b02
0.04/0.29	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.29	c sun.arch.data.model	64
0.04/0.29	c java.version		1.6.0_24
0.04/0.29	c os.name		Linux
0.04/0.29	c os.version		2.6.18-164.el5
0.04/0.29	c os.arch		amd64
0.04/0.29	c Free memory 		9996466904
0.04/0.29	c Max memory 		10048897024
0.04/0.29	c Total memory 		10048897024
0.04/0.29	c Number of processors 	8
0.11/0.32	c Pseudo Boolean Optimization
0.11/0.32	c --- Begin Solver configuration ---
0.11/0.32	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.32	c Learn all clauses as in MiniSAT
0.11/0.32	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.32	c Expensive reason simplification
0.11/0.32	c Armin Biere (Picosat) restarts strategy
0.11/0.32	c Glucose learned constraints deletion strategy
0.11/0.32	c timeout=2147483s
0.11/0.32	c DB Simplification allowed=false
0.11/0.32	c --- End Solver configuration ---
0.11/0.32	c solving HOME/instance-3492182-1307908199.wbo
0.11/0.32	c reading problem ... 
0.52/0.50	c ... done. Wall clock time 0.185s.
0.52/0.50	c #vars     5645
0.52/0.50	c #constraints  210
0.52/0.50	c constraints type 
0.52/0.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 110
0.52/0.50	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.52/0.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
1.09/0.70	c SATISFIABLE
1.09/0.70	c OPTIMIZING...
1.09/0.70	c Got one! Elapsed wall clock time (in seconds):0.382
1.09/0.70	o 147
1.25/0.80	c Got one! Elapsed wall clock time (in seconds):0.482
1.25/0.80	o 135
1.25/0.85	c Got one! Elapsed wall clock time (in seconds):0.531
1.25/0.85	o 120
1.60/1.03	c Got one! Elapsed wall clock time (in seconds):0.71
1.60/1.03	o 111
1.91/1.31	c Got one! Elapsed wall clock time (in seconds):0.997
1.91/1.31	o 107
2.01/1.43	c Got one! Elapsed wall clock time (in seconds):1.112
2.01/1.43	o 84
2.51/1.97	c Got one! Elapsed wall clock time (in seconds):1.655
2.51/1.97	o 83
3.01/2.48	c Got one! Elapsed wall clock time (in seconds):2.162
3.01/2.48	o 81
3.41/2.83	c cleaning 4147 clauses out of 8294 with flag 1000/8294
3.55/2.92	c Got one! Elapsed wall clock time (in seconds):2.602
3.55/2.92	o 45
4.28/3.64	c Got one! Elapsed wall clock time (in seconds):3.321
4.28/3.64	o 37
5.28/4.64	c cleaning 4802 clauses out of 9670 with flag 3000/13817
5.39/4.77	c Got one! Elapsed wall clock time (in seconds):4.455
5.39/4.77	o 32
6.39/5.71	c Got one! Elapsed wall clock time (in seconds):5.396
6.39/5.71	o 26
7.39/6.76	c cleaning 5101 clauses out of 10239 with flag 2000/19188
8.20/7.60	c Got one! Elapsed wall clock time (in seconds):7.281
8.20/7.60	o 22
9.51/8.83	c cleaning 5367 clauses out of 10739 with flag 3000/24789
9.96/9.27	c Got one! Elapsed wall clock time (in seconds):8.952
9.96/9.27	o 16
11.86/11.14	c cleaning 5245 clauses out of 10528 with flag 4002/29945
12.96/12.25	c Got one! Elapsed wall clock time (in seconds):11.929
12.96/12.25	o 15
13.26/12.51	c cleaning 5291 clauses out of 10625 with flag 1000/35287
14.07/13.32	c Got one! Elapsed wall clock time (in seconds):13.007
14.07/13.32	o 11
15.26/14.56	c cleaning 5271 clauses out of 10586 with flag 3000/40539
17.47/16.79	c cleaning 5618 clauses out of 11315 with flag 9000/46539
20.18/19.41	c Got one! Elapsed wall clock time (in seconds):19.09
20.18/19.41	o 3
20.38/19.63	c cleaning 5792 clauses out of 11623 with flag 1003/52465
22.89/22.17	c cleaning 5882 clauses out of 11829 with flag 7001/58463
26.30/25.59	c cleaning 6444 clauses out of 12948 with flag 14002/65464
29.60/28.84	c cleaning 7225 clauses out of 14504 with flag 22002/73464
33.91/33.16	c cleaning 8134 clauses out of 16278 with flag 31001/82463
38.62/37.84	c cleaning 9051 clauses out of 18143 with flag 41000/92462
43.83/43.02	c cleaning 9521 clauses out of 19093 with flag 51001/102463
50.93/50.17	c cleaning 9755 clauses out of 19572 with flag 61001/112463
56.04/55.27	c cleaning 9877 clauses out of 19819 with flag 71003/122465
60.76/59.92	c cleaning 9944 clauses out of 19942 with flag 81003/132465
66.26/65.43	c cleaning 9950 clauses out of 19995 with flag 91000/142462
72.38/71.55	c cleaning 9984 clauses out of 20048 with flag 101003/152465
77.38/76.56	c cleaning 9967 clauses out of 20062 with flag 111001/162463
82.99/82.15	c cleaning 9985 clauses out of 20096 with flag 121002/172464
86.90/86.01	c cleaning 10052 clauses out of 20109 with flag 131000/182462
91.51/90.67	c cleaning 10002 clauses out of 20059 with flag 141002/192464
96.71/95.84	c cleaning 9983 clauses out of 20055 with flag 151000/202462
102.32/101.43	c cleaning 9996 clauses out of 20073 with flag 161001/212463
109.23/108.35	c cleaning 10015 clauses out of 20079 with flag 171003/222465
116.54/115.68	c cleaning 9996 clauses out of 20061 with flag 181000/232462
121.87/120.95	c cleaning 9994 clauses out of 20065 with flag 191000/242462
127.17/126.22	c cleaning 9998 clauses out of 20072 with flag 201001/252463
132.47/131.57	c cleaning 9978 clauses out of 20075 with flag 211002/262464
136.89/135.93	c cleaning 10018 clauses out of 20095 with flag 221000/272462
142.30/141.37	c cleaning 10013 clauses out of 20077 with flag 231000/282462
148.32/147.34	c cleaning 9989 clauses out of 20064 with flag 241000/292462
153.63/152.67	c cleaning 10013 clauses out of 20076 with flag 251001/302463
159.54/158.53	c cleaning 10004 clauses out of 20065 with flag 261003/312465
164.35/163.32	c cleaning 9996 clauses out of 20058 with flag 271000/322462
168.56/167.56	c cleaning 10013 clauses out of 20063 with flag 281001/332463
172.68/171.66	c cleaning 10004 clauses out of 20049 with flag 291000/342462
176.28/175.26	c cleaning 9981 clauses out of 20054 with flag 301009/352471
182.10/181.08	c cleaning 9986 clauses out of 20068 with flag 311004/362466
187.43/186.37	c cleaning 9999 clauses out of 20083 with flag 321005/372467
193.67/192.55	c cleaning 10011 clauses out of 20080 with flag 331001/382463
199.09/197.96	c cleaning 9991 clauses out of 20069 with flag 341001/392463
202.91/201.78	c cleaning 10008 clauses out of 20077 with flag 351000/402462
208.32/207.13	c cleaning 10012 clauses out of 20071 with flag 361002/412464
213.63/212.49	c cleaning 9986 clauses out of 20057 with flag 371000/422462
221.04/219.81	c cleaning 9998 clauses out of 20072 with flag 381001/432463
227.06/225.85	c cleaning 9998 clauses out of 20076 with flag 391003/442465
232.18/230.99	c cleaning 10025 clauses out of 20078 with flag 401003/452465
237.58/236.35	c cleaning 9997 clauses out of 20054 with flag 411004/462466
243.40/242.13	c cleaning 10001 clauses out of 20056 with flag 421003/472465
248.63/247.34	c cleaning 9979 clauses out of 20054 with flag 431002/482464
250.75/249.40	c cleaning 9997 clauses out of 20073 with flag 441000/492462
253.16/251.81	c cleaning 10004 clauses out of 20078 with flag 451002/502464
256.07/254.79	c cleaning 9996 clauses out of 20073 with flag 461001/512463
258.79/257.45	c cleaning 9999 clauses out of 20076 with flag 471000/522462
263.69/262.37	c cleaning 10019 clauses out of 20084 with flag 481007/532469
267.61/266.22	c cleaning 9963 clauses out of 20059 with flag 491001/542463
272.42/271.04	c cleaning 9986 clauses out of 20095 with flag 501000/552462
276.44/275.09	c cleaning 9984 clauses out of 20110 with flag 511001/562463
280.55/279.14	c cleaning 9995 clauses out of 20128 with flag 521003/572465
285.07/283.60	c cleaning 9995 clauses out of 20130 with flag 531000/582462
288.08/286.66	c cleaning 10030 clauses out of 20136 with flag 541001/592463
292.79/291.30	c cleaning 10019 clauses out of 20107 with flag 551002/602464
298.10/296.61	c cleaning 10018 clauses out of 20088 with flag 561002/612464
302.72/301.29	c cleaning 10010 clauses out of 20068 with flag 571000/622462
307.64/306.14	c cleaning 9996 clauses out of 20059 with flag 581001/632463
313.36/311.86	c cleaning 9998 clauses out of 20063 with flag 591001/642463
318.38/316.86	c cleaning 10013 clauses out of 20065 with flag 601001/652463
323.79/322.30	c cleaning 10006 clauses out of 20053 with flag 611002/662464
329.59/328.07	c cleaning 9991 clauses out of 20049 with flag 621004/672466
333.80/332.27	c cleaning 9997 clauses out of 20056 with flag 631002/682464
338.01/336.49	c cleaning 10001 clauses out of 20060 with flag 641003/692465
341.91/340.39	c cleaning 9992 clauses out of 20056 with flag 651000/702462
346.42/344.80	c cleaning 10007 clauses out of 20066 with flag 661002/712464
350.63/349.06	c cleaning 10006 clauses out of 20057 with flag 671000/722462
357.74/356.14	c cleaning 10005 clauses out of 20053 with flag 681002/732464
364.26/362.67	c cleaning 9986 clauses out of 20046 with flag 691000/742462
370.26/368.61	c cleaning 10004 clauses out of 20060 with flag 701000/752462
376.07/374.45	c cleaning 10005 clauses out of 20056 with flag 711000/762462
381.48/379.86	c cleaning 9998 clauses out of 20055 with flag 721004/772466
387.49/385.85	c cleaning 10000 clauses out of 20055 with flag 731002/782464
391.41/389.78	c cleaning 9996 clauses out of 20053 with flag 741000/792462
396.02/394.34	c cleaning 9997 clauses out of 20057 with flag 751000/802462
400.54/398.88	c cleaning 10013 clauses out of 20066 with flag 761006/812468
404.95/403.20	c cleaning 9995 clauses out of 20047 with flag 771000/822462
409.67/407.91	c cleaning 9993 clauses out of 20053 with flag 781001/832463
414.49/412.77	c cleaning 10007 clauses out of 20066 with flag 791007/842469
418.72/416.92	c cleaning 9999 clauses out of 20052 with flag 801000/852462
422.94/421.19	c cleaning 9999 clauses out of 20055 with flag 811002/862464
427.27/425.46	c cleaning 9994 clauses out of 20054 with flag 821000/872462
431.78/429.91	c cleaning 10011 clauses out of 20064 with flag 831004/882466
435.90/434.02	c cleaning 9992 clauses out of 20051 with flag 841002/892464
441.52/439.69	c cleaning 10002 clauses out of 20060 with flag 851003/902465
447.53/445.66	c cleaning 9999 clauses out of 20056 with flag 861001/912463
454.44/452.53	c cleaning 9988 clauses out of 20056 with flag 871000/922462
460.06/458.10	c cleaning 10007 clauses out of 20069 with flag 881001/932463
466.37/464.41	c cleaning 9997 clauses out of 20062 with flag 891001/942463
471.59/469.64	c cleaning 9986 clauses out of 20064 with flag 901000/952462
478.20/476.24	c cleaning 9994 clauses out of 20081 with flag 911003/962465
483.71/481.71	c cleaning 10033 clauses out of 20085 with flag 921001/972463
489.61/487.64	c cleaning 9963 clauses out of 20052 with flag 931001/982463
494.43/492.48	c cleaning 10009 clauses out of 20088 with flag 941000/992462
499.45/497.43	c cleaning 10022 clauses out of 20084 with flag 951005/1002467
504.06/502.02	c cleaning 9987 clauses out of 20058 with flag 961001/1012463
509.09/507.04	c cleaning 9997 clauses out of 20071 with flag 971001/1022463
514.60/512.58	c cleaning 9991 clauses out of 20074 with flag 981001/1032463
520.40/518.40	c cleaning 9999 clauses out of 20082 with flag 991000/1042462
529.31/527.21	c cleaning 9986 clauses out of 20085 with flag 1001002/1052464
536.22/534.14	c cleaning 10006 clauses out of 20098 with flag 1011001/1062463
542.93/540.81	c cleaning 9990 clauses out of 20091 with flag 1021000/1072462
548.85/546.78	c cleaning 10030 clauses out of 20102 with flag 1031001/1082463
552.75/550.66	c cleaning 10022 clauses out of 20073 with flag 1041002/1092464
557.28/555.17	c cleaning 10006 clauses out of 20051 with flag 1051002/1102464
561.50/559.30	c cleaning 10005 clauses out of 20045 with flag 1061002/1112464
566.01/563.89	c cleaning 9992 clauses out of 20042 with flag 1071004/1122466
570.95/568.74	c cleaning 9993 clauses out of 20047 with flag 1081001/1132463
576.26/574.07	c cleaning 10015 clauses out of 20054 with flag 1091001/1142463
580.89/578.62	c cleaning 9979 clauses out of 20038 with flag 1101000/1152462
585.10/582.90	c cleaning 10020 clauses out of 20063 with flag 1111004/1162466
589.31/587.03	c cleaning 10006 clauses out of 20044 with flag 1121005/1172467
593.11/590.87	c cleaning 9942 clauses out of 20034 with flag 1131001/1182463
597.43/595.11	c cleaning 9976 clauses out of 20091 with flag 1141000/1192462
602.65/600.33	c cleaning 9994 clauses out of 20118 with flag 1151003/1202465
608.57/606.26	c cleaning 9976 clauses out of 20124 with flag 1161003/1212465
613.20/610.87	c cleaning 10006 clauses out of 20147 with flag 1171002/1222464
619.23/616.83	c cleaning 10002 clauses out of 20141 with flag 1181002/1232464
624.15/621.75	c cleaning 10006 clauses out of 20140 with flag 1191003/1242465
629.18/626.72	c cleaning 10000 clauses out of 20132 with flag 1201001/1252463
633.60/631.16	c cleaning 9995 clauses out of 20131 with flag 1211000/1262462
637.81/635.36	c cleaning 10000 clauses out of 20139 with flag 1221003/1272465
642.23/639.73	c cleaning 9990 clauses out of 20136 with flag 1231000/1282462
648.34/645.84	c cleaning 10011 clauses out of 20146 with flag 1241000/1292462
652.34/649.80	c cleaning 10000 clauses out of 20138 with flag 1251003/1302465
656.36/653.86	c cleaning 10003 clauses out of 20137 with flag 1261002/1312464
660.58/658.07	c cleaning 9996 clauses out of 20135 with flag 1271003/1322465
664.19/661.69	c cleaning 9981 clauses out of 20137 with flag 1281001/1332463
669.12/666.56	c cleaning 10034 clauses out of 20156 with flag 1291001/1342463
674.23/671.63	c cleaning 10026 clauses out of 20121 with flag 1301000/1352462
680.74/678.15	c cleaning 10013 clauses out of 20096 with flag 1311001/1362463
686.06/683.44	c cleaning 10009 clauses out of 20082 with flag 1321000/1372462
692.06/689.46	c cleaning 10009 clauses out of 20073 with flag 1331000/1382462
695.97/693.39	c cleaning 10015 clauses out of 20064 with flag 1341000/1392462
700.98/698.30	c cleaning 10004 clauses out of 20050 with flag 1351001/1402463
705.61/702.91	c cleaning 9975 clauses out of 20046 with flag 1361001/1412463
712.23/709.56	c cleaning 9970 clauses out of 20070 with flag 1371000/1422462
719.64/716.90	c cleaning 9974 clauses out of 20100 with flag 1381000/1432462
724.96/722.24	c cleaning 9989 clauses out of 20126 with flag 1391000/1442462
732.36/729.70	c cleaning 9995 clauses out of 20138 with flag 1401001/1452463
737.78/735.09	c cleaning 10058 clauses out of 20142 with flag 1411000/1462462
743.39/740.69	c cleaning 10033 clauses out of 20086 with flag 1421002/1472464
749.20/746.44	c cleaning 10015 clauses out of 20051 with flag 1431000/1482462
755.61/752.83	c cleaning 10004 clauses out of 20036 with flag 1441000/1492462
762.02/759.21	c cleaning 10007 clauses out of 20035 with flag 1451003/1502465
767.93/765.16	c cleaning 10001 clauses out of 20025 with flag 1461000/1512462
773.73/770.96	c cleaning 10004 clauses out of 20029 with flag 1471005/1522467
778.14/775.35	c cleaning 9993 clauses out of 20023 with flag 1481003/1532465
782.55/779.75	c cleaning 9997 clauses out of 20028 with flag 1491001/1542463
787.55/784.71	c cleaning 9997 clauses out of 20030 with flag 1501000/1552462
791.96/789.14	c cleaning 10000 clauses out of 20034 with flag 1511001/1562463
796.76/793.94	c cleaning 9997 clauses out of 20034 with flag 1521001/1572463
801.87/799.04	c cleaning 10002 clauses out of 20037 with flag 1531001/1582463
806.88/804.04	c cleaning 9995 clauses out of 20034 with flag 1541000/1592462
811.98/809.18	c cleaning 10001 clauses out of 20040 with flag 1551001/1602463
816.29/813.48	c cleaning 10001 clauses out of 20041 with flag 1561003/1612465
820.79/817.92	c cleaning 9998 clauses out of 20037 with flag 1571000/1622462
824.51/821.60	c cleaning 9997 clauses out of 20040 with flag 1581001/1632463
828.93/826.08	c cleaning 10006 clauses out of 20042 with flag 1591000/1642462
832.75/829.88	c cleaning 10006 clauses out of 20036 with flag 1601000/1652462
836.87/833.94	c cleaning 10002 clauses out of 20031 with flag 1611001/1662463
841.30/838.34	c cleaning 10002 clauses out of 20028 with flag 1621000/1672462
845.12/842.16	c cleaning 9999 clauses out of 20028 with flag 1631002/1682464
849.64/846.69	c cleaning 10004 clauses out of 20036 with flag 1641009/1692471
853.65/850.61	c cleaning 9991 clauses out of 20023 with flag 1651000/1702462
857.27/854.21	c cleaning 10004 clauses out of 20032 with flag 1661000/1712462
861.98/859.00	c cleaning 10005 clauses out of 20034 with flag 1671006/1722468
866.80/863.78	c cleaning 9996 clauses out of 20023 with flag 1681000/1732462
871.82/868.73	c cleaning 9996 clauses out of 20027 with flag 1691000/1742462
875.64/872.57	c cleaning 10007 clauses out of 20035 with flag 1701004/1752466
879.55/876.47	c cleaning 9997 clauses out of 20025 with flag 1711001/1762463
882.97/879.83	c cleaning 9964 clauses out of 20027 with flag 1721000/1772462
887.18/884.08	c cleaning 9994 clauses out of 20064 with flag 1731001/1782463
891.30/888.20	c cleaning 9997 clauses out of 20070 with flag 1741001/1792463
896.53/893.37	c cleaning 10001 clauses out of 20072 with flag 1751000/1802462
901.45/898.28	c cleaning 9995 clauses out of 20071 with flag 1761000/1812462
905.87/902.60	c cleaning 10001 clauses out of 20077 with flag 1771001/1822463
910.19/906.98	c cleaning 9998 clauses out of 20076 with flag 1781001/1832463
914.60/911.32	c cleaning 9991 clauses out of 20077 with flag 1791000/1842462
919.12/915.89	c cleaning 10008 clauses out of 20089 with flag 1801003/1852465
923.43/920.14	c cleaning 9993 clauses out of 20078 with flag 1811000/1862462
927.75/924.46	c cleaning 10005 clauses out of 20085 with flag 1821000/1872462
931.96/928.62	c cleaning 10001 clauses out of 20080 with flag 1831000/1882462
936.57/933.24	c cleaning 9991 clauses out of 20079 with flag 1841000/1892462
941.59/938.27	c cleaning 10005 clauses out of 20089 with flag 1851001/1902463
946.41/943.09	c cleaning 10000 clauses out of 20084 with flag 1861001/1912463
952.22/948.84	c cleaning 10007 clauses out of 20091 with flag 1871008/1922470
956.83/953.45	c cleaning 9987 clauses out of 20076 with flag 1881000/1932462
960.85/957.48	c cleaning 10001 clauses out of 20090 with flag 1891001/1942463
964.96/961.51	c cleaning 9996 clauses out of 20088 with flag 1901000/1952462
968.56/965.14	c cleaning 10002 clauses out of 20092 with flag 1911000/1962462
972.87/969.44	c cleaning 9988 clauses out of 20090 with flag 1921000/1972462
977.28/973.88	c cleaning 10007 clauses out of 20104 with flag 1931002/1982464
981.39/977.96	c cleaning 10005 clauses out of 20095 with flag 1941000/1992462
985.69/982.21	c cleaning 10015 clauses out of 20091 with flag 1951001/2002463
991.00/987.54	c cleaning 10007 clauses out of 20075 with flag 1961000/2012462
996.02/992.52	c cleaning 9997 clauses out of 20068 with flag 1971000/2022462
1001.33/997.88	c cleaning 9985 clauses out of 20072 with flag 1981001/2032463
1008.44/1004.98	c cleaning 9988 clauses out of 20087 with flag 1991001/2042463
1013.05/1009.57	c cleaning 10030 clauses out of 20099 with flag 2001001/2052463
1018.06/1014.59	c cleaning 10017 clauses out of 20071 with flag 2011003/2062465
1022.67/1019.17	c cleaning 10006 clauses out of 20051 with flag 2021000/2072462
1026.49/1022.92	c cleaning 9997 clauses out of 20045 with flag 2031000/2082462
1030.49/1026.97	c cleaning 9999 clauses out of 20048 with flag 2041000/2092462
1035.61/1032.08	c cleaning 9996 clauses out of 20049 with flag 2051000/2102462
1041.44/1037.87	c cleaning 10015 clauses out of 20054 with flag 2061001/2112463
1048.26/1044.68	c cleaning 9999 clauses out of 20040 with flag 2071002/2122464
1053.29/1049.64	c cleaning 10001 clauses out of 20040 with flag 2081001/2132463
1059.49/1055.83	c cleaning 10000 clauses out of 20039 with flag 2091001/2142463
1066.40/1062.70	c cleaning 9995 clauses out of 20038 with flag 2101000/2152462
1073.51/1069.83	c cleaning 10005 clauses out of 20044 with flag 2111001/2162463
1079.82/1076.19	c cleaning 10000 clauses out of 20041 with flag 2121003/2172465
1086.03/1082.39	c cleaning 10001 clauses out of 20038 with flag 2131000/2182462
1091.23/1087.59	c cleaning 9993 clauses out of 20038 with flag 2141001/2192463
1095.74/1092.05	c cleaning 9997 clauses out of 20045 with flag 2151001/2202463
1100.06/1096.35	c cleaning 10003 clauses out of 20049 with flag 2161002/2212464
1104.58/1100.81	c cleaning 10001 clauses out of 20047 with flag 2171003/2222465
1109.21/1105.46	c cleaning 9989 clauses out of 20047 with flag 2181004/2232466
1114.52/1110.71	c cleaning 10006 clauses out of 20054 with flag 2191000/2242462
1118.74/1114.97	c cleaning 9992 clauses out of 20048 with flag 2201000/2252462
1123.15/1119.32	c cleaning 10008 clauses out of 20059 with flag 2211003/2262465
1127.77/1123.91	c cleaning 9999 clauses out of 20052 with flag 2221004/2272466
1132.50/1128.63	c cleaning 9997 clauses out of 20056 with flag 2231007/2282469
1137.21/1133.31	c cleaning 9997 clauses out of 20054 with flag 2241002/2292464
1143.22/1139.31	c cleaning 9996 clauses out of 20057 with flag 2251002/2302464
1149.14/1145.23	c cleaning 9993 clauses out of 20059 with flag 2261000/2312462
1155.55/1151.64	c cleaning 10005 clauses out of 20069 with flag 2271003/2322465
1162.16/1158.23	c cleaning 9991 clauses out of 20063 with flag 2281002/2332464
1169.36/1165.41	c cleaning 10000 clauses out of 20071 with flag 2291001/2342463
1175.57/1171.69	c cleaning 10008 clauses out of 20080 with flag 2301010/2352472
1181.88/1177.99	c cleaning 10000 clauses out of 20062 with flag 2311000/2362462
1188.38/1184.45	c cleaning 9991 clauses out of 20064 with flag 2321002/2372464
1194.79/1190.87	c cleaning 10006 clauses out of 20073 with flag 2331002/2382464
1201.49/1197.51	c cleaning 10003 clauses out of 20067 with flag 2341002/2392464
1207.50/1203.55	c cleaning 10000 clauses out of 20063 with flag 2351001/2402463
1213.70/1209.75	c cleaning 10001 clauses out of 20064 with flag 2361002/2412464
1220.11/1216.19	c cleaning 9996 clauses out of 20061 with flag 2371000/2422462
1226.42/1222.45	c cleaning 10003 clauses out of 20068 with flag 2381003/2432465
1230.62/1226.67	c cleaning 9998 clauses out of 20063 with flag 2391001/2442463
1235.04/1231.08	c cleaning 10010 clauses out of 20064 with flag 2401000/2452462
1239.16/1235.17	c cleaning 10006 clauses out of 20060 with flag 2411006/2462468
1243.48/1239.44	c cleaning 10001 clauses out of 20050 with flag 2421002/2472464
1248.21/1244.18	c cleaning 9993 clauses out of 20048 with flag 2431001/2482463
1253.83/1249.78	c cleaning 9998 clauses out of 20058 with flag 2441004/2492466
1258.35/1254.23	c cleaning 9998 clauses out of 20057 with flag 2451001/2502463
1263.38/1259.24	c cleaning 10008 clauses out of 20058 with flag 2461000/2512462
1268.60/1264.41	c cleaning 10000 clauses out of 20051 with flag 2471001/2522463
1272.93/1268.79	c cleaning 9990 clauses out of 20051 with flag 2481001/2532463
1276.95/1272.73	c cleaning 10005 clauses out of 20060 with flag 2491000/2542462
1281.16/1276.96	c cleaning 10006 clauses out of 20056 with flag 2501001/2552463
1286.47/1282.23	c cleaning 10001 clauses out of 20049 with flag 2511000/2562462
1290.59/1286.39	c cleaning 9995 clauses out of 20048 with flag 2521000/2572462
1294.40/1290.19	c cleaning 10009 clauses out of 20057 with flag 2531004/2582466
1298.92/1294.62	c cleaning 10001 clauses out of 20046 with flag 2541002/2592464
1303.72/1299.41	c cleaning 9997 clauses out of 20044 with flag 2551001/2602463
1308.53/1304.28	c cleaning 9999 clauses out of 20048 with flag 2561002/2612464
1313.05/1308.74	c cleaning 9998 clauses out of 20048 with flag 2571001/2622463
1317.66/1313.36	c cleaning 9999 clauses out of 20049 with flag 2581000/2632462
1322.77/1318.48	c cleaning 10002 clauses out of 20051 with flag 2591001/2642463
1328.50/1324.12	c cleaning 10003 clauses out of 20050 with flag 2601002/2652464
1332.62/1328.25	c cleaning 9981 clauses out of 20045 with flag 2611000/2662462
1339.32/1334.93	c cleaning 9987 clauses out of 20068 with flag 2621004/2672466
1345.73/1341.36	c cleaning 9996 clauses out of 20080 with flag 2631003/2682465
1352.35/1347.97	c cleaning 9998 clauses out of 20081 with flag 2641000/2692462
1358.56/1354.17	c cleaning 9997 clauses out of 20083 with flag 2651000/2702462
1365.17/1360.74	c cleaning 9998 clauses out of 20087 with flag 2661001/2712463
1371.48/1367.06	c cleaning 9989 clauses out of 20088 with flag 2671000/2722462
1377.98/1373.54	c cleaning 10005 clauses out of 20101 with flag 2681002/2732464
1384.70/1380.25	c cleaning 10004 clauses out of 20094 with flag 2691000/2742462
1391.40/1386.96	c cleaning 10001 clauses out of 20092 with flag 2701002/2752464
1398.11/1393.70	c cleaning 10003 clauses out of 20092 with flag 2711003/2762465
1405.31/1400.80	c cleaning 10001 clauses out of 20089 with flag 2721003/2772465
1411.72/1407.26	c cleaning 9998 clauses out of 20086 with flag 2731001/2782463
1418.93/1414.41	c cleaning 10000 clauses out of 20088 with flag 2741001/2792463
1426.05/1421.54	c cleaning 10000 clauses out of 20087 with flag 2751000/2802462
1433.05/1428.55	c cleaning 9999 clauses out of 20089 with flag 2761002/2812464
1439.96/1435.42	c cleaning 9999 clauses out of 20088 with flag 2771000/2822462
1446.46/1441.91	c cleaning 10001 clauses out of 20093 with flag 2781004/2832466
1453.86/1449.39	c cleaning 10001 clauses out of 20091 with flag 2791003/2842465
1460.77/1456.29	c cleaning 9993 clauses out of 20088 with flag 2801001/2852463
1467.77/1463.26	c cleaning 10003 clauses out of 20096 with flag 2811002/2862464
1474.68/1470.10	c cleaning 10003 clauses out of 20093 with flag 2821002/2872464
1481.68/1477.18	c cleaning 9999 clauses out of 20088 with flag 2831000/2882462
1488.88/1484.32	c cleaning 10001 clauses out of 20090 with flag 2841001/2892463
1495.10/1490.54	c cleaning 9999 clauses out of 20088 with flag 2851000/2902462
1501.70/1497.15	c cleaning 9995 clauses out of 20090 with flag 2861001/2912463
1508.31/1503.72	c cleaning 10000 clauses out of 20094 with flag 2871000/2922462
1515.30/1510.73	c cleaning 10005 clauses out of 20099 with flag 2881005/2932467
1522.21/1517.64	c cleaning 10003 clauses out of 20091 with flag 2891002/2942464
1528.71/1524.14	c cleaning 9998 clauses out of 20087 with flag 2901001/2952463
1536.12/1531.59	c cleaning 9999 clauses out of 20088 with flag 2911000/2962462
1543.12/1538.56	c cleaning 10000 clauses out of 20091 with flag 2921002/2972464
1549.73/1545.13	c cleaning 10002 clauses out of 20089 with flag 2931000/2982462
1555.54/1551.00	c cleaning 10021 clauses out of 20089 with flag 2941002/2992464
1559.96/1555.38	c cleaning 10017 clauses out of 20069 with flag 2951003/3002465
1565.58/1560.98	c cleaning 9982 clauses out of 20049 with flag 2961000/3012462
1571.19/1566.52	c cleaning 9995 clauses out of 20068 with flag 2971001/3022463
1575.91/1571.20	c cleaning 9996 clauses out of 20072 with flag 2981000/3032462
1580.82/1576.16	c cleaning 10002 clauses out of 20078 with flag 2991002/3042464
1585.63/1580.93	c cleaning 10002 clauses out of 20075 with flag 3001001/3052463
1593.34/1588.67	c cleaning 10001 clauses out of 20073 with flag 3011001/3062463
1600.05/1595.33	c cleaning 9998 clauses out of 20072 with flag 3021001/3072463
1604.37/1599.62	c cleaning 10018 clauses out of 20076 with flag 3031003/3082465
1607.38/1602.69	c cleaning 9989 clauses out of 20055 with flag 3041000/3092462
1611.79/1607.10	c cleaning 10005 clauses out of 20067 with flag 3051001/3102463
1616.11/1611.33	c cleaning 9996 clauses out of 20062 with flag 3061001/3112463
1620.13/1615.37	c cleaning 10021 clauses out of 20065 with flag 3071000/3122462
1625.95/1621.10	c cleaning 10004 clauses out of 20045 with flag 3081001/3132463
1632.16/1627.30	c cleaning 10003 clauses out of 20043 with flag 3091003/3142465
1638.57/1633.71	c cleaning 10004 clauses out of 20038 with flag 3101001/3152463
1645.68/1640.82	c cleaning 10000 clauses out of 20034 with flag 3111001/3162463
1651.79/1646.91	c cleaning 10000 clauses out of 20035 with flag 3121002/3172464
1657.89/1653.02	c cleaning 10001 clauses out of 20033 with flag 3131000/3182462
1662.10/1657.23	c cleaning 9994 clauses out of 20032 with flag 3141000/3192462
1666.01/1661.13	c cleaning 9996 clauses out of 20040 with flag 3151002/3202464
1670.12/1665.20	c cleaning 10006 clauses out of 20044 with flag 3161002/3212464
1673.63/1668.71	c cleaning 9999 clauses out of 20037 with flag 3171001/3222463
1677.43/1672.54	c cleaning 10001 clauses out of 20039 with flag 3181002/3232464
1681.13/1676.26	c cleaning 10002 clauses out of 20040 with flag 3191004/3242466
1685.33/1680.49	c cleaning 9995 clauses out of 20035 with flag 3201001/3252463
1689.24/1684.36	c cleaning 10003 clauses out of 20041 with flag 3211002/3262464
1693.06/1688.17	c cleaning 9998 clauses out of 20037 with flag 3221001/3272463
1696.96/1692.04	c cleaning 10001 clauses out of 20038 with flag 3231000/3282462
1700.77/1695.89	c cleaning 10010 clauses out of 20042 with flag 3241005/3292467
1707.89/1702.94	c cleaning 9977 clauses out of 20027 with flag 3251000/3302462
1714.91/1709.93	c cleaning 10010 clauses out of 20051 with flag 3261001/3312463
1721.13/1716.11	c cleaning 9998 clauses out of 20041 with flag 3271001/3322463
1726.85/1721.83	c cleaning 10014 clauses out of 20042 with flag 3281000/3332462
1734.47/1729.42	c cleaning 9966 clauses out of 20031 with flag 3291003/3342465
1741.20/1736.11	c cleaning 10024 clauses out of 20065 with flag 3301003/3352465
1748.22/1743.19	c cleaning 10015 clauses out of 20040 with flag 3311002/3362464
1755.54/1750.42	c cleaning 9964 clauses out of 20023 with flag 3321000/3372462
1763.26/1758.11	c cleaning 10011 clauses out of 20064 with flag 3331005/3382467
1769.89/1764.73	c cleaning 10009 clauses out of 20049 with flag 3341001/3392463
1776.80/1771.67	c cleaning 10005 clauses out of 20039 with flag 3351000/3402462
1782.53/1777.39	c cleaning 9995 clauses out of 20035 with flag 3361001/3412463
1790.35/1785.10	c cleaning 9991 clauses out of 20039 with flag 3371000/3422462
1798.09/1792.85	c cleaning 9998 clauses out of 20049 with flag 3381001/3432463
1800.00/1794.71	c starts		: 268
1800.00/1794.71	c conflicts		: 3436389
1800.00/1794.71	c decisions		: 5270729
1800.00/1794.71	c propagations		: 129351803
1800.00/1794.71	c inspects		: 4807394431
1800.00/1794.71	c shortcuts		: 0
1800.00/1794.71	c learnt literals	: 0
1800.00/1794.71	c learnt binary clauses	: 0
1800.00/1794.71	c learnt ternary clauses	: 0
1800.00/1794.71	c learnt constraints	: 3436389
1800.00/1794.71	c ignored constraints	: 0
1800.00/1794.71	c root simplifications	: 0
1800.00/1794.71	c removed literals (reason simplification)	: 12209129
1800.00/1794.71	c reason swapping (by a shorter reason)	: 0
1800.00/1794.71	c Calls to reduceDB	: 348
1800.00/1794.71	c number of reductions to clauses (during analyze)	: 0
1800.00/1794.71	c number of learned constraints concerned by reduction	: 0
1800.00/1794.71	c number of learning phase by resolution	: 0
1800.00/1794.71	c number of learning phase by cutting planes	: 0
1800.00/1794.71	c speed (assignments/second)	: 72861.82133416098
1800.00/1794.71	c non guided choices	474635
1800.00/1794.72	c learnt constraints type 
1800.00/1794.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13987
1800.00/1794.72	c constraints type 
1800.00/1794.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 110
1800.00/1794.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
1800.00/1794.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
1800.00/1794.72	s SATISFIABLE
1800.00/1794.74	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 
1800.00/1794.74	c objective function=3
1800.00/1794.74	c Total wall clock time (in seconds): 1794.418

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492182-1307908199/watcher-3492182-1307908199 -o /var/tmp/evaluation-result-3492182-1307908199/solver-3492182-1307908199 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492182-1307908199.wbo 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.00 1.04 1.33 2/173 28957
/proc/meminfo: memFree=1459784/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=3528 CPUtime=0 cores=1,3,5,7
/proc/28957/stat : 28957 (java) R 28953 28957 27059 0 -1 4194304 93 0 2 0 0 0 0 0 18 0 1 0 883235855 3612672 47 33554432000 1073741824 1073778376 140736132232208 18446744073709551615 220811312775 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/28957/statm: 882 47 36 9 0 27 0

[startup+0.030744 s]
/proc/loadavg: 1.00 1.04 1.33 2/173 28957
/proc/meminfo: memFree=1459784/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/28957/stat : 28957 (java) D 28953 28957 27059 0 -1 4202496 701 0 19 0 0 0 0 0 17 0 1 0 883235855 23580672 461 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220811274005 0 0 4096 0 18446744071562234166 0 0 17 7 0 0 1
/proc/28957/statm: 5757 461 348 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028

[startup+0.100792 s]
/proc/loadavg: 1.00 1.04 1.33 2/173 28957
/proc/meminfo: memFree=1459784/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 1126 0 55 0 0 0 0 0 17 0 2 0 883235855 29065216 906 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 7096 906 688 9 0 381 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28384

[startup+0.300724 s]
/proc/loadavg: 1.00 1.04 1.33 2/173 28957
/proc/meminfo: memFree=1459784/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=10540024 CPUtime=0.11 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 12831 0 111 0 9 2 0 0 17 0 18 0 883235855 10792984576 12635 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 2635006 12635 2092 9 0 2625740 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540024

[startup+0.70062 s]
/proc/loadavg: 1.00 1.04 1.33 2/173 28957
/proc/meminfo: memFree=1459784/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=10547728 CPUtime=1.09 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 19479 0 111 0 106 3 0 0 17 0 19 0 883235855 10800873472 17936 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 2636932 17936 2221 9 0 2627666 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 10547728

[startup+1.50151 s]
/proc/loadavg: 1.00 1.04 1.33 3/211 28995
/proc/meminfo: memFree=1319152/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=10547728 CPUtime=2.12 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 24619 0 111 0 208 4 0 0 17 0 19 0 883235855 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 2636932 21352 2227 9 0 2627666 0
[pid=28957/tid=28961] ppid=28953 vsize=10547728 CPUtime=1.27 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) R 28953 28957 27059 0 -1 4202560 16627 0 55 0 125 2 0 0 20 0 19 0 883235864 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 46912505718366 0 4 0 16800975 0 0 0 -1 1 0 0 9
[pid=28957/tid=28970] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28971] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883235868 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28972] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28972/stat : 28972 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883235868 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28973] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28973/stat : 28973 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883235868 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28974] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28974/stat : 28974 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883235868 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28975] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28975/stat : 28975 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883235868 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28976] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28976/stat : 28976 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883235868 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28977] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28977/stat : 28977 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883235868 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28979] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28979/stat : 28979 (java) S 28953 28957 27059 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 883235871 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 0 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28981] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28981/stat : 28981 (java) S 28953 28957 27059 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 883235873 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28983] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28983/stat : 28983 (java) S 28953 28957 27059 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 883235873 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28984] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28984/stat : 28984 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235878 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828060081 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28986] ppid=28953 vsize=10547728 CPUtime=0.44 cores=1,3,5,7
/proc/28957/task/28986/stat : 28986 (java) S 28953 28957 27059 0 -1 4202560 5414 0 0 0 44 0 0 0 16 0 19 0 883235878 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28988] ppid=28953 vsize=10547728 CPUtime=0.38 cores=1,3,5,7
/proc/28957/task/28988/stat : 28988 (java) S 28953 28957 27059 0 -1 4202560 1468 0 2 0 38 0 0 0 15 0 19 0 883235878 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28990] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28990/stat : 28990 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883235878 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28992] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28992/stat : 28992 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883235878 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28995] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28995/stat : 28995 (java) S 28953 28957 27059 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883235907 10800873472 21352 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 10547728

[startup+3.10121 s]
/proc/loadavg: 1.00 1.04 1.33 4/211 28995
/proc/meminfo: memFree=1292632/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=10547728 CPUtime=3.75 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 31690 0 111 0 370 5 0 0 17 0 19 0 883235855 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 2636932 28405 2253 9 0 2627666 0
[pid=28957/tid=28961] ppid=28953 vsize=10547728 CPUtime=2.85 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) R 28953 28957 27059 0 -1 4202560 19332 0 55 0 282 3 0 0 25 0 19 0 883235864 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 46912505696424 0 4 0 16800975 0 0 0 -1 1 0 0 9
[pid=28957/tid=28970] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28953 28957 27059 0 -1 4202560 322 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28971] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28953 28957 27059 0 -1 4202560 696 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28972] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28972/stat : 28972 (java) S 28953 28957 27059 0 -1 4202560 157 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28973] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28973/stat : 28973 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28974] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28974/stat : 28974 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28975] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28975/stat : 28975 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28976] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28976/stat : 28976 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28977] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28977/stat : 28977 (java) S 28953 28957 27059 0 -1 4202560 1034 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28979] ppid=28953 vsize=10547728 CPUtime=0.01 cores=1,3,5,7
/proc/28957/task/28979/stat : 28979 (java) S 28953 28957 27059 0 -1 4202560 2151 0 0 0 1 0 0 0 15 0 19 0 883235871 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 0 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28981] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28981/stat : 28981 (java) S 28953 28957 27059 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28983] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28983/stat : 28983 (java) S 28953 28957 27059 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28984] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28984/stat : 28984 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235878 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828060081 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28986] ppid=28953 vsize=10547728 CPUtime=0.45 cores=1,3,5,7
/proc/28957/task/28986/stat : 28986 (java) S 28953 28957 27059 0 -1 4202560 5421 0 0 0 45 0 0 0 16 0 19 0 883235878 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28988] ppid=28953 vsize=10547728 CPUtime=0.39 cores=1,3,5,7
/proc/28957/task/28988/stat : 28988 (java) S 28953 28957 27059 0 -1 4202560 1472 0 2 0 39 0 0 0 15 0 19 0 883235878 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28990] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28990/stat : 28990 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883235878 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28992] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28992/stat : 28992 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883235878 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28995] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28995/stat : 28995 (java) S 28953 28957 27059 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883235907 10800873472 28405 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 10547728

[startup+6.30063 s]
/proc/loadavg: 1.08 1.05 1.33 4/211 28995
/proc/meminfo: memFree=1250360/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=10547728 CPUtime=6.99 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 34932 0 111 0 694 5 0 0 17 0 19 0 883235855 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 2636932 31644 2253 9 0 2627666 0
[pid=28957/tid=28961] ppid=28953 vsize=10547728 CPUtime=6.03 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) R 28953 28957 27059 0 -1 4202560 19334 0 55 0 600 3 0 0 20 0 19 0 883235864 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 46912505678080 0 4 0 16800975 0 0 0 -1 1 0 0 9
[pid=28957/tid=28970] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28953 28957 27059 0 -1 4202560 326 0 0 0 0 0 0 0 15 0 19 0 883235868 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28971] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28953 28957 27059 0 -1 4202560 1417 0 0 0 0 0 0 0 15 0 19 0 883235868 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28972] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28972/stat : 28972 (java) S 28953 28957 27059 0 -1 4202560 931 0 0 0 0 0 0 0 18 0 19 0 883235868 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28973] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28973/stat : 28973 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883235868 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28974] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28974/stat : 28974 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883235868 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28975] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28975/stat : 28975 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883235868 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28976] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28976/stat : 28976 (java) S 28953 28957 27059 0 -1 4202560 779 0 0 0 0 0 0 0 15 0 19 0 883235868 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28977] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28977/stat : 28977 (java) S 28953 28957 27059 0 -1 4202560 1034 0 0 0 0 0 0 0 15 0 19 0 883235868 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28979] ppid=28953 vsize=10547728 CPUtime=0.03 cores=1,3,5,7
/proc/28957/task/28979/stat : 28979 (java) S 28953 28957 27059 0 -1 4202560 3109 0 0 0 3 0 0 0 15 0 19 0 883235871 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 0 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28981] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28981/stat : 28981 (java) S 28953 28957 27059 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28983] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28983/stat : 28983 (java) S 28953 28957 27059 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28984] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28984/stat : 28984 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235878 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828060081 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28986] ppid=28953 vsize=10547728 CPUtime=0.46 cores=1,3,5,7
/proc/28957/task/28986/stat : 28986 (java) S 28953 28957 27059 0 -1 4202560 5424 0 0 0 46 0 0 0 15 0 19 0 883235878 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28988] ppid=28953 vsize=10547728 CPUtime=0.41 cores=1,3,5,7
/proc/28957/task/28988/stat : 28988 (java) S 28953 28957 27059 0 -1 4202560 1474 0 2 0 41 0 0 0 15 0 19 0 883235878 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28990] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28990/stat : 28990 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883235878 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28992] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28992/stat : 28992 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883235878 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28995] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28995/stat : 28995 (java) S 28953 28957 27059 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883235907 10800873472 31644 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 10547728

[startup+12.7015 s]

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

[pid=28957/tid=28975] ppid=28953 vsize=10547728 CPUtime=0.74 cores=1,3,5,7
/proc/28957/task/28975/stat : 28975 (java) S 28953 28957 27059 0 -1 4202560 2452 0 0 0 74 0 0 0 15 0 19 0 883235868 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28976] ppid=28953 vsize=10547728 CPUtime=0.79 cores=1,3,5,7
/proc/28957/task/28976/stat : 28976 (java) S 28953 28957 27059 0 -1 4202560 3845 0 0 0 79 0 0 0 16 0 19 0 883235868 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28977] ppid=28953 vsize=10547728 CPUtime=0.78 cores=1,3,5,7
/proc/28957/task/28977/stat : 28977 (java) S 28953 28957 27059 0 -1 4202560 5152 0 0 0 78 0 0 0 16 0 19 0 883235868 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28979] ppid=28953 vsize=10547728 CPUtime=15.13 cores=1,3,5,7
/proc/28957/task/28979/stat : 28979 (java) S 28953 28957 27059 0 -1 4202560 21689 0 0 0 1506 7 0 0 15 0 19 0 883235871 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 0 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28981] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28981/stat : 28981 (java) S 28953 28957 27059 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28983] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28983/stat : 28983 (java) S 28953 28957 27059 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28984] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28984/stat : 28984 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235878 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828060081 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28986] ppid=28953 vsize=10547728 CPUtime=0.52 cores=1,3,5,7
/proc/28957/task/28986/stat : 28986 (java) S 28953 28957 27059 0 -1 4202560 5461 0 0 0 52 0 0 0 15 0 19 0 883235878 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28988] ppid=28953 vsize=10547728 CPUtime=0.44 cores=1,3,5,7
/proc/28957/task/28988/stat : 28988 (java) S 28953 28957 27059 0 -1 4202560 1494 0 2 0 44 0 0 0 15 0 19 0 883235878 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28990] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28990/stat : 28990 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883235878 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28992] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28992/stat : 28992 (java) S 28953 28957 27059 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 883235878 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28995] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28995/stat : 28995 (java) S 28953 28957 27059 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883235907 10800873472 80450 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1727.37
Current children cumulated vsize (KiB) 10547728

[startup+1782.3 s]
/proc/loadavg: 2.23 2.06 1.88 4/211 29052
/proc/meminfo: memFree=996900/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=10547728 CPUtime=1787.55 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 84980 0 111 0 178734 21 0 0 17 0 19 0 883235855 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 2636932 81137 2254 9 0 2627666 0
[pid=28957/tid=28961] ppid=28953 vsize=10547728 CPUtime=1764.45 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) R 28953 28957 27059 0 -1 4202560 26227 0 55 0 176440 5 0 0 25 0 19 0 883235864 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 46912505702056 0 4 0 16800975 0 0 0 -1 5 0 0 9
[pid=28957/tid=28970] ppid=28953 vsize=10547728 CPUtime=0.8 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28953 28957 27059 0 -1 4202560 3993 0 0 0 80 0 0 0 16 0 19 0 883235868 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28971] ppid=28953 vsize=10547728 CPUtime=0.83 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28953 28957 27059 0 -1 4202560 3951 0 0 0 83 0 0 0 15 0 19 0 883235868 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28972] ppid=28953 vsize=10547728 CPUtime=0.78 cores=1,3,5,7
/proc/28957/task/28972/stat : 28972 (java) S 28953 28957 27059 0 -1 4202560 3373 0 0 0 78 0 0 0 16 0 19 0 883235868 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28973] ppid=28953 vsize=10547728 CPUtime=0.77 cores=1,3,5,7
/proc/28957/task/28973/stat : 28973 (java) S 28953 28957 27059 0 -1 4202560 2431 0 0 0 77 0 0 0 16 0 19 0 883235868 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28974] ppid=28953 vsize=10547728 CPUtime=0.82 cores=1,3,5,7
/proc/28957/task/28974/stat : 28974 (java) S 28953 28957 27059 0 -1 4202560 3618 0 0 0 82 0 0 0 16 0 19 0 883235868 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28975] ppid=28953 vsize=10547728 CPUtime=0.76 cores=1,3,5,7
/proc/28957/task/28975/stat : 28975 (java) S 28953 28957 27059 0 -1 4202560 2543 0 0 0 76 0 0 0 15 0 19 0 883235868 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28976] ppid=28953 vsize=10547728 CPUtime=0.83 cores=1,3,5,7
/proc/28957/task/28976/stat : 28976 (java) S 28953 28957 27059 0 -1 4202560 3845 0 0 0 83 0 0 0 16 0 19 0 883235868 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28977] ppid=28953 vsize=10547728 CPUtime=0.8 cores=1,3,5,7
/proc/28957/task/28977/stat : 28977 (java) S 28953 28957 27059 0 -1 4202560 5152 0 0 0 80 0 0 0 15 0 19 0 883235868 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28979] ppid=28953 vsize=10547728 CPUtime=15.59 cores=1,3,5,7
/proc/28957/task/28979/stat : 28979 (java) S 28953 28957 27059 0 -1 4202560 21691 0 0 0 1552 7 0 0 15 0 19 0 883235871 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 0 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28981] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28981/stat : 28981 (java) S 28953 28957 27059 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28983] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28983/stat : 28983 (java) S 28953 28957 27059 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28984] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28984/stat : 28984 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235878 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828060081 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28986] ppid=28953 vsize=10547728 CPUtime=0.52 cores=1,3,5,7
/proc/28957/task/28986/stat : 28986 (java) S 28953 28957 27059 0 -1 4202560 5461 0 0 0 52 0 0 0 15 0 19 0 883235878 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28988] ppid=28953 vsize=10547728 CPUtime=0.44 cores=1,3,5,7
/proc/28957/task/28988/stat : 28988 (java) S 28953 28957 27059 0 -1 4202560 1494 0 2 0 44 0 0 0 15 0 19 0 883235878 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28990] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28990/stat : 28990 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883235878 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28992] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28992/stat : 28992 (java) S 28953 28957 27059 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 883235878 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28995] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28995/stat : 28995 (java) S 28953 28957 27059 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883235907 10800873472 81137 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (KiB) 10547728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.7 s]
/proc/loadavg: 2.18 2.06 1.89 4/211 29052
/proc/meminfo: memFree=985968/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=10547728 CPUtime=1800 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 87762 0 111 0 179978 22 0 0 17 0 19 0 883235855 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 2636932 83913 2254 9 0 2627666 0
[pid=28957/tid=28961] ppid=28953 vsize=10547728 CPUtime=1776.72 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) R 28953 28957 27059 0 -1 4202560 28769 0 55 0 177666 6 0 0 25 0 19 0 883235864 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 46912505724633 0 4 0 16800975 0 0 0 -1 5 0 0 9
[pid=28957/tid=28970] ppid=28953 vsize=10547728 CPUtime=0.82 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28953 28957 27059 0 -1 4202560 4055 0 0 0 82 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28971] ppid=28953 vsize=10547728 CPUtime=0.84 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28953 28957 27059 0 -1 4202560 3951 0 0 0 84 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28972] ppid=28953 vsize=10547728 CPUtime=0.78 cores=1,3,5,7
/proc/28957/task/28972/stat : 28972 (java) S 28953 28957 27059 0 -1 4202560 3373 0 0 0 78 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28973] ppid=28953 vsize=10547728 CPUtime=0.79 cores=1,3,5,7
/proc/28957/task/28973/stat : 28973 (java) S 28953 28957 27059 0 -1 4202560 2487 0 0 0 79 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28974] ppid=28953 vsize=10547728 CPUtime=0.83 cores=1,3,5,7
/proc/28957/task/28974/stat : 28974 (java) S 28953 28957 27059 0 -1 4202560 3675 0 0 0 83 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28975] ppid=28953 vsize=10547728 CPUtime=0.76 cores=1,3,5,7
/proc/28957/task/28975/stat : 28975 (java) S 28953 28957 27059 0 -1 4202560 2543 0 0 0 76 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28976] ppid=28953 vsize=10547728 CPUtime=0.84 cores=1,3,5,7
/proc/28957/task/28976/stat : 28976 (java) S 28953 28957 27059 0 -1 4202560 3845 0 0 0 84 0 0 0 16 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28977] ppid=28953 vsize=10547728 CPUtime=0.81 cores=1,3,5,7
/proc/28957/task/28977/stat : 28977 (java) S 28953 28957 27059 0 -1 4202560 5213 0 0 0 81 0 0 0 16 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28979] ppid=28953 vsize=10547728 CPUtime=15.71 cores=1,3,5,7
/proc/28957/task/28979/stat : 28979 (java) S 28953 28957 27059 0 -1 4202560 21693 0 0 0 1564 7 0 0 15 0 19 0 883235871 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 0 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28981] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28981/stat : 28981 (java) S 28953 28957 27059 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28983] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28983/stat : 28983 (java) S 28953 28957 27059 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28984] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28984/stat : 28984 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828060081 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28986] ppid=28953 vsize=10547728 CPUtime=0.52 cores=1,3,5,7
/proc/28957/task/28986/stat : 28986 (java) S 28953 28957 27059 0 -1 4202560 5461 0 0 0 52 0 0 0 15 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28988] ppid=28953 vsize=10547728 CPUtime=0.44 cores=1,3,5,7
/proc/28957/task/28988/stat : 28988 (java) S 28953 28957 27059 0 -1 4202560 1494 0 2 0 44 0 0 0 15 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28990] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28990/stat : 28990 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28992] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28992/stat : 28992 (java) S 28953 28957 27059 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28995] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28995/stat : 28995 (java) S 28953 28957 27059 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883235907 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10547728

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

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

[startup+1794.7 s]
/proc/loadavg: 2.18 2.06 1.89 4/211 29052
/proc/meminfo: memFree=985968/32951124 swapFree=67062232/67111528
[pid=28957] ppid=28953 vsize=10547728 CPUtime=1800 cores=1,3,5,7
/proc/28957/stat : 28957 (java) S 28953 28957 27059 0 -1 4202496 87762 0 111 0 179978 22 0 0 17 0 19 0 883235855 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 7
/proc/28957/statm: 2636932 83913 2254 9 0 2627666 0
[pid=28957/tid=28961] ppid=28953 vsize=10547728 CPUtime=1776.72 cores=1,3,5,7
/proc/28957/task/28961/stat : 28961 (java) R 28953 28957 27059 0 -1 4202560 28769 0 55 0 177666 6 0 0 25 0 19 0 883235864 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 46912505724633 0 4 0 16800975 0 0 0 -1 5 0 0 9
[pid=28957/tid=28970] ppid=28953 vsize=10547728 CPUtime=0.82 cores=1,3,5,7
/proc/28957/task/28970/stat : 28970 (java) S 28953 28957 27059 0 -1 4202560 4055 0 0 0 82 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28971] ppid=28953 vsize=10547728 CPUtime=0.84 cores=1,3,5,7
/proc/28957/task/28971/stat : 28971 (java) S 28953 28957 27059 0 -1 4202560 3951 0 0 0 84 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28972] ppid=28953 vsize=10547728 CPUtime=0.78 cores=1,3,5,7
/proc/28957/task/28972/stat : 28972 (java) S 28953 28957 27059 0 -1 4202560 3373 0 0 0 78 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28973] ppid=28953 vsize=10547728 CPUtime=0.79 cores=1,3,5,7
/proc/28957/task/28973/stat : 28973 (java) S 28953 28957 27059 0 -1 4202560 2487 0 0 0 79 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28974] ppid=28953 vsize=10547728 CPUtime=0.83 cores=1,3,5,7
/proc/28957/task/28974/stat : 28974 (java) S 28953 28957 27059 0 -1 4202560 3675 0 0 0 83 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28975] ppid=28953 vsize=10547728 CPUtime=0.76 cores=1,3,5,7
/proc/28957/task/28975/stat : 28975 (java) S 28953 28957 27059 0 -1 4202560 2543 0 0 0 76 0 0 0 15 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28976] ppid=28953 vsize=10547728 CPUtime=0.84 cores=1,3,5,7
/proc/28957/task/28976/stat : 28976 (java) S 28953 28957 27059 0 -1 4202560 3845 0 0 0 84 0 0 0 16 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28977] ppid=28953 vsize=10547728 CPUtime=0.81 cores=1,3,5,7
/proc/28957/task/28977/stat : 28977 (java) S 28953 28957 27059 0 -1 4202560 5213 0 0 0 81 0 0 0 16 0 19 0 883235868 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28979] ppid=28953 vsize=10547728 CPUtime=15.71 cores=1,3,5,7
/proc/28957/task/28979/stat : 28979 (java) S 28953 28957 27059 0 -1 4202560 21693 0 0 0 1564 7 0 0 15 0 19 0 883235871 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 0 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
[pid=28957/tid=28981] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28981/stat : 28981 (java) S 28953 28957 27059 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28983] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28983/stat : 28983 (java) S 28953 28957 27059 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 883235873 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28984] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28984/stat : 28984 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828060081 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28986] ppid=28953 vsize=10547728 CPUtime=0.52 cores=1,3,5,7
/proc/28957/task/28986/stat : 28986 (java) S 28953 28957 27059 0 -1 4202560 5461 0 0 0 52 0 0 0 15 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28988] ppid=28953 vsize=10547728 CPUtime=0.44 cores=1,3,5,7
/proc/28957/task/28988/stat : 28988 (java) S 28953 28957 27059 0 -1 4202560 1494 0 2 0 44 0 0 0 15 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 3 0 0 0
[pid=28957/tid=28990] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28990/stat : 28990 (java) S 28953 28957 27059 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052377 0 4 0 16800975 18446604471158417472 0 0 -1 7 0 0 0
[pid=28957/tid=28992] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28992/stat : 28992 (java) S 28953 28957 27059 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 883235878 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 5 0 0 0
[pid=28957/tid=28995] ppid=28953 vsize=10547728 CPUtime=0 cores=1,3,5,7
/proc/28957/task/28995/stat : 28995 (java) S 28953 28957 27059 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883235907 10800873472 83913 33554432000 1073741824 1073778376 140737351746656 18446744073709551615 220828052992 0 4 0 16800975 18446604471158417472 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10547728

Child status: 143
Real time (s): 1794.75
CPU time (s): 1800.1
CPU user time (s): 1799.86
CPU system time (s): 0.236963
CPU usage (%): 100.298
Max. virtual memory (cumulated for all children) (KiB): 10547728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.236963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87881
page faults= 111
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46059
involuntary context switches= 14241

runsolver used 2.70959 second user time and 7.08892 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-12 21:50:00
IDJOB=3492182
IDBENCH=78673
IDSOLVER=1982
FILE ID=node147/3492182-1307908199
RUNJOBID= node147-1307908199-28931
PBS_JOBID= 13559562
Free space on /var/tmp= 2912 MiB

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

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

MD5SUM BENCH= 9e4fdadcc7668e5ef6d5afa26a2e782c
RANDOM SEED=194108730

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.82
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.836
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.76
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.836
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.836
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:       1460748 kB
Buffers:         58800 kB
Cached:       30469436 kB
SwapCached:       9980 kB
Active:       15694968 kB
Inactive:     14849148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1460748 kB
SwapTotal:    67111528 kB
SwapFree:     67062232 kB
Dirty:             788 kB
Writeback:           0 kB
AnonPages:       14748 kB
Mapped:           9520 kB
Slab:           882524 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   154828 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2908 MiB
End job on node147 at 2011-06-12 22:19:56