Trace number 3744408

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
PB11: Sat4j Res//CP 2.3.0SAT (TO) 1800.07 919.162

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_2.opb
MD5SUM0c9f9f4d9069e955741fce23953a7e72
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3385647
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
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.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.12	c version 2.3.1.v20110525
0.06/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.12	c java.vm.version	19.1-b02
0.06/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.12	c sun.arch.data.model	64
0.06/0.12	c java.version		1.6.0_24
0.06/0.12	c os.name		Linux
0.06/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.12	c os.arch		amd64
0.06/0.12	c Free memory 		9996466904
0.06/0.12	c Max memory 		10048897024
0.06/0.12	c Total memory 		10048897024
0.06/0.12	c Number of processors 	8
0.06/0.15	c Pseudo Boolean Optimization
0.06/0.15	c ManyCore solver with 2 solvers running in parallel
0.06/0.15	c --- Begin Solver configuration ---
0.06/0.15	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.15	c Learn all clauses as in MiniSAT
0.06/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.15	c Expensive reason simplification
0.06/0.15	c Armin Biere (Picosat) restarts strategy
0.06/0.15	c Glucose learned constraints deletion strategy
0.06/0.15	c timeout=2147483s
0.06/0.15	c DB Simplification allowed=false
0.06/0.15	c --- End Solver configuration ---
0.06/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.15	c --- Begin Solver configuration ---
0.06/0.15	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.15	c Learn all clauses as in MiniSAT
0.06/0.15	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.15	c No reason simplification
0.06/0.15	c Armin Biere (Picosat) restarts strategy
0.06/0.15	c Glucose learned constraints deletion strategy
0.06/0.15	c timeout=2147483s
0.06/0.15	c DB Simplification allowed=false
0.06/0.15	c --- End Solver configuration ---
0.06/0.15	c solving HOME/instance-3744408-1338806036.opb
0.06/0.15	c reading problem ... 
1.33/0.65	c ... done. Wall clock time 0.504s.
1.33/0.65	c #vars     5100
1.33/0.65	c #constraints  12610
1.33/0.65	c constraints type 
1.33/0.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1.33/0.65	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.33/0.65	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.33/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1.33/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
1.33/0.65	c constraints type 
1.33/0.65	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1.33/0.65	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1.33/0.65	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.33/0.65	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1.33/0.65	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
3.29/1.14	c  And the winner is Resolution
3.55/1.22	c SATISFIABLE
3.55/1.22	c OPTIMIZING...
3.55/1.22	c Got one! Elapsed wall clock time (in seconds):1.072
3.55/1.22	o 3413901
3.55/1.26	c  And the winner is Resolution
3.68/1.74	c Got one! Elapsed wall clock time (in seconds):1.597
3.68/1.74	o 3406633
9.79/4.68	c cleaning 2570 clauses out of 5140 with flag 5001/5140
15.87/7.70	c cleaning 4277 clauses out of 8569 with flag 11000/11139
23.66/11.57	c cleaning 5646 clauses out of 11291 with flag 18000/18139
31.45/15.49	c cleaning 6822 clauses out of 13643 with flag 26000/26139
35.64/17.53	c cleaning 7910 clauses out of 15823 with flag 35002/35141
42.59/21.03	c cleaning 8952 clauses out of 17913 with flag 45002/45141
48.59/24.02	c cleaning 9978 clauses out of 19960 with flag 56001/56140
55.95/27.73	c cleaning 10986 clauses out of 21981 with flag 68001/68140
61.90/30.77	c cleaning 11998 clauses out of 23996 with flag 81002/81141
67.44/33.53	c cleaning 12492 clauses out of 24997 with flag 94001/94140
72.59/36.11	c cleaning 12749 clauses out of 25504 with flag 107000/107139
77.18/38.47	c cleaning 12870 clauses out of 25756 with flag 120001/120140
86.70/43.20	c cleaning 12932 clauses out of 25885 with flag 133000/133139
93.04/46.47	c cleaning 12973 clauses out of 25954 with flag 146001/146140
103.41/51.60	c cleaning 12981 clauses out of 25980 with flag 159000/159139
108.54/54.26	c cleaning 12992 clauses out of 25999 with flag 172000/172139
116.67/58.35	c cleaning 12997 clauses out of 26008 with flag 185001/185140
124.20/62.15	c cleaning 12999 clauses out of 26006 with flag 198000/198139
129.74/64.94	c cleaning 12995 clauses out of 26007 with flag 211000/211139
136.68/68.47	c cleaning 13000 clauses out of 26012 with flag 224000/224139
143.99/72.14	c cleaning 13001 clauses out of 26012 with flag 237000/237139
150.73/75.51	c cleaning 13002 clauses out of 26011 with flag 250000/250139
157.07/78.76	c cleaning 12998 clauses out of 26010 with flag 263001/263140
163.80/82.19	c cleaning 12996 clauses out of 26010 with flag 276000/276139
169.52/85.02	c cleaning 13000 clauses out of 26015 with flag 289001/289140
174.05/87.39	c cleaning 12996 clauses out of 26014 with flag 302001/302140
180.19/90.42	c cleaning 13005 clauses out of 26018 with flag 315001/315140
185.12/92.96	c cleaning 12998 clauses out of 26012 with flag 328000/328139
189.63/95.29	c cleaning 12996 clauses out of 26014 with flag 341000/341139
194.17/97.53	c cleaning 12995 clauses out of 26018 with flag 354000/354139
198.72/99.86	c cleaning 13002 clauses out of 26024 with flag 367001/367140
203.46/102.23	c cleaning 12998 clauses out of 26021 with flag 380000/380139
207.77/104.50	c cleaning 13000 clauses out of 26023 with flag 393000/393139
213.08/107.19	c cleaning 13008 clauses out of 26024 with flag 406001/406140
217.41/109.32	c cleaning 12998 clauses out of 26015 with flag 419000/419139
221.35/111.35	c cleaning 12999 clauses out of 26017 with flag 432000/432139
225.66/113.58	c cleaning 12992 clauses out of 26018 with flag 445000/445139
232.39/116.96	c cleaning 13005 clauses out of 26027 with flag 458001/458140
243.93/122.79	c cleaning 12999 clauses out of 26022 with flag 471001/471140
249.87/125.79	c cleaning 13002 clauses out of 26023 with flag 484001/484140
271.36/136.53	c cleaning 12997 clauses out of 26020 with flag 497000/497139
300.31/151.02	c cleaning 12999 clauses out of 26023 with flag 510000/510139
329.86/165.84	c cleaning 12999 clauses out of 26024 with flag 523000/523139
346.37/174.19	c cleaning 12996 clauses out of 26026 with flag 536001/536140
358.07/180.05	c cleaning 13002 clauses out of 26030 with flag 549001/549140
369.00/185.57	c cleaning 13004 clauses out of 26028 with flag 562001/562140
380.14/191.15	c cleaning 12996 clauses out of 26023 with flag 575000/575139
391.68/196.94	c cleaning 13000 clauses out of 26027 with flag 588000/588139
399.17/200.79	c cleaning 13003 clauses out of 26026 with flag 601000/601139
404.52/203.41	c cleaning 13004 clauses out of 26025 with flag 614002/614141
409.04/205.76	c cleaning 12995 clauses out of 26018 with flag 627000/627139
413.96/208.20	c cleaning 13000 clauses out of 26023 with flag 640000/640139
419.05/210.80	c cleaning 12997 clauses out of 26023 with flag 653000/653139
426.57/214.69	c cleaning 13002 clauses out of 26026 with flag 666000/666139
434.29/218.56	c cleaning 13002 clauses out of 26024 with flag 679000/679139
442.22/222.53	c cleaning 12997 clauses out of 26022 with flag 692000/692139
447.93/225.42	c cleaning 12994 clauses out of 26025 with flag 705000/705139
453.25/228.17	c cleaning 13003 clauses out of 26031 with flag 718000/718139
458.57/230.87	c cleaning 13005 clauses out of 26030 with flag 731002/731141
462.90/233.05	c cleaning 12999 clauses out of 26023 with flag 744000/744139
467.20/235.30	c cleaning 12999 clauses out of 26025 with flag 757001/757140
471.73/237.58	c cleaning 13001 clauses out of 26026 with flag 770001/770140
476.06/239.78	c cleaning 13000 clauses out of 26024 with flag 783000/783139
480.58/242.02	c cleaning 13006 clauses out of 26024 with flag 796000/796139
484.87/244.21	c cleaning 12997 clauses out of 26019 with flag 809001/809140
489.19/246.48	c cleaning 13000 clauses out of 26021 with flag 822000/822139
493.71/248.73	c cleaning 12997 clauses out of 26022 with flag 835001/835140
498.03/250.99	c cleaning 13005 clauses out of 26025 with flag 848001/848140
502.53/253.26	c cleaning 12998 clauses out of 26021 with flag 861002/861141
507.05/255.51	c cleaning 12999 clauses out of 26022 with flag 874001/874140
511.38/257.75	c cleaning 13001 clauses out of 26022 with flag 887000/887139
516.30/260.26	c cleaning 12997 clauses out of 26022 with flag 900001/900140
522.00/263.15	c cleaning 13003 clauses out of 26024 with flag 913000/913139
527.72/266.04	c cleaning 13000 clauses out of 26022 with flag 926001/926140
532.25/268.36	c cleaning 13002 clauses out of 26022 with flag 939001/939140
536.57/270.59	c cleaning 13003 clauses out of 26019 with flag 952000/952139
546.45/275.51	c cleaning 12995 clauses out of 26016 with flag 965000/965139
553.19/278.94	c cleaning 12992 clauses out of 26021 with flag 978000/978139
558.71/281.79	c cleaning 13006 clauses out of 26030 with flag 991001/991140
564.23/284.51	c cleaning 12998 clauses out of 26023 with flag 1004000/1004139
568.53/286.76	c cleaning 13007 clauses out of 26025 with flag 1017000/1017139
573.46/289.28	c cleaning 13003 clauses out of 26018 with flag 1030000/1030139
579.77/292.49	c cleaning 13000 clauses out of 26016 with flag 1043001/1043140
586.09/295.62	c cleaning 12998 clauses out of 26015 with flag 1056000/1056139
592.17/298.77	c cleaning 13001 clauses out of 26017 with flag 1069000/1069139
598.29/301.89	c cleaning 13004 clauses out of 26016 with flag 1082000/1082139
604.20/304.89	c cleaning 12999 clauses out of 26013 with flag 1095001/1095140
609.32/307.40	c cleaning 12999 clauses out of 26015 with flag 1108002/1108141
614.39/310.06	c cleaning 13003 clauses out of 26015 with flag 1121001/1121140
618.70/312.30	c cleaning 12998 clauses out of 26011 with flag 1134000/1134139
623.22/314.52	c cleaning 12998 clauses out of 26013 with flag 1147000/1147139
627.73/316.87	c cleaning 13001 clauses out of 26016 with flag 1160001/1160140
632.19/319.15	c cleaning 13001 clauses out of 26015 with flag 1173001/1173140
636.69/321.47	c cleaning 12998 clauses out of 26013 with flag 1186000/1186139
641.40/323.85	c cleaning 13001 clauses out of 26015 with flag 1199000/1199139
646.31/326.34	c cleaning 12996 clauses out of 26014 with flag 1212000/1212139
651.19/328.85	c cleaning 13001 clauses out of 26019 with flag 1225001/1225140
656.09/331.32	c cleaning 13002 clauses out of 26018 with flag 1238001/1238140
661.00/333.81	c cleaning 12998 clauses out of 26015 with flag 1251000/1251139
665.70/336.27	c cleaning 13000 clauses out of 26017 with flag 1264000/1264139
670.59/338.77	c cleaning 13000 clauses out of 26018 with flag 1277001/1277140
675.48/341.27	c cleaning 12998 clauses out of 26018 with flag 1290001/1290140
680.38/343.73	c cleaning 12997 clauses out of 26019 with flag 1303000/1303139
685.28/346.22	c cleaning 13006 clauses out of 26024 with flag 1316002/1316141
690.35/348.82	c cleaning 12999 clauses out of 26016 with flag 1329000/1329139
697.86/352.68	c cleaning 12998 clauses out of 26017 with flag 1342000/1342139
704.17/355.88	c cleaning 13003 clauses out of 26019 with flag 1355000/1355139
708.87/358.24	c cleaning 13000 clauses out of 26016 with flag 1368000/1368139
713.54/360.62	c cleaning 12994 clauses out of 26016 with flag 1381000/1381139
718.05/363.00	c cleaning 13004 clauses out of 26022 with flag 1394000/1394139
722.75/365.34	c cleaning 12995 clauses out of 26019 with flag 1407001/1407140
727.46/367.70	c cleaning 13001 clauses out of 26023 with flag 1420000/1420139
731.94/370.04	c cleaning 13003 clauses out of 26022 with flag 1433000/1433139
736.45/372.39	c cleaning 13004 clauses out of 26020 with flag 1446001/1446140
741.15/374.73	c cleaning 13001 clauses out of 26015 with flag 1459000/1459139
745.84/377.12	c cleaning 13000 clauses out of 26014 with flag 1472000/1472139
750.52/379.56	c cleaning 12988 clauses out of 26015 with flag 1485001/1485140
755.01/381.82	c cleaning 13002 clauses out of 26027 with flag 1498001/1498140
759.32/384.05	c cleaning 13001 clauses out of 26025 with flag 1511001/1511140
764.02/386.44	c cleaning 12997 clauses out of 26023 with flag 1524000/1524139
768.69/388.82	c cleaning 13006 clauses out of 26026 with flag 1537000/1537139
773.20/391.12	c cleaning 13000 clauses out of 26021 with flag 1550001/1550140
777.51/393.33	c cleaning 12998 clauses out of 26021 with flag 1563001/1563140
781.81/395.52	c cleaning 12998 clauses out of 26022 with flag 1576000/1576139
786.48/397.93	c cleaning 13003 clauses out of 26025 with flag 1589001/1589140
791.58/400.52	c cleaning 13001 clauses out of 26021 with flag 1602000/1602139
795.69/402.69	c cleaning 12998 clauses out of 26020 with flag 1615000/1615139
800.19/404.97	c cleaning 12999 clauses out of 26022 with flag 1628000/1628139
806.05/407.90	c cleaning 12997 clauses out of 26023 with flag 1641000/1641139
810.96/410.42	c cleaning 13005 clauses out of 26027 with flag 1654001/1654140
815.47/412.74	c cleaning 13001 clauses out of 26022 with flag 1667001/1667140
819.98/415.08	c cleaning 13001 clauses out of 26020 with flag 1680000/1680139
824.45/417.31	c cleaning 12999 clauses out of 26020 with flag 1693001/1693140
828.55/419.46	c cleaning 12996 clauses out of 26020 with flag 1706000/1706139
832.85/421.68	c cleaning 13003 clauses out of 26025 with flag 1719001/1719140
837.35/423.95	c cleaning 13002 clauses out of 26022 with flag 1732001/1732140
841.82/426.23	c cleaning 12999 clauses out of 26020 with flag 1745001/1745140
846.12/428.43	c cleaning 12998 clauses out of 26020 with flag 1758000/1758139
850.42/430.66	c cleaning 13002 clauses out of 26023 with flag 1771001/1771140
856.53/433.70	c cleaning 13006 clauses out of 26020 with flag 1784000/1784139
862.61/436.83	c cleaning 12999 clauses out of 26015 with flag 1797001/1797140
867.71/439.45	c cleaning 13000 clauses out of 26016 with flag 1810001/1810140
873.02/442.16	c cleaning 12997 clauses out of 26015 with flag 1823000/1823139
878.51/444.93	c cleaning 12998 clauses out of 26019 with flag 1836001/1836140
883.98/447.75	c cleaning 13002 clauses out of 26020 with flag 1849000/1849139
889.28/450.44	c cleaning 12997 clauses out of 26018 with flag 1862000/1862139
894.59/453.12	c cleaning 13003 clauses out of 26021 with flag 1875000/1875139
899.68/455.74	c cleaning 13000 clauses out of 26019 with flag 1888001/1888140
904.74/458.35	c cleaning 12997 clauses out of 26018 with flag 1901000/1901139
909.44/460.80	c cleaning 12997 clauses out of 26021 with flag 1914000/1914139
914.54/463.30	c cleaning 13003 clauses out of 26024 with flag 1927000/1927139
919.24/465.75	c cleaning 12995 clauses out of 26021 with flag 1940000/1940139
924.10/468.24	c cleaning 13003 clauses out of 26027 with flag 1953001/1953140
928.59/470.57	c cleaning 13003 clauses out of 26024 with flag 1966001/1966140
933.09/472.86	c cleaning 12997 clauses out of 26020 with flag 1979000/1979139
937.60/475.16	c cleaning 13001 clauses out of 26024 with flag 1992001/1992140
942.44/477.68	c cleaning 13002 clauses out of 26022 with flag 2005000/2005139
948.56/480.77	c cleaning 13002 clauses out of 26021 with flag 2018001/2018140
953.04/483.02	c cleaning 12999 clauses out of 26019 with flag 2031001/2031140
958.14/485.66	c cleaning 13003 clauses out of 26019 with flag 2044000/2044139
962.60/487.94	c cleaning 12998 clauses out of 26016 with flag 2057000/2057139
967.49/490.42	c cleaning 13001 clauses out of 26018 with flag 2070000/2070139
971.37/492.48	c cleaning 13001 clauses out of 26018 with flag 2083001/2083140
975.66/494.65	c cleaning 13000 clauses out of 26017 with flag 2096001/2096140
980.52/497.11	c cleaning 12997 clauses out of 26017 with flag 2109001/2109140
985.01/499.46	c cleaning 12998 clauses out of 26019 with flag 2122000/2122139
989.89/501.90	c cleaning 12994 clauses out of 26022 with flag 2135001/2135140
994.58/504.33	c cleaning 13002 clauses out of 26027 with flag 2148000/2148139
999.23/506.76	c cleaning 13000 clauses out of 26026 with flag 2161001/2161140
1003.72/509.09	c cleaning 13005 clauses out of 26025 with flag 2174000/2174139
1008.42/511.42	c cleaning 12998 clauses out of 26020 with flag 2187000/2187139
1013.10/513.82	c cleaning 13007 clauses out of 26023 with flag 2200001/2200140
1019.35/517.08	c cleaning 12996 clauses out of 26016 with flag 2213001/2213140
1023.83/519.31	c cleaning 13001 clauses out of 26020 with flag 2226001/2226140
1028.13/521.59	c cleaning 13000 clauses out of 26019 with flag 2239001/2239140
1032.61/523.84	c cleaning 12999 clauses out of 26018 with flag 2252000/2252139
1037.25/526.23	c cleaning 12999 clauses out of 26019 with flag 2265000/2265139
1041.73/528.52	c cleaning 13003 clauses out of 26020 with flag 2278000/2278139
1046.02/530.79	c cleaning 13001 clauses out of 26018 with flag 2291001/2291140
1050.51/533.05	c cleaning 12993 clauses out of 26016 with flag 2304000/2304139
1055.15/535.48	c cleaning 12997 clauses out of 26023 with flag 2317000/2317139
1060.03/537.97	c cleaning 12995 clauses out of 26027 with flag 2330001/2330140
1064.71/540.38	c cleaning 13002 clauses out of 26032 with flag 2343001/2343140
1069.40/542.78	c cleaning 13000 clauses out of 26030 with flag 2356001/2356140
1074.23/545.24	c cleaning 12998 clauses out of 26029 with flag 2369000/2369139
1078.72/547.57	c cleaning 12999 clauses out of 26031 with flag 2382000/2382139
1083.42/549.97	c cleaning 13001 clauses out of 26032 with flag 2395000/2395139
1088.08/552.39	c cleaning 12998 clauses out of 26031 with flag 2408000/2408139
1092.93/554.88	c cleaning 12999 clauses out of 26033 with flag 2421000/2421139
1097.82/557.31	c cleaning 13003 clauses out of 26035 with flag 2434001/2434140
1102.50/559.72	c cleaning 13002 clauses out of 26032 with flag 2447001/2447140
1106.79/561.99	c cleaning 13001 clauses out of 26029 with flag 2460000/2460139
1111.63/564.41	c cleaning 13001 clauses out of 26028 with flag 2473000/2473139
1116.13/566.72	c cleaning 12998 clauses out of 26027 with flag 2486000/2486139
1120.61/569.07	c cleaning 13003 clauses out of 26030 with flag 2499001/2499140
1125.29/571.44	c cleaning 13000 clauses out of 26026 with flag 2512000/2512139
1129.95/573.85	c cleaning 13000 clauses out of 26027 with flag 2525001/2525140
1134.63/576.20	c cleaning 12999 clauses out of 26027 with flag 2538001/2538140
1138.92/578.45	c cleaning 12996 clauses out of 26028 with flag 2551001/2551140
1143.20/580.69	c cleaning 13000 clauses out of 26031 with flag 2564000/2564139
1147.65/582.93	c cleaning 13001 clauses out of 26032 with flag 2577001/2577140
1151.93/585.11	c cleaning 12998 clauses out of 26031 with flag 2590001/2590140
1156.21/587.38	c cleaning 13000 clauses out of 26032 with flag 2603000/2603139
1160.69/589.70	c cleaning 13001 clauses out of 26032 with flag 2616000/2616139
1165.53/592.11	c cleaning 13000 clauses out of 26032 with flag 2629001/2629140
1170.02/594.48	c cleaning 12999 clauses out of 26031 with flag 2642000/2642139
1174.71/596.85	c cleaning 13001 clauses out of 26032 with flag 2655000/2655139
1179.40/599.25	c cleaning 13012 clauses out of 26032 with flag 2668001/2668140
1184.63/601.96	c cleaning 13001 clauses out of 26020 with flag 2681001/2681140
1189.31/604.39	c cleaning 12997 clauses out of 26018 with flag 2694000/2694139
1194.00/606.79	c cleaning 12998 clauses out of 26021 with flag 2707000/2707139
1198.68/609.19	c cleaning 13000 clauses out of 26023 with flag 2720000/2720139
1203.52/611.64	c cleaning 13000 clauses out of 26024 with flag 2733001/2733140
1208.19/614.03	c cleaning 13000 clauses out of 26023 with flag 2746000/2746139
1212.87/616.42	c cleaning 13002 clauses out of 26023 with flag 2759000/2759139
1217.35/618.78	c cleaning 12998 clauses out of 26022 with flag 2772001/2772140
1222.00/621.18	c cleaning 13001 clauses out of 26023 with flag 2785000/2785139
1226.68/623.58	c cleaning 13000 clauses out of 26022 with flag 2798000/2798139
1231.55/626.00	c cleaning 12997 clauses out of 26022 with flag 2811000/2811139
1236.23/628.46	c cleaning 13004 clauses out of 26025 with flag 2824000/2824139
1241.08/630.93	c cleaning 12999 clauses out of 26022 with flag 2837001/2837140
1245.76/633.36	c cleaning 12999 clauses out of 26022 with flag 2850000/2850139
1250.45/635.79	c cleaning 13003 clauses out of 26023 with flag 2863000/2863139
1255.51/638.31	c cleaning 12999 clauses out of 26021 with flag 2876001/2876140
1260.37/640.82	c cleaning 12996 clauses out of 26021 with flag 2889000/2889139
1265.05/643.21	c cleaning 13002 clauses out of 26026 with flag 2902001/2902140
1269.52/645.56	c cleaning 12999 clauses out of 26024 with flag 2915001/2915140
1274.20/647.97	c cleaning 13001 clauses out of 26026 with flag 2928002/2928141
1279.02/650.43	c cleaning 12999 clauses out of 26024 with flag 2941001/2941140
1283.69/652.85	c cleaning 13001 clauses out of 26024 with flag 2954000/2954139
1288.38/655.24	c cleaning 13002 clauses out of 26024 with flag 2967001/2967140
1292.85/657.59	c cleaning 12996 clauses out of 26022 with flag 2980001/2980140
1297.54/659.98	c cleaning 12999 clauses out of 26025 with flag 2993000/2993139
1302.81/662.64	c cleaning 13000 clauses out of 26026 with flag 3006000/3006139
1308.09/665.36	c cleaning 13007 clauses out of 26027 with flag 3019001/3019140
1313.18/667.94	c cleaning 13000 clauses out of 26019 with flag 3032000/3032139
1318.61/670.74	c cleaning 12997 clauses out of 26020 with flag 3045001/3045140
1323.90/673.40	c cleaning 13009 clauses out of 26022 with flag 3058000/3058139
1327.99/675.59	c cleaning 12995 clauses out of 26013 with flag 3071000/3071139
1332.46/677.88	c cleaning 13002 clauses out of 26019 with flag 3084001/3084140
1338.09/680.76	c cleaning 12999 clauses out of 26018 with flag 3097002/3097141
1343.97/683.74	c cleaning 12992 clauses out of 26017 with flag 3110000/3110139
1349.26/686.41	c cleaning 12999 clauses out of 26026 with flag 3123001/3123140
1353.72/688.71	c cleaning 13006 clauses out of 26027 with flag 3136001/3136140
1358.54/691.28	c cleaning 13002 clauses out of 26020 with flag 3149000/3149139
1363.61/693.88	c cleaning 13001 clauses out of 26019 with flag 3162001/3162140
1368.67/696.46	c cleaning 12998 clauses out of 26018 with flag 3175001/3175140
1373.74/699.00	c cleaning 13001 clauses out of 26020 with flag 3188001/3188140
1379.17/701.86	c cleaning 12998 clauses out of 26019 with flag 3201001/3201140
1384.05/704.36	c cleaning 13004 clauses out of 26020 with flag 3214001/3214140
1388.33/706.59	c cleaning 13001 clauses out of 26016 with flag 3227001/3227140
1392.59/708.79	c cleaning 13000 clauses out of 26015 with flag 3240001/3240140
1397.01/711.05	c cleaning 12999 clauses out of 26014 with flag 3253000/3253139
1401.08/713.16	c cleaning 13000 clauses out of 26016 with flag 3266001/3266140
1405.15/715.27	c cleaning 13002 clauses out of 26015 with flag 3279000/3279139
1409.21/717.38	c cleaning 12997 clauses out of 26013 with flag 3292000/3292139
1413.42/719.58	c cleaning 12998 clauses out of 26016 with flag 3305000/3305139
1417.89/721.82	c cleaning 12994 clauses out of 26019 with flag 3318001/3318140
1422.16/724.01	c cleaning 13002 clauses out of 26024 with flag 3331000/3331139
1426.41/726.22	c cleaning 12999 clauses out of 26023 with flag 3344001/3344140
1430.64/728.47	c cleaning 13000 clauses out of 26024 with flag 3357001/3357140
1434.90/730.63	c cleaning 13001 clauses out of 26023 with flag 3370000/3370139
1439.16/732.89	c cleaning 12998 clauses out of 26022 with flag 3383000/3383139
1443.62/735.10	c cleaning 13002 clauses out of 26024 with flag 3396000/3396139
1447.83/737.34	c cleaning 12997 clauses out of 26022 with flag 3409000/3409139
1452.09/739.53	c cleaning 13004 clauses out of 26026 with flag 3422001/3422140
1456.36/741.70	c cleaning 13002 clauses out of 26021 with flag 3435000/3435139
1460.42/743.88	c cleaning 12999 clauses out of 26020 with flag 3448001/3448140
1465.00/746.26	c cleaning 13001 clauses out of 26021 with flag 3461001/3461140
1469.07/748.33	c cleaning 13001 clauses out of 26020 with flag 3474001/3474140
1473.53/750.69	c cleaning 12997 clauses out of 26018 with flag 3487000/3487139
1477.98/752.91	c cleaning 12997 clauses out of 26021 with flag 3500000/3500139
1482.81/755.40	c cleaning 13007 clauses out of 26024 with flag 3513000/3513139
1486.69/757.45	c cleaning 12995 clauses out of 26017 with flag 3526000/3526139
1491.15/759.72	c cleaning 13001 clauses out of 26022 with flag 3539000/3539139
1496.04/762.22	c cleaning 13000 clauses out of 26021 with flag 3552000/3552139
1501.22/764.96	c cleaning 12995 clauses out of 26022 with flag 3565001/3565140
1506.48/767.65	c cleaning 13005 clauses out of 26027 with flag 3578001/3578140
1511.75/770.34	c cleaning 12995 clauses out of 26021 with flag 3591000/3591139
1517.00/773.06	c cleaning 13002 clauses out of 26026 with flag 3604000/3604139
1522.20/775.74	c cleaning 13004 clauses out of 26025 with flag 3617001/3617140
1527.47/778.44	c cleaning 12996 clauses out of 26020 with flag 3630000/3630139
1532.54/781.04	c cleaning 13005 clauses out of 26025 with flag 3643001/3643140
1537.59/783.66	c cleaning 12997 clauses out of 26019 with flag 3656000/3656139
1542.79/786.40	c cleaning 13002 clauses out of 26023 with flag 3669001/3669140
1547.05/788.59	c cleaning 13003 clauses out of 26020 with flag 3682000/3682139
1551.31/790.72	c cleaning 12992 clauses out of 26018 with flag 3695001/3695140
1555.56/792.95	c cleaning 12997 clauses out of 26025 with flag 3708000/3708139
1560.35/795.44	c cleaning 12999 clauses out of 26029 with flag 3721001/3721140
1565.01/797.89	c cleaning 13003 clauses out of 26029 with flag 3734000/3734139
1569.47/800.20	c cleaning 12996 clauses out of 26026 with flag 3747000/3747139
1574.13/802.59	c cleaning 12999 clauses out of 26030 with flag 3760000/3760139
1578.75/804.96	c cleaning 13003 clauses out of 26032 with flag 3773001/3773140
1583.42/807.40	c cleaning 12998 clauses out of 26029 with flag 3786001/3786140
1588.07/809.76	c cleaning 12996 clauses out of 26030 with flag 3799000/3799139
1592.52/812.07	c cleaning 13003 clauses out of 26034 with flag 3812000/3812139
1597.13/814.40	c cleaning 12999 clauses out of 26031 with flag 3825000/3825139
1601.59/816.70	c cleaning 13002 clauses out of 26032 with flag 3838000/3838139
1605.85/818.98	c cleaning 13001 clauses out of 26031 with flag 3851001/3851140
1610.31/821.28	c cleaning 12999 clauses out of 26030 with flag 3864001/3864140
1614.93/823.63	c cleaning 12999 clauses out of 26031 with flag 3877001/3877140
1619.38/825.97	c cleaning 13003 clauses out of 26032 with flag 3890001/3890140
1624.06/828.31	c cleaning 12995 clauses out of 26028 with flag 3903000/3903139
1628.31/830.57	c cleaning 13000 clauses out of 26034 with flag 3916001/3916140
1632.93/832.93	c cleaning 13004 clauses out of 26034 with flag 3929001/3929140
1637.38/835.25	c cleaning 12995 clauses out of 26029 with flag 3942000/3942139
1641.84/837.53	c cleaning 13001 clauses out of 26034 with flag 3955000/3955139
1646.31/839.85	c cleaning 13002 clauses out of 26033 with flag 3968000/3968139
1650.73/842.18	c cleaning 13000 clauses out of 26031 with flag 3981000/3981139
1655.18/844.47	c cleaning 13000 clauses out of 26031 with flag 3994000/3994139
1659.64/846.73	c cleaning 13007 clauses out of 26032 with flag 4007001/4007140
1663.90/848.92	c cleaning 12999 clauses out of 26024 with flag 4020000/4020139
1668.51/851.31	c cleaning 12998 clauses out of 26026 with flag 4033001/4033140
1672.78/853.57	c cleaning 13002 clauses out of 26028 with flag 4046001/4046140
1677.44/855.99	c cleaning 12998 clauses out of 26026 with flag 4059001/4059140
1682.10/858.33	c cleaning 12999 clauses out of 26028 with flag 4072001/4072140
1686.72/860.79	c cleaning 13000 clauses out of 26029 with flag 4085001/4085140
1691.38/863.16	c cleaning 12995 clauses out of 26028 with flag 4098000/4098139
1695.83/865.48	c cleaning 13006 clauses out of 26033 with flag 4111000/4111139
1700.50/867.86	c cleaning 12997 clauses out of 26027 with flag 4124000/4124139
1705.30/870.35	c cleaning 13001 clauses out of 26030 with flag 4137000/4137139
1709.97/872.76	c cleaning 12997 clauses out of 26029 with flag 4150000/4150139
1714.43/875.01	c cleaning 13006 clauses out of 26033 with flag 4163001/4163140
1718.48/877.11	c cleaning 13000 clauses out of 26026 with flag 4176000/4176139
1723.70/879.87	c cleaning 13001 clauses out of 26027 with flag 4189001/4189140
1728.94/882.57	c cleaning 13001 clauses out of 26025 with flag 4202000/4202139
1735.00/885.62	c cleaning 13000 clauses out of 26025 with flag 4215001/4215140
1740.65/888.54	c cleaning 13003 clauses out of 26025 with flag 4228001/4228140
1746.45/891.54	c cleaning 12997 clauses out of 26021 with flag 4241000/4241139
1752.10/894.48	c cleaning 13003 clauses out of 26025 with flag 4254001/4254140
1757.95/897.42	c cleaning 12997 clauses out of 26021 with flag 4267000/4267139
1763.62/900.35	c cleaning 13005 clauses out of 26025 with flag 4280001/4280140
1769.40/903.35	c cleaning 12995 clauses out of 26019 with flag 4293000/4293139
1775.06/906.27	c cleaning 12999 clauses out of 26024 with flag 4306000/4306139
1780.91/909.25	c cleaning 13006 clauses out of 26026 with flag 4319001/4319140
1786.55/912.19	c cleaning 13000 clauses out of 26019 with flag 4332000/4332139
1792.36/915.16	c cleaning 13000 clauses out of 26019 with flag 4345000/4345139
1797.99/918.09	c cleaning 12997 clauses out of 26019 with flag 4358000/4358139
1800.07/919.11	c starts		: 255
1800.07/919.11	c conflicts		: 4362332
1800.07/919.11	c decisions		: 5056812
1800.07/919.11	c propagations		: 70334312
1800.07/919.11	c inspects		: 1000894291
1800.07/919.11	c shortcuts		: 0
1800.07/919.11	c learnt literals	: 13
1800.07/919.11	c learnt binary clauses	: 618
1800.07/919.11	c learnt ternary clauses	: 9897
1800.07/919.11	c learnt constraints	: 4362319
1800.07/919.11	c ignored constraints	: 0
1800.07/919.11	c root simplifications	: 0
1800.07/919.11	c removed literals (reason simplification)	: 322619755
1800.07/919.11	c reason swapping (by a shorter reason)	: 0
1800.07/919.11	c Calls to reduceDB	: 338
1800.07/919.11	c number of reductions to clauses (during analyze)	: 0
1800.07/919.11	c number of learned constraints concerned by reduction	: 0
1800.07/919.11	c number of learning phase by resolution	: 0
1800.07/919.11	c number of learning phase by cutting planes	: 0
1800.07/919.11	c speed (assignments/second)	: 76670.77739806291
1800.07/919.11	c non guided choices	1235
1800.07/919.12	c learnt constraints type 
1800.07/919.12	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 618
1800.07/919.12	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16631
1800.07/919.12	c constraints type 
1800.07/919.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.07/919.12	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.07/919.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.07/919.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.07/919.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.07/919.12	c constraints type 
1800.07/919.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1800.07/919.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1800.07/919.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1800.07/919.12	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1800.07/919.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376
1800.07/919.12	s SATISFIABLE
1800.07/919.13	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 -x857 x858 -x859 x860 x861 -x862 x863 -x864 -x865 x866 -x867 x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 x886 x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 x1574 -x1575 x1576 x1577 -x1578 -x1579 -x1580 x1581 -x1582 x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 x1594 x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 x2069 -x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.07/919.14	c objective function=3406633
1800.07/919.14	c Total wall clock time (in seconds): 918.992

