Trace number 3744144

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO) 1800.66 921.96

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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3744144-1338795597.opb
0.09/0.12	c reading problem ... 
0.77/0.48	c ... done. Wall clock time 0.368s.
0.77/0.48	c #vars     6810
0.77/0.48	c #constraints  15671
0.77/0.48	c constraints type 
0.77/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
0.77/0.49	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
0.77/0.49	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.77/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
0.77/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
0.77/0.49	c constraints type 
0.77/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465
0.77/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061
0.77/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
0.77/0.49	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
0.77/0.49	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3075
1.42/0.65	c  And the winner is Resolution
1.81/1.01	c SATISFIABLE
1.81/1.01	c OPTIMIZING...
1.81/1.01	c Got one! Elapsed wall clock time (in seconds):0.889
1.81/1.01	o 18230884
1.81/1.03	c  And the winner is Resolution
2.24/1.53	c Got one! Elapsed wall clock time (in seconds):1.415
2.24/1.53	o 18230650
2.24/1.58	c  And the winner is Resolution
2.47/2.05	c Got one! Elapsed wall clock time (in seconds):1.936
2.47/2.05	o 18214620
2.47/2.07	c  And the winner is Resolution
2.55/2.57	c Got one! Elapsed wall clock time (in seconds):2.454
2.55/2.57	o 18212716
2.55/2.59	c  And the winner is Resolution
2.64/3.09	c Got one! Elapsed wall clock time (in seconds):2.97
2.64/3.09	o 18212482
5.35/4.35	c  And the winner is Resolution
5.81/4.70	c Got one! Elapsed wall clock time (in seconds):4.587
5.81/4.70	o 17664261
6.60/5.14	c  And the winner is Resolution
7.03/5.52	c Got one! Elapsed wall clock time (in seconds):5.403
7.03/5.52	o 17658969
7.03/5.54	c  And the winner is Resolution
7.11/6.04	c Got one! Elapsed wall clock time (in seconds):5.919
7.11/6.04	o 16027146
7.11/6.05	c  And the winner is Resolution
7.17/6.55	c Got one! Elapsed wall clock time (in seconds):6.434
7.17/6.55	o 15961981
7.17/6.59	c  And the winner is Resolution
7.28/7.07	c Got one! Elapsed wall clock time (in seconds):6.95
7.28/7.07	o 15956432
7.37/7.14	c  And the winner is Resolution
7.47/7.58	c Got one! Elapsed wall clock time (in seconds):7.466
7.47/7.58	o 15908098
7.51/7.64	c  And the winner is Resolution
7.61/8.10	c Got one! Elapsed wall clock time (in seconds):7.98
7.61/8.10	o 15906476
8.01/8.34	c cleaning 3432 clauses out of 6864 with flag 1000/6870
11.73/10.12	c cleaning 4711 clauses out of 9428 with flag 7001/12871
15.31/12.00	c cleaning 5846 clauses out of 11716 with flag 14000/19870
19.92/14.24	c cleaning 6924 clauses out of 13870 with flag 22000/27870
25.12/16.88	c cleaning 7967 clauses out of 15947 with flag 31001/36871
30.28/19.43	c cleaning 8982 clauses out of 17979 with flag 41000/46870
36.64/22.65	c cleaning 9985 clauses out of 19997 with flag 52000/57870
42.58/25.68	c cleaning 10996 clauses out of 22012 with flag 64000/69870
49.34/29.03	c cleaning 11994 clauses out of 24017 with flag 77001/82871
56.93/32.83	c cleaning 12996 clauses out of 26022 with flag 91000/96870
65.14/36.97	c cleaning 14002 clauses out of 28027 with flag 106001/111871
73.30/41.09	c cleaning 15004 clauses out of 30027 with flag 122003/127873
81.83/45.31	c cleaning 15490 clauses out of 31020 with flag 138000/143870
90.00/49.48	c cleaning 15752 clauses out of 31532 with flag 154002/159872
99.15/54.02	c cleaning 15877 clauses out of 31778 with flag 170000/175870
107.32/58.14	c cleaning 15942 clauses out of 31901 with flag 186000/191870
116.84/62.91	c cleaning 15955 clauses out of 31959 with flag 202000/207870
125.40/67.20	c cleaning 15988 clauses out of 32005 with flag 218001/223871
133.54/71.37	c cleaning 15995 clauses out of 32016 with flag 234000/239870
141.47/75.32	c cleaning 15995 clauses out of 32024 with flag 250003/255873
150.37/79.85	c cleaning 16001 clauses out of 32026 with flag 266000/271870
159.13/84.28	c cleaning 15997 clauses out of 32025 with flag 282000/287870
166.86/88.16	c  And the winner is Resolution
167.27/88.44	c Got one! Elapsed wall clock time (in seconds):88.32
167.27/88.44	o 15894549
167.27/88.48	c  And the winner is Resolution
167.40/88.95	c Got one! Elapsed wall clock time (in seconds):88.836
167.40/88.95	o 15870981
167.50/89.04	c  And the winner is Resolution
167.62/89.47	c Got one! Elapsed wall clock time (in seconds):89.351
167.62/89.47	o 15864178
169.60/90.40	c cleaning 17557 clauses out of 35133 with flag 5000/306975
171.53/91.48	c  And the winner is Resolution
171.92/91.79	c Got one! Elapsed wall clock time (in seconds):91.678
171.92/91.79	o 15861882
172.21/91.98	c  And the winner is Resolution
172.90/92.56	c Got one! Elapsed wall clock time (in seconds):92.444
172.90/92.56	o 15834336
174.42/93.30	c cleaning 14228 clauses out of 28501 with flag 4005/317900
176.53/94.49	c cleaning 10119 clauses out of 20268 with flag 10000/323895
179.54/95.97	c cleaning 8567 clauses out of 17150 with flag 17001/330896
183.66/98.08	c cleaning 8268 clauses out of 16582 with flag 25000/338895
188.78/100.64	c cleaning 8638 clauses out of 17313 with flag 34000/347895
193.86/103.24	c cleaning 9335 clauses out of 18676 with flag 44001/357896
199.18/105.91	c cleaning 10156 clauses out of 20340 with flag 55000/368895
205.71/109.21	c cleaning 11082 clauses out of 22184 with flag 67000/380895
213.22/113.02	c cleaning 12034 clauses out of 24102 with flag 80000/393895
221.10/117.02	c cleaning 13029 clauses out of 26069 with flag 94001/407896
229.61/121.31	c cleaning 14009 clauses out of 28039 with flag 109000/422895
237.54/125.40	c cleaning 15011 clauses out of 30032 with flag 125002/438897
246.45/129.85	c cleaning 15495 clauses out of 31019 with flag 141000/454895
254.71/134.10	c cleaning 15752 clauses out of 31524 with flag 157000/470895
262.64/138.05	c cleaning 15868 clauses out of 31774 with flag 173002/486897
270.76/142.11	c cleaning 15941 clauses out of 31904 with flag 189000/502895
279.66/146.64	c cleaning 15968 clauses out of 31964 with flag 205001/518896
289.14/151.40	c cleaning 15993 clauses out of 31996 with flag 221001/534896
297.65/155.72	c cleaning 15996 clauses out of 32003 with flag 237001/550896
307.18/160.52	c cleaning 15991 clauses out of 32006 with flag 253000/566895
316.10/165.07	c cleaning 15998 clauses out of 32015 with flag 269000/582895
325.75/169.99	c cleaning 16002 clauses out of 32017 with flag 285000/598895
334.25/174.24	c cleaning 15990 clauses out of 32016 with flag 301001/614896
343.16/178.71	c cleaning 16004 clauses out of 32026 with flag 317001/630896
352.88/183.63	c cleaning 15999 clauses out of 32021 with flag 333000/646895
361.33/187.94	c cleaning 16008 clauses out of 32021 with flag 349000/662895
369.85/192.29	c cleaning 16000 clauses out of 32013 with flag 365000/678895
378.75/196.73	c cleaning 15996 clauses out of 32013 with flag 381000/694895
387.25/201.05	c cleaning 15998 clauses out of 32017 with flag 397000/710895
395.91/205.43	c cleaning 16000 clauses out of 32019 with flag 413000/726895
405.02/210.01	c cleaning 16002 clauses out of 32019 with flag 429000/742895
413.72/214.47	c cleaning 15998 clauses out of 32018 with flag 445001/758896
422.62/218.93	c cleaning 16003 clauses out of 32022 with flag 461003/774898
431.66/223.54	c cleaning 15991 clauses out of 32016 with flag 477000/790895
440.99/228.20	c cleaning 16002 clauses out of 32026 with flag 493001/806896
449.48/232.55	c cleaning 16009 clauses out of 32023 with flag 509000/822895
458.18/236.96	c cleaning 16000 clauses out of 32015 with flag 525001/838896
467.03/241.40	c cleaning 15999 clauses out of 32014 with flag 541000/854895
475.93/245.99	c cleaning 16005 clauses out of 32015 with flag 557001/870896
484.62/250.37	c cleaning 15992 clauses out of 32009 with flag 573000/886895
492.93/254.52	c cleaning 16000 clauses out of 32019 with flag 589002/902897
501.98/259.14	c cleaning 16002 clauses out of 32018 with flag 605001/918896
506.88/261.63	c  And the winner is Resolution
507.05/261.77	c Got one! Elapsed wall clock time (in seconds):261.652
507.05/261.77	o 15820949
508.78/262.69	c cleaning 15301 clauses out of 30620 with flag 5001/933500
511.09/263.80	c cleaning 10630 clauses out of 21319 with flag 11001/939500
513.40/265.04	c cleaning 8820 clauses out of 17688 with flag 18000/946499
516.22/266.57	c cleaning 8411 clauses out of 16868 with flag 26000/954499
522.52/269.71	c cleaning 8712 clauses out of 17457 with flag 35000/963499
527.42/272.24	c cleaning 9367 clauses out of 18745 with flag 45000/973499
532.72/275.00	c cleaning 10177 clauses out of 20378 with flag 56000/984499
539.36/278.31	c cleaning 11086 clauses out of 22202 with flag 68001/996500
546.22/281.84	c cleaning 12051 clauses out of 24115 with flag 81000/1009499
553.71/285.69	c cleaning 13028 clauses out of 26065 with flag 95001/1023500
562.41/290.03	c cleaning 14006 clauses out of 28037 with flag 110001/1038500
570.83/294.34	c cleaning 15007 clauses out of 30033 with flag 126003/1054502
579.30/298.61	c cleaning 15501 clauses out of 31024 with flag 142001/1070500
587.97/303.03	c cleaning 15757 clauses out of 31524 with flag 158002/1086501
596.47/307.35	c cleaning 15871 clauses out of 31765 with flag 174000/1102499
605.70/312.08	c cleaning 15945 clauses out of 31897 with flag 190003/1118502
614.39/316.42	c cleaning 15969 clauses out of 31950 with flag 206001/1134500
623.89/321.28	c cleaning 15980 clauses out of 31980 with flag 222000/1150499
633.15/325.96	c cleaning 15982 clauses out of 32000 with flag 238000/1166499
641.96/330.44	c cleaning 15996 clauses out of 32019 with flag 254001/1182500
651.43/335.27	c cleaning 15995 clauses out of 32022 with flag 270000/1198499
660.74/339.92	c cleaning 16009 clauses out of 32028 with flag 286001/1214500
669.21/344.27	c cleaning 15988 clauses out of 32018 with flag 302000/1230499
678.05/348.73	c cleaning 16004 clauses out of 32030 with flag 318000/1246499
686.72/353.17	c cleaning 16012 clauses out of 32027 with flag 334001/1262500
695.58/357.61	c cleaning 15987 clauses out of 32014 with flag 350000/1278499
703.86/361.88	c cleaning 15997 clauses out of 32028 with flag 366001/1294500
713.25/366.66	c cleaning 15999 clauses out of 32031 with flag 382001/1310500
722.33/371.23	c cleaning 16009 clauses out of 32033 with flag 398002/1326501
731.21/375.79	c cleaning 16005 clauses out of 32022 with flag 414000/1342499
740.08/380.21	c cleaning 15987 clauses out of 32017 with flag 430000/1358499
748.87/384.71	c cleaning 16003 clauses out of 32030 with flag 446000/1374499
757.36/389.05	c cleaning 16007 clauses out of 32027 with flag 462000/1390499
766.66/393.76	c cleaning 15998 clauses out of 32020 with flag 478000/1406499
775.75/398.30	c cleaning 16005 clauses out of 32022 with flag 494000/1422499
784.95/403.08	c cleaning 16002 clauses out of 32018 with flag 510001/1438500
794.02/407.60	c cleaning 15994 clauses out of 32015 with flag 526000/1454499
803.28/412.34	c cleaning 16006 clauses out of 32021 with flag 542000/1470499
812.53/417.04	c cleaning 15993 clauses out of 32016 with flag 558001/1486500
821.51/421.65	c cleaning 15997 clauses out of 32022 with flag 574000/1502499
830.75/426.39	c cleaning 16000 clauses out of 32025 with flag 590000/1518499
839.41/430.75	c cleaning 16010 clauses out of 32026 with flag 606001/1534500
847.66/434.91	c cleaning 16001 clauses out of 32015 with flag 622000/1550499
856.63/439.55	c cleaning 15986 clauses out of 32014 with flag 638000/1566499
865.08/443.83	c cleaning 16001 clauses out of 32027 with flag 654000/1582499
873.93/448.33	c cleaning 16004 clauses out of 32027 with flag 670001/1598500
882.77/452.88	c cleaning 15995 clauses out of 32023 with flag 686001/1614500
892.16/457.68	c cleaning 16000 clauses out of 32027 with flag 702000/1630499
901.60/462.41	c cleaning 16001 clauses out of 32030 with flag 718003/1646502
910.05/466.77	c cleaning 15996 clauses out of 32026 with flag 734000/1662499
918.89/471.20	c cleaning 16003 clauses out of 32030 with flag 750000/1678499
927.69/475.74	c cleaning 16005 clauses out of 32028 with flag 766001/1694500
936.14/480.01	c cleaning 16006 clauses out of 32025 with flag 782003/1710502
945.40/484.77	c cleaning 16002 clauses out of 32016 with flag 798000/1726499
954.85/489.56	c cleaning 15996 clauses out of 32014 with flag 814000/1742499
965.00/494.76	c cleaning 16005 clauses out of 32018 with flag 830000/1758499
974.06/499.38	c cleaning 15995 clauses out of 32015 with flag 846002/1774501
983.30/504.05	c cleaning 16002 clauses out of 32020 with flag 862002/1790501
991.94/508.42	c cleaning 15997 clauses out of 32017 with flag 878001/1806500
1000.49/512.82	c cleaning 16002 clauses out of 32020 with flag 894001/1822500
1008.92/517.12	c cleaning 15998 clauses out of 32017 with flag 910000/1838499
1018.17/521.84	c cleaning 15996 clauses out of 32021 with flag 926002/1854501
1027.01/526.38	c cleaning 15994 clauses out of 32023 with flag 942000/1870499
1035.77/530.83	c cleaning 16011 clauses out of 32029 with flag 958000/1886499
1045.02/535.52	c cleaning 16004 clauses out of 32018 with flag 974000/1902499
1054.85/540.55	c cleaning 15996 clauses out of 32015 with flag 990001/1918500
1063.89/545.15	c cleaning 15988 clauses out of 32018 with flag 1006000/1934499
1072.43/549.58	c cleaning 16000 clauses out of 32030 with flag 1022000/1950499
1081.08/553.95	c cleaning 15999 clauses out of 32031 with flag 1038001/1966500
1089.50/558.24	c cleaning 16010 clauses out of 32034 with flag 1054003/1982502
1098.34/562.75	c cleaning 15997 clauses out of 32021 with flag 1070000/1998499
1107.47/567.44	c cleaning 16008 clauses out of 32025 with flag 1086001/2014500
1116.52/572.04	c cleaning 16001 clauses out of 32016 with flag 1102000/2030499
1126.12/576.93	c cleaning 15995 clauses out of 32015 with flag 1118000/2046499
1135.35/581.66	c cleaning 15996 clauses out of 32020 with flag 1134000/2062499
1145.47/586.89	c cleaning 15995 clauses out of 32024 with flag 1150000/2078499
1155.11/591.75	c cleaning 16004 clauses out of 32034 with flag 1166005/2094504
1164.55/596.53	c cleaning 16005 clauses out of 32025 with flag 1182000/2110499
1173.80/601.28	c cleaning 15996 clauses out of 32021 with flag 1198001/2126500
1182.33/605.61	c cleaning 16003 clauses out of 32025 with flag 1214001/2142500
1190.95/610.02	c cleaning 16000 clauses out of 32021 with flag 1230000/2158499
1199.97/614.61	c cleaning 16001 clauses out of 32021 with flag 1246000/2174499
1208.39/618.94	c cleaning 16002 clauses out of 32020 with flag 1262000/2190499
1217.12/623.44	c cleaning 15984 clauses out of 32018 with flag 1278000/2206499
1225.94/627.93	c cleaning 16013 clauses out of 32038 with flag 1294004/2222503
1234.16/632.12	c cleaning 16004 clauses out of 32021 with flag 1310000/2238499
1242.39/636.37	c cleaning 15992 clauses out of 32017 with flag 1326000/2254499
1250.73/640.66	c cleaning 16002 clauses out of 32027 with flag 1342002/2270501
1259.14/644.92	c cleaning 15994 clauses out of 32023 with flag 1358000/2286499
1268.97/649.90	c cleaning 16000 clauses out of 32029 with flag 1374000/2302499
1277.80/654.44	c cleaning 16003 clauses out of 32029 with flag 1390000/2318499
1286.91/659.11	c cleaning 16007 clauses out of 32029 with flag 1406003/2334502
1294.95/663.29	c cleaning 15999 clauses out of 32019 with flag 1422000/2350499
1303.96/667.85	c cleaning 16000 clauses out of 32020 with flag 1438000/2366499
1312.56/672.27	c cleaning 15997 clauses out of 32021 with flag 1454001/2382500
1321.89/677.01	c cleaning 15999 clauses out of 32023 with flag 1470000/2398499
1331.55/681.92	c cleaning 15997 clauses out of 32024 with flag 1486000/2414499
1340.17/686.37	c cleaning 16005 clauses out of 32030 with flag 1502003/2430502
1349.19/690.93	c cleaning 16008 clauses out of 32026 with flag 1518004/2446503
1357.92/695.40	c cleaning 16003 clauses out of 32015 with flag 1534001/2462500
1366.16/699.66	c cleaning 15997 clauses out of 32013 with flag 1550002/2478501
1374.16/703.76	c cleaning 15991 clauses out of 32014 with flag 1566000/2494499
1382.38/707.98	c cleaning 15988 clauses out of 32023 with flag 1582000/2510499
1391.93/712.83	c cleaning 15997 clauses out of 32036 with flag 1598001/2526500
1401.77/717.87	c cleaning 15998 clauses out of 32038 with flag 1614000/2542499
1410.58/722.35	c cleaning 16007 clauses out of 32040 with flag 1630000/2558499
1419.60/726.97	c cleaning 15995 clauses out of 32033 with flag 1646000/2574499
1428.92/731.70	c cleaning 16002 clauses out of 32038 with flag 1662000/2590499
1437.15/735.93	c cleaning 16006 clauses out of 32037 with flag 1678001/2606500
1445.76/740.32	c cleaning 16009 clauses out of 32030 with flag 1694000/2622499
1454.58/744.81	c cleaning 16005 clauses out of 32024 with flag 1710003/2638502
1463.89/749.63	c cleaning 15983 clauses out of 32016 with flag 1726000/2654499
1472.70/754.12	c cleaning 16001 clauses out of 32033 with flag 1742000/2670499
1481.70/758.71	c cleaning 15994 clauses out of 32033 with flag 1758001/2686500
1489.71/762.83	c cleaning 16013 clauses out of 32039 with flag 1774001/2702500
1498.00/767.16	c cleaning 16005 clauses out of 32026 with flag 1790001/2718500
1506.62/771.55	c cleaning 15992 clauses out of 32024 with flag 1806004/2734503
1515.42/776.00	c cleaning 16007 clauses out of 32028 with flag 1822000/2750499
1524.25/780.58	c cleaning 16002 clauses out of 32021 with flag 1838000/2766499
1534.76/785.91	c cleaning 16004 clauses out of 32022 with flag 1854003/2782502
1543.57/790.49	c cleaning 15987 clauses out of 32015 with flag 1870000/2798499
1552.80/795.10	c cleaning 15998 clauses out of 32028 with flag 1886000/2814499
1561.81/799.74	c cleaning 16009 clauses out of 32031 with flag 1902001/2830500
1570.71/804.36	c cleaning 16007 clauses out of 32022 with flag 1918001/2846500
1580.33/809.25	c cleaning 15990 clauses out of 32014 with flag 1934000/2862499
1589.33/813.80	c cleaning 16001 clauses out of 32027 with flag 1950003/2878502
1598.34/818.43	c cleaning 15993 clauses out of 32023 with flag 1966000/2894499
1607.21/823.05	c cleaning 15997 clauses out of 32034 with flag 1982004/2910503
1616.22/827.63	c cleaning 16011 clauses out of 32034 with flag 1998001/2926500
1625.63/832.50	c cleaning 15995 clauses out of 32022 with flag 2014000/2942499
1635.25/837.37	c cleaning 16002 clauses out of 32027 with flag 2030000/2958499
1645.15/842.47	c cleaning 15994 clauses out of 32025 with flag 2046000/2974499
1653.95/846.97	c cleaning 16005 clauses out of 32033 with flag 2062002/2990501
1662.93/851.51	c cleaning 16003 clauses out of 32026 with flag 2078000/3006499
1671.53/855.98	c cleaning 16005 clauses out of 32023 with flag 2094000/3022499
1680.64/860.66	c cleaning 15992 clauses out of 32019 with flag 2110001/3038500
1689.84/865.34	c cleaning 15989 clauses out of 32026 with flag 2126000/3054499
1698.85/869.92	c cleaning 16006 clauses out of 32037 with flag 2142000/3070499
1708.45/874.81	c cleaning 16000 clauses out of 32031 with flag 2158000/3086499
1717.34/879.42	c cleaning 15998 clauses out of 32031 with flag 2174000/3102499
1725.96/883.87	c cleaning 16005 clauses out of 32034 with flag 2190001/3118500
1734.55/888.22	c cleaning 15997 clauses out of 32028 with flag 2206000/3134499
1743.34/892.79	c cleaning 16004 clauses out of 32032 with flag 2222001/3150500
1752.62/897.54	c cleaning 16006 clauses out of 32027 with flag 2238000/3166499
1761.83/902.25	c cleaning 16004 clauses out of 32025 with flag 2254004/3182503
1770.24/906.58	c cleaning 16001 clauses out of 32017 with flag 2270000/3198499
1779.24/911.16	c cleaning 15997 clauses out of 32017 with flag 2286001/3214500
1788.72/916.09	c cleaning 15999 clauses out of 32019 with flag 2302000/3230499
1797.53/920.60	c cleaning 15999 clauses out of 32020 with flag 2318000/3246499
1800.14/921.91	c starts		: 265
1800.14/921.91	c conflicts		: 3250755
1800.14/921.91	c decisions		: 7364602
1800.14/921.91	c propagations		: 702829361
1800.14/921.91	c inspects		: 2932312320
1800.14/921.91	c shortcuts		: 0
1800.14/921.91	c learnt literals	: 15
1800.14/921.91	c learnt binary clauses	: 777
1800.14/921.91	c learnt ternary clauses	: 7131
1800.14/921.91	c learnt constraints	: 3250739
1800.14/921.91	c ignored constraints	: 0
1800.14/921.91	c root simplifications	: 0
1800.14/921.91	c removed literals (reason simplification)	: 21884407
1800.14/921.91	c reason swapping (by a shorter reason)	: 0
1800.14/921.91	c Calls to reduceDB	: 214
1800.14/921.91	c number of reductions to clauses (during analyze)	: 0
1800.14/921.91	c number of learned constraints concerned by reduction	: 0
1800.14/921.91	c number of learning phase by resolution	: 0
1800.14/921.91	c number of learning phase by cutting planes	: 0
1800.14/921.91	c speed (assignments/second)	: 1064670.8400364772
1800.14/921.91	c non guided choices	3896
1800.14/921.92	c learnt constraints type 
1800.14/921.92	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 777
1800.14/921.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19536
1800.14/921.92	c constraints type 
1800.14/921.92	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
1800.14/921.92	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
1800.14/921.92	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.14/921.92	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
1800.14/921.92	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3076
1800.14/921.92	c constraints type 
1800.14/921.92	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9465
1800.14/921.92	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3061
1800.14/921.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 22
1800.14/921.92	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
1800.14/921.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3076
1800.14/921.92	s SATISFIABLE
1800.14/921.93	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.14/921.94	c objective function=15820949
1800.14/921.94	c Total wall clock time (in seconds): 921.825

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-3744144-1338795597/watcher-3744144-1338795597 -o /tmp/evaluation-result-3744144-1338795597/solver-3744144-1338795597 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744144-1338795597.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.71 3.56 3.45 4/197 24505
/proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24505/stat : 24505 (java) D 24503 24505 22704 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 345685668 9515008 182 33554432000 1073741824 1073778376 140733380716784 140733380707816 217410518709 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/24505/statm: 2323 182 140 9 0 71 0

