Trace number 3492167

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.18 1795.37

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMbeb1068825018293198184932ec3a150
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.489925
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 constraints72
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 3934
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3933
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.03/0.29	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.29	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.29	c See www.sat4j.org for details.
0.07/0.30	c version 2.3.1.v20110525
0.07/0.30	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.30	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.30	c java.vm.version	19.1-b02
0.07/0.30	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.30	c sun.arch.data.model	64
0.07/0.30	c java.version		1.6.0_24
0.07/0.30	c os.name		Linux
0.07/0.30	c os.version		2.6.18-164.el5
0.07/0.30	c os.arch		amd64
0.07/0.30	c Free memory 		9996466904
0.07/0.30	c Max memory 		10048897024
0.07/0.30	c Total memory 		10048897024
0.07/0.30	c Number of processors 	8
0.07/0.33	c Pseudo Boolean Optimization
0.07/0.33	c --- Begin Solver configuration ---
0.07/0.33	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.07/0.33	c Learn all clauses as in MiniSAT
0.07/0.33	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.33	c Expensive reason simplification
0.07/0.33	c Armin Biere (Picosat) restarts strategy
0.07/0.33	c Glucose learned constraints deletion strategy
0.07/0.33	c timeout=2147483s
0.07/0.33	c DB Simplification allowed=false
0.07/0.33	c --- End Solver configuration ---
0.07/0.33	c solving HOME/instance-3492167-1307908122.wbo
0.07/0.33	c reading problem ... 
0.48/0.51	c ... done. Wall clock time 0.178s.
0.48/0.51	c #vars     5572
0.48/0.51	c #constraints  210
0.48/0.51	c constraints type 
0.48/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 110
0.48/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 64
0.48/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 36
1.07/0.73	c SATISFIABLE
1.07/0.73	c OPTIMIZING...
1.07/0.73	c Got one! Elapsed wall clock time (in seconds):0.395
1.07/0.73	o 73
1.45/1.01	c Got one! Elapsed wall clock time (in seconds):0.682
1.45/1.01	o 55
1.76/1.37	c Got one! Elapsed wall clock time (in seconds):1.036
1.76/1.37	o 46
2.28/1.83	c Got one! Elapsed wall clock time (in seconds):1.495
2.28/1.83	o 37
2.61/2.11	c cleaning 3348 clauses out of 6716 with flag 1000/6716
3.53/3.04	c Got one! Elapsed wall clock time (in seconds):2.705
3.53/3.04	o 26
4.16/3.61	c cleaning 4208 clauses out of 8473 with flag 2001/11821
4.87/4.40	c Got one! Elapsed wall clock time (in seconds):4.066
4.87/4.40	o 22
5.77/5.22	c cleaning 4862 clauses out of 9772 with flag 3001/17328
7.68/7.11	c cleaning 5425 clauses out of 10909 with flag 9000/23327
10.33/9.77	c cleaning 6225 clauses out of 12485 with flag 16001/30328
11.24/10.67	c Got one! Elapsed wall clock time (in seconds):10.336
11.24/10.67	o 15
12.14/11.57	c cleaning 5644 clauses out of 11412 with flag 3002/35480
13.85/13.29	c cleaning 5837 clauses out of 11767 with flag 9001/41479
16.45/15.83	c cleaning 6418 clauses out of 12930 with flag 16001/48479
18.76/18.13	c cleaning 7240 clauses out of 14511 with flag 24000/56478
22.47/21.84	c cleaning 8114 clauses out of 16273 with flag 33002/65480
27.77/27.11	c cleaning 9078 clauses out of 18157 with flag 43000/75478
31.68/31.06	c cleaning 9494 clauses out of 19079 with flag 53000/85478
35.70/35.03	c cleaning 9770 clauses out of 19586 with flag 63001/95479
40.50/39.82	c cleaning 9878 clauses out of 19817 with flag 73002/105480
46.21/45.54	c cleaning 9967 clauses out of 19937 with flag 83000/115478
49.83/49.12	c cleaning 9981 clauses out of 19971 with flag 93001/125479
54.44/53.79	c cleaning 9974 clauses out of 19990 with flag 103001/135479
59.24/58.53	c cleaning 9976 clauses out of 20016 with flag 113001/145479
63.95/63.24	c cleaning 9989 clauses out of 20039 with flag 123000/155478
68.77/68.06	c cleaning 9994 clauses out of 20051 with flag 133001/165479
72.78/72.06	c cleaning 10028 clauses out of 20057 with flag 143001/175479
75.80/75.07	c cleaning 9987 clauses out of 20028 with flag 153000/185478
80.51/79.77	c cleaning 9970 clauses out of 20043 with flag 163002/195480
85.72/84.94	c cleaning 9998 clauses out of 20071 with flag 173000/205478
90.84/90.02	c cleaning 9948 clauses out of 20073 with flag 183000/215478
97.85/97.05	c cleaning 9967 clauses out of 20131 with flag 193006/225484
101.87/101.05	c cleaning 10006 clauses out of 20159 with flag 203001/235479
105.68/104.84	c cleaning 9986 clauses out of 20153 with flag 213001/245479
111.79/110.92	c cleaning 9988 clauses out of 20166 with flag 223000/255478
115.60/114.78	c cleaning 10070 clauses out of 20180 with flag 233002/265480
119.61/118.73	c cleaning 10013 clauses out of 20109 with flag 243001/275479
124.82/123.99	c cleaning 10046 clauses out of 20098 with flag 253003/285481
129.83/128.91	c cleaning 10011 clauses out of 20049 with flag 263000/295478
133.95/133.01	c cleaning 9993 clauses out of 20038 with flag 273000/305478
139.26/138.34	c cleaning 10006 clauses out of 20045 with flag 283000/315478
142.09/141.19	c cleaning 9980 clauses out of 20039 with flag 293000/325478
144.70/143.73	c cleaning 10008 clauses out of 20061 with flag 303002/335480
147.32/146.35	c cleaning 10006 clauses out of 20053 with flag 313002/345480
151.92/150.94	c cleaning 9996 clauses out of 20050 with flag 323005/355483
157.73/156.70	c cleaning 9996 clauses out of 20050 with flag 333001/365479
163.04/162.03	c cleaning 9983 clauses out of 20055 with flag 343002/375480
168.35/167.31	c cleaning 9990 clauses out of 20073 with flag 353003/385481
172.36/171.31	c cleaning 10004 clauses out of 20080 with flag 363000/395478
176.47/175.49	c cleaning 10011 clauses out of 20079 with flag 373003/405481
181.39/180.36	c cleaning 10005 clauses out of 20068 with flag 383003/415481
187.30/186.26	c cleaning 10004 clauses out of 20062 with flag 393002/425480
191.91/190.87	c cleaning 10005 clauses out of 20057 with flag 403001/435479
197.12/196.09	c cleaning 10008 clauses out of 20055 with flag 413004/445482
201.54/200.49	c cleaning 9988 clauses out of 20043 with flag 423000/455478
207.46/206.38	c cleaning 9995 clauses out of 20057 with flag 433002/465480
214.97/213.81	c cleaning 9997 clauses out of 20061 with flag 443001/475479
218.68/217.58	c cleaning 10003 clauses out of 20063 with flag 453000/485478
222.30/221.13	c cleaning 10009 clauses out of 20060 with flag 463000/495478
225.81/224.62	c cleaning 10002 clauses out of 20052 with flag 473001/505479
229.43/228.28	c cleaning 10009 clauses out of 20052 with flag 483003/515481
233.15/231.95	c cleaning 9992 clauses out of 20040 with flag 493000/525478
238.17/236.94	c cleaning 9981 clauses out of 20048 with flag 503000/535478
242.68/241.40	c cleaning 10003 clauses out of 20067 with flag 513000/545478
247.28/246.06	c cleaning 10004 clauses out of 20064 with flag 523000/555478
252.99/251.72	c cleaning 10000 clauses out of 20060 with flag 533000/565478
257.51/256.26	c cleaning 10002 clauses out of 20060 with flag 543000/575478
262.41/261.14	c cleaning 9994 clauses out of 20058 with flag 553000/585478
265.61/264.30	c cleaning 9989 clauses out of 20065 with flag 563001/595479
269.65/268.33	c cleaning 10005 clauses out of 20077 with flag 573002/605480
273.75/272.42	c cleaning 9998 clauses out of 20070 with flag 583000/615478
278.36/277.06	c cleaning 10000 clauses out of 20074 with flag 593002/625480
283.37/282.06	c cleaning 10005 clauses out of 20072 with flag 603000/635478
288.98/287.63	c cleaning 10005 clauses out of 20068 with flag 613001/645479
292.50/291.13	c cleaning 10020 clauses out of 20063 with flag 623001/655479
296.03/294.64	c cleaning 10002 clauses out of 20043 with flag 633001/665479
299.65/298.26	c cleaning 10005 clauses out of 20041 with flag 643001/675479
305.16/303.75	c cleaning 10003 clauses out of 20037 with flag 653002/685480
311.97/310.54	c cleaning 9996 clauses out of 20032 with flag 663000/695478
319.08/317.66	c cleaning 10002 clauses out of 20039 with flag 673003/705481
326.79/325.37	c cleaning 9998 clauses out of 20034 with flag 683000/715478
331.00/329.59	c cleaning 10009 clauses out of 20036 with flag 693000/725478
334.32/332.89	c cleaning 9982 clauses out of 20028 with flag 703001/735479
338.33/336.80	c cleaning 10015 clauses out of 20047 with flag 713002/745480
341.96/340.49	c cleaning 9996 clauses out of 20031 with flag 723001/755479
345.19/343.67	c cleaning 10011 clauses out of 20038 with flag 733004/765482
349.11/347.56	c cleaning 9988 clauses out of 20024 with flag 743001/775479
352.33/350.74	c cleaning 9985 clauses out of 20038 with flag 753003/785481
357.44/355.88	c cleaning 9990 clauses out of 20054 with flag 763004/795482
363.15/361.55	c cleaning 9995 clauses out of 20064 with flag 773004/805482
369.96/368.39	c cleaning 9998 clauses out of 20066 with flag 783001/815479
376.06/374.45	c cleaning 9982 clauses out of 20068 with flag 793001/825479
382.07/380.40	c cleaning 10006 clauses out of 20085 with flag 803000/835478
388.38/386.79	c cleaning 10003 clauses out of 20079 with flag 813000/845478
393.49/391.82	c cleaning 9994 clauses out of 20077 with flag 823001/855479
398.90/397.20	c cleaning 10004 clauses out of 20082 with flag 833000/865478
404.60/402.91	c cleaning 9998 clauses out of 20080 with flag 843002/875480
409.61/407.99	c cleaning 9964 clauses out of 20080 with flag 853000/885478
413.94/412.20	c cleaning 9969 clauses out of 20118 with flag 863002/895480
417.85/416.13	c cleaning 10023 clauses out of 20151 with flag 873004/905482
421.36/419.64	c cleaning 10059 clauses out of 20126 with flag 883002/915480
423.77/422.08	c cleaning 9939 clauses out of 20066 with flag 893001/925479
429.08/427.36	c cleaning 9999 clauses out of 20127 with flag 903001/935479
433.70/431.91	c cleaning 10018 clauses out of 20128 with flag 913001/945479
439.22/437.48	c cleaning 10006 clauses out of 20111 with flag 923002/955480
444.43/442.70	c cleaning 10003 clauses out of 20104 with flag 933001/965479
448.04/446.23	c cleaning 10035 clauses out of 20100 with flag 943000/975478
451.05/449.28	c cleaning 10020 clauses out of 20065 with flag 953000/985478
454.97/453.17	c cleaning 10009 clauses out of 20045 with flag 963000/995478
460.89/459.05	c cleaning 10003 clauses out of 20038 with flag 973002/1005480
464.31/462.43	c cleaning 9995 clauses out of 20033 with flag 983000/1015478
470.02/468.13	c cleaning 9997 clauses out of 20038 with flag 993000/1025478
476.34/474.40	c cleaning 9996 clauses out of 20042 with flag 1003001/1035479
482.66/480.79	c cleaning 10002 clauses out of 20047 with flag 1013002/1045480
488.76/486.88	c cleaning 9997 clauses out of 20043 with flag 1023000/1055478
494.28/492.35	c cleaning 9998 clauses out of 20047 with flag 1033001/1065479
499.78/497.86	c cleaning 9997 clauses out of 20051 with flag 1043003/1075481
504.70/502.78	c cleaning 10000 clauses out of 20053 with flag 1053002/1085480
509.31/507.36	c cleaning 9997 clauses out of 20052 with flag 1063001/1095479
514.01/512.03	c cleaning 10000 clauses out of 20056 with flag 1073002/1105480
518.72/516.80	c cleaning 9998 clauses out of 20054 with flag 1083000/1115478
523.33/521.40	c cleaning 10006 clauses out of 20059 with flag 1093003/1125481
528.24/526.27	c cleaning 9989 clauses out of 20052 with flag 1103002/1135480
533.25/531.25	c cleaning 10007 clauses out of 20062 with flag 1113001/1145479
538.36/536.39	c cleaning 9991 clauses out of 20056 with flag 1123002/1155480
543.77/541.74	c cleaning 10009 clauses out of 20063 with flag 1133000/1165478
550.78/548.72	c cleaning 9999 clauses out of 20055 with flag 1143001/1175479
554.20/552.19	c cleaning 10006 clauses out of 20059 with flag 1153004/1185482
558.01/555.96	c cleaning 10004 clauses out of 20050 with flag 1163001/1195479
561.94/559.84	c cleaning 10001 clauses out of 20047 with flag 1173002/1205480
567.05/564.95	c cleaning 10005 clauses out of 20044 with flag 1183000/1215478
571.67/569.54	c cleaning 9985 clauses out of 20042 with flag 1193003/1225481
577.40/575.21	c cleaning 10018 clauses out of 20054 with flag 1203000/1235478
581.63/579.48	c cleaning 9987 clauses out of 20036 with flag 1213000/1245478
587.04/584.85	c cleaning 10014 clauses out of 20051 with flag 1223002/1255480
591.57/589.37	c cleaning 9993 clauses out of 20035 with flag 1233000/1265478
595.49/593.26	c cleaning 10008 clauses out of 20042 with flag 1243000/1275478
600.21/597.96	c cleaning 9977 clauses out of 20034 with flag 1253000/1285478
605.34/603.01	c cleaning 10006 clauses out of 20057 with flag 1263000/1295478
610.67/608.33	c cleaning 10007 clauses out of 20051 with flag 1273000/1305478
615.08/612.71	c cleaning 10000 clauses out of 20044 with flag 1283000/1315478
619.90/617.57	c cleaning 9985 clauses out of 20046 with flag 1293002/1325480
623.02/620.68	c cleaning 9994 clauses out of 20059 with flag 1303000/1335478
627.14/624.76	c cleaning 10001 clauses out of 20066 with flag 1313001/1345479
632.45/630.00	c cleaning 10004 clauses out of 20069 with flag 1323005/1355483
638.86/636.49	c cleaning 9986 clauses out of 20060 with flag 1333000/1365478
644.48/642.03	c cleaning 9999 clauses out of 20074 with flag 1343000/1375478
649.00/646.52	c cleaning 9990 clauses out of 20075 with flag 1353000/1385478
651.31/648.87	c cleaning 10000 clauses out of 20085 with flag 1363000/1395478
654.32/651.86	c cleaning 10003 clauses out of 20086 with flag 1373001/1405479
657.43/654.93	c cleaning 10008 clauses out of 20083 with flag 1383001/1415479
663.55/661.08	c cleaning 10004 clauses out of 20075 with flag 1393001/1425479
670.36/667.85	c cleaning 10001 clauses out of 20071 with flag 1403001/1435479
677.37/674.84	c cleaning 10001 clauses out of 20073 with flag 1413004/1445482
683.99/681.40	c cleaning 10001 clauses out of 20074 with flag 1423006/1455484
688.20/685.66	c cleaning 9992 clauses out of 20070 with flag 1433003/1465481
693.31/690.77	c cleaning 10003 clauses out of 20075 with flag 1443000/1475478
699.12/696.52	c cleaning 10005 clauses out of 20075 with flag 1453003/1485481
704.53/701.90	c cleaning 10001 clauses out of 20067 with flag 1463000/1495478
710.75/708.17	c cleaning 10004 clauses out of 20069 with flag 1473003/1505481
717.57/714.93	c cleaning 10001 clauses out of 20066 with flag 1483004/1515482
722.68/720.07	c cleaning 9987 clauses out of 20063 with flag 1493002/1525480
727.49/724.88	c cleaning 9985 clauses out of 20074 with flag 1503000/1535478
733.20/730.58	c cleaning 9998 clauses out of 20090 with flag 1513001/1545479
739.82/737.11	c cleaning 10011 clauses out of 20092 with flag 1523001/1555479
746.84/744.16	c cleaning 9994 clauses out of 20081 with flag 1533001/1565479
753.86/751.18	c cleaning 10012 clauses out of 20088 with flag 1543002/1575480
760.27/757.53	c cleaning 9998 clauses out of 20076 with flag 1553002/1585480
766.59/763.83	c cleaning 10001 clauses out of 20077 with flag 1563001/1595479
772.90/770.19	c cleaning 9998 clauses out of 20076 with flag 1573001/1605479
777.02/774.22	c cleaning 9999 clauses out of 20077 with flag 1583000/1615478
780.13/777.33	c cleaning 10013 clauses out of 20080 with flag 1593002/1625480
785.14/782.36	c cleaning 10011 clauses out of 20072 with flag 1603007/1635485
790.55/787.78	c cleaning 10002 clauses out of 20054 with flag 1613000/1645478
796.36/793.54	c cleaning 10000 clauses out of 20053 with flag 1623001/1655479
801.57/798.70	c cleaning 9999 clauses out of 20055 with flag 1633003/1665481
806.78/803.99	c cleaning 10002 clauses out of 20055 with flag 1643002/1675480
812.78/809.98	c cleaning 10000 clauses out of 20051 with flag 1653000/1685478
818.99/816.10	c cleaning 9999 clauses out of 20054 with flag 1663003/1695481
823.19/820.37	c cleaning 9987 clauses out of 20052 with flag 1673000/1705478
827.90/825.08	c cleaning 9998 clauses out of 20065 with flag 1683000/1715478
832.61/829.71	c cleaning 9995 clauses out of 20069 with flag 1693002/1725480
836.43/833.58	c cleaning 10005 clauses out of 20072 with flag 1703000/1735478
840.15/837.25	c cleaning 10005 clauses out of 20069 with flag 1713002/1745480
844.06/841.12	c cleaning 9993 clauses out of 20063 with flag 1723001/1755479
849.08/846.16	c cleaning 10004 clauses out of 20071 with flag 1733002/1765480
852.90/849.96	c cleaning 9995 clauses out of 20065 with flag 1743000/1775478
857.80/854.81	c cleaning 9992 clauses out of 20070 with flag 1753000/1785478
863.71/860.73	c cleaning 10008 clauses out of 20078 with flag 1763000/1795478
870.12/867.13	c cleaning 9973 clauses out of 20072 with flag 1773002/1805480
875.34/872.33	c cleaning 9973 clauses out of 20099 with flag 1783002/1815480
881.24/878.27	c cleaning 10004 clauses out of 20124 with flag 1793000/1825478
887.36/884.32	c cleaning 10031 clauses out of 20126 with flag 1803006/1835484
893.97/890.95	c cleaning 10015 clauses out of 20091 with flag 1813002/1845480
899.77/896.74	c cleaning 9975 clauses out of 20082 with flag 1823008/1855486
905.48/902.46	c cleaning 9997 clauses out of 20102 with flag 1833003/1865481
911.38/908.37	c cleaning 9995 clauses out of 20105 with flag 1843003/1875481
918.09/915.04	c cleaning 10024 clauses out of 20110 with flag 1853003/1885481
925.29/922.27	c cleaning 10015 clauses out of 20091 with flag 1863008/1895486
932.01/928.93	c cleaning 10005 clauses out of 20069 with flag 1873001/1905479
938.41/935.38	c cleaning 9973 clauses out of 20063 with flag 1883000/1915478
943.42/940.35	c cleaning 9991 clauses out of 20094 with flag 1893004/1925482
949.23/946.18	c cleaning 9991 clauses out of 20100 with flag 1903001/1935479
955.24/952.19	c cleaning 10000 clauses out of 20111 with flag 1913003/1945481
960.55/957.46	c cleaning 9998 clauses out of 20111 with flag 1923003/1955481
965.76/962.68	c cleaning 9999 clauses out of 20113 with flag 1933003/1965481
971.67/968.56	c cleaning 9998 clauses out of 20113 with flag 1943002/1975480
977.17/974.04	c cleaning 10000 clauses out of 20116 with flag 1953003/1985481
981.17/978.04	c cleaning 10053 clauses out of 20113 with flag 1963000/1995478
984.89/981.79	c cleaning 9998 clauses out of 20062 with flag 1973002/2005480
989.60/986.42	c cleaning 9996 clauses out of 20062 with flag 1983000/2015478
995.01/991.85	c cleaning 9992 clauses out of 20068 with flag 1993002/2025480
999.84/996.62	c cleaning 9996 clauses out of 20075 with flag 2003001/2035479
1005.64/1002.47	c cleaning 10000 clauses out of 20079 with flag 2013001/2045479
1009.46/1006.21	c cleaning 10010 clauses out of 20079 with flag 2023001/2055479
1012.87/1009.68	c cleaning 10009 clauses out of 20073 with flag 2033005/2065483
1018.18/1014.93	c cleaning 10002 clauses out of 20059 with flag 2043000/2075478
1022.39/1019.10	c cleaning 10010 clauses out of 20058 with flag 2053001/2085479
1027.00/1023.78	c cleaning 10007 clauses out of 20049 with flag 2063002/2095480
1031.22/1027.91	c cleaning 9983 clauses out of 20041 with flag 2073001/2105479
1037.24/1033.95	c cleaning 9988 clauses out of 20058 with flag 2083001/2115479
1042.54/1039.20	c cleaning 9976 clauses out of 20070 with flag 2093001/2125479
1047.35/1044.03	c cleaning 9985 clauses out of 20093 with flag 2103000/2135478
1052.46/1049.19	c cleaning 9991 clauses out of 20108 with flag 2113000/2145478
1057.87/1054.55	c cleaning 9999 clauses out of 20118 with flag 2123001/2155479
1063.48/1060.14	c cleaning 10000 clauses out of 20122 with flag 2133004/2165482
1068.59/1065.20	c cleaning 9999 clauses out of 20121 with flag 2143003/2175481
1074.00/1070.62	c cleaning 10002 clauses out of 20120 with flag 2153001/2185479
1078.41/1075.04	c cleaning 10016 clauses out of 20118 with flag 2163001/2195479
1083.43/1080.09	c cleaning 10014 clauses out of 20102 with flag 2173001/2205479
1088.54/1085.11	c cleaning 10007 clauses out of 20088 with flag 2183001/2215479
1093.86/1090.42	c cleaning 10005 clauses out of 20083 with flag 2193003/2225481
1098.87/1095.48	c cleaning 10001 clauses out of 20075 with flag 2203000/2235478
1103.68/1100.28	c cleaning 9997 clauses out of 20074 with flag 2213000/2245478
1108.29/1104.86	c cleaning 10004 clauses out of 20077 with flag 2223000/2255478
1113.20/1109.77	c cleaning 9994 clauses out of 20073 with flag 2233000/2265478
1117.71/1114.25	c cleaning 10006 clauses out of 20080 with flag 2243001/2275479
1122.62/1119.14	c cleaning 9998 clauses out of 20073 with flag 2253000/2285478
1127.64/1124.14	c cleaning 10014 clauses out of 20076 with flag 2263001/2295479
1133.04/1129.58	c cleaning 10008 clauses out of 20063 with flag 2273002/2305480
1138.45/1134.95	c cleaning 10001 clauses out of 20053 with flag 2283000/2315478
1143.86/1140.30	c cleaning 10002 clauses out of 20053 with flag 2293001/2325479
1149.27/1145.76	c cleaning 10001 clauses out of 20053 with flag 2303003/2335481
1154.38/1150.80	c cleaning 10001 clauses out of 20055 with flag 2313006/2345484
1159.78/1156.24	c cleaning 9999 clauses out of 20048 with flag 2323000/2355478
1165.09/1161.52	c cleaning 9998 clauses out of 20049 with flag 2333000/2365478
1169.99/1166.46	c cleaning 9995 clauses out of 20051 with flag 2343000/2375478
1176.00/1172.47	c cleaning 10007 clauses out of 20063 with flag 2353007/2385485
1181.63/1178.02	c cleaning 9981 clauses out of 20049 with flag 2363000/2395478
1187.03/1183.47	c cleaning 10008 clauses out of 20068 with flag 2373000/2405478
1192.84/1189.22	c cleaning 10002 clauses out of 20060 with flag 2383000/2415478
1199.14/1195.57	c cleaning 10003 clauses out of 20058 with flag 2393000/2425478
1203.95/1200.31	c cleaning 10007 clauses out of 20058 with flag 2403003/2435481
1207.46/1203.86	c cleaning 9999 clauses out of 20049 with flag 2413001/2445479
1210.97/1207.31	c cleaning 10001 clauses out of 20051 with flag 2423002/2455480
1214.09/1210.44	c cleaning 9992 clauses out of 20048 with flag 2433000/2465478
1216.60/1212.96	c cleaning 10003 clauses out of 20056 with flag 2443000/2475478
1219.41/1215.71	c cleaning 9999 clauses out of 20053 with flag 2453000/2485478
1222.32/1218.63	c cleaning 9989 clauses out of 20054 with flag 2463000/2495478
1225.14/1221.47	c cleaning 10010 clauses out of 20065 with flag 2473000/2505478
1227.75/1224.00	c cleaning 9999 clauses out of 20056 with flag 2483001/2515479
1230.35/1226.69	c cleaning 9994 clauses out of 20057 with flag 2493001/2525479
1233.25/1229.58	c cleaning 10013 clauses out of 20064 with flag 2503002/2535480
1236.36/1232.62	c cleaning 9999 clauses out of 20050 with flag 2513001/2545479
1239.16/1235.40	c cleaning 10001 clauses out of 20051 with flag 2523001/2555479
1242.38/1238.70	c cleaning 10001 clauses out of 20051 with flag 2533002/2565480
1245.48/1241.71	c cleaning 9993 clauses out of 20048 with flag 2543000/2575478
1248.09/1244.31	c cleaning 10001 clauses out of 20055 with flag 2553000/2585478
1250.59/1246.89	c cleaning 9994 clauses out of 20054 with flag 2563000/2595478
1254.30/1250.57	c cleaning 10004 clauses out of 20061 with flag 2573001/2605479
1259.32/1255.51	c cleaning 9979 clauses out of 20056 with flag 2583000/2615478
1264.93/1261.17	c cleaning 10022 clauses out of 20079 with flag 2593002/2625480
1268.94/1265.14	c cleaning 10009 clauses out of 20060 with flag 2603005/2635483
1272.44/1268.66	c cleaning 9995 clauses out of 20048 with flag 2613002/2645480
1275.46/1271.64	c cleaning 9994 clauses out of 20051 with flag 2623000/2655478
1281.37/1277.57	c cleaning 9994 clauses out of 20059 with flag 2633002/2665480
1287.28/1283.48	c cleaning 9999 clauses out of 20067 with flag 2643004/2675482
1293.00/1289.19	c cleaning 9991 clauses out of 20064 with flag 2653000/2685478
1298.90/1295.08	c cleaning 10002 clauses out of 20074 with flag 2663001/2695479
1304.70/1300.89	c cleaning 10000 clauses out of 20072 with flag 2673001/2705479
1310.01/1306.11	c cleaning 9999 clauses out of 20071 with flag 2683000/2715478
1315.51/1311.60	c cleaning 9998 clauses out of 20072 with flag 2693000/2725478
1320.72/1316.89	c cleaning 10001 clauses out of 20076 with flag 2703002/2735480
1326.32/1322.42	c cleaning 9998 clauses out of 20073 with flag 2713000/2745478
1331.73/1327.89	c cleaning 10004 clauses out of 20077 with flag 2723002/2755480
1337.44/1333.55	c cleaning 9999 clauses out of 20071 with flag 2733000/2765478
1343.15/1339.21	c cleaning 10001 clauses out of 20072 with flag 2743000/2775478
1348.86/1344.94	c cleaning 10002 clauses out of 20071 with flag 2753000/2785478
1354.66/1350.75	c cleaning 10001 clauses out of 20071 with flag 2763002/2795480
1360.76/1356.86	c cleaning 9995 clauses out of 20068 with flag 2773000/2805478
1366.77/1362.83	c cleaning 9997 clauses out of 20074 with flag 2783001/2815479
1372.96/1369.09	c cleaning 10002 clauses out of 20076 with flag 2793000/2825478
1378.57/1374.61	c cleaning 10002 clauses out of 20075 with flag 2803001/2835479
1384.17/1380.28	c cleaning 10003 clauses out of 20075 with flag 2813003/2845481
1389.67/1385.72	c cleaning 9998 clauses out of 20070 with flag 2823001/2855479
1395.98/1392.03	c cleaning 10002 clauses out of 20074 with flag 2833003/2865481
1402.28/1398.33	c cleaning 10000 clauses out of 20071 with flag 2843002/2875480
1407.78/1403.80	c cleaning 10001 clauses out of 20072 with flag 2853003/2885481
1412.99/1409.07	c cleaning 10000 clauses out of 20071 with flag 2863003/2895481
1418.60/1414.61	c cleaning 9998 clauses out of 20072 with flag 2873004/2905482
1424.59/1420.61	c cleaning 10000 clauses out of 20071 with flag 2883001/2915479
1429.90/1425.98	c cleaning 9999 clauses out of 20071 with flag 2893001/2925479
1435.90/1431.96	c cleaning 9999 clauses out of 20072 with flag 2903001/2935479
1441.60/1437.63	c cleaning 9997 clauses out of 20072 with flag 2913000/2945478
1447.30/1443.33	c cleaning 10002 clauses out of 20075 with flag 2923000/2955478
1452.71/1448.77	c cleaning 10000 clauses out of 20073 with flag 2933000/2965478
1458.50/1454.56	c cleaning 10002 clauses out of 20073 with flag 2943000/2975478
1464.21/1460.26	c cleaning 9996 clauses out of 20071 with flag 2953000/2985478
1467.91/1463.93	c cleaning 9988 clauses out of 20077 with flag 2963002/2995480
1472.33/1468.35	c cleaning 10018 clauses out of 20088 with flag 2973001/3005479
1476.74/1472.75	c cleaning 10007 clauses out of 20069 with flag 2983000/3015478
1482.46/1478.49	c cleaning 10004 clauses out of 20062 with flag 2993000/3025478
1487.58/1483.56	c cleaning 9994 clauses out of 20058 with flag 3003000/3035478
1493.79/1489.77	c cleaning 10000 clauses out of 20064 with flag 3013000/3045478
1498.60/1494.54	c cleaning 10014 clauses out of 20066 with flag 3023002/3055480
1503.43/1499.38	c cleaning 10002 clauses out of 20050 with flag 3033000/3065478
1508.33/1504.22	c cleaning 9995 clauses out of 20050 with flag 3043002/3075480
1511.24/1507.19	c cleaning 9992 clauses out of 20053 with flag 3053000/3085478
1514.56/1510.43	c cleaning 10010 clauses out of 20061 with flag 3063000/3095478
1518.37/1514.25	c cleaning 9984 clauses out of 20051 with flag 3073000/3105478
1521.99/1517.82	c cleaning 10020 clauses out of 20069 with flag 3083002/3115480
1527.00/1522.87	c cleaning 9996 clauses out of 20049 with flag 3093002/3125480
1532.62/1528.49	c cleaning 9991 clauses out of 20051 with flag 3103000/3135478
1538.64/1534.48	c cleaning 10002 clauses out of 20062 with flag 3113002/3145480
1544.15/1539.94	c cleaning 10000 clauses out of 20058 with flag 3123000/3155478
1549.85/1545.68	c cleaning 9996 clauses out of 20061 with flag 3133003/3165481
1555.86/1551.60	c cleaning 10001 clauses out of 20062 with flag 3143000/3175478
1561.67/1557.46	c cleaning 10009 clauses out of 20064 with flag 3153003/3185481
1563.59/1559.32	c cleaning 9994 clauses out of 20052 with flag 3163000/3195478
1565.60/1561.33	c cleaning 9989 clauses out of 20058 with flag 3173000/3205478
1567.61/1563.31	c cleaning 10014 clauses out of 20072 with flag 3183003/3215481
1570.01/1565.77	c cleaning 9998 clauses out of 20055 with flag 3193000/3225478
1572.23/1567.94	c cleaning 10001 clauses out of 20059 with flag 3203002/3235480
1574.83/1570.54	c cleaning 9996 clauses out of 20056 with flag 3213000/3245478
1578.24/1573.95	c cleaning 10002 clauses out of 20062 with flag 3223002/3255480
1581.36/1577.05	c cleaning 10003 clauses out of 20061 with flag 3233003/3265481
1584.27/1579.98	c cleaning 9996 clauses out of 20055 with flag 3243000/3275478
1586.98/1582.67	c cleaning 9999 clauses out of 20060 with flag 3253001/3285479
1592.29/1587.96	c cleaning 10012 clauses out of 20062 with flag 3263002/3295480
1598.31/1593.93	c cleaning 10004 clauses out of 20052 with flag 3273004/3305482
1604.12/1599.70	c cleaning 9999 clauses out of 20046 with flag 3283002/3315480
1610.44/1606.05	c cleaning 10007 clauses out of 20048 with flag 3293003/3325481
1615.75/1611.40	c cleaning 10003 clauses out of 20039 with flag 3303001/3335479
1621.05/1616.68	c cleaning 9994 clauses out of 20035 with flag 3313000/3345478
1626.46/1622.10	c cleaning 10000 clauses out of 20044 with flag 3323003/3355481
1631.97/1627.58	c cleaning 10000 clauses out of 20045 with flag 3333004/3365482
1637.29/1632.89	c cleaning 9987 clauses out of 20041 with flag 3343000/3375478
1643.09/1638.62	c cleaning 9992 clauses out of 20055 with flag 3353001/3385479
1648.11/1643.62	c cleaning 10002 clauses out of 20065 with flag 3363003/3395481
1654.03/1649.51	c cleaning 9995 clauses out of 20060 with flag 3373000/3405478
1659.23/1654.78	c cleaning 9999 clauses out of 20068 with flag 3383003/3415481
1664.24/1659.74	c cleaning 9998 clauses out of 20067 with flag 3393001/3425479
1668.64/1664.14	c cleaning 9985 clauses out of 20068 with flag 3403000/3435478
1674.15/1669.65	c cleaning 9997 clauses out of 20084 with flag 3413001/3445479
1679.87/1675.34	c cleaning 9994 clauses out of 20086 with flag 3423000/3455478
1685.97/1681.41	c cleaning 9988 clauses out of 20092 with flag 3433000/3465478
1692.19/1687.68	c cleaning 10004 clauses out of 20105 with flag 3443001/3475479
1698.39/1693.89	c cleaning 10000 clauses out of 20106 with flag 3453006/3485484
1704.31/1699.77	c cleaning 10001 clauses out of 20100 with flag 3463000/3495478
1710.63/1706.04	c cleaning 9988 clauses out of 20100 with flag 3473001/3505479
1717.34/1712.75	c cleaning 10000 clauses out of 20112 with flag 3483001/3515479
1723.85/1719.24	c cleaning 10006 clauses out of 20112 with flag 3493001/3525479
1729.85/1725.29	c cleaning 10004 clauses out of 20105 with flag 3503000/3535478
1735.66/1731.02	c cleaning 9994 clauses out of 20101 with flag 3513000/3545478
1741.38/1736.78	c cleaning 9996 clauses out of 20107 with flag 3523000/3555478
1747.29/1742.69	c cleaning 10004 clauses out of 20111 with flag 3533000/3565478
1754.49/1749.80	c cleaning 10009 clauses out of 20115 with flag 3543008/3575486
1760.10/1755.41	c cleaning 10000 clauses out of 20100 with flag 3553002/3585480
1765.61/1760.94	c cleaning 9998 clauses out of 20098 with flag 3563000/3595478
1771.71/1767.02	c cleaning 10000 clauses out of 20100 with flag 3573000/3605478
1778.11/1773.41	c cleaning 9994 clauses out of 20100 with flag 3583000/3615478
1784.32/1779.67	c cleaning 10001 clauses out of 20106 with flag 3593000/3625478
1790.62/1785.91	c cleaning 10005 clauses out of 20106 with flag 3603001/3635479
1796.23/1791.60	c cleaning 10000 clauses out of 20101 with flag 3613001/3645479
1800.05/1795.31	c starts		: 258
1800.05/1795.31	c conflicts		: 3652401
1800.05/1795.31	c decisions		: 5379549
1800.05/1795.31	c propagations		: 136303206
1800.05/1795.31	c inspects		: 4986125195
1800.05/1795.31	c shortcuts		: 0
1800.05/1795.31	c learnt literals	: 0
1800.05/1795.31	c learnt binary clauses	: 0
1800.05/1795.31	c learnt ternary clauses	: 0
1800.05/1795.31	c learnt constraints	: 3652400
1800.05/1795.31	c ignored constraints	: 0
1800.05/1795.31	c root simplifications	: 0
1800.05/1795.31	c removed literals (reason simplification)	: 11926942
1800.05/1795.31	c reason swapping (by a shorter reason)	: 0
1800.05/1795.31	c Calls to reduceDB	: 368
1800.05/1795.31	c number of reductions to clauses (during analyze)	: 0
1800.05/1795.31	c number of learned constraints concerned by reduction	: 0
1800.05/1795.31	c number of learning phase by resolution	: 0
1800.05/1795.31	c number of learning phase by cutting planes	: 0
1800.05/1795.31	c speed (assignments/second)	: 76375.61461872206
1800.05/1795.31	c non guided choices	388992
1800.05/1795.32	c learnt constraints type 
1800.05/1795.32	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 17035
1800.05/1795.32	c constraints type 
1800.05/1795.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 110
1800.05/1795.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 64
1800.05/1795.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37
1800.05/1795.32	s SATISFIABLE
1800.05/1795.34	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.05/1795.34	c objective function=15
1800.05/1795.34	c Total wall clock time (in seconds): 1795.008

