Trace number 3744142

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO) 1801.46 926.768

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_7_mh.opb
MD5SUM578db65b35c9d87cb72f70788034039a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15820949
Best CPU time to get the best result obtained on this benchmark105.68
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 76225024
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 5067828285
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 76225024
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 5067828285
Number of bits of the biggest sum of numbers33
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.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.2.0.v20100531
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		1349517296
0.01/0.09	c Max memory 		1356595200
0.01/0.09	c Total memory 		1356595200
0.01/0.09	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c Stops conflict analysis at the first Unique Implication Point
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
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 Expensive 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 --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c Stops conflict analysis at the first Unique Implication Point
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5b2558d6
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 phase appearing in latest learned clause 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 --- End Solver configuration ---
0.07/0.13	
0.07/0.13	c solving HOME/instance-3744142-1338804170.opb
0.07/0.13	c reading problem ... 
1.04/0.54	c ... done. Wall clock time 0.419s.
1.04/0.54	c #vars     6810
1.04/0.55	c #constraints  15668
1.04/0.55	c constraints type 
1.04/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
1.04/0.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1.04/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
1.04/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075
1.04/0.55	c constraints type 
1.04/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465
1.04/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061
1.04/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
1.04/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075
2.09/0.83	c And the winner is Resolution
2.38/1.56	c SATISFIABLE
2.38/1.56	c OPTIMIZING...
2.38/1.56	c Got one! Elapsed wall clock time (in seconds):1.439
2.38/1.56	o 18230884
2.38/1.59	c And the winner is Resolution
2.55/2.59	c Got one! Elapsed wall clock time (in seconds):2.462
2.55/2.59	o 18230650
2.58/2.67	c And the winner is Resolution
2.89/3.61	c Got one! Elapsed wall clock time (in seconds):3.486
2.89/3.61	o 18214620
2.89/3.63	c And the winner is Resolution
3.41/4.63	c Got one! Elapsed wall clock time (in seconds):4.506
3.41/4.63	o 18212716
3.41/4.67	c And the winner is Resolution
3.51/5.65	c Got one! Elapsed wall clock time (in seconds):5.523
3.51/5.65	o 18212482
8.04/7.76	c cleaning 2493 clauses out of 4999 with flag 5000/5000
14.50/10.82	c cleaning 4250 clauses out of 8506 with flag 11001/11001
15.28/11.21	c And the winner is Resolution
16.34/12.67	c Got one! Elapsed wall clock time (in seconds):12.541
16.34/12.67	o 17496826
18.21/13.64	c And the winner is Resolution
26.03/21.68	c Got one! Elapsed wall clock time (in seconds):21.558
26.03/21.68	o 17496020
26.06/21.70	c And the winner is Resolution
26.10/22.70	c Got one! Elapsed wall clock time (in seconds):22.575
26.10/22.70	o 16017262
26.10/22.72	c And the winner is Resolution
26.29/23.72	c Got one! Elapsed wall clock time (in seconds):23.592
26.29/23.72	o 15973131
26.29/23.73	c And the winner is Resolution
26.36/24.73	c Got one! Elapsed wall clock time (in seconds):24.608
26.36/24.73	o 15906476
29.33/26.24	c cleaning 5611 clauses out of 11248 with flag 18000/18000
35.13/29.12	c cleaning 6814 clauses out of 13640 with flag 26003/26003
41.37/32.26	c cleaning 7906 clauses out of 15826 with flag 35003/35003
49.55/36.39	c cleaning 8939 clauses out of 17919 with flag 45002/45002
57.90/40.60	c cleaning 9970 clauses out of 19978 with flag 56000/56000
65.66/44.49	c cleaning 10993 clauses out of 22008 with flag 68000/68000
74.84/49.01	c cleaning 11995 clauses out of 24015 with flag 81000/81000
85.22/54.24	c cleaning 12993 clauses out of 26020 with flag 95000/95000
96.47/59.87	c cleaning 13992 clauses out of 28027 with flag 110000/110000
107.86/65.51	c cleaning 15004 clauses out of 30036 with flag 126002/126002
119.41/71.37	c cleaning 15505 clauses out of 31030 with flag 142000/142000
132.25/77.70	c cleaning 15740 clauses out of 31525 with flag 158000/158000
144.47/83.86	c cleaning 15878 clauses out of 31785 with flag 174000/174000
156.48/89.84	c cleaning 15943 clauses out of 31908 with flag 190001/190001
168.00/95.63	c cleaning 15970 clauses out of 31964 with flag 206000/206000
179.55/101.49	c cleaning 15981 clauses out of 31995 with flag 222001/222001
190.69/107.02	c cleaning 15986 clauses out of 32013 with flag 238000/238000
201.85/112.68	c cleaning 15992 clauses out of 32026 with flag 254000/254000
213.61/118.52	c cleaning 15998 clauses out of 32035 with flag 270001/270001
224.55/124.06	c cleaning 16007 clauses out of 32036 with flag 286000/286000
236.91/130.23	c cleaning 15994 clauses out of 32033 with flag 302004/302004
248.25/135.99	c cleaning 16006 clauses out of 32035 with flag 318000/318000
259.96/141.85	c cleaning 15998 clauses out of 32029 with flag 334000/334000
272.13/148.00	c cleaning 15993 clauses out of 32032 with flag 350001/350001
284.45/154.16	c cleaning 16006 clauses out of 32038 with flag 366000/366000
296.09/159.97	c cleaning 15990 clauses out of 32032 with flag 382000/382000
307.59/165.78	c cleaning 16008 clauses out of 32043 with flag 398001/398001
319.13/171.60	c cleaning 16006 clauses out of 32034 with flag 414000/414000
330.12/177.00	c cleaning 15990 clauses out of 32028 with flag 430000/430000
341.91/182.94	c cleaning 15993 clauses out of 32038 with flag 446000/446000
352.61/188.32	c cleaning 16003 clauses out of 32048 with flag 462003/462003
364.00/194.02	c cleaning 16003 clauses out of 32042 with flag 478000/478000
375.54/199.81	c cleaning 16004 clauses out of 32041 with flag 494002/494002
386.88/205.54	c cleaning 15997 clauses out of 32035 with flag 510000/510000
398.23/211.22	c cleaning 15998 clauses out of 32038 with flag 526000/526000
409.76/217.02	c cleaning 16004 clauses out of 32040 with flag 542000/542000
421.08/222.73	c cleaning 15999 clauses out of 32036 with flag 558000/558000
432.47/228.47	c cleaning 16003 clauses out of 32039 with flag 574002/574002
443.96/234.28	c cleaning 16004 clauses out of 32034 with flag 590000/590000
455.72/240.18	c cleaning 16003 clauses out of 32030 with flag 606000/606000
467.48/246.01	c cleaning 15989 clauses out of 32027 with flag 622000/622000
478.04/251.37	c cleaning 16004 clauses out of 32039 with flag 638001/638001
489.08/256.98	c cleaning 15993 clauses out of 32034 with flag 654000/654000
501.03/262.94	c cleaning 16004 clauses out of 32041 with flag 670000/670000
512.96/268.90	c cleaning 15995 clauses out of 32039 with flag 686002/686002
524.52/274.72	c cleaning 16011 clauses out of 32044 with flag 702002/702002
536.02/280.54	c cleaning 15996 clauses out of 32031 with flag 718000/718000
547.77/286.43	c cleaning 16000 clauses out of 32037 with flag 734002/734002
559.93/292.55	c cleaning 16000 clauses out of 32035 with flag 750000/750000
571.88/298.59	c cleaning 16007 clauses out of 32035 with flag 766001/766001
583.59/304.43	c cleaning 15983 clauses out of 32027 with flag 782000/782000
596.35/310.87	c cleaning 16000 clauses out of 32044 with flag 798000/798000
609.08/317.28	c cleaning 16004 clauses out of 32044 with flag 814000/814000
621.61/323.60	c cleaning 15997 clauses out of 32042 with flag 830002/830002
633.25/329.41	c cleaning 16006 clauses out of 32044 with flag 846001/846001
643.56/334.61	c cleaning 16001 clauses out of 32037 with flag 862000/862000
654.27/340.07	c cleaning 16000 clauses out of 32042 with flag 878006/878006
665.25/345.58	c cleaning 15995 clauses out of 32036 with flag 894000/894000
675.74/350.90	c cleaning 16002 clauses out of 32041 with flag 910000/910000
686.91/356.44	c cleaning 16010 clauses out of 32041 with flag 926002/926002
699.02/362.53	c cleaning 15995 clauses out of 32029 with flag 942000/942000
709.99/368.00	c cleaning 16006 clauses out of 32034 with flag 958000/958000
720.68/373.43	c cleaning 16001 clauses out of 32028 with flag 974000/974000
732.43/379.35	c cleaning 15991 clauses out of 32027 with flag 990000/990000
745.02/385.68	c cleaning 15999 clauses out of 32037 with flag 1006001/1006001
756.58/391.43	c cleaning 16004 clauses out of 32039 with flag 1022002/1022002
768.46/397.41	c cleaning 15996 clauses out of 32034 with flag 1038001/1038001
780.23/403.37	c cleaning 16007 clauses out of 32037 with flag 1054000/1054000
791.97/409.21	c cleaning 16000 clauses out of 32030 with flag 1070000/1070000
803.29/414.93	c cleaning 15991 clauses out of 32030 with flag 1086000/1086000
814.53/420.64	c cleaning 16010 clauses out of 32041 with flag 1102002/1102002
825.86/426.38	c cleaning 15989 clauses out of 32030 with flag 1118001/1118001
838.17/432.57	c cleaning 16004 clauses out of 32040 with flag 1134000/1134000
850.29/438.60	c cleaning 15991 clauses out of 32036 with flag 1150000/1150000
862.34/444.78	c cleaning 16005 clauses out of 32046 with flag 1166001/1166001
873.68/450.48	c cleaning 15997 clauses out of 32040 with flag 1182000/1182000
884.79/456.07	c cleaning 16009 clauses out of 32044 with flag 1198001/1198001
896.70/462.09	c cleaning 15987 clauses out of 32034 with flag 1214000/1214000
908.15/467.81	c cleaning 16004 clauses out of 32048 with flag 1230001/1230001
917.87/472.72	c And the winner is Resolution
919.17/474.30	c Got one! Elapsed wall clock time (in seconds):474.173
919.17/474.30	o 15900105
920.17/474.84	c cleaning 16007 clauses out of 32043 with flag 1246000/1246000
925.07/477.31	c And the winner is Resolution
925.17/478.32	c Got one! Elapsed wall clock time (in seconds):478.191
925.17/478.32	o 15890019
925.17/478.36	c And the winner is Resolution
925.34/479.34	c Got one! Elapsed wall clock time (in seconds):479.21
925.34/479.34	o 15888892
925.34/479.38	c And the winner is Resolution
925.48/480.35	c Got one! Elapsed wall clock time (in seconds):480.229
925.48/480.35	o 15875212
925.48/480.37	c And the winner is Resolution
925.54/481.37	c Got one! Elapsed wall clock time (in seconds):481.247
925.54/481.37	o 15839612
929.02/483.10	c cleaning 16009 clauses out of 32036 with flag 1262000/1262000
929.29/483.38	c And the winner is Resolution
934.13/488.40	c Got one! Elapsed wall clock time (in seconds):488.27
934.13/488.40	o 15834336
934.33/488.59	c And the winner is Resolution
934.62/489.41	c Got one! Elapsed wall clock time (in seconds):489.289
934.62/489.41	o 15820949
942.50/493.31	c cleaning 16000 clauses out of 32029 with flag 1278002/1278002
950.95/497.62	c cleaning 16004 clauses out of 32028 with flag 1294001/1294001
959.06/501.70	c cleaning 16001 clauses out of 32023 with flag 1310000/1310000
967.73/506.12	c cleaning 16001 clauses out of 32022 with flag 1326000/1326000
975.82/510.30	c cleaning 15999 clauses out of 32021 with flag 1342000/1342000
984.88/514.82	c cleaning 15991 clauses out of 32022 with flag 1358000/1358000
993.95/519.44	c cleaning 15994 clauses out of 32032 with flag 1374001/1374001
1002.05/523.58	c cleaning 16011 clauses out of 32037 with flag 1390000/1390000
1010.36/527.74	c cleaning 16008 clauses out of 32027 with flag 1406001/1406001
1022.58/533.96	c cleaning 16002 clauses out of 32019 with flag 1422001/1422001
1036.13/540.75	c cleaning 15976 clauses out of 32016 with flag 1438000/1438000
1049.00/547.24	c cleaning 16004 clauses out of 32040 with flag 1454000/1454000
1060.46/553.02	c cleaning 16011 clauses out of 32038 with flag 1470002/1470002
1071.67/558.80	c cleaning 16006 clauses out of 32025 with flag 1486000/1486000
1083.93/564.95	c cleaning 15997 clauses out of 32021 with flag 1502002/1502002
1095.25/570.61	c cleaning 15996 clauses out of 32022 with flag 1518000/1518000
1106.58/576.38	c cleaning 16009 clauses out of 32026 with flag 1534000/1534000
1119.04/582.69	c cleaning 15996 clauses out of 32017 with flag 1550000/1550000
1131.61/588.91	c cleaning 16003 clauses out of 32022 with flag 1566001/1566001
1143.50/595.00	c cleaning 15992 clauses out of 32019 with flag 1582001/1582001
1156.07/601.20	c cleaning 16003 clauses out of 32027 with flag 1598001/1598001
1167.65/607.16	c cleaning 15998 clauses out of 32023 with flag 1614000/1614000
1179.98/613.34	c cleaning 16006 clauses out of 32026 with flag 1630001/1630001
1191.71/619.29	c cleaning 15985 clauses out of 32019 with flag 1646000/1646000
1204.82/625.87	c cleaning 16000 clauses out of 32035 with flag 1662001/1662001
1218.24/632.67	c cleaning 16014 clauses out of 32035 with flag 1678001/1678001
1231.51/639.30	c cleaning 15996 clauses out of 32020 with flag 1694000/1694000
1243.67/645.43	c cleaning 16003 clauses out of 32025 with flag 1710001/1710001
1254.97/651.16	c cleaning 15998 clauses out of 32022 with flag 1726001/1726001
1267.19/657.35	c cleaning 16001 clauses out of 32023 with flag 1742000/1742000
1279.49/663.53	c cleaning 15994 clauses out of 32023 with flag 1758001/1758001
1292.99/670.36	c cleaning 16005 clauses out of 32029 with flag 1774001/1774001
1306.34/677.03	c cleaning 15999 clauses out of 32023 with flag 1790000/1790000
1319.51/683.71	c cleaning 15987 clauses out of 32025 with flag 1806001/1806001
1332.03/690.08	c cleaning 16013 clauses out of 32039 with flag 1822002/1822002
1345.57/696.83	c cleaning 15996 clauses out of 32024 with flag 1838000/1838000
1358.50/703.35	c cleaning 15997 clauses out of 32031 with flag 1854003/1854003
1370.69/709.52	c cleaning 15997 clauses out of 32031 with flag 1870000/1870000
1382.38/715.48	c cleaning 16005 clauses out of 32035 with flag 1886001/1886001
1395.26/721.94	c cleaning 15996 clauses out of 32029 with flag 1902000/1902000
1406.32/727.58	c cleaning 15999 clauses out of 32034 with flag 1918001/1918001
1418.31/733.68	c cleaning 16007 clauses out of 32034 with flag 1934000/1934000
1429.99/739.58	c cleaning 15987 clauses out of 32027 with flag 1950000/1950000
1443.12/746.14	c cleaning 16011 clauses out of 32040 with flag 1966000/1966000
1456.23/752.71	c cleaning 15996 clauses out of 32029 with flag 1982000/1982000
1469.02/759.25	c cleaning 15999 clauses out of 32032 with flag 1998000/1998000
1481.71/765.67	c cleaning 16004 clauses out of 32035 with flag 2014002/2014002
1495.37/772.54	c cleaning 16005 clauses out of 32029 with flag 2030000/2030000
1507.65/778.76	c cleaning 15992 clauses out of 32024 with flag 2046000/2046000
1521.24/785.67	c cleaning 16010 clauses out of 32033 with flag 2062001/2062001
1534.11/792.12	c cleaning 15992 clauses out of 32023 with flag 2078001/2078001
1546.39/798.34	c cleaning 16000 clauses out of 32031 with flag 2094001/2094001
1559.64/805.11	c cleaning 15998 clauses out of 32030 with flag 2110000/2110000
1573.02/811.85	c cleaning 15998 clauses out of 32032 with flag 2126000/2126000
1587.09/818.91	c cleaning 16000 clauses out of 32035 with flag 2142001/2142001
1600.41/825.64	c cleaning 16009 clauses out of 32034 with flag 2158000/2158000
1613.71/832.31	c cleaning 15996 clauses out of 32025 with flag 2174000/2174000
1626.65/838.90	c cleaning 15991 clauses out of 32029 with flag 2190000/2190000
1638.75/845.01	c cleaning 16005 clauses out of 32038 with flag 2206000/2206000
1651.01/851.26	c cleaning 15993 clauses out of 32032 with flag 2222000/2222000
1663.87/857.76	c cleaning 16015 clauses out of 32040 with flag 2238001/2238001
1675.78/863.81	c cleaning 15995 clauses out of 32024 with flag 2254000/2254000
1688.10/870.02	c cleaning 16000 clauses out of 32030 with flag 2270001/2270001
1701.60/876.83	c cleaning 16002 clauses out of 32029 with flag 2286000/2286000
1714.33/883.25	c cleaning 15996 clauses out of 32027 with flag 2302000/2302000
1726.64/889.58	c cleaning 16006 clauses out of 32032 with flag 2318001/2318001
1739.29/895.95	c cleaning 16001 clauses out of 32027 with flag 2334002/2334002
1752.14/902.42	c cleaning 16000 clauses out of 32025 with flag 2350001/2350001
1764.77/908.80	c cleaning 16001 clauses out of 32025 with flag 2366001/2366001
1777.73/915.47	c cleaning 15997 clauses out of 32023 with flag 2382000/2382000
1790.39/921.84	c cleaning 15998 clauses out of 32026 with flag 2398000/2398000
1800.07/926.73	c starts		: 245
1800.07/926.73	c conflicts		: 2410408
1800.07/926.73	c decisions		: 5360101
1800.07/926.73	c propagations		: 491877962
1800.07/926.73	c inspects		: 2046747803
1800.07/926.73	c learnt literals	: 14
1800.07/926.73	c learnt binary clauses	: 641
1800.07/926.73	c learnt ternary clauses	: 6147
1800.07/926.73	c learnt clauses	: 2410393
1800.07/926.73	c ignored clauses	: 0
1800.07/926.73	c root simplifications	: 0
1800.07/926.73	c removed literals (reason simplification)	: 16246438
1800.07/926.73	c reason swapping (by a shorter reason)	: 0
1800.07/926.73	c Calls to reduceDB	: 154
1800.07/926.73	c number of reductions to clauses (during analyze)	: 0
1800.07/926.73	c number of learned constraints concerned by reduction	: 0
1800.07/926.73	c number of learning phase by resolution	: 0
1800.07/926.73	c number of learning phase by cutting planes	: 0
1800.07/926.73	c speed (assignments/second)	: 1124780.960874437
1800.07/926.73	c non guided choices	3590
1800.07/926.74	c learnt constraints type 
1800.07/926.74	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 27827
1800.07/926.74	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 641
1800.07/926.74	c constraints type 
1800.07/926.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
1800.07/926.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.07/926.74	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
1800.07/926.74	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3076
1800.07/926.74	c constraints type 
1800.07/926.74	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465
1800.07/926.74	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061
1800.07/926.74	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
1800.07/926.74	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3076
1800.07/926.74	s SATISFIABLE
1800.07/926.75	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 
1800.07/926.76	c objective function=15820949
1800.07/926.76	c Total wall clock time (in seconds): 926.635