[startup+0.0251661 s]
/proc/loadavg: 3.71 3.56 3.45 4/197 24505
/proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=10510056 CPUtime=0 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 2713 0 1 0 0 0 0 0 20 0 2 0 345685668 10762297344 5972 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2627514 5972 942 9 0 2618623 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10510056

[startup+0.100189 s]
/proc/loadavg: 3.71 3.56 3.45 4/197 24505
/proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 5321 0 1 0 8 1 0 0 20 0 18 0 345685668 11864465408 13148 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2896598 13148 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300199 s]
/proc/loadavg: 3.71 3.56 3.45 4/197 24505
/proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11586392 CPUtime=0.52 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 7218 0 1 0 50 2 0 0 20 0 18 0 345685668 11864465408 17004 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2896598 17004 2235 9 0 2887285 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 11586392

[startup+0.70025 s]
/proc/loadavg: 3.71 3.56 3.45 4/197 24505
/proc/meminfo: memFree=27798928/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11852648 CPUtime=1.76 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 12773 0 1 0 170 6 0 0 20 0 19 0 345685668 12137111552 30485 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2963162 30485 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 11852648

[startup+1.5006 s]
/proc/loadavg: 3.71 3.56 3.45 4/216 24527
/proc/meminfo: memFree=27686048/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11852648 CPUtime=2.24 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 18618 0 1 0 216 8 0 0 20 0 19 0 345685668 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2963162 36182 2262 9 0 2953849 0
[pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3456 0 1 0 46 2 0 0 20 0 19 0 345685669 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928424682648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685674 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=0.7 cores=1,3,5,7
/proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6790 0 0 0 68 2 0 0 20 0 19 0 345685674 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7073 0 0 0 62 2 0 0 20 0 19 0 345685674 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685674 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685675 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345685719 12137111552 36182 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 11852648

[startup+3.10056 s]
/proc/loadavg: 3.71 3.56 3.45 3/216 24536
/proc/meminfo: memFree=27635652/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11852648 CPUtime=2.68 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 18702 0 1 0 254 14 0 0 20 0 22 0 345685668 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2963162 47485 2265 9 0 2953849 0
[pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3460 0 1 0 53 3 0 0 20 0 22 0 345685669 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345685671 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=0.79 cores=1,3,5,7
/proc/24505/task/24520/stat : 24520 (java) R 24503 24505 22704 0 -1 4202560 6800 0 0 0 77 2 0 0 20 0 22 0 345685674 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928237897920 139928430874640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/24505/task/24521/stat : 24521 (java) R 24503 24505 22704 0 -1 4202560 7092 0 0 0 72 2 0 0 20 0 22 0 345685674 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413902773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685675 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685719 12137111552 47485 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 11852648

[startup+6.30063 s]
/proc/loadavg: 3.65 3.55 3.45 4/218 24548
/proc/meminfo: memFree=26210856/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11852648 CPUtime=7.17 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 19522 0 1 0 673 44 0 0 20 0 19 0 345685668 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2963162 410031 2268 9 0 2953849 0
[pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.61 cores=1,3,5,7
/proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3463 0 1 0 58 3 0 0 20 0 19 0 345685669 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 345685671 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345685672 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685674 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6849 0 0 0 96 2 0 0 20 0 19 0 345685674 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=0.87 cores=1,3,5,7
/proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7121 0 0 0 85 2 0 0 20 0 19 0 345685674 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685674 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345685675 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345685719 12137111552 410031 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 11852648

[startup+12.7007 s]

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

[pid=24505/tid=24583] ppid=24503 vsize=11852648 CPUtime=534.47 cores=1,3,5,7
/proc/24505/task/24583/stat : 24583 (java) R 24503 24505 22704 0 -1 4202560 113 0 0 0 53439 8 0 0 20 0 22 0 345711845 12137111552 917228 33554432000 1073741824 1073778376 140735227722544 139928231579856 139928365574403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24584] ppid=24503 vsize=11852648 CPUtime=534.52 cores=1,3,5,7
/proc/24505/task/24584/stat : 24584 (java) R 24503 24505 22704 0 -1 4202560 58 0 0 0 53444 8 0 0 20 0 22 0 345711845 12137111552 917228 33554432000 1073741824 1073778376 140735227722544 139928233683664 139928364841490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24585] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24585/stat : 24585 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345711846 12137111552 917228 33554432000 1073741824 1073778376 140735227722544 139928232634024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1605.82
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.89 3.84 3.69 5/219 24691
/proc/meminfo: memFree=24122996/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11852648 CPUtime=1722.95 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 21728 0 1 0 172144 151 0 0 20 0 22 0 345685668 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2963162 918284 2293 9 0 2953849 0
[pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3523 0 1 0 76 4 0 0 20 0 22 0 345685669 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 93 0 0 0 91 3 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 94 0 0 0 90 2 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 69 0 0 0 87 2 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 82 0 0 0 88 3 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 80 0 0 0 92 3 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 60 0 0 0 87 3 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0.86 cores=1,3,5,7
/proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 84 2 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 71 0 0 0 93 2 0 0 20 0 22 0 345685671 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=33.09 cores=1,3,5,7
/proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 155 0 0 0 3298 11 0 0 20 0 22 0 345685672 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6899 0 0 0 136 2 0 0 20 0 22 0 345685674 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7153 0 0 0 108 2 0 0 20 0 22 0 345685674 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 51 0 0 0 15 18 0 0 20 0 22 0 345685675 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685719 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24583] ppid=24503 vsize=11852648 CPUtime=591.3 cores=1,3,5,7
/proc/24505/task/24583/stat : 24583 (java) R 24503 24505 22704 0 -1 4202560 122 0 0 0 59122 8 0 0 20 0 22 0 345711845 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928231579856 139928365249595 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24584] ppid=24503 vsize=11852648 CPUtime=591.35 cores=1,3,5,7
/proc/24505/task/24584/stat : 24584 (java) R 24503 24505 22704 0 -1 4202560 67 0 0 0 59127 8 0 0 20 0 22 0 345711845 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928233683664 139928365271814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24585] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24585/stat : 24585 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345711846 12137111552 918284 33554432000 1073741824 1073778376 140735227722544 139928232634024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1722.95
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+921.901 s]
/proc/loadavg: 3.94 3.86 3.70 5/219 24694
/proc/meminfo: memFree=24100224/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11852648 CPUtime=1800.14 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 21804 0 1 0 179861 153 0 0 20 0 22 0 345685668 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2963162 921913 2293 9 0 2953849 0
[pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3526 0 1 0 76 4 0 0 20 0 22 0 345685669 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 96 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 96 2 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 80 0 0 0 93 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 100 0 0 0 95 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 81 0 0 0 98 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 66 0 0 0 94 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 96 0 0 0 88 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 83 0 0 0 99 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=35.24 cores=1,3,5,7
/proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 161 0 0 0 3512 12 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6899 0 0 0 136 2 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7153 0 0 0 108 2 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 53 0 0 0 15 20 0 0 20 0 22 0 345685675 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685719 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24583] ppid=24503 vsize=11852648 CPUtime=628.59 cores=1,3,5,7
/proc/24505/task/24583/stat : 24583 (java) R 24503 24505 22704 0 -1 4202560 129 0 0 0 62850 9 0 0 20 0 22 0 345711845 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928231579856 139928365574673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24584] ppid=24503 vsize=11852648 CPUtime=628.63 cores=1,3,5,7
/proc/24505/task/24584/stat : 24584 (java) R 24503 24505 22704 0 -1 4202560 73 0 0 0 62854 9 0 0 20 0 22 0 345711845 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928233683664 139928364842023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24585] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24585/stat : 24585 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345711846 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928232634024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 11852648

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

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

