Trace number 3744426

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_6.opb
MD5SUM5083e4e53b2d6b5d7b03dffa57422dcf
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5473551
Best CPU time to get the best result obtained on this benchmark1800.14
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 160103007
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 54947189218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 160103007
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 54947189218
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.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.1.v20110525
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		9996466904
0.08/0.10	c Max memory 		10048897024
0.08/0.10	c Total memory 		10048897024
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3744426-1338806306.opb
0.08/0.12	c reading problem ... 
1.40/0.63	c ... done. Wall clock time 0.501s.
1.40/0.63	c #vars     5100
1.40/0.63	c #constraints  12610
1.40/0.63	c constraints type 
1.40/0.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1.40/0.63	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.40/0.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.40/0.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1.40/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
1.40/0.63	c constraints type 
1.40/0.63	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1.40/0.63	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1.40/0.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.40/0.63	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1.40/0.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
2.97/1.08	c  And the winner is Resolution
3.36/1.14	c SATISFIABLE
3.36/1.14	c OPTIMIZING...
3.36/1.14	c Got one! Elapsed wall clock time (in seconds):1.019
3.36/1.14	o 5926973
3.36/1.17	c  And the winner is Resolution
3.53/1.67	c Got one! Elapsed wall clock time (in seconds):1.544
3.53/1.67	o 5921953
3.60/1.74	c  And the winner is Resolution
3.79/2.19	c Got one! Elapsed wall clock time (in seconds):2.069
3.79/2.19	o 5912661
9.58/4.94	c cleaning 2570 clauses out of 5139 with flag 5001/5139
14.47/7.33	c cleaning 4278 clauses out of 8568 with flag 11000/11138
19.03/9.67	c cleaning 5640 clauses out of 11290 with flag 18000/18138
27.04/13.62	c cleaning 6820 clauses out of 13650 with flag 26000/26138
31.46/15.88	c  And the winner is CuttingPlanes
31.56/16.23	c Got one! Elapsed wall clock time (in seconds):16.108
31.56/16.23	o 5908501
31.56/16.28	c  And the winner is Resolution
32.01/16.75	c Got one! Elapsed wall clock time (in seconds):16.628
32.01/16.75	o 5498789
32.01/16.77	c  And the winner is Resolution
32.06/17.27	c Got one! Elapsed wall clock time (in seconds):17.148
32.06/17.27	o 5473551
35.70/19.16	c cleaning 6196 clauses out of 12391 with flag 4000/31699
39.86/21.29	c cleaning 6090 clauses out of 12195 with flag 10000/37699
44.45/23.52	c cleaning 6543 clauses out of 13105 with flag 17000/44699
50.62/26.69	c cleaning 7271 clauses out of 14562 with flag 25000/52699
55.56/29.14	c cleaning 8142 clauses out of 16291 with flag 34000/61699
61.30/32.01	c cleaning 9067 clauses out of 18149 with flag 44000/71699
66.05/34.43	c cleaning 10035 clauses out of 20082 with flag 55000/82699
74.01/38.43	c cleaning 11016 clauses out of 22047 with flag 67000/94699
81.91/42.43	c cleaning 12011 clauses out of 24032 with flag 80001/107700
87.65/45.32	c cleaning 12504 clauses out of 25020 with flag 93000/120699
94.19/48.62	c cleaning 12753 clauses out of 25516 with flag 106000/133699
100.53/51.82	c cleaning 12879 clauses out of 25763 with flag 119000/146699
106.65/54.90	c cleaning 12928 clauses out of 25884 with flag 132000/159699
111.57/57.41	c cleaning 12975 clauses out of 25957 with flag 145001/172700
116.90/60.16	c cleaning 12983 clauses out of 25981 with flag 158000/185699
123.63/63.55	c cleaning 12989 clauses out of 25998 with flag 171000/198699
132.11/67.82	c cleaning 13000 clauses out of 26010 with flag 184001/211700
141.64/72.63	c cleaning 12995 clauses out of 26010 with flag 197001/224700
146.56/75.14	c cleaning 12989 clauses out of 26014 with flag 210000/237699
151.68/77.76	c cleaning 13002 clauses out of 26025 with flag 223000/250699
156.96/80.44	c cleaning 13005 clauses out of 26023 with flag 236000/263699
162.87/83.44	c cleaning 13004 clauses out of 26019 with flag 249001/276700
169.20/86.63	c cleaning 13002 clauses out of 26015 with flag 262001/289700
176.71/90.48	c cleaning 12996 clauses out of 26013 with flag 275001/302700
182.80/93.53	c cleaning 13001 clauses out of 26018 with flag 288002/315701
187.91/96.14	c cleaning 13000 clauses out of 26016 with flag 301001/328700
193.03/98.71	c cleaning 12998 clauses out of 26016 with flag 314001/341700
199.34/101.94	c cleaning 13002 clauses out of 26017 with flag 327000/354699
204.81/104.74	c cleaning 12997 clauses out of 26015 with flag 340000/367699
209.72/107.29	c cleaning 12995 clauses out of 26018 with flag 353000/380699
214.83/109.82	c cleaning 12988 clauses out of 26023 with flag 366000/393699
220.15/112.52	c cleaning 13005 clauses out of 26038 with flag 379003/406702
226.41/115.70	c cleaning 13009 clauses out of 26030 with flag 392000/419699
232.53/118.89	c cleaning 13006 clauses out of 26021 with flag 405000/432699
238.03/121.69	c cleaning 12998 clauses out of 26015 with flag 418000/445699
243.15/124.25	c cleaning 13003 clauses out of 26017 with flag 431000/458699
248.00/126.78	c cleaning 12999 clauses out of 26014 with flag 444000/471699
252.54/129.08	c cleaning 12999 clauses out of 26015 with flag 457000/484699
257.24/131.46	c cleaning 12996 clauses out of 26016 with flag 470000/497699
262.77/134.26	c cleaning 13001 clauses out of 26020 with flag 483000/510699
269.23/137.53	c cleaning 12996 clauses out of 26020 with flag 496001/523700
275.54/140.80	c cleaning 12995 clauses out of 26023 with flag 509000/536699
282.05/144.03	c cleaning 12996 clauses out of 26028 with flag 522000/549699
286.75/146.45	c cleaning 12999 clauses out of 26032 with flag 535000/562699
291.61/148.92	c cleaning 12997 clauses out of 26033 with flag 548000/575699
299.12/152.72	c cleaning 13003 clauses out of 26037 with flag 561001/588700
304.23/155.38	c cleaning 12999 clauses out of 26034 with flag 574001/601700
309.54/158.00	c cleaning 12995 clauses out of 26034 with flag 587000/614699
315.59/161.13	c cleaning 13014 clauses out of 26040 with flag 600001/627700
322.90/164.81	c cleaning 13000 clauses out of 26025 with flag 613000/640699
327.79/167.36	c cleaning 13008 clauses out of 26025 with flag 626000/653699
333.09/170.02	c cleaning 13002 clauses out of 26018 with flag 639001/666700
338.35/172.71	c cleaning 12998 clauses out of 26015 with flag 652000/679699
343.42/175.32	c cleaning 13000 clauses out of 26017 with flag 665000/692699
348.52/177.97	c cleaning 12999 clauses out of 26017 with flag 678000/705699
353.82/180.63	c cleaning 13002 clauses out of 26019 with flag 691001/718700
358.87/183.25	c cleaning 12998 clauses out of 26016 with flag 704000/731699
363.77/185.75	c cleaning 12998 clauses out of 26018 with flag 717000/744699
368.66/188.21	c cleaning 12991 clauses out of 26020 with flag 730000/757699
373.55/190.70	c cleaning 13000 clauses out of 26030 with flag 743001/770700
378.39/193.27	c cleaning 13000 clauses out of 26029 with flag 756000/783699
383.29/195.77	c cleaning 12997 clauses out of 26029 with flag 769000/796699
388.16/198.28	c cleaning 13000 clauses out of 26033 with flag 782001/809700
393.25/200.81	c cleaning 12999 clauses out of 26033 with flag 795001/822700
397.90/203.25	c cleaning 13005 clauses out of 26035 with flag 808002/835701
402.39/205.59	c cleaning 13001 clauses out of 26028 with flag 821000/848699
407.09/207.96	c cleaning 13007 clauses out of 26027 with flag 834000/861699
411.77/210.32	c cleaning 12998 clauses out of 26021 with flag 847001/874700
416.62/212.81	c cleaning 12997 clauses out of 26022 with flag 860000/887699
421.29/215.25	c cleaning 12999 clauses out of 26025 with flag 873000/900699
427.58/218.43	c cleaning 13010 clauses out of 26027 with flag 886001/913700
433.46/221.44	c cleaning 13004 clauses out of 26017 with flag 899001/926700
442.70/226.19	c cleaning 12992 clauses out of 26012 with flag 912001/939700
456.61/233.16	c cleaning 13003 clauses out of 26020 with flag 925001/952700
461.10/235.42	c cleaning 12999 clauses out of 26017 with flag 938001/965700
465.58/237.72	c cleaning 13001 clauses out of 26017 with flag 951000/978699
470.41/240.20	c cleaning 13000 clauses out of 26016 with flag 964000/991699
476.09/243.11	c cleaning 12999 clauses out of 26017 with flag 977001/1004700
481.16/245.73	c cleaning 13000 clauses out of 26018 with flag 990001/1017700
486.45/248.44	c cleaning 12997 clauses out of 26017 with flag 1003000/1030699
491.45/251.10	c cleaning 13001 clauses out of 26020 with flag 1016000/1043699
496.13/253.44	c cleaning 12998 clauses out of 26019 with flag 1029000/1056699
500.80/255.80	c cleaning 12999 clauses out of 26022 with flag 1042001/1069700
505.27/258.13	c cleaning 13001 clauses out of 26022 with flag 1055000/1082699
509.89/260.52	c cleaning 12998 clauses out of 26022 with flag 1068001/1095700
514.56/262.90	c cleaning 13003 clauses out of 26024 with flag 1081001/1108700
519.81/265.65	c cleaning 12995 clauses out of 26020 with flag 1094000/1121699
525.11/268.37	c cleaning 13003 clauses out of 26025 with flag 1107000/1134699
530.50/271.10	c cleaning 13002 clauses out of 26022 with flag 1120000/1147699
535.58/273.76	c cleaning 12999 clauses out of 26020 with flag 1133000/1160699
540.84/276.50	c cleaning 12997 clauses out of 26022 with flag 1146001/1173700
546.31/279.20	c cleaning 12999 clauses out of 26024 with flag 1159000/1186699
551.51/281.95	c cleaning 12999 clauses out of 26025 with flag 1172000/1199699
557.99/285.29	c cleaning 13005 clauses out of 26026 with flag 1185000/1212699
565.05/288.88	c cleaning 13005 clauses out of 26022 with flag 1198001/1225700
571.72/292.26	c cleaning 13001 clauses out of 26017 with flag 1211001/1238700
577.54/295.21	c cleaning 12999 clauses out of 26015 with flag 1224000/1251699
582.41/297.78	c cleaning 13000 clauses out of 26016 with flag 1237000/1264699
587.48/300.34	c cleaning 12998 clauses out of 26016 with flag 1250000/1277699
592.53/302.91	c cleaning 13001 clauses out of 26018 with flag 1263000/1290699
597.54/305.54	c cleaning 13002 clauses out of 26018 with flag 1276001/1303700
602.61/308.15	c cleaning 12995 clauses out of 26015 with flag 1289000/1316699
607.48/310.69	c cleaning 13004 clauses out of 26021 with flag 1302001/1329700
612.55/313.21	c cleaning 12999 clauses out of 26016 with flag 1315000/1342699
618.54/316.39	c cleaning 13003 clauses out of 26018 with flag 1328001/1355700
624.81/319.57	c cleaning 12989 clauses out of 26014 with flag 1341000/1368699
630.48/322.45	c cleaning 13009 clauses out of 26026 with flag 1354001/1381700
636.55/325.57	c cleaning 12996 clauses out of 26017 with flag 1367001/1394700
641.93/328.32	c cleaning 13003 clauses out of 26020 with flag 1380000/1407699
646.39/330.67	c cleaning 13000 clauses out of 26017 with flag 1393000/1420699
651.05/333.00	c cleaning 12999 clauses out of 26018 with flag 1406001/1433700
656.10/335.61	c cleaning 12991 clauses out of 26018 with flag 1419000/1446699
660.69/338.03	c cleaning 12998 clauses out of 26028 with flag 1432001/1459700
665.33/340.46	c cleaning 12994 clauses out of 26030 with flag 1445001/1472700
670.40/343.04	c cleaning 13012 clauses out of 26036 with flag 1458001/1485700
675.65/345.73	c cleaning 13006 clauses out of 26023 with flag 1471000/1498699
681.45/348.74	c cleaning 12999 clauses out of 26018 with flag 1484001/1511700
686.88/351.59	c cleaning 13001 clauses out of 26019 with flag 1497001/1524700
692.54/354.42	c cleaning 12998 clauses out of 26017 with flag 1510000/1537699
698.20/357.34	c cleaning 13006 clauses out of 26020 with flag 1523001/1550700
704.59/360.69	c cleaning 12999 clauses out of 26013 with flag 1536000/1563699
710.86/363.81	c cleaning 13001 clauses out of 26014 with flag 1549000/1576699
717.31/367.11	c cleaning 13001 clauses out of 26013 with flag 1562000/1589699
724.18/370.66	c cleaning 13000 clauses out of 26012 with flag 1575000/1602699
730.93/374.15	c cleaning 13000 clauses out of 26012 with flag 1588000/1615699
737.79/377.60	c cleaning 12998 clauses out of 26012 with flag 1601000/1628699
744.45/381.08	c cleaning 13001 clauses out of 26014 with flag 1614000/1641699
750.50/384.11	c cleaning 13006 clauses out of 26015 with flag 1627002/1654701
755.68/386.80	c cleaning 12998 clauses out of 26008 with flag 1640001/1667700
760.55/389.39	c cleaning 12999 clauses out of 26010 with flag 1653001/1680700
765.78/392.05	c cleaning 12999 clauses out of 26011 with flag 1666001/1693700
771.04/394.70	c cleaning 13000 clauses out of 26012 with flag 1679001/1706700
776.00/397.34	c cleaning 13001 clauses out of 26012 with flag 1692001/1719700
781.06/399.95	c cleaning 12998 clauses out of 26010 with flag 1705000/1732699
786.12/402.56	c cleaning 12998 clauses out of 26013 with flag 1718001/1745700
791.36/405.22	c cleaning 13000 clauses out of 26014 with flag 1731000/1758699
796.34/407.89	c cleaning 13002 clauses out of 26015 with flag 1744001/1771700
801.38/410.47	c cleaning 12999 clauses out of 26012 with flag 1757000/1784699
806.43/413.06	c cleaning 13002 clauses out of 26014 with flag 1770001/1797700
810.87/415.35	c cleaning 12993 clauses out of 26012 with flag 1783001/1810700
815.66/417.84	c cleaning 12995 clauses out of 26018 with flag 1796000/1823699
820.11/420.16	c cleaning 12993 clauses out of 26024 with flag 1809001/1836700
824.55/422.46	c cleaning 12998 clauses out of 26031 with flag 1822001/1849700
828.98/424.79	c cleaning 13000 clauses out of 26032 with flag 1835000/1862699
833.75/427.29	c cleaning 13001 clauses out of 26032 with flag 1848000/1875699
838.41/429.67	c cleaning 12999 clauses out of 26032 with flag 1861001/1888700
843.05/432.09	c cleaning 13002 clauses out of 26033 with flag 1874001/1901700
847.91/434.51	c cleaning 12993 clauses out of 26030 with flag 1887000/1914699
852.49/436.97	c cleaning 13003 clauses out of 26037 with flag 1900000/1927699
857.13/439.37	c cleaning 12997 clauses out of 26034 with flag 1913000/1940699
861.79/441.78	c cleaning 13003 clauses out of 26037 with flag 1926000/1953699
866.44/444.19	c cleaning 12999 clauses out of 26034 with flag 1939000/1966699
871.23/446.67	c cleaning 13002 clauses out of 26036 with flag 1952001/1979700
875.86/449.06	c cleaning 12997 clauses out of 26034 with flag 1965001/1992700
880.50/451.43	c cleaning 13000 clauses out of 26037 with flag 1978001/2005700
885.14/453.85	c cleaning 13018 clauses out of 26036 with flag 1991000/2018699
891.49/457.17	c cleaning 12999 clauses out of 26018 with flag 2004000/2031699
897.55/460.25	c cleaning 13000 clauses out of 26019 with flag 2017000/2044699
904.59/463.82	c cleaning 13010 clauses out of 26019 with flag 2030000/2057699
911.22/467.27	c cleaning 13000 clauses out of 26010 with flag 2043001/2070700
918.58/471.03	c cleaning 12993 clauses out of 26009 with flag 2056000/2083699
925.81/474.75	c cleaning 13000 clauses out of 26016 with flag 2069000/2096699
933.07/478.41	c cleaning 12997 clauses out of 26017 with flag 2082001/2109700
937.68/480.85	c cleaning 12995 clauses out of 26020 with flag 2095001/2122700
942.43/483.34	c cleaning 12997 clauses out of 26024 with flag 2108000/2135699
946.86/485.61	c cleaning 13004 clauses out of 26028 with flag 2121001/2148700
952.11/488.36	c cleaning 13003 clauses out of 26023 with flag 2134000/2161699
956.92/490.85	c cleaning 13002 clauses out of 26021 with flag 2147001/2174700
961.65/493.38	c cleaning 12999 clauses out of 26018 with flag 2160000/2187699
966.47/495.80	c cleaning 13003 clauses out of 26020 with flag 2173001/2200700
972.50/498.91	c cleaning 12997 clauses out of 26016 with flag 2186000/2213699
977.73/501.61	c cleaning 12999 clauses out of 26020 with flag 2199001/2226700
982.63/504.25	c cleaning 12996 clauses out of 26020 with flag 2212000/2239699
987.45/506.79	c cleaning 13002 clauses out of 26025 with flag 2225001/2252700
992.48/509.34	c cleaning 13000 clauses out of 26022 with flag 2238000/2265699
997.49/511.90	c cleaning 13003 clauses out of 26023 with flag 2251001/2278700
1002.43/514.56	c cleaning 12994 clauses out of 26019 with flag 2264000/2291699
1007.46/517.18	c cleaning 12998 clauses out of 26026 with flag 2277001/2304700
1012.67/519.89	c cleaning 13007 clauses out of 26027 with flag 2290000/2317699
1018.29/522.73	c cleaning 13001 clauses out of 26021 with flag 2303001/2330700
1023.21/525.36	c cleaning 12998 clauses out of 26019 with flag 2316000/2343699
1028.44/528.06	c cleaning 13003 clauses out of 26022 with flag 2329001/2356700
1033.64/530.78	c cleaning 13000 clauses out of 26019 with flag 2342001/2369700
1039.25/533.61	c cleaning 12999 clauses out of 26019 with flag 2355001/2382700
1044.39/536.39	c cleaning 13001 clauses out of 26020 with flag 2368001/2395700
1049.61/539.01	c cleaning 12998 clauses out of 26019 with flag 2381001/2408700
1054.61/541.68	c cleaning 12997 clauses out of 26020 with flag 2394000/2421699
1059.62/544.26	c cleaning 13002 clauses out of 26024 with flag 2407001/2434700
1064.55/546.89	c cleaning 12999 clauses out of 26022 with flag 2420001/2447700
1069.35/549.39	c cleaning 12998 clauses out of 26022 with flag 2433000/2460699
1074.35/551.97	c cleaning 13000 clauses out of 26024 with flag 2446000/2473699
1081.95/555.83	c cleaning 12988 clauses out of 26024 with flag 2459000/2486699
1091.67/560.83	c cleaning 12999 clauses out of 26036 with flag 2472000/2499699
1101.07/565.64	c cleaning 12997 clauses out of 26037 with flag 2485000/2512699
1110.68/570.56	c cleaning 12996 clauses out of 26040 with flag 2498000/2525699
1120.89/575.72	c cleaning 13000 clauses out of 26044 with flag 2511000/2538699
1131.00/580.94	c cleaning 13001 clauses out of 26044 with flag 2524000/2551699
1140.99/586.08	c cleaning 12999 clauses out of 26043 with flag 2537000/2564699
1151.00/591.16	c cleaning 13001 clauses out of 26044 with flag 2550000/2577699
1160.82/596.16	c cleaning 13000 clauses out of 26043 with flag 2563000/2590699
1170.69/601.28	c cleaning 13001 clauses out of 26043 with flag 2576000/2603699
1180.30/606.16	c cleaning 13001 clauses out of 26043 with flag 2589001/2616700
1190.27/611.28	c cleaning 12996 clauses out of 26041 with flag 2602000/2629699
1200.45/616.46	c cleaning 13001 clauses out of 26046 with flag 2615001/2642700
1210.73/621.73	c cleaning 13003 clauses out of 26044 with flag 2628000/2655699
1220.12/626.55	c cleaning 12999 clauses out of 26042 with flag 2641001/2668700
1229.52/631.37	c cleaning 13000 clauses out of 26043 with flag 2654001/2681700
1235.30/634.32	c cleaning 13017 clauses out of 26044 with flag 2667002/2694701
1239.99/636.83	c cleaning 13000 clauses out of 26025 with flag 2680000/2707699
1245.36/639.60	c cleaning 13003 clauses out of 26025 with flag 2693000/2720699
1251.14/642.66	c cleaning 13000 clauses out of 26023 with flag 2706001/2733700
1256.72/645.53	c cleaning 13001 clauses out of 26022 with flag 2719000/2746699
1261.60/648.10	c cleaning 12999 clauses out of 26021 with flag 2732000/2759699
1266.18/650.50	c cleaning 13000 clauses out of 26023 with flag 2745001/2772700
1270.74/652.92	c cleaning 13003 clauses out of 26022 with flag 2758000/2785699
1275.32/655.33	c cleaning 12998 clauses out of 26019 with flag 2771000/2798699
1279.98/657.89	c cleaning 13002 clauses out of 26023 with flag 2784002/2811701
1284.75/660.31	c cleaning 13000 clauses out of 26020 with flag 2797001/2824700
1289.53/662.82	c cleaning 13002 clauses out of 26019 with flag 2810000/2837699
1294.11/665.25	c cleaning 13003 clauses out of 26017 with flag 2823000/2850699
1298.77/667.79	c cleaning 12997 clauses out of 26014 with flag 2836000/2863699
1303.33/670.18	c cleaning 13001 clauses out of 26018 with flag 2849001/2876700
1308.30/672.75	c cleaning 13002 clauses out of 26016 with flag 2862000/2889699
1313.28/675.30	c cleaning 12995 clauses out of 26014 with flag 2875000/2902699
1317.94/677.85	c cleaning 13005 clauses out of 26019 with flag 2888000/2915699
1322.74/680.37	c cleaning 12998 clauses out of 26014 with flag 2901000/2928699
1327.94/683.05	c cleaning 12996 clauses out of 26017 with flag 2914001/2941700
1335.10/686.70	c cleaning 13001 clauses out of 26021 with flag 2927001/2954700
1342.56/690.66	c cleaning 12999 clauses out of 26020 with flag 2940001/2967700
1350.12/694.50	c cleaning 13002 clauses out of 26021 with flag 2953001/2980700
1357.32/698.21	c cleaning 12999 clauses out of 26019 with flag 2966001/2993700
1364.69/702.03	c cleaning 12998 clauses out of 26019 with flag 2979000/3006699
1372.35/706.04	c cleaning 12998 clauses out of 26022 with flag 2992001/3019700
1378.54/709.23	c cleaning 12994 clauses out of 26023 with flag 3005000/3032699
1383.91/712.01	c cleaning 13006 clauses out of 26030 with flag 3018001/3045700
1388.91/714.65	c cleaning 13004 clauses out of 26023 with flag 3031000/3058699
1393.79/717.29	c cleaning 12998 clauses out of 26020 with flag 3044001/3071700
1400.36/720.63	c cleaning 12991 clauses out of 26021 with flag 3057000/3084699
1405.53/723.32	c cleaning 12999 clauses out of 26031 with flag 3070001/3097700
1410.31/725.88	c cleaning 13008 clauses out of 26031 with flag 3083000/3110699
1415.56/728.66	c cleaning 13002 clauses out of 26024 with flag 3096001/3123700
1420.75/731.34	c cleaning 13003 clauses out of 26023 with flag 3109002/3136701
1425.74/733.99	c cleaning 13008 clauses out of 26019 with flag 3122001/3149700
1430.32/736.33	c cleaning 12997 clauses out of 26010 with flag 3135000/3162699
1434.95/738.87	c cleaning 13000 clauses out of 26014 with flag 3148001/3175700
1439.52/741.28	c cleaning 12999 clauses out of 26013 with flag 3161000/3188699
1444.28/743.77	c cleaning 12999 clauses out of 26015 with flag 3174001/3201700
1449.26/746.35	c cleaning 13005 clauses out of 26016 with flag 3187001/3214700
1454.34/749.05	c cleaning 12998 clauses out of 26010 with flag 3200000/3227699
1459.10/751.56	c cleaning 13003 clauses out of 26013 with flag 3213001/3240700
1463.85/754.08	c cleaning 12994 clauses out of 26009 with flag 3226000/3253699
1468.41/756.45	c cleaning 12999 clauses out of 26015 with flag 3239000/3266699
1473.08/758.92	c cleaning 13000 clauses out of 26016 with flag 3252000/3279699
1477.65/761.31	c cleaning 12996 clauses out of 26016 with flag 3265000/3292699
1482.82/764.09	c cleaning 13001 clauses out of 26021 with flag 3278001/3305700
1491.19/768.35	c cleaning 13000 clauses out of 26020 with flag 3291001/3318700
1497.42/771.63	c cleaning 12998 clauses out of 26020 with flag 3304001/3331700
1502.39/774.22	c cleaning 13000 clauses out of 26022 with flag 3317001/3344700
1507.37/776.80	c cleaning 12999 clauses out of 26021 with flag 3330000/3357699
1511.74/779.18	c cleaning 13000 clauses out of 26023 with flag 3343001/3370700
1516.60/781.71	c cleaning 13002 clauses out of 26023 with flag 3356001/3383700
1521.18/784.16	c cleaning 13001 clauses out of 26021 with flag 3369001/3396700
1526.14/786.71	c cleaning 12997 clauses out of 26020 with flag 3382001/3409700
1530.90/789.25	c cleaning 13000 clauses out of 26022 with flag 3395000/3422699
1536.15/792.03	c cleaning 12998 clauses out of 26022 with flag 3408000/3435699
1540.90/794.54	c cleaning 13004 clauses out of 26024 with flag 3421000/3448699
1545.66/797.04	c cleaning 13002 clauses out of 26021 with flag 3434001/3461700
1553.24/800.95	c cleaning 12999 clauses out of 26018 with flag 3447000/3474699
1561.33/805.17	c cleaning 13002 clauses out of 26019 with flag 3460000/3487699
1569.11/809.11	c cleaning 12999 clauses out of 26017 with flag 3473000/3500699
1576.67/813.08	c cleaning 13001 clauses out of 26018 with flag 3486000/3513699
1584.43/817.01	c cleaning 13001 clauses out of 26018 with flag 3499001/3526700
1592.07/821.08	c cleaning 12996 clauses out of 26016 with flag 3512000/3539699
1600.04/825.12	c cleaning 13001 clauses out of 26020 with flag 3525000/3552699
1608.20/829.40	c cleaning 12998 clauses out of 26019 with flag 3538000/3565699
1616.54/833.69	c cleaning 13004 clauses out of 26022 with flag 3551001/3578700
1625.11/838.09	c cleaning 12999 clauses out of 26017 with flag 3564000/3591699
1633.28/842.26	c cleaning 13000 clauses out of 26020 with flag 3577002/3604701
1641.26/846.39	c cleaning 13001 clauses out of 26018 with flag 3590000/3617699
1649.42/850.59	c cleaning 12998 clauses out of 26017 with flag 3603000/3630699
1657.70/854.84	c cleaning 13001 clauses out of 26020 with flag 3616001/3643700
1665.66/858.93	c cleaning 13001 clauses out of 26019 with flag 3629001/3656700
1673.42/862.92	c cleaning 12999 clauses out of 26018 with flag 3642001/3669700
1680.79/866.76	c cleaning 13006 clauses out of 26019 with flag 3655001/3682700
1685.41/869.26	c cleaning 12996 clauses out of 26012 with flag 3668000/3695699
1690.56/871.96	c cleaning 13000 clauses out of 26016 with flag 3681000/3708699
1696.32/874.95	c cleaning 13003 clauses out of 26017 with flag 3694001/3721700
1702.07/877.93	c cleaning 13001 clauses out of 26014 with flag 3707001/3734700
1707.72/880.97	c cleaning 12999 clauses out of 26013 with flag 3720001/3747700
1713.48/883.97	c cleaning 12998 clauses out of 26014 with flag 3733001/3760700
1719.44/887.01	c cleaning 13002 clauses out of 26015 with flag 3746000/3773699
1725.02/889.97	c cleaning 12998 clauses out of 26013 with flag 3759000/3786699
1730.89/893.04	c cleaning 13001 clauses out of 26015 with flag 3772000/3799699
1736.64/896.08	c cleaning 12998 clauses out of 26015 with flag 3785001/3812700
1742.41/899.07	c cleaning 13003 clauses out of 26017 with flag 3798001/3825700
1748.36/902.16	c cleaning 13000 clauses out of 26014 with flag 3811001/3838700
1754.40/905.31	c cleaning 12999 clauses out of 26014 with flag 3824001/3851700
1759.95/908.26	c cleaning 13000 clauses out of 26014 with flag 3837000/3864699
1765.92/911.38	c cleaning 12999 clauses out of 26015 with flag 3850001/3877700
1771.88/914.47	c cleaning 13001 clauses out of 26015 with flag 3863000/3890699
1777.93/917.65	c cleaning 12999 clauses out of 26015 with flag 3876001/3903700
1783.71/920.65	c cleaning 13001 clauses out of 26015 with flag 3889000/3916699
1789.46/923.69	c cleaning 13000 clauses out of 26015 with flag 3902001/3929700
1795.22/926.64	c cleaning 13000 clauses out of 26014 with flag 3915000/3942699
1800.14/929.21	c starts		: 311
1800.14/929.21	c conflicts		: 3953311
1800.14/929.21	c decisions		: 4499398
1800.14/929.21	c propagations		: 71191057
1800.14/929.21	c inspects		: 905982986
1800.14/929.21	c shortcuts		: 0
1800.14/929.21	c learnt literals	: 1
1800.14/929.21	c learnt binary clauses	: 356
1800.14/929.21	c learnt ternary clauses	: 8563
1800.14/929.21	c learnt constraints	: 3953310
1800.14/929.21	c ignored constraints	: 0
1800.14/929.21	c root simplifications	: 0
1800.14/929.21	c removed literals (reason simplification)	: 325463222
1800.14/929.21	c reason swapping (by a shorter reason)	: 0
1800.14/929.21	c Calls to reduceDB	: 308
1800.14/929.21	c number of reductions to clauses (during analyze)	: 0
1800.14/929.21	c number of learned constraints concerned by reduction	: 0
1800.14/929.21	c number of learning phase by resolution	: 0
1800.14/929.21	c number of learning phase by cutting planes	: 0
1800.14/929.21	c speed (assignments/second)	: 78066.28900651474
1800.14/929.21	c non guided choices	1136
1800.14/929.22	c learnt constraints type 
1800.14/929.22	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 356
1800.14/929.22	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 23299
1800.14/929.22	c constraints type 
1800.14/929.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.14/929.22	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.14/929.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.14/929.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.14/929.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.14/929.22	c constraints type 
1800.14/929.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1800.14/929.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1800.14/929.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1800.14/929.22	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1800.14/929.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376
1800.14/929.22	s SATISFIABLE
1800.14/929.23	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.14/929.24	c objective function=5473551
1800.14/929.24	c Total wall clock time (in seconds): 929.117