Verifier Data 

OK	15820949

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-3744142-1338804170/watcher-3744142-1338804170 -o /tmp/evaluation-result-3744142-1338804170/solver-3744142-1338804170 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744142-1338804170.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.00 1.99 3/170 2016
/proc/meminfo: memFree=21253100/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/2016/stat : 2016 (java6) D 2013 2016 6982 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 346545519 9515008 183 33554432000 1073741824 1073778376 140735905961152 140735905952184 235374722741 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/2016/statm: 2323 183 140 9 0 71 0

[startup+0.035319 s]
/proc/loadavg: 1.93 2.00 1.99 3/170 2016
/proc/meminfo: memFree=21253100/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2158136 CPUtime=0.01 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 3489 0 1 0 1 0 0 0 20 0 10 0 346545519 2209931264 4188 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 539534 4188 1540 9 0 530235 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2158136

[startup+0.100251 s]
/proc/loadavg: 1.93 2.00 1.99 3/170 2016
/proc/meminfo: memFree=21253100/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2699928 CPUtime=0.07 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 3907 0 1 0 6 1 0 0 20 0 18 0 346545519 2764726272 5626 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 674982 5626 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928

[startup+0.300221 s]
/proc/loadavg: 1.93 2.00 1.99 3/170 2016
/proc/meminfo: memFree=21253100/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2699928 CPUtime=0.5 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 6394 0 1 0 48 2 0 0 20 0 18 0 346545519 2764726272 9730 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 674982 9730 2227 9 0 665676 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2699928