Verifier Data 

OK	3406633

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744408-1338806036/watcher-3744408-1338806036 -o /tmp/evaluation-result-3744408-1338806036/solver-3744408-1338806036 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744408-1338806036.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.00 2.95 2.72 4/197 1829
/proc/meminfo: memFree=23572804/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/1829/stat : 1829 (java) D 1827 1829 32548 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 346728676 278528 33 33554432000 1073741824 1073778376 140737110465584 140737110462760 227132140839 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/1829/statm: 68 33 25 9 0 25 0

[startup+0.0159439 s]
/proc/loadavg: 3.00 2.95 2.72 4/197 1829
/proc/meminfo: memFree=23572804/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/1829/stat : 1829 (java) R 1827 1829 32548 0 -1 4202496 572 0 0 0 0 0 0 0 20 0 1 0 346728676 23793664 301 33554432000 1073741824 1073778376 140733425049888 140733425038952 227132095041 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 5809 324 250 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.100219 s]
/proc/loadavg: 3.00 2.95 2.72 4/197 1829
/proc/meminfo: memFree=23572804/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/1829/stat : 1829 (java) S 1827 1829 32548 0 -1 4202496 4475 0 1 0 5 1 0 0 20 0 18 0 346728676 11864465408 12327 33554432000 1073741824 1073778376 140733425049888 140733425041024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 2896598 12327 1765 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.30022 s]
/proc/loadavg: 3.00 2.95 2.72 4/197 1829
/proc/meminfo: memFree=23572804/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=11586392 CPUtime=0.44 cores=0,2,4,6
/proc/1829/stat : 1829 (java) S 1827 1829 32548 0 -1 4202496 6205 0 1 0 42 2 0 0 20 0 18 0 346728676 11864465408 15741 33554432000 1073741824 1073778376 140733425049888 140733425041024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 2896598 15741 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700168 s]
/proc/loadavg: 3.00 2.95 2.72 4/197 1829
/proc/meminfo: memFree=23572804/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=11719520 CPUtime=1.68 cores=0,2,4,6
/proc/1829/stat : 1829 (java) S 1827 1829 32548 0 -1 4202496 22540 0 1 0 162 6 0 0 20 0 20 0 346728676 12000788480 32151 33554432000 1073741824 1073778376 140733425049888 140733425041024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 2929880 32151 2247 9 0 2920567 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 11719520

