Trace number 3687971

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 NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)1075059456 1800.01 1787.57

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-rout.opb
MD5SUM00504f72d4d33ef46136a0269c782c15
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1074949888
Best CPU time to get the best result obtained on this benchmark1800.85
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1074976000
Optimality of the best value was proved NO
Number of variables7561
Total number of constraints306
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint2
Maximum length of a constraint917
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 26904326400
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 81230087655
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.2.v20120418
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		501472288
0.07/0.11	c Max memory 		7480803328
0.07/0.11	c Total memory 		504102912
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3687971-1337879049.opb
0.07/0.13	c reading problem ... 
0.81/0.40	c ... done. Wall clock time 0.262s.
0.81/0.40	c declared #vars     7561
0.81/0.40	c #constraints  337
0.81/0.40	c constraints type 
0.81/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
0.81/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15
0.81/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 308
0.81/0.40	c 337 constraints processed.
0.81/0.40	c objective function length is 31 literals
2.66/1.70	c SATISFIABLE
2.66/1.70	c OPTIMIZING...
2.66/1.70	c Got one! Elapsed wall clock time (in seconds):1.568
2.66/1.70	o 1075849728
3.19/2.24	c cleaning 2916 clauses out of 5831 with flag 2003/5837
4.54/3.58	c Got one! Elapsed wall clock time (in seconds):3.444
4.54/3.58	o 1075726592
4.81/3.71	c cleaning 4100 clauses out of 8200 with flag 1003/11122
6.42/5.31	c Got one! Elapsed wall clock time (in seconds):5.176
6.42/5.31	o 1075690496
6.72/5.58	c cleaning 4957 clauses out of 9914 with flag 1003/16936
8.05/6.82	c Got one! Elapsed wall clock time (in seconds):6.682
8.05/6.82	o 1075442944
8.26/7.08	c cleaning 5128 clauses out of 10272 with flag 1003/22252
9.72/8.47	c Got one! Elapsed wall clock time (in seconds):8.333
9.72/8.47	o 1075382272
11.34/10.04	c cleaning 7911 clauses out of 15824 with flag 5002/32932
12.60/11.28	c cleaning 6956 clauses out of 13911 with flag 11000/38930
14.39/12.50	c cleaning 6975 clauses out of 13958 with flag 18003/45933
16.24/13.91	c cleaning 7488 clauses out of 14981 with flag 26001/53931
17.85/15.56	c cleaning 8248 clauses out of 16499 with flag 35007/62937
20.76/18.46	c cleaning 9120 clauses out of 18245 with flag 45001/72931
23.77/21.44	c cleaning 10061 clauses out of 20124 with flag 56000/83930
27.80/25.48	c cleaning 11022 clauses out of 22063 with flag 68000/95930
31.30/28.94	c cleaning 12015 clauses out of 24042 with flag 81001/108931
34.82/32.48	c cleaning 13010 clauses out of 26026 with flag 95000/122930
39.34/36.96	c cleaning 14003 clauses out of 28016 with flag 110000/137930
43.97/41.54	c cleaning 15003 clauses out of 30013 with flag 126000/153930
50.31/47.81	c cleaning 16005 clauses out of 32011 with flag 143001/170931
55.94/53.45	c cleaning 16996 clauses out of 34005 with flag 161000/188930
61.35/58.88	c cleaning 18002 clauses out of 36009 with flag 180000/207930
67.06/64.53	c cleaning 19000 clauses out of 38007 with flag 200000/227930
73.78/71.20	c cleaning 20000 clauses out of 40008 with flag 221001/248931
81.53/78.94	c cleaning 20996 clauses out of 42007 with flag 243000/270930
81.83/79.13	c Got one! Elapsed wall clock time (in seconds):78.993
81.83/79.13	o 1075357952
83.32/80.65	c cleaning 13415 clauses out of 26834 with flag 5000/276754
83.75/81.02	c Got one! Elapsed wall clock time (in seconds):80.886
83.75/81.02	o 1075283968
84.45/81.78	c cleaning 9326 clauses out of 18651 with flag 4000/281986
85.66/82.93	c cleaning 7660 clauses out of 15328 with flag 10003/287989
86.96/84.25	c cleaning 7328 clauses out of 14665 with flag 17000/294986
88.57/85.89	c cleaning 7666 clauses out of 15337 with flag 25000/302986
90.36/87.68	c cleaning 8328 clauses out of 16671 with flag 34000/311986
91.07/88.35	c Got one! Elapsed wall clock time (in seconds):88.214
91.07/88.35	o 1075259904
91.57/88.87	c cleaning 6683 clauses out of 13377 with flag 2000/317020
92.88/90.12	c cleaning 6342 clauses out of 12696 with flag 8002/323022
94.38/91.60	c cleaning 6677 clauses out of 13353 with flag 15001/330021
95.88/93.18	c Got one! Elapsed wall clock time (in seconds):93.046
95.88/93.18	o 1075238912
97.08/94.33	c cleaning 9009 clauses out of 18023 with flag 5003/341368
98.39/95.66	c cleaning 7503 clauses out of 15011 with flag 11000/347365
100.00/97.29	c cleaning 7256 clauses out of 14513 with flag 18005/354370
100.22/97.48	c Got one! Elapsed wall clock time (in seconds):97.341
100.22/97.48	o 1075177216
101.32/98.56	c cleaning 6433 clauses out of 12874 with flag 5000/359987
102.52/99.79	c cleaning 6219 clauses out of 12441 with flag 11000/365987
104.03/101.28	c cleaning 6607 clauses out of 13222 with flag 18000/372987
105.73/102.93	c cleaning 7308 clauses out of 14622 with flag 26007/380994
107.56/104.71	c cleaning 8150 clauses out of 16314 with flag 35007/389994
109.47/106.70	c cleaning 9081 clauses out of 18163 with flag 45006/399993
111.86/109.05	c cleaning 10033 clauses out of 20079 with flag 56003/410990
114.36/111.52	c cleaning 11018 clauses out of 22045 with flag 68002/422989
116.27/113.43	c Got one! Elapsed wall clock time (in seconds):113.295
116.27/113.43	o 1075144704
117.27/114.44	c cleaning 12001 clauses out of 24002 with flag 5002/435964
118.38/115.57	c cleaning 8994 clauses out of 17999 with flag 11000/441962
119.78/116.91	c cleaning 8002 clauses out of 16007 with flag 18002/448964
121.29/118.46	c cleaning 8000 clauses out of 16008 with flag 26005/456967
123.10/120.27	c cleaning 8504 clauses out of 17007 with flag 35004/465966
125.20/122.38	c cleaning 9248 clauses out of 18501 with flag 45002/475964
128.40/125.50	c cleaning 10118 clauses out of 20251 with flag 56000/486962
131.33/128.42	c cleaning 11057 clauses out of 22133 with flag 68000/498962
134.25/131.31	c cleaning 12031 clauses out of 24076 with flag 81000/511962
137.36/134.43	c cleaning 13018 clauses out of 26045 with flag 95000/525962
140.39/137.47	c cleaning 14012 clauses out of 28027 with flag 110000/540962
144.53/141.54	c cleaning 15006 clauses out of 30016 with flag 126001/556963
147.78/144.77	c Got one! Elapsed wall clock time (in seconds):144.633
147.78/144.77	o 1075141632
148.78/145.74	c cleaning 16473 clauses out of 32946 with flag 5000/574899
149.69/146.68	c cleaning 11235 clauses out of 22475 with flag 11002/580901
150.71/147.66	c cleaning 9119 clauses out of 18244 with flag 18006/587905
152.21/149.18	c Got one! Elapsed wall clock time (in seconds):149.043
152.21/149.18	o 1075093504
153.21/150.12	c cleaning 10741 clauses out of 21481 with flag 5000/600261
154.32/151.23	c cleaning 8363 clauses out of 16742 with flag 11002/606263
155.82/152.79	c cleaning 7685 clauses out of 15377 with flag 18000/613261
157.92/154.90	c cleaning 7836 clauses out of 15692 with flag 26000/621261
161.45/158.38	c cleaning 8427 clauses out of 16859 with flag 35003/630264
163.84/160.73	c cleaning 9215 clauses out of 18430 with flag 45001/640262
166.44/163.34	c cleaning 10102 clauses out of 20214 with flag 56000/651261
169.45/166.38	c cleaning 11057 clauses out of 22114 with flag 68002/663263
172.77/169.60	c cleaning 12024 clauses out of 24056 with flag 81001/676262
176.79/173.66	c cleaning 13011 clauses out of 26033 with flag 95002/690263
181.90/178.79	c cleaning 14012 clauses out of 28023 with flag 110003/705264
188.03/184.87	c cleaning 15000 clauses out of 30008 with flag 126000/721261
194.45/191.25	c cleaning 16000 clauses out of 32008 with flag 143000/738261
201.27/198.03	c cleaning 17004 clauses out of 34008 with flag 161000/756261
208.72/205.44	c cleaning 18001 clauses out of 36005 with flag 180001/775262
218.33/215.02	c cleaning 18997 clauses out of 38004 with flag 200001/795262
227.38/224.07	c cleaning 19997 clauses out of 40007 with flag 221001/816262
236.04/232.64	c cleaning 21005 clauses out of 42010 with flag 243001/838262
245.17/241.74	c cleaning 21998 clauses out of 44004 with flag 266000/861261
255.64/252.15	c cleaning 23003 clauses out of 46007 with flag 290001/885262
264.21/260.68	c cleaning 24000 clauses out of 48004 with flag 315001/910262
274.01/270.36	c cleaning 25002 clauses out of 50003 with flag 341000/936261
285.19/281.46	c cleaning 26001 clauses out of 52004 with flag 368003/963264
295.65/291.87	c cleaning 26999 clauses out of 54004 with flag 396004/991265
307.19/303.30	c cleaning 27999 clauses out of 56003 with flag 425002/1020263
316.47/312.55	c cleaning 28997 clauses out of 58003 with flag 455001/1050262
325.93/321.97	c cleaning 30003 clauses out of 60005 with flag 486000/1081261
338.37/334.33	c cleaning 31000 clauses out of 62003 with flag 518001/1113262
353.21/349.12	c cleaning 32001 clauses out of 64002 with flag 551000/1146261
358.43/354.29	c Got one! Elapsed wall clock time (in seconds):354.158
358.43/354.29	o 1075090688
359.53/355.34	c cleaning 25834 clauses out of 51670 with flag 5005/1165930
360.46/356.23	c cleaning 15901 clauses out of 31833 with flag 11002/1171927
361.48/357.29	c cleaning 11463 clauses out of 22938 with flag 18008/1178933
363.09/358.81	c cleaning 9726 clauses out of 19475 with flag 26008/1186933
365.91/361.67	c cleaning 9347 clauses out of 18742 with flag 35001/1195926
369.01/364.79	c cleaning 9676 clauses out of 19397 with flag 45003/1205928
372.02/367.78	c cleaning 10325 clauses out of 20718 with flag 56000/1216925
375.73/371.41	c cleaning 11194 clauses out of 22394 with flag 68001/1228926
380.46/376.12	c cleaning 12093 clauses out of 24200 with flag 81001/1241926
384.77/380.42	c cleaning 13050 clauses out of 26110 with flag 95004/1255929
389.28/384.95	c cleaning 14027 clauses out of 28060 with flag 110004/1270929
394.70/390.31	c cleaning 15011 clauses out of 30029 with flag 126000/1286925
400.63/396.23	c cleaning 16003 clauses out of 32020 with flag 143002/1303927
406.76/402.35	c cleaning 17003 clauses out of 34018 with flag 161003/1321928
412.48/408.07	c cleaning 18006 clauses out of 36014 with flag 180002/1340927
418.61/414.19	c cleaning 19001 clauses out of 38007 with flag 200001/1360926
425.55/421.01	c cleaning 19998 clauses out of 40005 with flag 221000/1381925
432.68/428.15	c cleaning 21002 clauses out of 42010 with flag 243003/1403928
440.59/436.09	c cleaning 21999 clauses out of 44005 with flag 266000/1426925
449.13/444.53	c cleaning 22999 clauses out of 46006 with flag 290000/1450925
457.55/452.93	c cleaning 24006 clauses out of 48012 with flag 315005/1475930
467.30/462.66	c cleaning 24998 clauses out of 50001 with flag 341000/1501925
477.35/472.66	c cleaning 26004 clauses out of 52012 with flag 368009/1528934
486.11/481.33	c cleaning 26997 clauses out of 53999 with flag 396000/1556925
493.93/489.16	c cleaning 27997 clauses out of 56004 with flag 425002/1585927
503.86/499.03	c cleaning 28998 clauses out of 58007 with flag 455002/1615927
514.89/510.06	c cleaning 29998 clauses out of 60007 with flag 486000/1646925
527.53/522.62	c cleaning 31004 clauses out of 62009 with flag 518000/1678925
540.20/535.27	c cleaning 32001 clauses out of 64005 with flag 551000/1711925
553.87/548.89	c cleaning 32995 clauses out of 66004 with flag 585000/1745925
567.81/562.75	c cleaning 34001 clauses out of 68009 with flag 620000/1780925
569.25/564.19	c Got one! Elapsed wall clock time (in seconds):564.052
569.25/564.19	o 1075089664
570.25/565.11	c cleaning 22260 clauses out of 44523 with flag 5000/1791440
571.18/566.00	c cleaning 14128 clauses out of 28263 with flag 11000/1797440
572.08/566.94	c cleaning 10559 clauses out of 21138 with flag 18003/1804443
573.18/568.04	c cleaning 9290 clauses out of 18583 with flag 26007/1812447
574.49/569.37	c cleaning 9134 clauses out of 18288 with flag 35002/1821442
576.02/570.86	c cleaning 9567 clauses out of 19153 with flag 45001/1831441
577.83/572.67	c cleaning 10278 clauses out of 20585 with flag 56000/1842440
580.03/574.89	c cleaning 11153 clauses out of 22309 with flag 68002/1854442
582.66/577.46	c cleaning 12078 clauses out of 24157 with flag 81003/1867443
585.58/580.35	c cleaning 13038 clauses out of 26083 with flag 95007/1881447
588.99/583.78	c cleaning 14016 clauses out of 28039 with flag 110001/1896441
592.40/587.12	c cleaning 15006 clauses out of 30026 with flag 126004/1912444
596.02/590.77	c cleaning 16001 clauses out of 32017 with flag 143001/1929441
600.52/595.20	c cleaning 17003 clauses out of 34016 with flag 161001/1947441
604.95/599.62	c cleaning 18000 clauses out of 36012 with flag 180000/1966440
609.28/603.95	c cleaning 19003 clauses out of 38014 with flag 200002/1986442
614.09/608.71	c cleaning 20000 clauses out of 40009 with flag 221000/2007440
620.11/614.79	c cleaning 21003 clauses out of 42011 with flag 243002/2029442
626.63/621.24	c cleaning 21995 clauses out of 44006 with flag 266000/2052440
636.05/630.69	c cleaning 23007 clauses out of 46013 with flag 290002/2076442
644.88/639.45	c cleaning 24003 clauses out of 48010 with flag 315006/2101446
653.50/648.02	c cleaning 24995 clauses out of 50002 with flag 341001/2127441
660.43/654.91	c cleaning 26001 clauses out of 52007 with flag 368001/2154441
668.60/663.04	c cleaning 27000 clauses out of 54006 with flag 396001/2182441
676.81/671.27	c cleaning 28003 clauses out of 56005 with flag 425000/2211440
686.46/680.84	c cleaning 29000 clauses out of 58002 with flag 455000/2241440
695.20/689.56	c cleaning 29995 clauses out of 60002 with flag 486000/2272440
704.33/698.63	c cleaning 31004 clauses out of 62007 with flag 518000/2304440
715.56/709.81	c cleaning 32002 clauses out of 64003 with flag 551000/2337440
727.52/721.72	c cleaning 32999 clauses out of 66002 with flag 585001/2371441
739.74/733.95	c cleaning 33999 clauses out of 68005 with flag 620003/2406443
752.88/747.04	c cleaning 34999 clauses out of 70005 with flag 656002/2442442
768.04/762.20	c cleaning 36004 clauses out of 72007 with flag 693003/2479443
782.59/776.53	c cleaning 36995 clauses out of 74000 with flag 731000/2517440
798.21/792.15	c cleaning 38000 clauses out of 76005 with flag 770000/2556440
804.26/798.16	c Got one! Elapsed wall clock time (in seconds):798.023
804.26/798.16	o 1075081472
805.47/799.34	c cleaning 30119 clauses out of 60237 with flag 5002/2578672
806.69/800.57	c cleaning 18061 clauses out of 36128 with flag 11012/2584682
808.11/801.93	c cleaning 12527 clauses out of 25062 with flag 18008/2591678
809.73/803.57	c cleaning 10265 clauses out of 20540 with flag 26013/2599683
811.64/805.49	c cleaning 9613 clauses out of 19262 with flag 35000/2608670
814.27/808.00	c cleaning 9785 clauses out of 19649 with flag 45000/2618670
817.17/810.93	c cleaning 10426 clauses out of 20864 with flag 56000/2629670
820.30/814.02	c cleaning 11217 clauses out of 22438 with flag 68000/2641670
824.20/817.91	c cleaning 12113 clauses out of 24225 with flag 81004/2654674
827.81/821.52	c cleaning 13051 clauses out of 26109 with flag 95001/2668671
831.72/825.46	c cleaning 14028 clauses out of 28057 with flag 110000/2683670
835.83/829.54	c cleaning 15013 clauses out of 30030 with flag 126001/2699671
840.25/833.93	c cleaning 16011 clauses out of 32026 with flag 143010/2716680
845.45/839.14	c cleaning 17000 clauses out of 34007 with flag 161002/2734672
851.36/845.05	c cleaning 18003 clauses out of 36006 with flag 180001/2753671
857.07/850.75	c cleaning 19003 clauses out of 38009 with flag 200007/2773677
864.10/857.78	c cleaning 20000 clauses out of 40001 with flag 221002/2794672
871.52/865.10	c cleaning 20995 clauses out of 42002 with flag 243003/2816673
877.86/871.41	c cleaning 22001 clauses out of 44011 with flag 266007/2839677
884.31/877.83	c cleaning 23000 clauses out of 46003 with flag 290000/2863670
892.54/886.06	c cleaning 23997 clauses out of 48008 with flag 315005/2888675
901.47/894.92	c cleaning 25002 clauses out of 50009 with flag 341003/2914673
910.20/903.65	c cleaning 25999 clauses out of 52004 with flag 368000/2941670
919.74/913.12	c cleaning 27001 clauses out of 54006 with flag 396001/2969671
931.38/924.71	c cleaning 27996 clauses out of 56005 with flag 425001/2998671
943.24/936.55	c cleaning 28997 clauses out of 58009 with flag 455001/3028671
955.10/948.34	c cleaning 30006 clauses out of 60014 with flag 486003/3059673
968.94/962.18	c cleaning 31004 clauses out of 62012 with flag 518007/3091677
982.21/975.32	c cleaning 31998 clauses out of 64002 with flag 551001/3124671
985.14/978.22	c Got one! Elapsed wall clock time (in seconds):978.091
985.14/978.22	o 1075071744
986.04/979.12	c cleaning 23097 clauses out of 46198 with flag 5003/3138865
987.15/980.24	c cleaning 14544 clauses out of 29100 with flag 11002/3144864
988.57/981.66	c cleaning 10769 clauses out of 21554 with flag 18000/3151862
990.18/983.22	c cleaning 9391 clauses out of 18788 with flag 26003/3159865
991.91/984.99	c cleaning 9194 clauses out of 18396 with flag 35002/3168864
993.91/986.91	c cleaning 9598 clauses out of 19202 with flag 45002/3178864
996.34/989.35	c cleaning 10298 clauses out of 20612 with flag 56010/3189872
998.94/991.95	c cleaning 11146 clauses out of 22304 with flag 68000/3201862
1001.76/994.76	c cleaning 12075 clauses out of 24158 with flag 81000/3214862
1004.57/997.60	c cleaning 13039 clauses out of 26083 with flag 95000/3228862
1007.48/1000.47	c cleaning 14023 clauses out of 28045 with flag 110001/3243863
1011.00/1003.93	c cleaning 15010 clauses out of 30022 with flag 126001/3259863
1014.91/1007.82	c cleaning 16003 clauses out of 32011 with flag 143000/3276862
1019.22/1012.12	c cleaning 16997 clauses out of 34008 with flag 161000/3294862
1023.74/1016.67	c cleaning 18008 clauses out of 36017 with flag 180006/3313868
1028.75/1021.64	c cleaning 18999 clauses out of 38003 with flag 200000/3333862
1035.78/1028.62	c cleaning 19999 clauses out of 40006 with flag 221002/3354864
1041.79/1034.62	c cleaning 21002 clauses out of 42005 with flag 243000/3376862
1047.61/1040.49	c cleaning 22001 clauses out of 44006 with flag 266003/3399865
1054.33/1047.12	c cleaning 22996 clauses out of 46002 with flag 290000/3423862
1061.75/1054.57	c cleaning 24003 clauses out of 48007 with flag 315001/3448863
1070.30/1063.07	c cleaning 25002 clauses out of 50004 with flag 341001/3474863
1080.03/1072.77	c cleaning 25992 clauses out of 52003 with flag 368002/3501864
1089.77/1082.44	c cleaning 27005 clauses out of 54012 with flag 396003/3529865
1100.50/1093.19	c cleaning 27997 clauses out of 56004 with flag 425000/3558862
1111.17/1103.78	c cleaning 28999 clauses out of 58008 with flag 455001/3588863
1123.19/1115.76	c cleaning 30002 clauses out of 60010 with flag 486002/3619864
1136.86/1129.31	c cleaning 30989 clauses out of 62009 with flag 518003/3651865
1150.11/1142.59	c cleaning 32006 clauses out of 64017 with flag 551000/3684862
1165.05/1157.45	c cleaning 33003 clauses out of 66011 with flag 585000/3718862
1179.33/1171.65	c cleaning 33998 clauses out of 68008 with flag 620000/3753862
1195.76/1188.03	c cleaning 34999 clauses out of 70011 with flag 656001/3789863
1211.21/1203.43	c cleaning 36005 clauses out of 72011 with flag 693000/3826862
1221.52/1213.70	c Got one! Elapsed wall clock time (in seconds):1213.566
1221.52/1213.70	o 1075059456
1222.62/1214.89	c cleaning 36968 clauses out of 73936 with flag 5000/3864792
1223.67/1215.88	c cleaning 21483 clauses out of 42970 with flag 11002/3870794
1224.87/1217.02	c cleaning 14243 clauses out of 28490 with flag 18005/3877797
1226.09/1218.20	c cleaning 11118 clauses out of 22246 with flag 26004/3885796
1227.40/1219.55	c cleaning 10051 clauses out of 20125 with flag 35001/3894793
1229.11/1221.27	c cleaning 10023 clauses out of 20073 with flag 45000/3904792
1231.53/1223.60	c cleaning 10516 clauses out of 21050 with flag 56000/3915792
1233.84/1225.98	c cleaning 11259 clauses out of 22534 with flag 68000/3927792
1236.57/1228.70	c cleaning 12137 clauses out of 24276 with flag 81001/3940793
1239.48/1231.54	c cleaning 13068 clauses out of 26138 with flag 95000/3954792
1242.50/1234.51	c cleaning 14032 clauses out of 28070 with flag 110000/3969792
1245.82/1237.88	c cleaning 15015 clauses out of 30040 with flag 126002/3985794
1249.45/1241.41	c cleaning 16009 clauses out of 32024 with flag 143001/4002793
1253.18/1245.17	c cleaning 17007 clauses out of 34017 with flag 161003/4020795
1257.29/1249.23	c cleaning 17991 clauses out of 36007 with flag 180000/4039792
1261.50/1253.45	c cleaning 19004 clauses out of 38021 with flag 200005/4059797
1265.72/1257.65	c cleaning 20003 clauses out of 40014 with flag 221002/4080794
1270.52/1262.47	c cleaning 20999 clauses out of 42009 with flag 243000/4102792
1275.64/1267.54	c cleaning 21997 clauses out of 44010 with flag 266000/4125792
1281.26/1273.11	c cleaning 23002 clauses out of 46013 with flag 290000/4149792
1288.79/1280.63	c cleaning 24003 clauses out of 48017 with flag 315006/4174798
1296.11/1288.00	c cleaning 25005 clauses out of 50015 with flag 341007/4200799
1304.22/1296.00	c cleaning 26000 clauses out of 52005 with flag 368002/4227794
1312.63/1304.42	c cleaning 26998 clauses out of 54003 with flag 396000/4255792
1322.36/1314.16	c cleaning 28000 clauses out of 56008 with flag 425003/4284795
1331.60/1323.34	c cleaning 29003 clauses out of 58006 with flag 455001/4314793
1341.43/1333.20	c cleaning 29998 clauses out of 60003 with flag 486001/4345793
1351.66/1343.34	c cleaning 31000 clauses out of 62008 with flag 518004/4377796
1363.19/1354.77	c cleaning 32002 clauses out of 64011 with flag 551007/4410799
1374.69/1366.14	c cleaning 33000 clauses out of 66002 with flag 585000/4444792
1385.40/1376.81	c cleaning 34000 clauses out of 68007 with flag 620005/4479797
1397.14/1388.59	c cleaning 34999 clauses out of 70003 with flag 656001/4515793
1411.21/1402.45	c cleaning 35997 clauses out of 72003 with flag 693000/4552792
1425.61/1416.78	c cleaning 36999 clauses out of 74010 with flag 731004/4590796
1440.70/1431.65	c cleaning 38000 clauses out of 76010 with flag 770003/4629795
1455.55/1446.38	c cleaning 39002 clauses out of 78010 with flag 810003/4669795
1470.63/1461.37	c cleaning 40000 clauses out of 80007 with flag 851002/4710794
1487.58/1478.15	c cleaning 41000 clauses out of 82007 with flag 893002/4752794
1504.19/1494.60	c cleaning 42000 clauses out of 84005 with flag 936000/4795792
1524.97/1515.16	c cleaning 42995 clauses out of 86008 with flag 980003/4839795
1544.51/1534.43	c cleaning 44003 clauses out of 88010 with flag 1025000/4884792
1561.11/1550.86	c cleaning 45002 clauses out of 90008 with flag 1071001/4930793
1579.65/1569.29	c cleaning 45995 clauses out of 92005 with flag 1118000/4977792
1602.99/1592.44	c cleaning 47004 clauses out of 94011 with flag 1166001/5025793
1626.86/1616.12	c cleaning 47999 clauses out of 96008 with flag 1215002/5074794
1650.61/1639.68	c cleaning 48992 clauses out of 98007 with flag 1265000/5124792
1675.73/1664.55	c cleaning 50006 clauses out of 100019 with flag 1316004/5175796
1704.65/1693.25	c cleaning 50996 clauses out of 102009 with flag 1368000/5227792
1733.21/1721.56	c cleaning 52004 clauses out of 104014 with flag 1421001/5280793
1762.36/1750.34	c cleaning 52999 clauses out of 106009 with flag 1475000/5334792
1789.56/1777.20	c cleaning 54003 clauses out of 108011 with flag 1530001/5389793
1800.01/1787.52	c starts		: 292
1800.01/1787.52	c conflicts		: 5417358
1800.01/1787.52	c decisions		: 5934008
1800.01/1787.52	c propagations		: 237671449
1800.01/1787.52	c inspects		: 12544829214
1800.01/1787.52	c shortcuts		: 0
1800.01/1787.52	c learnt literals	: 9
1800.01/1787.52	c learnt binary clauses	: 517
1800.01/1787.52	c learnt ternary clauses	: 198
1800.01/1787.52	c learnt constraints	: 5417349
1800.01/1787.52	c ignored constraints	: 0
1800.01/1787.52	c root simplifications	: 0
1800.01/1787.52	c removed literals (reason simplification)	: 0
1800.01/1787.52	c reason swapping (by a shorter reason)	: 0
1800.01/1787.52	c Calls to reduceDB	: 265
1800.01/1787.52	c number of reductions to clauses (during analyze)	: 0
1800.01/1787.52	c number of learned constraints concerned by reduction	: 0
1800.01/1787.52	c number of learning phase by resolution	: 0
1800.01/1787.52	c number of learning phase by cutting planes	: 0
1800.01/1787.52	c speed (assignments/second)	: 132993.72890422857
1800.01/1787.52	c non guided choices	18083
1800.01/1787.55	c learnt constraints type 
1800.01/1787.55	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 517
1800.01/1787.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 81077
1800.01/1787.55	c constraints type 
1800.01/1787.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 14
1800.01/1787.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15
1800.01/1787.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 309
1800.01/1787.55	c 338 constraints processed.
1800.01/1787.55	s SATISFIABLE
1800.01/1787.56	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 x762 x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 x4749 x4750 -x4751 x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 x4759 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x4772 x4773 x4774 x4775 x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 x4812 x4813 x4814 x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 x5040 -x5041 -x5042 -x5043 -x5044 -x5045 x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 
1800.01/1787.56	c objective function=1075059456
1800.01/1787.56	c Total wall clock time (in seconds): 1787.43