Verifier Data 

OK	15

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-3492167-1307908122/watcher-3492167-1307908122 -o /var/tmp/evaluation-result-3492167-1307908122/solver-3492167-1307908122 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492167-1307908122.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.20 1.72 1.84 3/176 22621
/proc/meminfo: memFree=3357652/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/22621/stat : 22621 (java) R 22619 22621 20310 0 -1 4202496 833 0 0 0 0 0 0 0 17 0 1 0 902410685 23580672 575 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210199684885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22621/statm: 5757 586 435 9 0 124 0

[startup+0.0707941 s]
/proc/loadavg: 1.20 1.72 1.84 3/176 22621
/proc/meminfo: memFree=3357652/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10454868 CPUtime=0.01 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 10130 0 1 0 0 1 0 0 17 0 10 0 902410685 10705784832 9827 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2613717 9827 1058 9 0 2604465 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10454868

[startup+0.100775 s]
/proc/loadavg: 1.20 1.72 1.84 3/176 22621
/proc/meminfo: memFree=3357652/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10454868 CPUtime=0.01 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 10130 0 1 0 0 1 0 0 17 0 10 0 902410685 10705784832 9827 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2613717 9827 1058 9 0 2604465 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10454868

[startup+0.300739 s]
/proc/loadavg: 1.20 1.72 1.84 3/176 22621
/proc/meminfo: memFree=3357652/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10539104 CPUtime=0.07 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 12407 0 48 0 5 2 0 0 17 0 18 0 902410685 10792042496 12131 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2634776 12135 1980 9 0 2625510 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539104