[startup+1.50069 s]
/proc/loadavg: 3.00 2.95 2.72 7/219 1859
/proc/meminfo: memFree=23449636/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=11852648 CPUtime=3.68 cores=0,2,4,6
/proc/1829/stat : 1829 (java) S 1827 1829 32548 0 -1 4202496 27736 0 1 0 358 10 0 0 20 0 19 0 346728676 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140733425041024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 2963162 35415 2265 9 0 2953849 0
[pid=1829/tid=1831] ppid=1827 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/1829/task/1831/stat : 1831 (java) S 1827 1829 32548 0 -1 4202560 3472 0 1 0 61 2 0 0 20 0 19 0 346728678 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711251416216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1832] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1832/stat : 1832 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728680 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711088490920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1834] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1834/stat : 1834 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728680 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711087438376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1836] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1836/stat : 1836 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728680 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711086385320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1838] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1838/stat : 1838 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728680 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711085332776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1840] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1840/stat : 1840 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728680 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711084280744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1842] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1842/stat : 1842 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728680 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711083228200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1844] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1844/stat : 1844 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728680 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711082175144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1845] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1845/stat : 1845 (java) S 1827 1829 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346728680 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711081122600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1848] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1848/stat : 1848 (java) S 1827 1829 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346728681 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711068924264 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1849] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1849/stat : 1849 (java) S 1827 1829 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346728682 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711067870584 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1850] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1850/stat : 1850 (java) S 1827 1829 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346728682 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711066817416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1851] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1851/stat : 1851 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728685 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711065766160 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1852] ppid=1827 vsize=11852648 CPUtime=0.97 cores=0,2,4,6
/proc/1829/task/1852/stat : 1852 (java) S 1827 1829 32548 0 -1 4202560 11727 0 0 0 95 2 0 0 20 0 19 0 346728685 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711064714040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1853] ppid=1827 vsize=11852648 CPUtime=0.98 cores=0,2,4,6
/proc/1829/task/1853/stat : 1853 (java) S 1827 1829 32548 0 -1 4202560 11222 0 0 0 96 2 0 0 20 0 19 0 346728685 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711063661496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1854] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1854/stat : 1854 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728685 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711062608632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1855] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1855/stat : 1855 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346728685 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711061556296 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1858] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1858/stat : 1858 (java) S 1827 1829 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346728747 12137111552 35415 33554432000 1073741824 1073778376 140733425049888 140711058395944 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 11852648