Verifier Data

OK	1075059456

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-3687971-1337879049/watcher-3687971-1337879049 -o /tmp/evaluation-result-3687971-1337879049/solver-3687971-1337879049 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687971-1337879049.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.29 2.10 2.03 4/194 15165
/proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/15165/stat : 15165 (java) R 15163 15165 14581 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 254029802 278528 34 33554432000 1073741824 1073778376 140734315180528 140734315177704 233211784487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15165/statm: 68 34 25 9 0 25 0

[startup+0.053393 s]
/proc/loadavg: 2.29 2.10 2.03 4/194 15165
/proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 3043 0 1 0 2 0 0 0 20 0 13 0 254029802 9446973440 3230 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2306390 3230 1682 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100329 s]
/proc/loadavg: 2.29 2.10 2.03 4/194 15165
/proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 3397 0 1 0 6 1 0 0 20 0 18 0 254029802 9787813888 4606 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2389603 4607 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.300298 s]
/proc/loadavg: 2.29 2.10 2.03 4/194 15165
/proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9558412 CPUtime=0.52 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 9007 0 1 0 50 2 0 0 20 0 18 0 254029802 9787813888 11629 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2389603 11629 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558412

[startup+0.700294 s]
/proc/loadavg: 2.29 2.10 2.03 4/194 15165
/proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 10824 0 1 0 157 3 0 0 20 0 19 0 254029802 9855975424 15660 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2406244 15660 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9624976