[startup+0.700634 s]
/proc/loadavg: 1.20 1.72 1.84 3/176 22621
/proc/meminfo: memFree=3357652/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10544020 CPUtime=1.07 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 19598 0 50 0 104 3 0 0 17 0 19 0 902410685 10797076480 17886 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2636005 17886 2221 9 0 2626739 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 10544020

[startup+1.50154 s]
/proc/loadavg: 1.43 1.76 1.85 4/214 22659
/proc/meminfo: memFree=3218048/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10544604 CPUtime=1.98 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 21705 0 50 0 194 4 0 0 17 0 19 0 902410685 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2636151 19992 2227 9 0 2626885 0
[pid=22621/tid=22625] ppid=22619 vsize=10544604 CPUtime=1.26 cores=1,3,5,7
/proc/22621/task/22625/stat : 22625 (java) R 22619 22621 20310 0 -1 4202560 16224 0 46 0 123 3 0 0 20 0 19 0 902410686 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 47568538520403 0 4 0 16800975 0 0 0 -1 1 0 0 21
[pid=22621/tid=22626] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22626/stat : 22626 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22627] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22627/stat : 22627 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902410687 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22628] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22628/stat : 22628 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902410687 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22629] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22629/stat : 22629 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902410687 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22630] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22630/stat : 22630 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902410687 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22631] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22631/stat : 22631 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902410687 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22632] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22632/stat : 22632 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902410687 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22633] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22633/stat : 22633 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902410687 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22642] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22642/stat : 22642 (java) S 22619 22621 20310 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902410703 10797674496 19992 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22644] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22644/stat : 22644 (java) S 22619 22621 20310 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902410704 10797674496 19993 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22646] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22646/stat : 22646 (java) S 22619 22621 20310 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 902410704 10797674496 19993 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22648] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22648/stat : 22648 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410710 10797674496 19993 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22650] ppid=22619 vsize=10544604 CPUtime=0.36 cores=1,3,5,7
/proc/22621/task/22650/stat : 22650 (java) S 22619 22621 20310 0 -1 4202560 2705 0 2 0 36 0 0 0 15 0 19 0 902410710 10797674496 19993 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22652] ppid=22619 vsize=10544604 CPUtime=0.34 cores=1,3,5,7
/proc/22621/task/22652/stat : 22652 (java) S 22619 22621 20310 0 -1 4202560 1613 0 2 0 34 0 0 0 15 0 19 0 902410710 10797674496 19993 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22654] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22654/stat : 22654 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902410710 10797674496 19993 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22656] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22656/stat : 22656 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902410710 10797674496 19993 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22659] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22659/stat : 22659 (java) S 22619 22621 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902410738 10797674496 19993 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 10544604