[startup+0.700173 s]
/proc/loadavg: 1.93 2.00 1.99 3/170 2016
/proc/meminfo: memFree=21253100/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2966184 CPUtime=1.69 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 14383 0 1 0 164 5 0 0 20 0 22 0 346545519 3037372416 26820 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 741546 26820 2256 9 0 732240 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 2966184

[startup+1.5007 s]
/proc/loadavg: 1.93 2.00 1.99 2/213 2067
/proc/meminfo: memFree=21039552/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2966184 CPUtime=2.38 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 15807 0 1 0 231 7 0 0 20 0 20 0 346545519 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 741546 28386 2259 9 0 732240 0
[pid=2016/tid=2021] ppid=2013 vsize=2966184 CPUtime=0.51 cores=0,2,4,6
/proc/2016/task/2021/stat : 2021 (java) S 2013 2016 6982 0 -1 4202560 2813 0 1 0 49 2 0 0 20 0 20 0 346545520 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817911112856 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2028] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2028/stat : 2028 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817897237544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2029] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2029/stat : 2029 (java) S 2013 2016 6982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817776303016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2030] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2030/stat : 2030 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817775250216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2031] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2031/stat : 2031 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817774197416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2032] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2032/stat : 2032 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817773144616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2033] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2033/stat : 2033 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817772091816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2034] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2034/stat : 2034 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817771039016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2035] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2035/stat : 2035 (java) S 2013 2016 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817769986216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2044] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2044/stat : 2044 (java) S 2013 2016 6982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 346545523 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817287396328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2046] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2046/stat : 2046 (java) S 2013 2016 6982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346545523 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817286342392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2047] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2047/stat : 2047 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346545523 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817285289480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2050] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2050/stat : 2050 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545526 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817284237968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2051] ppid=2013 vsize=2966184 CPUtime=0.63 cores=0,2,4,6
/proc/2016/task/2051/stat : 2051 (java) S 2013 2016 6982 0 -1 4202560 4976 0 0 0 61 2 0 0 20 0 20 0 346545526 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817283185080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2052] ppid=2013 vsize=2966184 CPUtime=0.64 cores=0,2,4,6
/proc/2016/task/2052/stat : 2052 (java) S 2013 2016 6982 0 -1 4202560 6716 0 0 0 62 2 0 0 20 0 20 0 346545526 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817282132280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2054] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2054/stat : 2054 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545526 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817281079672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2057] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2057/stat : 2057 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545526 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817280027080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2066] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2066/stat : 2066 (java) S 2013 2016 6982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346545584 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817276868008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2067] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2067/stat : 2067 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346545585 3037372416 28386 33554432000 1073741824 1073778376 140736196474912 139817275815208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 2966184