Verifier Data

OK	5473551

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-3744426-1338806306/watcher-3744426-1338806306 -o /tmp/evaluation-result-3744426-1338806306/solver-3744426-1338806306 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744426-1338806306.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.68 3.82 3.17 5/193 29712
/proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/29712/stat : 29712 (java) R 29710 29712 20391 0 -1 4202496 795 0 0 0 0 0 0 0 20 0 1 0 346754947 23793664 523 33554432000 1073741824 1073778376 140737119852320 140737119841384 251035433537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 5809 536 405 9 0 128 0

[startup+0.053552 s]
/proc/loadavg: 3.68 3.82 3.17 5/193 29712
/proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11253516 CPUtime=0.03 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 4290 0 1 0 2 1 0 0 20 0 13 0 346754947 11523600384 12142 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2813379 12142 1699 9 0 2804080 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11253516

[startup+0.100254 s]
/proc/loadavg: 3.68 3.82 3.17 5/193 29712
/proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11586392 CPUtime=0.08 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 5187 0 1 0 7 1 0 0 20 0 18 0 346754947 11864465408 13541 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2896598 13541 2087 9 0 2887285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11586392

[startup+0.300224 s]
/proc/loadavg: 3.68 3.82 3.17 5/193 29712
/proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11586392 CPUtime=0.5 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 7628 0 1 0 48 2 0 0 20 0 18 0 346754947 11864465408 17623 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2896598 17623 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 11586392