[startup+3.10127 s]
/proc/loadavg: 1.43 1.76 1.85 5/214 22659
/proc/meminfo: memFree=3204432/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10544604 CPUtime=3.63 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 26317 0 50 0 358 5 0 0 17 0 19 0 902410685 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2636151 24595 2253 9 0 2626885 0
[pid=22621/tid=22625] ppid=22619 vsize=10544604 CPUtime=2.83 cores=1,3,5,7
/proc/22621/task/22625/stat : 22625 (java) R 22619 22621 20310 0 -1 4202560 17464 0 46 0 280 3 0 0 25 0 19 0 902410686 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 46912505701636 0 4 0 16800975 0 0 0 -1 1 0 0 21
[pid=22621/tid=22626] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22626/stat : 22626 (java) S 22619 22621 20310 0 -1 4202560 499 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22627] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22627/stat : 22627 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22628] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22628/stat : 22628 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22629] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22629/stat : 22629 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22630] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22630/stat : 22630 (java) S 22619 22621 20310 0 -1 4202560 125 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22631] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22631/stat : 22631 (java) S 22619 22621 20310 0 -1 4202560 435 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22632] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22632/stat : 22632 (java) S 22619 22621 20310 0 -1 4202560 637 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22633] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22633/stat : 22633 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22642] ppid=22619 vsize=10544604 CPUtime=0.01 cores=1,3,5,7
/proc/22621/task/22642/stat : 22642 (java) S 22619 22621 20310 0 -1 4202560 1670 0 0 0 1 0 0 0 17 0 19 0 902410703 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22644] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22644/stat : 22644 (java) S 22619 22621 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22646] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22646/stat : 22646 (java) S 22619 22621 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22648] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22648/stat : 22648 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410710 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22650] ppid=22619 vsize=10544604 CPUtime=0.39 cores=1,3,5,7
/proc/22621/task/22650/stat : 22650 (java) S 22619 22621 20310 0 -1 4202560 2711 0 2 0 39 0 0 0 15 0 19 0 902410710 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22652] ppid=22619 vsize=10544604 CPUtime=0.36 cores=1,3,5,7
/proc/22621/task/22652/stat : 22652 (java) S 22619 22621 20310 0 -1 4202560 1619 0 2 0 36 0 0 0 15 0 19 0 902410710 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22654] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22654/stat : 22654 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902410710 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22656] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22656/stat : 22656 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902410710 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22659] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22659/stat : 22659 (java) S 22619 22621 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902410738 10797674496 24595 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 10544604