[startup+3.1007 s]
/proc/loadavg: 2.92 2.93 2.72 5/219 1865
/proc/meminfo: memFree=23270716/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=11852648 CPUtime=6.76 cores=0,2,4,6
/proc/1829/stat : 1829 (java) S 1827 1829 32548 0 -1 4202496 28119 0 1 0 656 20 0 0 20 0 22 0 346728676 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140733425041024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 2963162 187051 2267 9 0 2953849 0
[pid=1829/tid=1831] ppid=1827 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/1829/task/1831/stat : 1831 (java) S 1827 1829 32548 0 -1 4202560 3474 0 1 0 63 3 0 0 20 0 22 0 346728678 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711251416216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1832] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1832/stat : 1832 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711088490920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1834] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1834/stat : 1834 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711087438376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1836] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1836/stat : 1836 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711086385320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1838] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1838/stat : 1838 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711085332776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1840] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1840/stat : 1840 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711084280744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1842] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1842/stat : 1842 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711083228200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1844] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1844/stat : 1844 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711082175144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1845] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1845/stat : 1845 (java) S 1827 1829 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711081122600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1848] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1848/stat : 1848 (java) S 1827 1829 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346728681 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711068924264 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1849] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1849/stat : 1849 (java) S 1827 1829 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711067870584 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1850] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1850/stat : 1850 (java) S 1827 1829 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711066817416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1851] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1851/stat : 1851 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711065766160 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1852] ppid=1827 vsize=11852648 CPUtime=1.1 cores=0,2,4,6
/proc/1829/task/1852/stat : 1852 (java) S 1827 1829 32548 0 -1 4202560 11743 0 0 0 108 2 0 0 20 0 22 0 346728685 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711064714040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1853] ppid=1827 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/1829/task/1853/stat : 1853 (java) S 1827 1829 32548 0 -1 4202560 11278 0 0 0 122 2 0 0 20 0 22 0 346728685 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711063661496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1854] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1854/stat : 1854 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711062608632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1855] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1855/stat : 1855 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711061556296 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1858] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1858/stat : 1858 (java) S 1827 1829 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346728747 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711058395944 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1863] ppid=1827 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/1829/task/1863/stat : 1863 (java) R 1827 1829 32548 0 -1 4202560 9 0 0 0 132 0 0 0 20 0 22 0 346728852 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711060500952 140711124260663 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1864] ppid=1827 vsize=11852648 CPUtime=1.31 cores=0,2,4,6
/proc/1829/task/1864/stat : 1864 (java) R 1827 1829 32548 0 -1 4202560 297 0 0 0 122 9 0 0 20 0 22 0 346728852 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711057340608 140711124796477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1865] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1865/stat : 1865 (java) S 1827 1829 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346728852 12137111552 187051 33554432000 1073741824 1073778376 140733425049888 140711059449000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 11852648