[startup+3.10071 s]
/proc/loadavg: 1.93 2.00 1.99 1/213 2071
/proc/meminfo: memFree=21007020/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2966184 CPUtime=2.89 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 16315 0 1 0 278 11 0 0 20 0 20 0 346545519 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 741546 43750 2262 9 0 732240 0
[pid=2016/tid=2021] ppid=2013 vsize=2966184 CPUtime=0.57 cores=0,2,4,6
/proc/2016/task/2021/stat : 2021 (java) S 2013 2016 6982 0 -1 4202560 2817 0 1 0 54 3 0 0 20 0 20 0 346545520 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817911112856 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2028] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2028/stat : 2028 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817897237544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2029] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2029/stat : 2029 (java) S 2013 2016 6982 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817776303016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2030] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2030/stat : 2030 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817775250216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2031] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2031/stat : 2031 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817774197416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2032] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2032/stat : 2032 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817773144616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2033] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2033/stat : 2033 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817772091816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2034] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2034/stat : 2034 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817771039016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2035] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2035/stat : 2035 (java) S 2013 2016 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346545521 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817769986216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2044] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2044/stat : 2044 (java) S 2013 2016 6982 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346545523 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817287396328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2046] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2046/stat : 2046 (java) S 2013 2016 6982 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346545523 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817286342392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2047] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2047/stat : 2047 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346545523 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817285289480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2050] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2050/stat : 2050 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545526 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817284237968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2051] ppid=2013 vsize=2966184 CPUtime=0.75 cores=0,2,4,6
/proc/2016/task/2051/stat : 2051 (java) S 2013 2016 6982 0 -1 4202560 5436 0 0 0 73 2 0 0 20 0 20 0 346545526 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817283185080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2052] ppid=2013 vsize=2966184 CPUtime=0.77 cores=0,2,4,6
/proc/2016/task/2052/stat : 2052 (java) S 2013 2016 6982 0 -1 4202560 6716 0 0 0 75 2 0 0 20 0 20 0 346545526 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817282132280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2054] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2054/stat : 2054 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545526 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817281079672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2057] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2057/stat : 2057 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346545526 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817280027080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2066] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2066/stat : 2066 (java) S 2013 2016 6982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346545584 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817276868008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2067] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2067/stat : 2067 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346545585 3037372416 43750 33554432000 1073741824 1073778376 140736196474912 139817275815208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 2966184