[startup+6.30074 s]
/proc/loadavg: 1.47 1.77 1.85 4/214 22659
/proc/meminfo: memFree=3170220/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10544604 CPUtime=6.88 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 30597 0 50 0 683 5 0 0 17 0 19 0 902410685 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2636151 28820 2253 9 0 2626885 0
[pid=22621/tid=22625] ppid=22619 vsize=10544604 CPUtime=5.99 cores=1,3,5,7
/proc/22621/task/22625/stat : 22625 (java) R 22619 22621 20310 0 -1 4202560 17468 0 46 0 596 3 0 0 25 0 19 0 902410686 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 46912505700889 0 4 0 16800975 0 0 0 -1 1 0 0 21
[pid=22621/tid=22626] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22626/stat : 22626 (java) S 22619 22621 20310 0 -1 4202560 1057 0 0 0 0 0 0 0 16 0 19 0 902410687 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22627] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22627/stat : 22627 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902410687 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22628] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22628/stat : 22628 (java) S 22619 22621 20310 0 -1 4202560 431 0 0 0 0 0 0 0 18 0 19 0 902410687 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22629] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22629/stat : 22629 (java) S 22619 22621 20310 0 -1 4202560 492 0 0 0 0 0 0 0 15 0 19 0 902410687 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22630] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22630/stat : 22630 (java) S 22619 22621 20310 0 -1 4202560 480 0 0 0 0 0 0 0 15 0 19 0 902410687 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22631] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22631/stat : 22631 (java) S 22619 22621 20310 0 -1 4202560 687 0 0 0 0 0 0 0 15 0 19 0 902410687 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22632] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22632/stat : 22632 (java) S 22619 22621 20310 0 -1 4202560 871 0 0 0 0 0 0 0 16 0 19 0 902410687 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22633] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22633/stat : 22633 (java) S 22619 22621 20310 0 -1 4202560 608 0 0 0 0 0 0 0 15 0 19 0 902410687 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22642] ppid=22619 vsize=10544604 CPUtime=0.04 cores=1,3,5,7
/proc/22621/task/22642/stat : 22642 (java) S 22619 22621 20310 0 -1 4202560 3012 0 0 0 4 0 0 0 15 0 19 0 902410703 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22644] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22644/stat : 22644 (java) S 22619 22621 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22646] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22646/stat : 22646 (java) S 22619 22621 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22648] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22648/stat : 22648 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410710 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22650] ppid=22619 vsize=10544604 CPUtime=0.4 cores=1,3,5,7
/proc/22621/task/22650/stat : 22650 (java) S 22619 22621 20310 0 -1 4202560 2716 0 2 0 40 0 0 0 15 0 19 0 902410710 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22652] ppid=22619 vsize=10544604 CPUtime=0.38 cores=1,3,5,7
/proc/22621/task/22652/stat : 22652 (java) S 22619 22621 20310 0 -1 4202560 1621 0 2 0 38 0 0 0 15 0 19 0 902410710 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22654] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22654/stat : 22654 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902410710 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22656] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22656/stat : 22656 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902410710 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22659] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22659/stat : 22659 (java) S 22619 22621 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902410738 10797674496 28820 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 10544604