[startup+6.30078 s]
/proc/loadavg: 2.92 2.93 2.72 5/219 1865
/proc/meminfo: memFree=21663348/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=11852648 CPUtime=13.21 cores=0,2,4,6
/proc/1829/stat : 1829 (java) S 1827 1829 32548 0 -1 4202496 28764 0 1 0 1275 46 0 0 20 0 22 0 346728676 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140733425041024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 2963162 478339 2291 9 0 2953849 0
[pid=1829/tid=1831] ppid=1827 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/1829/task/1831/stat : 1831 (java) S 1827 1829 32548 0 -1 4202560 3474 0 1 0 63 3 0 0 20 0 22 0 346728678 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711251416216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1832] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1832/stat : 1832 (java) S 1827 1829 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711088490920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1834] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1834/stat : 1834 (java) S 1827 1829 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711087438376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1836] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1836/stat : 1836 (java) S 1827 1829 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711086385320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1838] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1838/stat : 1838 (java) S 1827 1829 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711085332776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1840] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1840/stat : 1840 (java) S 1827 1829 32548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711084280744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1842] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1842/stat : 1842 (java) S 1827 1829 32548 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711083228200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1844] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1844/stat : 1844 (java) S 1827 1829 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711082175144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1845] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1845/stat : 1845 (java) S 1827 1829 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346728680 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711081122600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1848] ppid=1827 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/1829/task/1848/stat : 1848 (java) S 1827 1829 32548 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 22 0 346728681 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711068924264 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1849] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1849/stat : 1849 (java) S 1827 1829 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711067870584 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1850] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1850/stat : 1850 (java) S 1827 1829 32548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711066817416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1851] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1851/stat : 1851 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711065766160 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1852] ppid=1827 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/1829/task/1852/stat : 1852 (java) S 1827 1829 32548 0 -1 4202560 11752 0 0 0 115 2 0 0 20 0 22 0 346728685 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711064714040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1853] ppid=1827 vsize=11852648 CPUtime=1.25 cores=0,2,4,6
/proc/1829/task/1853/stat : 1853 (java) S 1827 1829 32548 0 -1 4202560 11278 0 0 0 123 2 0 0 20 0 22 0 346728685 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711063661496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1854] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1854/stat : 1854 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711062608632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1855] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1855/stat : 1855 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 478339 33554432000 1073741824 1073778376 140733425049888 140711061556296 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