[startup+0.700171 s]
/proc/loadavg: 3.68 3.82 3.17 5/193 29712
/proc/meminfo: memFree=24192264/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11721576 CPUtime=1.76 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 22124 0 1 0 171 5 0 0 20 0 22 0 346754947 12002893824 32686 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2930394 32686 2248 9 0 2921081 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 11721576

[startup+1.50067 s]
/proc/loadavg: 3.68 3.82 3.17 5/216 29741
/proc/meminfo: memFree=23977584/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11852648 CPUtime=3.53 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 27099 0 1 0 343 10 0 0 20 0 19 0 346754947 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2963162 35720 2265 9 0 2953849 0
[pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.63 cores=0,2,4,6
/proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3408 0 1 0 60 3 0 0 20 0 19 0 346754948 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400725755032 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346754950 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346754951 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346754951 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346754951 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=0.94 cores=0,2,4,6
/proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 9725 0 0 0 92 2 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 12651 0 0 0 93 3 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346754954 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29737] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29737/stat : 29737 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346755016 12137111552 35720 33554432000 1073741824 1073778376 140737119852320 140399524951464 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 11852648

[startup+3.10063 s]
/proc/loadavg: 3.68 3.82 3.17 3/216 29750
/proc/meminfo: memFree=23829656/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11852648 CPUtime=5.97 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 29102 0 1 0 581 16 0 0 20 0 22 0 346754947 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2963162 100243 2268 9 0 2953849 0
[pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.68 cores=0,2,4,6
/proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3411 0 1 0 65 3 0 0 20 0 22 0 346754948 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400725755048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11585 0 0 0 121 2 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 12653 0 0 0 114 3 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29737] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29737/stat : 29737 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346755016 12137111552 100243 33554432000 1073741824 1073778376 140737119852320 140399524951464 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 11852648