[startup+6.30079 s]
/proc/loadavg: 1.78 1.97 1.98 3/215 2081
/proc/meminfo: memFree=20589960/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2966184 CPUtime=4.93 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 24681 0 1 0 471 22 0 0 20 0 22 0 346545519 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 741546 106644 2275 9 0 732240 0
[pid=2016/tid=2021] ppid=2013 vsize=2966184 CPUtime=0.62 cores=0,2,4,6
/proc/2016/task/2021/stat : 2021 (java) S 2013 2016 6982 0 -1 4202560 2821 0 1 0 59 3 0 0 20 0 22 0 346545520 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817911112872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2028] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2028/stat : 2028 (java) S 2013 2016 6982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346545521 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817897237544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2029] ppid=2013 vsize=2966184 CPUtime=0.02 cores=0,2,4,6
/proc/2016/task/2029/stat : 2029 (java) S 2013 2016 6982 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 346545521 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817776303016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2030] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2030/stat : 2030 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545521 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817775250216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2031] ppid=2013 vsize=2966184 CPUtime=0.01 cores=0,2,4,6
/proc/2016/task/2031/stat : 2031 (java) S 2013 2016 6982 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 346545521 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817774197416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2032] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2032/stat : 2032 (java) S 2013 2016 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346545521 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817773144616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2033] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2033/stat : 2033 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346545521 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817772091816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2034] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2034/stat : 2034 (java) S 2013 2016 6982 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346545521 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817771039016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2035] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2035/stat : 2035 (java) S 2013 2016 6982 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346545521 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817769986216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2044] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2044/stat : 2044 (java) S 2013 2016 6982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817287396328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2046] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2046/stat : 2046 (java) S 2013 2016 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817286342392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2047] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2047/stat : 2047 (java) S 2013 2016 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817285289480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2050] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2050/stat : 2050 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817284237968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2051] ppid=2013 vsize=2966184 CPUtime=1.17 cores=0,2,4,6
/proc/2016/task/2051/stat : 2051 (java) S 2013 2016 6982 0 -1 4202560 13608 0 0 0 114 3 0 0 20 0 22 0 346545526 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817283185080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2052] ppid=2013 vsize=2966184 CPUtime=0.86 cores=0,2,4,6
/proc/2016/task/2052/stat : 2052 (java) S 2013 2016 6982 0 -1 4202560 6716 0 0 0 84 2 0 0 20 0 22 0 346545526 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817282132280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2054] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2054/stat : 2054 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817281079672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2057] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2057/stat : 2057 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817280027080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2066] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2066/stat : 2066 (java) S 2013 2016 6982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346545584 3037372416 106644 33554432000 1073741824 1073778376 140736196474912 139817276868008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=2016/tid=2067] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2067/stat : 2067 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346545585 3037372416 181442 33554432000 1073741824 1073778376 140736196474912 139817275815208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2117] ppid=2013 vsize=2966184 CPUtime=316.08 cores=0,2,4,6
/proc/2016/task/2117/stat : 2117 (java) R 2013 2016 6982 0 -1 4202560 336 0 0 0 31602 6 0 0 20 0 22 0 346594462 3037372416 181442 33554432000 1073741824 1073778376 140736196474912 139817277918056 139817779052202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2118] ppid=2013 vsize=2966184 CPUtime=316.14 cores=0,2,4,6
/proc/2016/task/2118/stat : 2118 (java) R 2013 2016 6982 0 -1 4202560 382 0 0 0 31608 6 0 0 20 0 22 0 346594462 3037372416 181442 33554432000 1073741824 1073778376 140736196474912 139817278971024 139817778638561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1593.75
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.74 3.66 3.05 5/217 2122
/proc/meminfo: memFree=19729244/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2966184 CPUtime=1712.5 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 33727 0 1 0 171012 238 0 0 20 0 22 0 346545519 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 741546 184882 2288 9 0 732240 0
[pid=2016/tid=2021] ppid=2013 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/2016/task/2021/stat : 2021 (java) S 2013 2016 6982 0 -1 4202560 2851 0 1 0 82 3 0 0 20 0 22 0 346545520 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817911112872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2028] ppid=2013 vsize=2966184 CPUtime=4.7 cores=0,2,4,6
/proc/2016/task/2028/stat : 2028 (java) S 2013 2016 6982 0 -1 4202560 310 0 0 0 461 9 0 0 20 0 22 0 346545521 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817897237544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2029] ppid=2013 vsize=2966184 CPUtime=4.56 cores=0,2,4,6
/proc/2016/task/2029/stat : 2029 (java) S 2013 2016 6982 0 -1 4202560 323 0 0 0 447 9 0 0 20 0 22 0 346545521 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817776303016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2030] ppid=2013 vsize=2966184 CPUtime=4.37 cores=0,2,4,6
/proc/2016/task/2030/stat : 2030 (java) S 2013 2016 6982 0 -1 4202560 287 0 0 0 430 7 0 0 20 0 22 0 346545521 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817775250216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2031] ppid=2013 vsize=2966184 CPUtime=4.56 cores=0,2,4,6
/proc/2016/task/2031/stat : 2031 (java) S 2013 2016 6982 0 -1 4202560 312 0 0 0 449 7 0 0 20 0 22 0 346545521 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817774197416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2032] ppid=2013 vsize=2966184 CPUtime=4.6 cores=0,2,4,6
/proc/2016/task/2032/stat : 2032 (java) S 2013 2016 6982 0 -1 4202560 303 0 0 0 454 6 0 0 20 0 22 0 346545521 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817773144616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2033] ppid=2013 vsize=2966184 CPUtime=4.28 cores=0,2,4,6
/proc/2016/task/2033/stat : 2033 (java) S 2013 2016 6982 0 -1 4202560 308 0 0 0 421 7 0 0 20 0 22 0 346545521 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817772091816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2034] ppid=2013 vsize=2966184 CPUtime=4.53 cores=0,2,4,6
/proc/2016/task/2034/stat : 2034 (java) S 2013 2016 6982 0 -1 4202560 302 0 0 0 445 8 0 0 20 0 22 0 346545521 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817771039016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2035] ppid=2013 vsize=2966184 CPUtime=4.42 cores=0,2,4,6
/proc/2016/task/2035/stat : 2035 (java) S 2013 2016 6982 0 -1 4202560 308 0 0 0 434 8 0 0 20 0 22 0 346545521 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817769986216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2044] ppid=2013 vsize=2966184 CPUtime=24.02 cores=0,2,4,6
/proc/2016/task/2044/stat : 2044 (java) S 2013 2016 6982 0 -1 4202560 4650 0 0 0 2298 104 0 0 20 0 22 0 346545523 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817287396328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2046] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2046/stat : 2046 (java) S 2013 2016 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817286342392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2047] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2047/stat : 2047 (java) S 2013 2016 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817285289480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2050] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2050/stat : 2050 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817284237968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2051] ppid=2013 vsize=2966184 CPUtime=1.65 cores=0,2,4,6
/proc/2016/task/2051/stat : 2051 (java) S 2013 2016 6982 0 -1 4202560 13616 0 0 0 162 3 0 0 20 0 22 0 346545526 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817283185080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2052] ppid=2013 vsize=2966184 CPUtime=1.29 cores=0,2,4,6
/proc/2016/task/2052/stat : 2052 (java) S 2013 2016 6982 0 -1 4202560 6726 0 0 0 127 2 0 0 20 0 22 0 346545526 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817282132280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2054] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2054/stat : 2054 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817281079672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2057] ppid=2013 vsize=2966184 CPUtime=0.29 cores=0,2,4,6
/proc/2016/task/2057/stat : 2057 (java) S 2013 2016 6982 0 -1 4202560 51 0 0 0 17 12 0 0 20 0 22 0 346545526 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817280027080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2066] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2066/stat : 2066 (java) S 2013 2016 6982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346545584 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817276868008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2067] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2067/stat : 2067 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346545585 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817275815208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2117] ppid=2013 vsize=2966184 CPUtime=372.86 cores=0,2,4,6
/proc/2016/task/2117/stat : 2117 (java) R 2013 2016 6982 0 -1 4202560 396 0 0 0 37279 7 0 0 20 0 22 0 346594462 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817277918800 139817779124848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2118] ppid=2013 vsize=2966184 CPUtime=372.98 cores=0,2,4,6
/proc/2016/task/2118/stat : 2118 (java) R 2013 2016 6982 0 -1 4202560 454 0 0 0 37291 7 0 0 20 0 22 0 346594462 3037372416 184882 33554432000 1073741824 1073778376 140736196474912 139817278970128 139817778638208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1712.5
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+926.701 s]
/proc/loadavg: 3.64 3.66 3.08 7/217 2186
/proc/meminfo: memFree=20088232/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2966184 CPUtime=1800.07 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 33834 0 1 0 179759 248 0 0 20 0 22 0 346545519 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 741546 186380 2288 9 0 732240 0
[pid=2016/tid=2021] ppid=2013 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/2016/task/2021/stat : 2021 (java) S 2013 2016 6982 0 -1 4202560 2851 0 1 0 82 3 0 0 20 0 22 0 346545520 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817911112872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2028] ppid=2013 vsize=2966184 CPUtime=4.96 cores=0,2,4,6
/proc/2016/task/2028/stat : 2028 (java) S 2013 2016 6982 0 -1 4202560 310 0 0 0 487 9 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817897237544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2029] ppid=2013 vsize=2966184 CPUtime=4.78 cores=0,2,4,6
/proc/2016/task/2029/stat : 2029 (java) S 2013 2016 6982 0 -1 4202560 324 0 0 0 469 9 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817776303016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2030] ppid=2013 vsize=2966184 CPUtime=4.61 cores=0,2,4,6
/proc/2016/task/2030/stat : 2030 (java) S 2013 2016 6982 0 -1 4202560 288 0 0 0 454 7 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817775250216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2031] ppid=2013 vsize=2966184 CPUtime=4.8 cores=0,2,4,6
/proc/2016/task/2031/stat : 2031 (java) S 2013 2016 6982 0 -1 4202560 313 0 0 0 473 7 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817774197416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2032] ppid=2013 vsize=2966184 CPUtime=4.86 cores=0,2,4,6
/proc/2016/task/2032/stat : 2032 (java) S 2013 2016 6982 0 -1 4202560 304 0 0 0 480 6 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817773144616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2033] ppid=2013 vsize=2966184 CPUtime=4.51 cores=0,2,4,6
/proc/2016/task/2033/stat : 2033 (java) S 2013 2016 6982 0 -1 4202560 308 0 0 0 444 7 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817772091816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2034] ppid=2013 vsize=2966184 CPUtime=4.79 cores=0,2,4,6
/proc/2016/task/2034/stat : 2034 (java) S 2013 2016 6982 0 -1 4202560 303 0 0 0 471 8 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817771039016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2035] ppid=2013 vsize=2966184 CPUtime=4.65 cores=0,2,4,6
/proc/2016/task/2035/stat : 2035 (java) S 2013 2016 6982 0 -1 4202560 309 0 0 0 457 8 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817769986216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2044] ppid=2013 vsize=2966184 CPUtime=25.85 cores=0,2,4,6
/proc/2016/task/2044/stat : 2044 (java) S 2013 2016 6982 0 -1 4202560 4654 0 0 0 2474 111 0 0 20 0 22 0 346545523 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817287396328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2046] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2046/stat : 2046 (java) S 2013 2016 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817286342392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2047] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2047/stat : 2047 (java) S 2013 2016 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817285289480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2050] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2050/stat : 2050 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817284237968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2051] ppid=2013 vsize=2966184 CPUtime=1.65 cores=0,2,4,6
/proc/2016/task/2051/stat : 2051 (java) S 2013 2016 6982 0 -1 4202560 13616 0 0 0 162 3 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817283185080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2052] ppid=2013 vsize=2966184 CPUtime=1.29 cores=0,2,4,6
/proc/2016/task/2052/stat : 2052 (java) S 2013 2016 6982 0 -1 4202560 6726 0 0 0 127 2 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817282132280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2054] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2054/stat : 2054 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817281079672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2057] ppid=2013 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/2016/task/2057/stat : 2057 (java) S 2013 2016 6982 0 -1 4202560 55 0 0 0 18 12 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817280027080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2066] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2066/stat : 2066 (java) S 2013 2016 6982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346545584 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817276868008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2067] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2067/stat : 2067 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346545585 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817275815208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2117] ppid=2013 vsize=2966184 CPUtime=414.77 cores=0,2,4,6
/proc/2016/task/2117/stat : 2117 (java) R 2013 2016 6982 0 -1 4202560 446 0 0 0 41469 8 0 0 20 0 22 0 346594462 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817277918832 139817779143428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2118] ppid=2013 vsize=2966184 CPUtime=414.92 cores=0,2,4,6
/proc/2016/task/2118/stat : 2118 (java) R 2013 2016 6982 0 -1 4202560 497 0 0 0 41484 8 0 0 20 0 22 0 346594462 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817278970208 139817778638378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2966184

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

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