/proc/1829/statm: 2963162 897529 2293 9 0 2953849 0
[pid=1829/tid=1831] ppid=1827 vsize=11852648 CPUtime=0.7 cores=0,2,4,6
/proc/1829/task/1831/stat : 1831 (java) S 1827 1829 32548 0 -1 4202560 3543 0 1 0 66 4 0 0 20 0 22 0 346728678 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711251416216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1832] ppid=1827 vsize=11852648 CPUtime=0.61 cores=0,2,4,6
/proc/1829/task/1832/stat : 1832 (java) S 1827 1829 32548 0 -1 4202560 122 0 0 0 59 2 0 0 20 0 22 0 346728680 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711088490920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1834] ppid=1827 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/1829/task/1834/stat : 1834 (java) S 1827 1829 32548 0 -1 4202560 74 0 0 0 55 2 0 0 20 0 22 0 346728680 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711087438376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1836] ppid=1827 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/1829/task/1836/stat : 1836 (java) S 1827 1829 32548 0 -1 4202560 82 0 0 0 55 2 0 0 20 0 22 0 346728680 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711086385320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1838] ppid=1827 vsize=11852648 CPUtime=0.64 cores=0,2,4,6
/proc/1829/task/1838/stat : 1838 (java) S 1827 1829 32548 0 -1 4202560 72 0 0 0 62 2 0 0 20 0 22 0 346728680 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711085332776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1840] ppid=1827 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/1829/task/1840/stat : 1840 (java) S 1827 1829 32548 0 -1 4202560 93 0 0 0 56 2 0 0 20 0 22 0 346728680 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711084280744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1842] ppid=1827 vsize=11852648 CPUtime=0.56 cores=0,2,4,6
/proc/1829/task/1842/stat : 1842 (java) S 1827 1829 32548 0 -1 4202560 62 0 0 0 54 2 0 0 20 0 22 0 346728680 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711083228200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1844] ppid=1827 vsize=11852648 CPUtime=0.61 cores=0,2,4,6
/proc/1829/task/1844/stat : 1844 (java) S 1827 1829 32548 0 -1 4202560 57 0 0 0 59 2 0 0 20 0 22 0 346728680 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711082175144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1845] ppid=1827 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/1829/task/1845/stat : 1845 (java) S 1827 1829 32548 0 -1 4202560 85 0 0 0 57 2 0 0 20 0 22 0 346728680 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711081122600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1848] ppid=1827 vsize=11852648 CPUtime=38.3 cores=0,2,4,6
/proc/1829/task/1848/stat : 1848 (java) S 1827 1829 32548 0 -1 4202560 280 0 0 0 3823 7 0 0 20 0 22 0 346728681 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711068924264 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1849] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1849/stat : 1849 (java) S 1827 1829 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711067870584 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1850] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1850/stat : 1850 (java) S 1827 1829 32548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711066817416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1851] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1851/stat : 1851 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711065766160 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1852] ppid=1827 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/1829/task/1852/stat : 1852 (java) S 1827 1829 32548 0 -1 4202560 11756 0 0 0 127 2 0 0 20 0 22 0 346728685 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711064714040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1853] ppid=1827 vsize=11852648 CPUtime=1.47 cores=0,2,4,6
/proc/1829/task/1853/stat : 1853 (java) S 1827 1829 32548 0 -1 4202560 11286 0 0 0 144 3 0 0 20 0 22 0 346728685 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711063661496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1854] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1854/stat : 1854 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711062608632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1855] ppid=1827 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/1829/task/1855/stat : 1855 (java) S 1827 1829 32548 0 -1 4202560 50 0 0 0 18 13 0 0 20 0 22 0 346728685 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711061556296 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1858] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1858/stat : 1858 (java) S 1827 1829 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346728747 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711058395944 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1863] ppid=1827 vsize=11852648 CPUtime=838.14 cores=0,2,4,6
/proc/1829/task/1863/stat : 1863 (java) R 1827 1829 32548 0 -1 4202560 248 0 0 0 83800 14 0 0 20 0 22 0 346728852 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711060501200 140711124739882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1864] ppid=1827 vsize=11852648 CPUtime=838.15 cores=0,2,4,6
/proc/1829/task/1864/stat : 1864 (java) R 1827 1829 32548 0 -1 4202560 1681 0 0 0 83737 78 0 0 20 0 22 0 346728852 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711057340608 140711124063813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1865] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1865/stat : 1865 (java) S 1827 1829 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346728852 12137111552 897529 33554432000 1073741824 1073778376 140733425049888 140711059449000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1728.54
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+919.101 s]
/proc/loadavg: 3.93 3.83 3.43 5/219 1946
/proc/meminfo: memFree=19870688/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=11852648 CPUtime=1800.07 cores=0,2,4,6
/proc/1829/stat : 1829 (java) S 1827 1829 32548 0 -1 4202496 30818 0 1 0 179891 116 0 0 20 0 22 0 346728676 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140733425041024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 2963162 898045 2293 9 0 2953849 0
[pid=1829/tid=1831] ppid=1827 vsize=11852648 CPUtime=0.7 cores=0,2,4,6
/proc/1829/task/1831/stat : 1831 (java) S 1827 1829 32548 0 -1 4202560 3545 0 1 0 66 4 0 0 20 0 22 0 346728678 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711251416216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1832] ppid=1827 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/1829/task/1832/stat : 1832 (java) S 1827 1829 32548 0 -1 4202560 122 0 0 0 61 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711088490920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1834] ppid=1827 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/1829/task/1834/stat : 1834 (java) S 1827 1829 32548 0 -1 4202560 74 0 0 0 57 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711087438376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1836] ppid=1827 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/1829/task/1836/stat : 1836 (java) S 1827 1829 32548 0 -1 4202560 83 0 0 0 55 3 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711086385320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1838] ppid=1827 vsize=11852648 CPUtime=0.65 cores=0,2,4,6
/proc/1829/task/1838/stat : 1838 (java) S 1827 1829 32548 0 -1 4202560 72 0 0 0 63 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711085332776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1840] ppid=1827 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/1829/task/1840/stat : 1840 (java) S 1827 1829 32548 0 -1 4202560 96 0 0 0 57 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711084280744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1842] ppid=1827 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/1829/task/1842/stat : 1842 (java) S 1827 1829 32548 0 -1 4202560 62 0 0 0 56 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711083228200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1844] ppid=1827 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/1829/task/1844/stat : 1844 (java) S 1827 1829 32548 0 -1 4202560 57 0 0 0 61 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711082175144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1845] ppid=1827 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/1829/task/1845/stat : 1845 (java) S 1827 1829 32548 0 -1 4202560 85 0 0 0 58 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711081122600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1848] ppid=1827 vsize=11852648 CPUtime=40.42 cores=0,2,4,6
/proc/1829/task/1848/stat : 1848 (java) S 1827 1829 32548 0 -1 4202560 283 0 0 0 4035 7 0 0 20 0 22 0 346728681 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711068924264 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1849] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1849/stat : 1849 (java) S 1827 1829 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711067870584 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1850] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1850/stat : 1850 (java) S 1827 1829 32548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711066817416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1851] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1851/stat : 1851 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711065766160 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1852] ppid=1827 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/1829/task/1852/stat : 1852 (java) S 1827 1829 32548 0 -1 4202560 11756 0 0 0 127 2 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711064714040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1853] ppid=1827 vsize=11852648 CPUtime=1.47 cores=0,2,4,6
/proc/1829/task/1853/stat : 1853 (java) S 1827 1829 32548 0 -1 4202560 11286 0 0 0 144 3 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711063661496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1854] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1854/stat : 1854 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711062608632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1855] ppid=1827 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/1829/task/1855/stat : 1855 (java) S 1827 1829 32548 0 -1 4202560 52 0 0 0 20 14 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711061556296 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1858] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1858/stat : 1858 (java) S 1827 1829 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346728747 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711058395944 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1863] ppid=1827 vsize=11852648 CPUtime=872.68 cores=0,2,4,6
/proc/1829/task/1863/stat : 1863 (java) R 1827 1829 32548 0 -1 4202560 259 0 0 0 87253 15 0 0 20 0 22 0 346728852 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711060501200 140711124528116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1864] ppid=1827 vsize=11852648 CPUtime=872.7 cores=0,2,4,6
/proc/1829/task/1864/stat : 1864 (java) R 1827 1829 32548 0 -1 4202560 1681 0 0 0 87191 79 0 0 20 0 22 0 346728852 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711057340576 140711124797441 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1865] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1865/stat : 1865 (java) S 1827 1829 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346728852 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711059449000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11852648

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

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