[startup+12.7007 s]

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

[pid=22621/tid=22631] ppid=22619 vsize=10544604 CPUtime=0.73 cores=1,3,5,7
/proc/22621/task/22631/stat : 22631 (java) S 22619 22621 20310 0 -1 4202560 2540 0 0 0 73 0 0 0 15 0 19 0 902410687 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22632] ppid=22619 vsize=10544604 CPUtime=0.75 cores=1,3,5,7
/proc/22621/task/22632/stat : 22632 (java) S 22619 22621 20310 0 -1 4202560 3239 0 0 0 74 1 0 0 15 0 19 0 902410687 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22633] ppid=22619 vsize=10544604 CPUtime=0.71 cores=1,3,5,7
/proc/22621/task/22633/stat : 22633 (java) S 22619 22621 20310 0 -1 4202560 3939 0 0 0 70 1 0 0 16 0 19 0 902410687 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22642] ppid=22619 vsize=10544604 CPUtime=16.43 cores=1,3,5,7
/proc/22621/task/22642/stat : 22642 (java) S 22619 22621 20310 0 -1 4202560 23690 0 0 0 1636 7 0 0 15 0 19 0 902410703 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22644] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22644/stat : 22644 (java) S 22619 22621 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22646] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22646/stat : 22646 (java) S 22619 22621 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22648] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22648/stat : 22648 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410710 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22650] ppid=22619 vsize=10544604 CPUtime=0.47 cores=1,3,5,7
/proc/22621/task/22650/stat : 22650 (java) S 22619 22621 20310 0 -1 4202560 3195 0 2 0 47 0 0 0 15 0 19 0 902410710 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22652] ppid=22619 vsize=10544604 CPUtime=0.39 cores=1,3,5,7
/proc/22621/task/22652/stat : 22652 (java) S 22619 22621 20310 0 -1 4202560 1621 0 2 0 39 0 0 0 15 0 19 0 902410710 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22654] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22654/stat : 22654 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902410710 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22656] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22656/stat : 22656 (java) S 22619 22621 20310 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 902410710 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22659] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22659/stat : 22659 (java) S 22619 22621 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902410738 10797674496 78816 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1726.95
Current children cumulated vsize (KiB) 10544604

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/214 22719
/proc/meminfo: memFree=2947236/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10544604 CPUtime=1787.02 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 81663 0 50 0 178679 23 0 0 17 0 19 0 902410685 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2636151 78842 2254 9 0 2626885 0
[pid=22621/tid=22625] ppid=22619 vsize=10544604 CPUtime=1763.1 cores=1,3,5,7
/proc/22621/task/22625/stat : 22625 (java) R 22619 22621 20310 0 -1 4202560 25542 0 46 0 176305 5 0 0 25 0 19 0 902410686 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 46912505675199 0 4 0 16800975 0 0 0 -1 3 0 0 21
[pid=22621/tid=22626] ppid=22619 vsize=10544604 CPUtime=0.78 cores=1,3,5,7
/proc/22621/task/22626/stat : 22626 (java) S 22619 22621 20310 0 -1 4202560 3061 0 0 0 77 1 0 0 15 0 19 0 902410687 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22627] ppid=22619 vsize=10544604 CPUtime=0.65 cores=1,3,5,7
/proc/22621/task/22627/stat : 22627 (java) S 22619 22621 20310 0 -1 4202560 3370 0 0 0 64 1 0 0 15 0 19 0 902410687 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22628] ppid=22619 vsize=10544604 CPUtime=0.68 cores=1,3,5,7
/proc/22621/task/22628/stat : 22628 (java) S 22619 22621 20310 0 -1 4202560 3763 0 0 0 68 0 0 0 15 0 19 0 902410687 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22629] ppid=22619 vsize=10544604 CPUtime=0.81 cores=1,3,5,7
/proc/22621/task/22629/stat : 22629 (java) S 22619 22621 20310 0 -1 4202560 4670 0 0 0 80 1 0 0 16 0 19 0 902410687 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22630] ppid=22619 vsize=10544604 CPUtime=0.8 cores=1,3,5,7
/proc/22621/task/22630/stat : 22630 (java) S 22619 22621 20310 0 -1 4202560 1758 0 0 0 80 0 0 0 15 0 19 0 902410687 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22631] ppid=22619 vsize=10544604 CPUtime=0.74 cores=1,3,5,7
/proc/22621/task/22631/stat : 22631 (java) S 22619 22621 20310 0 -1 4202560 2553 0 0 0 74 0 0 0 15 0 19 0 902410687 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22632] ppid=22619 vsize=10544604 CPUtime=0.77 cores=1,3,5,7
/proc/22621/task/22632/stat : 22632 (java) S 22619 22621 20310 0 -1 4202560 3241 0 0 0 76 1 0 0 15 0 19 0 902410687 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22633] ppid=22619 vsize=10544604 CPUtime=0.73 cores=1,3,5,7
/proc/22621/task/22633/stat : 22633 (java) S 22619 22621 20310 0 -1 4202560 3939 0 0 0 72 1 0 0 15 0 19 0 902410687 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22642] ppid=22619 vsize=10544604 CPUtime=16.99 cores=1,3,5,7
/proc/22621/task/22642/stat : 22642 (java) S 22619 22621 20310 0 -1 4202560 23694 0 0 0 1692 7 0 0 15 0 19 0 902410703 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22644] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22644/stat : 22644 (java) S 22619 22621 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22646] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22646/stat : 22646 (java) S 22619 22621 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22648] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22648/stat : 22648 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410710 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22650] ppid=22619 vsize=10544604 CPUtime=0.47 cores=1,3,5,7
/proc/22621/task/22650/stat : 22650 (java) S 22619 22621 20310 0 -1 4202560 3195 0 2 0 47 0 0 0 15 0 19 0 902410710 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22652] ppid=22619 vsize=10544604 CPUtime=0.39 cores=1,3,5,7
/proc/22621/task/22652/stat : 22652 (java) S 22619 22621 20310 0 -1 4202560 1621 0 2 0 39 0 0 0 15 0 19 0 902410710 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22654] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22654/stat : 22654 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902410710 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22656] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22656/stat : 22656 (java) S 22619 22621 20310 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 902410710 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22659] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22659/stat : 22659 (java) S 22619 22621 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902410738 10797674496 78842 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1787.02
Current children cumulated vsize (KiB) 10544604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 22719
/proc/meminfo: memFree=2947220/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10544604 CPUtime=1800.05 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 81685 0 50 0 179982 23 0 0 17 0 19 0 902410685 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2636151 78858 2254 9 0 2626885 0
[pid=22621/tid=22625] ppid=22619 vsize=10544604 CPUtime=1775.97 cores=1,3,5,7
/proc/22621/task/22625/stat : 22625 (java) R 22619 22621 20310 0 -1 4202560 25544 0 46 0 177592 5 0 0 25 0 19 0 902410686 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 46912505701584 0 4 0 16800975 0 0 0 -1 3 0 0 21
[pid=22621/tid=22626] ppid=22619 vsize=10544604 CPUtime=0.79 cores=1,3,5,7
/proc/22621/task/22626/stat : 22626 (java) S 22619 22621 20310 0 -1 4202560 3063 0 0 0 78 1 0 0 16 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22627] ppid=22619 vsize=10544604 CPUtime=0.65 cores=1,3,5,7
/proc/22621/task/22627/stat : 22627 (java) S 22619 22621 20310 0 -1 4202560 3370 0 0 0 64 1 0 0 15 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22628] ppid=22619 vsize=10544604 CPUtime=0.68 cores=1,3,5,7
/proc/22621/task/22628/stat : 22628 (java) S 22619 22621 20310 0 -1 4202560 3765 0 0 0 68 0 0 0 15 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22629] ppid=22619 vsize=10544604 CPUtime=0.82 cores=1,3,5,7
/proc/22621/task/22629/stat : 22629 (java) S 22619 22621 20310 0 -1 4202560 4677 0 0 0 81 1 0 0 15 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22630] ppid=22619 vsize=10544604 CPUtime=0.8 cores=1,3,5,7
/proc/22621/task/22630/stat : 22630 (java) S 22619 22621 20310 0 -1 4202560 1758 0 0 0 80 0 0 0 16 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22631] ppid=22619 vsize=10544604 CPUtime=0.75 cores=1,3,5,7
/proc/22621/task/22631/stat : 22631 (java) S 22619 22621 20310 0 -1 4202560 2558 0 0 0 75 0 0 0 16 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22632] ppid=22619 vsize=10544604 CPUtime=0.77 cores=1,3,5,7
/proc/22621/task/22632/stat : 22632 (java) S 22619 22621 20310 0 -1 4202560 3241 0 0 0 76 1 0 0 16 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22633] ppid=22619 vsize=10544604 CPUtime=0.73 cores=1,3,5,7
/proc/22621/task/22633/stat : 22633 (java) S 22619 22621 20310 0 -1 4202560 3939 0 0 0 72 1 0 0 15 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22642] ppid=22619 vsize=10544604 CPUtime=17.12 cores=1,3,5,7
/proc/22621/task/22642/stat : 22642 (java) S 22619 22621 20310 0 -1 4202560 23696 0 0 0 1705 7 0 0 15 0 19 0 902410703 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22644] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22644/stat : 22644 (java) S 22619 22621 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22646] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22646/stat : 22646 (java) S 22619 22621 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22648] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22648/stat : 22648 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22650] ppid=22619 vsize=10544604 CPUtime=0.47 cores=1,3,5,7
/proc/22621/task/22650/stat : 22650 (java) S 22619 22621 20310 0 -1 4202560 3195 0 2 0 47 0 0 0 15 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22652] ppid=22619 vsize=10544604 CPUtime=0.39 cores=1,3,5,7
/proc/22621/task/22652/stat : 22652 (java) S 22619 22621 20310 0 -1 4202560 1621 0 2 0 39 0 0 0 15 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22654] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22654/stat : 22654 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22656] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22656/stat : 22656 (java) S 22619 22621 20310 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22659] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22659/stat : 22659 (java) S 22619 22621 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902410738 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10544604

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

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