[startup+1.5008 s]
/proc/loadavg: 2.29 2.10 2.03 4/213 15184
/proc/meminfo: memFree=28483656/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9624976 CPUtime=2.46 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 10832 0 1 0 243 3 0 0 20 0 19 0 254029802 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2406244 18734 2259 9 0 2396937 0
[pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2527 0 1 0 144 2 0 0 20 0 19 0 254029804 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534688690808 140534561963755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 2688 0 0 0 49 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4417 0 0 0 47 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 9624976

[startup+3.10066 s]
/proc/loadavg: 2.29 2.10 2.03 3/213 15184
/proc/meminfo: memFree=28466776/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9624976 CPUtime=4.14 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 10903 0 1 0 410 4 0 0 20 0 19 0 254029802 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2406244 25946 2284 9 0 2396937 0
[pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2535 0 1 0 300 2 0 0 20 0 19 0 254029804 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534688690552 140534561963741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 254029807 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 2690 0 0 0 52 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4422 0 0 0 52 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9624976

[startup+6.30069 s]
/proc/loadavg: 2.26 2.10 2.03 3/213 15184
/proc/meminfo: memFree=28440400/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9624976 CPUtime=7.55 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 10934 0 1 0 750 5 0 0 20 0 19 0 254029802 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2406244 27910 2284 9 0 2396937 0
[pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=6.16 cores=1,3,5,7
/proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2538 0 1 0 614 2 0 0 20 0 19 0 254029804 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534688690464 140534561963666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 254029807 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 2691 0 0 0 60 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4422 0 0 0 62 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 9624976

[startup+12.7008 s]

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

[pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 11891 0 0 0 157 2 0 0 20 0 19 0 254029810 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4433 0 0 0 74 0 0 0 20 0 19 0 254029810 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 98 0 0 0 32 24 0 0 20 0 19 0 254029810 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1734.08
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.98 1.96 1.97 3/213 15259
/proc/meminfo: memFree=28149084/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9624976 CPUtime=1794.74 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 22195 0 1 0 179380 94 0 0 20 0 19 0 254029802 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2406244 89412 2285 9 0 2396937 0
[pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=1763.1 cores=1,3,5,7
/proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2886 0 1 0 176279 31 0 0 20 0 19 0 254029804 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534688689504 140534561531824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 255 0 0 0 165 5 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=1.84 cores=1,3,5,7
/proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 241 0 0 0 177 7 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=1.71 cores=1,3,5,7
/proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 254 0 0 0 165 6 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 270 0 0 0 161 5 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 177 0 0 0 162 4 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 92 0 0 0 159 6 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 83 0 0 0 155 5 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=1.74 cores=1,3,5,7
/proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 90 0 0 0 168 6 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=10.47 cores=1,3,5,7
/proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 235 0 0 0 1043 4 0 0 20 0 19 0 254029807 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 11891 0 0 0 157 2 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4433 0 0 0 74 0 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 102 0 0 0 33 26 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.51 s]
/proc/loadavg: 1.98 1.96 1.97 3/213 15259
/proc/meminfo: memFree=28160868/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 22196 0 1 0 179906 95 0 0 20 0 19 0 254029802 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2406244 88626 2285 9 0 2396937 0
[pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=1768.27 cores=1,3,5,7
/proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2887 0 1 0 176796 31 0 0 20 0 19 0 254029804 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534688689504 140534561974390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 255 0 0 0 165 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 241 0 0 0 178 7 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 254 0 0 0 167 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 270 0 0 0 162 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 177 0 0 0 162 4 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 92 0 0 0 160 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 83 0 0 0 155 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=1.76 cores=1,3,5,7
/proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 90 0 0 0 170 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=10.47 cores=1,3,5,7
/proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 235 0 0 0 1043 4 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 11891 0 0 0 157 2 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4433 0 0 0 74 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 102 0 0 0 33 26 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1787.51 s]
/proc/loadavg: 1.98 1.96 1.97 3/213 15259
/proc/meminfo: memFree=28160868/32873844 swapFree=7104/7104
[pid=15165] ppid=15163 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 22196 0 1 0 179906 95 0 0 20 0 19 0 254029802 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15165/statm: 2406244 88626 2285 9 0 2396937 0
[pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=1768.27 cores=1,3,5,7
/proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2887 0 1 0 176796 31 0 0 20 0 19 0 254029804 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534688689504 140534561974390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 255 0 0 0 165 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=1.85 cores=1,3,5,7
/proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 241 0 0 0 178 7 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=1.73 cores=1,3,5,7
/proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 254 0 0 0 167 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 270 0 0 0 162 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 177 0 0 0 162 4 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7
/proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 92 0 0 0 160 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 83 0 0 0 155 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=1.76 cores=1,3,5,7
/proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 90 0 0 0 170 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=10.47 cores=1,3,5,7
/proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 235 0 0 0 1043 4 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 11891 0 0 0 157 2 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4433 0 0 0 74 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 102 0 0 0 33 26 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1787.57
CPU time (s): 1800.01
CPU user time (s): 1799.06
CPU system time (s): 0.95
CPU usage (%): 100.696
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 1.22381
maximum resident set size= 373096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22229
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46386
involuntary context switches= 36404

runsolver used 6.54101 second user time and 15.3237 second system time

The end

Launcher Data

Begin job on node142 at 2012-05-24 19:04:09
IDJOB=3687971
IDBENCH=2513
IDSOLVER=2269
FILE ID=node142/3687971-1337879049
RUNJOBID= node142-1337871882-14598
PBS_JOBID= 14620062
Free space on /tmp= 71664 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687971-1337879049/watcher-3687971-1337879049 -o /tmp/evaluation-result-3687971-1337879049/solver-3687971-1337879049 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3687971-1337879049.opb

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

MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15
RANDOM SEED=1516854087

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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.776
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:        28542108 kB
Buffers:          220820 kB
Cached:          2885456 kB
SwapCached:            0 kB
Active:           920328 kB
Inactive:        2643872 kB
Active(anon):     459972 kB
Inactive(anon):        0 kB
Active(file):     460356 kB
Inactive(file):  2643872 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:        464064 kB
Mapped:            22532 kB
Shmem:               200 kB
Slab:             629376 kB
SReclaimable:      71868 kB
SUnreclaim:       557508 kB
KernelStack:        1608 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     797796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 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= 71660 MiB
End job on node142 at 2012-05-24 19:33:59