[startup+919.101 s]
/proc/loadavg: 3.93 3.83 3.43 5/219 1946
/proc/meminfo: memFree=19870688/32873844 swapFree=7116/7116
[pid=1829] ppid=1827 vsize=11852648 CPUtime=1800.07 cores=0,2,4,6
/proc/1829/stat : 1829 (java) S 1827 1829 32548 0 -1 4202496 30818 0 1 0 179891 116 0 0 20 0 22 0 346728676 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140733425041024 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1829/statm: 2963162 898045 2293 9 0 2953849 0
[pid=1829/tid=1831] ppid=1827 vsize=11852648 CPUtime=0.7 cores=0,2,4,6
/proc/1829/task/1831/stat : 1831 (java) S 1827 1829 32548 0 -1 4202560 3545 0 1 0 66 4 0 0 20 0 22 0 346728678 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711251416216 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1832] ppid=1827 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/1829/task/1832/stat : 1832 (java) S 1827 1829 32548 0 -1 4202560 122 0 0 0 61 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711088490920 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1834] ppid=1827 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/1829/task/1834/stat : 1834 (java) S 1827 1829 32548 0 -1 4202560 74 0 0 0 57 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711087438376 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1836] ppid=1827 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/1829/task/1836/stat : 1836 (java) S 1827 1829 32548 0 -1 4202560 83 0 0 0 55 3 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711086385320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1838] ppid=1827 vsize=11852648 CPUtime=0.65 cores=0,2,4,6
/proc/1829/task/1838/stat : 1838 (java) S 1827 1829 32548 0 -1 4202560 72 0 0 0 63 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711085332776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1840] ppid=1827 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/1829/task/1840/stat : 1840 (java) S 1827 1829 32548 0 -1 4202560 96 0 0 0 57 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711084280744 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1842] ppid=1827 vsize=11852648 CPUtime=0.58 cores=0,2,4,6
/proc/1829/task/1842/stat : 1842 (java) S 1827 1829 32548 0 -1 4202560 62 0 0 0 56 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711083228200 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1844] ppid=1827 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/1829/task/1844/stat : 1844 (java) S 1827 1829 32548 0 -1 4202560 57 0 0 0 61 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711082175144 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1845] ppid=1827 vsize=11852648 CPUtime=0.6 cores=0,2,4,6
/proc/1829/task/1845/stat : 1845 (java) S 1827 1829 32548 0 -1 4202560 85 0 0 0 58 2 0 0 20 0 22 0 346728680 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711081122600 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1848] ppid=1827 vsize=11852648 CPUtime=40.42 cores=0,2,4,6
/proc/1829/task/1848/stat : 1848 (java) S 1827 1829 32548 0 -1 4202560 283 0 0 0 4035 7 0 0 20 0 22 0 346728681 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711068924264 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1849] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1849/stat : 1849 (java) S 1827 1829 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711067870584 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1850] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1850/stat : 1850 (java) S 1827 1829 32548 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346728682 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711066817416 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1851] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1851/stat : 1851 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711065766160 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1852] ppid=1827 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/1829/task/1852/stat : 1852 (java) S 1827 1829 32548 0 -1 4202560 11756 0 0 0 127 2 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711064714040 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1853] ppid=1827 vsize=11852648 CPUtime=1.47 cores=0,2,4,6
/proc/1829/task/1853/stat : 1853 (java) S 1827 1829 32548 0 -1 4202560 11286 0 0 0 144 3 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711063661496 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1829/tid=1854] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1854/stat : 1854 (java) S 1827 1829 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711062608632 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1855] ppid=1827 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/1829/task/1855/stat : 1855 (java) S 1827 1829 32548 0 -1 4202560 52 0 0 0 20 14 0 0 20 0 22 0 346728685 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711061556296 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1829/tid=1858] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1858/stat : 1858 (java) S 1827 1829 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346728747 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711058395944 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1863] ppid=1827 vsize=11852648 CPUtime=872.68 cores=0,2,4,6
/proc/1829/task/1863/stat : 1863 (java) R 1827 1829 32548 0 -1 4202560 259 0 0 0 87253 15 0 0 20 0 22 0 346728852 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711060501200 140711124528116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1829/tid=1864] ppid=1827 vsize=11852648 CPUtime=872.7 cores=0,2,4,6
/proc/1829/task/1864/stat : 1864 (java) R 1827 1829 32548 0 -1 4202560 1681 0 0 0 87191 79 0 0 20 0 22 0 346728852 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711057340576 140711124797441 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1829/tid=1865] ppid=1827 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/1829/task/1865/stat : 1865 (java) S 1827 1829 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346728852 12137111552 898045 33554432000 1073741824 1073778376 140733425049888 140711059449000 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1829 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=299225
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=629752
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 919.162
CPU time (s): 1800.07
CPU user time (s): 1798.91
CPU system time (s): 1.16
CPU usage (%): 195.838
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.3
system time used= 1.62975
maximum resident set size= 3592300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30850
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31533
involuntary context switches= 27498