[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 22719
/proc/meminfo: memFree=2947220/32951124 swapFree=67054520/67111528
[pid=22621] ppid=22619 vsize=10544604 CPUtime=1800.05 cores=1,3,5,7
/proc/22621/stat : 22621 (java) S 22619 22621 20310 0 -1 4202496 81685 0 50 0 179982 23 0 0 17 0 19 0 902410685 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22621/statm: 2636151 78858 2254 9 0 2626885 0
[pid=22621/tid=22625] ppid=22619 vsize=10544604 CPUtime=1775.97 cores=1,3,5,7
/proc/22621/task/22625/stat : 22625 (java) R 22619 22621 20310 0 -1 4202560 25544 0 46 0 177592 5 0 0 25 0 19 0 902410686 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 46912505701584 0 4 0 16800975 0 0 0 -1 3 0 0 21
[pid=22621/tid=22626] ppid=22619 vsize=10544604 CPUtime=0.79 cores=1,3,5,7
/proc/22621/task/22626/stat : 22626 (java) S 22619 22621 20310 0 -1 4202560 3063 0 0 0 78 1 0 0 16 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22627] ppid=22619 vsize=10544604 CPUtime=0.65 cores=1,3,5,7
/proc/22621/task/22627/stat : 22627 (java) S 22619 22621 20310 0 -1 4202560 3370 0 0 0 64 1 0 0 15 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22628] ppid=22619 vsize=10544604 CPUtime=0.68 cores=1,3,5,7
/proc/22621/task/22628/stat : 22628 (java) S 22619 22621 20310 0 -1 4202560 3765 0 0 0 68 0 0 0 15 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22629] ppid=22619 vsize=10544604 CPUtime=0.82 cores=1,3,5,7
/proc/22621/task/22629/stat : 22629 (java) S 22619 22621 20310 0 -1 4202560 4677 0 0 0 81 1 0 0 15 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22630] ppid=22619 vsize=10544604 CPUtime=0.8 cores=1,3,5,7
/proc/22621/task/22630/stat : 22630 (java) S 22619 22621 20310 0 -1 4202560 1758 0 0 0 80 0 0 0 16 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22631] ppid=22619 vsize=10544604 CPUtime=0.75 cores=1,3,5,7
/proc/22621/task/22631/stat : 22631 (java) S 22619 22621 20310 0 -1 4202560 2558 0 0 0 75 0 0 0 16 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22632] ppid=22619 vsize=10544604 CPUtime=0.77 cores=1,3,5,7
/proc/22621/task/22632/stat : 22632 (java) S 22619 22621 20310 0 -1 4202560 3241 0 0 0 76 1 0 0 16 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22633] ppid=22619 vsize=10544604 CPUtime=0.73 cores=1,3,5,7
/proc/22621/task/22633/stat : 22633 (java) S 22619 22621 20310 0 -1 4202560 3939 0 0 0 72 1 0 0 15 0 19 0 902410687 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 7 0 0 0
[pid=22621/tid=22642] ppid=22619 vsize=10544604 CPUtime=17.12 cores=1,3,5,7
/proc/22621/task/22642/stat : 22642 (java) S 22619 22621 20310 0 -1 4202560 23696 0 0 0 1705 7 0 0 15 0 19 0 902410703 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 0 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22644] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22644/stat : 22644 (java) S 22619 22621 20310 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22646] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22646/stat : 22646 (java) S 22619 22621 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902410704 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22648] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22648/stat : 22648 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216470961 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22650] ppid=22619 vsize=10544604 CPUtime=0.47 cores=1,3,5,7
/proc/22621/task/22650/stat : 22650 (java) S 22619 22621 20310 0 -1 4202560 3195 0 2 0 47 0 0 0 15 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22652] ppid=22619 vsize=10544604 CPUtime=0.39 cores=1,3,5,7
/proc/22621/task/22652/stat : 22652 (java) S 22619 22621 20310 0 -1 4202560 1621 0 2 0 39 0 0 0 15 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
[pid=22621/tid=22654] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22654/stat : 22654 (java) S 22619 22621 20310 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463257 0 4 0 16800975 18446604468465317696 0 0 -1 1 0 0 0
[pid=22621/tid=22656] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22656/stat : 22656 (java) S 22619 22621 20310 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 902410710 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 5 0 0 0
[pid=22621/tid=22659] ppid=22619 vsize=10544604 CPUtime=0 cores=1,3,5,7
/proc/22621/task/22659/stat : 22659 (java) S 22619 22621 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902410738 10797674496 78858 33554432000 1073741824 1073778376 140734603583424 18446744073709551615 210216463872 0 4 0 16800975 18446604468465317696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10544604

Child status: 143
Real time (s): 1795.37
CPU time (s): 1800.18
CPU user time (s): 1799.93
CPU system time (s): 0.251961
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 10544604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81813
page faults= 50
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46378
involuntary context switches= 19839

runsolver used 2.91056 second user time and 6.88295 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-12 21:48:42
IDJOB=3492167
IDBENCH=78668
IDSOLVER=1982
FILE ID=node130/3492167-1307908122
RUNJOBID= node130-1307908122-22595
PBS_JOBID= 13559576
Free space on /var/tmp= 2908 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-66-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-3492167-1307908122/watcher-3492167-1307908122 -o /var/tmp/evaluation-result-3492167-1307908122/solver-3492167-1307908122 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492167-1307908122.wbo

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

MD5SUM BENCH= beb1068825018293198184932ec3a150
RANDOM SEED=2125426929

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3358128 kB
Buffers:         61672 kB
Cached:       28609288 kB
SwapCached:      10292 kB
Active:       14091836 kB
Inactive:     14597792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3358128 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:             804 kB
Writeback:          16 kB
AnonPages:       16744 kB
Mapped:          12216 kB
Slab:           838840 kB
PageTables:       4844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191396 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 node130 at 2011-06-12 22:18:39