[startup+6.3008 s]
/proc/loadavg: 3.70 3.82 3.17 5/219 29753
/proc/meminfo: memFree=21923496/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11852648 CPUtime=12.4 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 29772 0 1 0 1203 37 0 0 20 0 22 0 346754947 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2963162 408219 2292 9 0 2953849 0
[pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.68 cores=0,2,4,6
/proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3411 0 1 0 65 3 0 0 20 0 22 0 346754948 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400725755048 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0.01 cores=0,2,4,6
/proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346754950 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=0.05 cores=0,2,4,6
/proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 38 0 0 0 5 0 0 0 20 0 22 0 346754951 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11585 0 0 0 125 2 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.2 cores=0,2,4,6
/proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 12658 0 0 0 117 3 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29737] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29737/stat : 29737 (java) S 29710 29712 20391 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346755016 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140399524951464 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29751] ppid=29710 vsize=11852648 CPUtime=3.96 cores=0,2,4,6
/proc/29712/task/29751/stat : 29751 (java) R 29710 29712 20391 0 -1 4202560 11 0 0 0 396 0 0 0 20 0 22 0 346755168 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140399526003496 140400552489497 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29752] ppid=29710 vsize=11852648 CPUtime=3.98 cores=0,2,4,6
/proc/29712/task/29752/stat : 29752 (java) R 29710 29712 20391 0 -1 4202560 706 0 0 0 376 22 0 0 20 0 22 0 346755168 12137111552 408219 33554432000 1073741824 1073778376 140737119852320 140399527053744 140400552740482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0

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