[startup+921.901 s]
/proc/loadavg: 3.94 3.86 3.70 5/219 24694
/proc/meminfo: memFree=24100224/32873648 swapFree=7628/7628
[pid=24505] ppid=24503 vsize=11852648 CPUtime=1800.14 cores=1,3,5,7
/proc/24505/stat : 24505 (java) S 24503 24505 22704 0 -1 4202496 21804 0 1 0 179861 153 0 0 20 0 22 0 345685668 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 140735227713680 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24505/statm: 2963162 921913 2293 9 0 2953849 0
[pid=24505/tid=24507] ppid=24503 vsize=11852648 CPUtime=0.8 cores=1,3,5,7
/proc/24505/task/24507/stat : 24507 (java) S 24503 24505 22704 0 -1 4202560 3526 0 1 0 76 4 0 0 20 0 22 0 345685669 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928424682664 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24508] ppid=24503 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/24505/task/24508/stat : 24508 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 96 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928363412392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24509] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/24505/task/24509/stat : 24509 (java) S 24503 24505 22704 0 -1 4202560 95 0 0 0 96 2 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928362359848 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24510] ppid=24503 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/24505/task/24510/stat : 24510 (java) S 24503 24505 22704 0 -1 4202560 80 0 0 0 93 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928361306792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24511] ppid=24503 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/24505/task/24511/stat : 24511 (java) S 24503 24505 22704 0 -1 4202560 100 0 0 0 95 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928360254248 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24512] ppid=24503 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/24505/task/24512/stat : 24512 (java) S 24503 24505 22704 0 -1 4202560 81 0 0 0 98 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928359201192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24513] ppid=24503 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/24505/task/24513/stat : 24513 (java) S 24503 24505 22704 0 -1 4202560 66 0 0 0 94 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928358148648 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24514] ppid=24503 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/24505/task/24514/stat : 24514 (java) S 24503 24505 22704 0 -1 4202560 96 0 0 0 88 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928255359144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24515] ppid=24503 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/24505/task/24515/stat : 24515 (java) S 24503 24505 22704 0 -1 4202560 83 0 0 0 99 3 0 0 20 0 22 0 345685671 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928254306600 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24516] ppid=24503 vsize=11852648 CPUtime=35.24 cores=1,3,5,7
/proc/24505/task/24516/stat : 24516 (java) S 24503 24505 22704 0 -1 4202560 161 0 0 0 3512 12 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928242109288 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24517] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24517/stat : 24517 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928241055608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24518] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24518/stat : 24518 (java) S 24503 24505 22704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 345685672 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928240002440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24519] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24519/stat : 24519 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928238951184 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24520] ppid=24503 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/24505/task/24520/stat : 24520 (java) S 24503 24505 22704 0 -1 4202560 6899 0 0 0 136 2 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928237898040 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24521] ppid=24503 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/24505/task/24521/stat : 24521 (java) S 24503 24505 22704 0 -1 4202560 7153 0 0 0 108 2 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928236845496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24505/tid=24522] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24522/stat : 24522 (java) S 24503 24505 22704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 345685674 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928235792632 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24505/tid=24523] ppid=24503 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/24505/task/24523/stat : 24523 (java) S 24503 24505 22704 0 -1 4202560 53 0 0 0 15 20 0 0 20 0 22 0 345685675 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928234740296 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24527] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24527/stat : 24527 (java) S 24503 24505 22704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 345685719 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928230528424 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24583] ppid=24503 vsize=11852648 CPUtime=628.59 cores=1,3,5,7
/proc/24505/task/24583/stat : 24583 (java) R 24503 24505 22704 0 -1 4202560 129 0 0 0 62850 9 0 0 20 0 22 0 345711845 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928231579856 139928365574673 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24505/tid=24584] ppid=24503 vsize=11852648 CPUtime=628.63 cores=1,3,5,7
/proc/24505/task/24584/stat : 24584 (java) R 24503 24505 22704 0 -1 4202560 73 0 0 0 62854 9 0 0 20 0 22 0 345711845 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928233683664 139928364842023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24505/tid=24585] ppid=24503 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/24505/task/24585/stat : 24585 (java) S 24503 24505 22704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 345711846 12137111552 921913 33554432000 1073741824 1073778376 140735227722544 139928232634024 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 11852648