runsolver used 3.62145 second user time and 7.70283 second system time

The end

Launcher Data 

Begin job on node138 at 2012-06-04 12:33:56
IDJOB=3744408
IDBENCH=92747
IDSOLVER=2328
FILE ID=node138/3744408-1338806036
RUNJOBID= node138-1338804380-1575
PBS_JOBID= 14636830
Free space on /tmp= 70768 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744408-1338806036/watcher-3744408-1338806036 -o /tmp/evaluation-result-3744408-1338806036/solver-3744408-1338806036 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744408-1338806036.opb

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

MD5SUM BENCH= 0c9f9f4d9069e955741fce23953a7e72
RANDOM SEED=1490017075

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23572820 kB
Buffers:          730932 kB
Cached:          4037192 kB
SwapCached:          208 kB
Active:          6014792 kB
Inactive:        2365040 kB
Active(anon):    3596204 kB
Inactive(anon):    11376 kB
Active(file):    2418588 kB
Inactive(file):  2353664 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:               796 kB
Writeback:            28 kB
AnonPages:       3613960 kB
Mapped:            22528 kB
Shmem:               200 kB
Slab:             772592 kB
SReclaimable:     214548 kB
SUnreclaim:       558044 kB
KernelStack:        1600 kB
PageTables:        11356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3534848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70768 MiB
End job on node138 at 2012-06-04 12:49:17