[startup+926.701 s]
/proc/loadavg: 3.64 3.66 3.08 7/217 2186
/proc/meminfo: memFree=20088232/32873844 swapFree=7112/7112
[pid=2016] ppid=2013 vsize=2966184 CPUtime=1800.07 cores=0,2,4,6
/proc/2016/stat : 2016 (java) S 2013 2016 6982 0 -1 4202496 33834 0 1 0 179759 248 0 0 20 0 22 0 346545519 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 140736196466048 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2016/statm: 741546 186380 2288 9 0 732240 0
[pid=2016/tid=2021] ppid=2013 vsize=2966184 CPUtime=0.85 cores=0,2,4,6
/proc/2016/task/2021/stat : 2021 (java) S 2013 2016 6982 0 -1 4202560 2851 0 1 0 82 3 0 0 20 0 22 0 346545520 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817911112872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2028] ppid=2013 vsize=2966184 CPUtime=4.96 cores=0,2,4,6
/proc/2016/task/2028/stat : 2028 (java) S 2013 2016 6982 0 -1 4202560 310 0 0 0 487 9 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817897237544 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2029] ppid=2013 vsize=2966184 CPUtime=4.78 cores=0,2,4,6
/proc/2016/task/2029/stat : 2029 (java) S 2013 2016 6982 0 -1 4202560 324 0 0 0 469 9 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817776303016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2030] ppid=2013 vsize=2966184 CPUtime=4.61 cores=0,2,4,6
/proc/2016/task/2030/stat : 2030 (java) S 2013 2016 6982 0 -1 4202560 288 0 0 0 454 7 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817775250216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2031] ppid=2013 vsize=2966184 CPUtime=4.8 cores=0,2,4,6
/proc/2016/task/2031/stat : 2031 (java) S 2013 2016 6982 0 -1 4202560 313 0 0 0 473 7 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817774197416 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2032] ppid=2013 vsize=2966184 CPUtime=4.86 cores=0,2,4,6
/proc/2016/task/2032/stat : 2032 (java) S 2013 2016 6982 0 -1 4202560 304 0 0 0 480 6 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817773144616 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2033] ppid=2013 vsize=2966184 CPUtime=4.51 cores=0,2,4,6
/proc/2016/task/2033/stat : 2033 (java) S 2013 2016 6982 0 -1 4202560 308 0 0 0 444 7 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817772091816 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2034] ppid=2013 vsize=2966184 CPUtime=4.79 cores=0,2,4,6
/proc/2016/task/2034/stat : 2034 (java) S 2013 2016 6982 0 -1 4202560 303 0 0 0 471 8 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817771039016 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2035] ppid=2013 vsize=2966184 CPUtime=4.65 cores=0,2,4,6
/proc/2016/task/2035/stat : 2035 (java) S 2013 2016 6982 0 -1 4202560 309 0 0 0 457 8 0 0 20 0 22 0 346545521 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817769986216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2044] ppid=2013 vsize=2966184 CPUtime=25.85 cores=0,2,4,6
/proc/2016/task/2044/stat : 2044 (java) S 2013 2016 6982 0 -1 4202560 4654 0 0 0 2474 111 0 0 20 0 22 0 346545523 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817287396328 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2046] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2046/stat : 2046 (java) S 2013 2016 6982 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817286342392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2047] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2047/stat : 2047 (java) S 2013 2016 6982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346545523 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817285289480 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2050] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2050/stat : 2050 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817284237968 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2051] ppid=2013 vsize=2966184 CPUtime=1.65 cores=0,2,4,6
/proc/2016/task/2051/stat : 2051 (java) S 2013 2016 6982 0 -1 4202560 13616 0 0 0 162 3 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817283185080 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2016/tid=2052] ppid=2013 vsize=2966184 CPUtime=1.29 cores=0,2,4,6
/proc/2016/task/2052/stat : 2052 (java) S 2013 2016 6982 0 -1 4202560 6726 0 0 0 127 2 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817282132280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2054] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2054/stat : 2054 (java) S 2013 2016 6982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817281079672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2016/tid=2057] ppid=2013 vsize=2966184 CPUtime=0.3 cores=0,2,4,6
/proc/2016/task/2057/stat : 2057 (java) S 2013 2016 6982 0 -1 4202560 55 0 0 0 18 12 0 0 20 0 22 0 346545526 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817280027080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2066] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2066/stat : 2066 (java) S 2013 2016 6982 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346545584 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817276868008 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2067] ppid=2013 vsize=2966184 CPUtime=0 cores=0,2,4,6
/proc/2016/task/2067/stat : 2067 (java) S 2013 2016 6982 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346545585 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817275815208 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2016/tid=2117] ppid=2013 vsize=2966184 CPUtime=414.77 cores=0,2,4,6
/proc/2016/task/2117/stat : 2117 (java) R 2013 2016 6982 0 -1 4202560 446 0 0 0 41469 8 0 0 20 0 22 0 346594462 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817277918832 139817779143428 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2016/tid=2118] ppid=2013 vsize=2966184 CPUtime=414.92 cores=0,2,4,6
/proc/2016/task/2118/stat : 2118 (java) R 2013 2016 6982 0 -1 4202560 497 0 0 0 41484 8 0 0 20 0 22 0 346594462 3037372416 186380 33554432000 1073741824 1073778376 140736196474912 139817278970208 139817778638378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2966184