/proc/29712/statm: 2963162 914120 2293 9 0 2953849 0
[pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3507 0 1 0 73 4 0 0 20 0 22 0 346754948 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400725755016 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 73 0 0 0 65 2 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 64 0 0 0 65 2 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 104 0 0 0 73 0 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 80 0 0 0 73 2 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0.7 cores=0,2,4,6
/proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 81 0 0 0 68 2 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0.76 cores=0,2,4,6
/proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 83 0 0 0 76 0 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0.69 cores=0,2,4,6
/proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 55 0 0 0 69 0 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 75 0 0 0 72 0 0 0 20 0 22 0 346754950 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=49.78 cores=0,2,4,6
/proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 159 0 0 0 4971 7 0 0 20 0 22 0 346754951 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11592 0 0 0 156 2 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 14694 0 0 0 146 3 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 47 0 0 0 16 14 0 0 20 0 22 0 346754954 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29756] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29756/stat : 29756 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756572 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399524950824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29760] ppid=29710 vsize=11852648 CPUtime=751.4 cores=0,2,4,6
/proc/29712/task/29760/stat : 29760 (java) R 29710 29712 20391 0 -1 4202560 172 0 0 0 75127 13 0 0 20 0 22 0 346756675 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399526003280 140400552945792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29761] ppid=29710 vsize=11852648 CPUtime=751.49 cores=0,2,4,6
/proc/29712/task/29761/stat : 29761 (java) R 29710 29712 20391 0 -1 4202560 486 0 0 0 75119 30 0 0 20 0 22 0 346756675 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399523895600 140400551998420 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29762] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29762/stat : 29762 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756676 12137111552 914120 33554432000 1073741824 1073778376 140737119852320 140399527056424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1594.44
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.86 3.88 3.59 5/219 29771
/proc/meminfo: memFree=16957644/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11852648 CPUtime=1710.28 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 33843 0 1 0 170913 115 0 0 20 0 22 0 346754947 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2963162 914659 2293 9 0 2953849 0
[pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3514 0 1 0 73 4 0 0 20 0 22 0 346754948 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400725755016 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0.71 cores=0,2,4,6
/proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 78 0 0 0 69 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0.7 cores=0,2,4,6
/proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 67 0 0 0 68 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0.76 cores=0,2,4,6
/proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 112 0 0 0 76 0 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 80 0 0 0 76 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 81 0 0 0 71 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 92 0 0 0 79 2 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 57 0 0 0 73 0 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0.76 cores=0,2,4,6
/proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 75 0 0 0 76 0 0 0 20 0 22 0 346754950 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=54.01 cores=0,2,4,6
/proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 164 0 0 0 5394 7 0 0 20 0 22 0 346754951 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11592 0 0 0 156 2 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 14694 0 0 0 146 3 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 51 0 0 0 18 14 0 0 20 0 22 0 346754954 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29756] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29756/stat : 29756 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756572 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399524950824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29760] ppid=29710 vsize=11852648 CPUtime=806.92 cores=0,2,4,6
/proc/29712/task/29760/stat : 29760 (java) R 29710 29712 20391 0 -1 4202560 181 0 0 0 80678 14 0 0 20 0 22 0 346756675 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399526003280 140400552558902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29761] ppid=29710 vsize=11852648 CPUtime=807.01 cores=0,2,4,6
/proc/29712/task/29761/stat : 29761 (java) R 29710 29712 20391 0 -1 4202560 486 0 0 0 80670 31 0 0 20 0 22 0 346756675 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399523895600 140400552728062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29762] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29762/stat : 29762 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756676 12137111552 914659 33554432000 1073741824 1073778376 140737119852320 140399527056424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1710.28
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+929.201 s]
/proc/loadavg: 3.72 3.84 3.59 4/217 29848
/proc/meminfo: memFree=18484432/32873844 swapFree=7628/7628
[pid=29712] ppid=29710 vsize=11852648 CPUtime=1800.14 cores=0,2,4,6
/proc/29712/stat : 29712 (java) S 29710 29712 20391 0 -1 4202496 33928 0 1 0 179897 117 0 0 20 0 22 0 346754947 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140737119843456 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29712/statm: 2963162 914685 2293 9 0 2953849 0
[pid=29712/tid=29714] ppid=29710 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29712/task/29714/stat : 29714 (java) S 29710 29712 20391 0 -1 4202560 3525 0 1 0 74 4 0 0 20 0 22 0 346754948 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400725755016 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29715] ppid=29710 vsize=11852648 CPUtime=0.73 cores=0,2,4,6
/proc/29712/task/29715/stat : 29715 (java) S 29710 29712 20391 0 -1 4202560 78 0 0 0 71 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400680508456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29716] ppid=29710 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/29712/task/29716/stat : 29716 (java) S 29710 29712 20391 0 -1 4202560 67 0 0 0 70 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400679455656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29717] ppid=29710 vsize=11852648 CPUtime=0.78 cores=0,2,4,6
/proc/29712/task/29717/stat : 29717 (java) S 29710 29712 20391 0 -1 4202560 112 0 0 0 78 0 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400678402856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29718] ppid=29710 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/29712/task/29718/stat : 29718 (java) S 29710 29712 20391 0 -1 4202560 82 0 0 0 78 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400677350056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29719] ppid=29710 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/29712/task/29719/stat : 29719 (java) S 29710 29712 20391 0 -1 4202560 81 0 0 0 73 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400676297256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29720] ppid=29710 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/29712/task/29720/stat : 29720 (java) S 29710 29712 20391 0 -1 4202560 97 0 0 0 81 2 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400675244456 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29712/tid=29721] ppid=29710 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/29712/task/29721/stat : 29721 (java) S 29710 29712 20391 0 -1 4202560 59 0 0 0 75 0 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400674191656 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29722] ppid=29710 vsize=11852648 CPUtime=0.77 cores=0,2,4,6
/proc/29712/task/29722/stat : 29722 (java) S 29710 29712 20391 0 -1 4202560 75 0 0 0 77 0 0 0 20 0 22 0 346754950 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400673138856 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29723] ppid=29710 vsize=11852648 CPUtime=57.97 cores=0,2,4,6
/proc/29712/task/29723/stat : 29723 (java) S 29710 29712 20391 0 -1 4202560 223 0 0 0 5789 8 0 0 20 0 22 0 346754951 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400543099880 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29724] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29724/stat : 29724 (java) S 29710 29712 20391 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400542045944 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29725] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29725/stat : 29725 (java) S 29710 29712 20391 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346754951 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400540993032 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29726] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29726/stat : 29726 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400539941520 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29727] ppid=29710 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/29712/task/29727/stat : 29727 (java) S 29710 29712 20391 0 -1 4202560 11592 0 0 0 156 2 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400538888632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29728] ppid=29710 vsize=11852648 CPUtime=1.49 cores=0,2,4,6
/proc/29712/task/29728/stat : 29728 (java) S 29710 29712 20391 0 -1 4202560 14694 0 0 0 146 3 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400537835832 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29712/tid=29729] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29729/stat : 29729 (java) S 29710 29712 20391 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140400536783224 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29730] ppid=29710 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/29712/task/29730/stat : 29730 (java) S 29710 29712 20391 0 -1 4202560 53 0 0 0 19 16 0 0 20 0 22 0 346754954 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399528110536 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29756] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29756/stat : 29756 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756572 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399524950824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29760] ppid=29710 vsize=11852648 CPUtime=849.69 cores=0,2,4,6
/proc/29712/task/29760/stat : 29760 (java) R 29710 29712 20391 0 -1 4202560 185 0 0 0 84955 14 0 0 20 0 22 0 346756675 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399526003280 140400552194166 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29712/tid=29761] ppid=29710 vsize=11852648 CPUtime=849.77 cores=0,2,4,6
/proc/29712/task/29761/stat : 29761 (java) R 29710 29712 20391 0 -1 4202560 486 0 0 0 84945 32 0 0 20 0 22 0 346756675 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399523895584 140400551997357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29712/tid=29762] ppid=29710 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/29712/task/29762/stat : 29762 (java) S 29710 29712 20391 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346756676 12137111552 914685 33554432000 1073741824 1073778376 140737119852320 140399527056424 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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