Child status: 143
Real time (s): 921.96
CPU time (s): 1800.66
CPU user time (s): 1798.75
CPU system time (s): 1.91371
CPU usage (%): 195.308
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.91371
maximum resident set size= 3687788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21840
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31274
involuntary context switches= 34629

runsolver used 3.59145 second user time and 8.20375 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-04 09:39:57
IDJOB=3744144
IDBENCH=92695
IDSOLVER=2328
FILE ID=node122/3744144-1338795597
RUNJOBID= node122-1338785055-22721
PBS_JOBID= 14636854
Free space on /tmp= 71184 MiB

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

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

MD5SUM BENCH= 578db65b35c9d87cb72f70788034039a
RANDOM SEED=34102923

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27798820 kB
Buffers:          274900 kB
Cached:           301252 kB
SwapCached:         1584 kB
Active:          4006244 kB
Inactive:         208772 kB
Active(anon):    3636128 kB
Inactive(anon):     5436 kB
Active(file):     370116 kB
Inactive(file):   203336 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100244 kB
Dirty:               568 kB
Writeback:             0 kB
AnonPages:       3647588 kB
Mapped:            17004 kB
Shmem:                 0 kB
Slab:             713856 kB
SReclaimable:     157564 kB
SUnreclaim:       556292 kB
KernelStack:        1616 kB
PageTables:        10964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10495480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3588096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71184 MiB
End job on node122 at 2012-06-04 09:55:21