Child status: 143
Real time (s): 926.768
CPU time (s): 1801.46
CPU user time (s): 1798.66
CPU system time (s): 2.80357
CPU usage (%): 194.381
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 2.80357
maximum resident set size= 745640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33865
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76546
involuntary context switches= 115618

runsolver used 3.23051 second user time and 8.20475 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-04 12:02:50
IDJOB=3744142
IDBENCH=92695
IDSOLVER=2324
FILE ID=node104/3744142-1338804170
RUNJOBID= node104-1338804170-1996
PBS_JOBID= 14636834
Free space on /tmp= 66432 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_7_mh.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744142-1338804170/watcher-3744142-1338804170 -o /tmp/evaluation-result-3744142-1338804170/solver-3744142-1338804170 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744142-1338804170.opb

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

MD5SUM BENCH= 578db65b35c9d87cb72f70788034039a
RANDOM SEED=560542537

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        21251192 kB
Buffers:         3057040 kB
Cached:          7464324 kB
SwapCached:          708 kB
Active:          7341320 kB
Inactive:        3200728 kB
Active(anon):       2892 kB
Inactive(anon):     8092 kB
Active(file):    7338428 kB
Inactive(file):  3192636 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105164 kB
Dirty:               920 kB
Writeback:             0 kB
AnonPages:         14856 kB
Mapped:            13468 kB
Shmem:                 8 kB
Slab:             938796 kB
SReclaimable:     379508 kB
SUnreclaim:       559288 kB
KernelStack:        1360 kB
PageTables:         3852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:      97608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 66428 MiB
End job on node104 at 2012-06-04 12:18:18