Child status: 143

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

Real time (s): 929.264
CPU time (s): 1800.14
CPU user time (s): 1798.97
CPU system time (s): 1.17
CPU usage (%): 193.717
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.62
system time used= 1.59176
maximum resident set size= 3658860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33961
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= 30830
involuntary context switches= 26559

runsolver used 3.13152 second user time and 8.33373 second system time

The end

Launcher Data

Begin job on node143 at 2012-06-04 12:38:26
IDJOB=3744426
IDBENCH=92750
IDSOLVER=2328
FILE ID=node143/3744426-1338806306
RUNJOBID= node143-1338805400-29518
PBS_JOBID= 14636856
Free space on /tmp= 68468 MiB

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

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

MD5SUM BENCH= 5083e4e53b2d6b5d7b03dffa57422dcf
RANDOM SEED=67723151

node143.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		: 2666.787
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	: 5333.57
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		: 2666.787
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		: 2666.787
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		: 2666.787
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		: 2666.787
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.90
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		: 2666.787
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	: 5298.57
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		: 2666.787
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.91
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		: 2666.787
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:        24192528 kB
Buffers:         3531344 kB
Cached:          4013456 kB
SwapCached:          188 kB
Active:          5422640 kB
Inactive:        2217140 kB
Active(anon):      75980 kB
Inactive(anon):    10988 kB
Active(file):    5346660 kB
Inactive(file):  2206152 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              1488 kB
Writeback:             0 kB
AnonPages:         53076 kB
Mapped:            18172 kB
Shmem:               160 kB
Slab:             875452 kB
SReclaimable:     316924 kB
SUnreclaim:       558528 kB
KernelStack:        1456 kB
PageTables:         4436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10453552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 68468 MiB
End job on node143 at 2012-06-04 12:53:57