Trace number 3690037

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
Sat 4j PB Resolution 2.3.2 SnapshotOPT 710.67 707.023

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_5_mh_ic.opb
MD5SUM2c36639357988247c648b63af301f230
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2814188
Best CPU time to get the best result obtained on this benchmark710.67
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9765
Total number of constraints21293
Number of constraints which are clauses14520
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints6750
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 4005
Biggest coefficient in the objective function 90518849
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4575401133
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 90518849
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4575401133
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.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.10	c version 2.3.2.v20120418
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		501472288
0.06/0.10	c Max memory 		7480803328
0.06/0.10	c Total memory 		504102912
0.06/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3690037-1337895364.opb
0.10/0.12	c reading problem ... 
0.69/0.47	c ... done. Wall clock time 0.347s.
0.69/0.47	c declared #vars     9765
0.69/0.47	c #constraints  21927
0.69/0.47	c constraints type 
0.69/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
0.69/0.47	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
0.69/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.69/0.47	c ignored satisfied constraints => 4
0.69/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
0.69/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015
0.69/0.47	c 21931 constraints processed.
0.69/0.47	c objective function length is 4005 literals
1.31/0.78	c SATISFIABLE
1.31/0.78	c OPTIMIZING...
1.31/0.78	c Got one! Elapsed wall clock time (in seconds):0.657
1.31/0.78	o 13785343
1.45/0.86	c Got one! Elapsed wall clock time (in seconds):0.741
1.45/0.86	o 11929927
2.83/1.97	c cleaning 2674 clauses out of 5360 with flag 5002/5362
3.51/2.55	c Got one! Elapsed wall clock time (in seconds):2.43
3.51/2.55	o 8239053
3.51/2.59	c Got one! Elapsed wall clock time (in seconds):2.465
3.51/2.59	o 3565070
4.13/3.06	c cleaning 3957 clauses out of 7918 with flag 2002/10601
4.86/3.71	c Got one! Elapsed wall clock time (in seconds):3.591
4.86/3.71	o 3528382
5.50/4.35	c cleaning 4825 clauses out of 9657 with flag 3001/16297
6.90/5.73	c cleaning 5412 clauses out of 10831 with flag 9000/22296
7.56/6.33	c Got one! Elapsed wall clock time (in seconds):6.213
7.56/6.33	o 3527424
8.06/6.80	c cleaning 5478 clauses out of 10974 with flag 3001/27851
9.47/8.20	c cleaning 5744 clauses out of 11496 with flag 9001/33851
10.37/9.11	c Got one! Elapsed wall clock time (in seconds):8.991
10.37/9.11	o 3517318
10.67/9.46	c cleaning 5719 clauses out of 11438 with flag 2001/39537
11.87/10.65	c cleaning 5859 clauses out of 11719 with flag 8001/45537
12.39/11.11	c Got one! Elapsed wall clock time (in seconds):10.988
12.39/11.11	o 3445236
12.39/11.16	c Got one! Elapsed wall clock time (in seconds):11.04
12.39/11.16	o 3290166
13.19/11.94	c cleaning 5970 clauses out of 11967 with flag 4001/51644
14.71/13.42	c cleaning 5992 clauses out of 11996 with flag 10000/57643
15.91/14.68	c Got one! Elapsed wall clock time (in seconds):14.556
15.91/14.68	o 3250288
16.11/14.89	c Got one! Elapsed wall clock time (in seconds):14.767
16.11/14.89	o 3244803
16.91/15.64	c Got one! Elapsed wall clock time (in seconds):15.514
16.91/15.64	o 3201488
17.31/16.04	c cleaning 9074 clauses out of 18186 with flag 2000/69825
17.64/16.30	c Got one! Elapsed wall clock time (in seconds):16.177
17.64/16.30	o 3134898
17.85/16.52	c Got one! Elapsed wall clock time (in seconds):16.403
17.85/16.52	o 3084707
18.54/17.23	c cleaning 7182 clauses out of 14400 with flag 3000/75113
20.06/18.74	c cleaning 6601 clauses out of 13216 with flag 9000/81113
21.59/20.27	c cleaning 6799 clauses out of 13613 with flag 16000/88113
23.41/22.02	c cleaning 7403 clauses out of 14816 with flag 24002/96115
25.40/24.09	c cleaning 8203 clauses out of 16414 with flag 33003/105116
27.71/26.34	c cleaning 9096 clauses out of 18209 with flag 43001/115114
30.21/28.89	c cleaning 10043 clauses out of 20112 with flag 54000/126113
33.01/31.69	c cleaning 11031 clauses out of 22069 with flag 66000/138113
36.02/34.69	c cleaning 12019 clauses out of 24038 with flag 79000/151113
39.22/37.86	c cleaning 13005 clauses out of 26019 with flag 93000/165113
42.55/41.15	c cleaning 14002 clauses out of 28014 with flag 108000/180113
46.38/44.90	c cleaning 14997 clauses out of 30012 with flag 124000/196113
49.99/48.53	c cleaning 16000 clauses out of 32015 with flag 141000/213113
54.20/52.72	c cleaning 17006 clauses out of 34017 with flag 159002/231115
58.10/56.67	c cleaning 17999 clauses out of 36009 with flag 178000/250113
62.92/61.48	c cleaning 19000 clauses out of 38011 with flag 198001/270114
67.84/66.32	c cleaning 20003 clauses out of 40010 with flag 219000/291113
72.97/71.45	c cleaning 20995 clauses out of 42007 with flag 241000/313113
78.38/76.81	c cleaning 21989 clauses out of 44013 with flag 264001/336114
84.11/82.57	c cleaning 23010 clauses out of 46023 with flag 288000/360113
90.35/88.78	c cleaning 23983 clauses out of 48014 with flag 313001/385114
96.57/94.94	c cleaning 25002 clauses out of 50030 with flag 339001/411114
102.52/100.88	c cleaning 26008 clauses out of 52028 with flag 366001/438114
103.73/102.05	c Got one! Elapsed wall clock time (in seconds):101.924
103.73/102.05	o 3074089
104.83/103.10	c cleaning 18543 clauses out of 37109 with flag 5001/449203
106.33/104.60	c cleaning 12259 clauses out of 24565 with flag 11000/455202
107.85/106.19	c cleaning 9635 clauses out of 19306 with flag 18000/462202
109.56/107.87	c cleaning 8804 clauses out of 17672 with flag 26001/470203
111.66/109.91	c cleaning 8909 clauses out of 17867 with flag 35000/479202
113.75/112.02	c cleaning 9476 clauses out of 18958 with flag 45000/489202
116.06/114.37	c cleaning 10230 clauses out of 20482 with flag 56000/500202
118.66/116.94	c cleaning 11115 clauses out of 22254 with flag 68002/512204
121.46/119.79	c cleaning 12063 clauses out of 24138 with flag 81001/525203
124.88/123.16	c cleaning 13026 clauses out of 26074 with flag 95000/539202
125.98/124.21	c Got one! Elapsed wall clock time (in seconds):124.082
125.98/124.21	o 3069925
126.22/124.42	c cleaning 9293 clauses out of 18605 with flag 1000/544759
126.52/124.78	c Got one! Elapsed wall clock time (in seconds):124.656
126.52/124.78	o 3035997
127.53/125.70	c cleaning 7443 clauses out of 14949 with flag 4000/550396
129.06/127.20	c cleaning 6736 clauses out of 13506 with flag 10000/556396
130.56/128.75	c cleaning 6873 clauses out of 13770 with flag 17000/563396
132.37/130.57	c cleaning 7434 clauses out of 14897 with flag 25000/571396
134.48/132.63	c cleaning 8223 clauses out of 16464 with flag 34001/580397
136.78/134.94	c cleaning 9107 clauses out of 18240 with flag 44000/590396
139.29/137.47	c cleaning 10064 clauses out of 20133 with flag 55001/601397
141.99/140.16	c cleaning 11024 clauses out of 22068 with flag 67000/613396
144.71/142.89	c cleaning 12009 clauses out of 24044 with flag 80000/626396
147.62/145.75	c cleaning 13011 clauses out of 26036 with flag 94001/640397
150.84/148.91	c cleaning 14009 clauses out of 28025 with flag 109001/655397
154.04/152.17	c cleaning 15007 clauses out of 30015 with flag 125000/671396
157.46/155.58	c cleaning 16000 clauses out of 32009 with flag 142001/688397
161.37/159.48	c cleaning 16984 clauses out of 34008 with flag 160000/706396
165.58/163.64	c cleaning 18006 clauses out of 36024 with flag 179000/725396
170.01/168.01	c cleaning 18992 clauses out of 38018 with flag 199000/745396
174.53/172.54	c cleaning 20006 clauses out of 40027 with flag 220001/766397
179.14/177.16	c cleaning 21002 clauses out of 42022 with flag 242003/788399
184.04/182.02	c cleaning 22000 clauses out of 44017 with flag 265000/811396
188.95/187.00	c cleaning 23007 clauses out of 46017 with flag 289000/835396
194.36/192.31	c cleaning 23981 clauses out of 48010 with flag 314000/860396
199.86/197.82	c cleaning 25003 clauses out of 50029 with flag 340000/886396
205.28/203.22	c cleaning 25998 clauses out of 52027 with flag 367001/913397
210.92/208.80	c cleaning 27010 clauses out of 54033 with flag 395005/941401
216.66/214.56	c cleaning 28003 clauses out of 56020 with flag 424002/970398
222.26/220.11	c cleaning 29002 clauses out of 58015 with flag 454000/1000396
228.79/226.61	c cleaning 29996 clauses out of 60014 with flag 485001/1031397
235.41/233.20	c cleaning 30999 clauses out of 62018 with flag 517001/1063397
242.12/239.93	c cleaning 32002 clauses out of 64019 with flag 550001/1096397
249.14/246.92	c cleaning 33006 clauses out of 66016 with flag 584000/1130396
256.56/254.32	c cleaning 33992 clauses out of 68013 with flag 619003/1165399
264.97/262.74	c cleaning 34987 clauses out of 70018 with flag 655000/1201396
273.58/271.30	c cleaning 36008 clauses out of 72032 with flag 692001/1238397
281.98/279.77	c cleaning 36994 clauses out of 74023 with flag 730000/1276396
290.19/287.94	c cleaning 38013 clauses out of 76029 with flag 769000/1315396
295.81/293.60	c Got one! Elapsed wall clock time (in seconds):293.48
295.81/293.60	o 3029032
297.12/294.86	c cleaning 36851 clauses out of 73716 with flag 5000/1351096
298.42/296.10	c cleaning 21424 clauses out of 42869 with flag 11004/1357100
299.72/297.41	c cleaning 14204 clauses out of 28441 with flag 18000/1364096
301.33/299.01	c cleaning 11098 clauses out of 22237 with flag 26000/1372096
303.13/300.87	c cleaning 10055 clauses out of 20141 with flag 35002/1381098
305.13/302.85	c cleaning 10036 clauses out of 20085 with flag 45001/1391097
307.54/305.25	c cleaning 10517 clauses out of 21048 with flag 56000/1402096
310.04/307.74	c cleaning 11258 clauses out of 22531 with flag 68000/1414096
312.85/310.55	c cleaning 12127 clauses out of 24274 with flag 81001/1427097
315.97/313.68	c cleaning 13066 clauses out of 26146 with flag 95000/1441096
319.18/316.85	c cleaning 14031 clauses out of 28081 with flag 110001/1456097
322.38/320.02	c cleaning 15019 clauses out of 30051 with flag 126002/1472098
325.69/323.39	c cleaning 16000 clauses out of 32030 with flag 143000/1489096
329.28/326.96	c cleaning 16999 clauses out of 34030 with flag 161001/1507097
333.18/330.81	c cleaning 18014 clauses out of 36031 with flag 180001/1526097
337.39/335.09	c cleaning 18996 clauses out of 38017 with flag 200001/1546097
342.09/339.71	c cleaning 20002 clauses out of 40020 with flag 221000/1567096
346.91/344.54	c cleaning 21002 clauses out of 42018 with flag 243000/1589096
351.72/349.32	c cleaning 22000 clauses out of 44016 with flag 266000/1612096
357.12/354.71	c cleaning 22997 clauses out of 46016 with flag 290000/1636096
362.44/360.07	c cleaning 24000 clauses out of 48019 with flag 315000/1661096
367.86/365.40	c cleaning 25008 clauses out of 50020 with flag 341001/1687097
371.16/368.73	c Got one! Elapsed wall clock time (in seconds):368.609
371.16/368.73	o 3026965
372.26/369.85	c cleaning 22575 clauses out of 45180 with flag 5000/1707265
373.59/371.16	c cleaning 14287 clauses out of 28605 with flag 11000/1713265
375.19/372.77	c cleaning 10626 clauses out of 21320 with flag 18002/1720267
376.89/374.42	c cleaning 9330 clauses out of 18693 with flag 26001/1728266
378.89/376.46	c cleaning 9164 clauses out of 18363 with flag 35001/1737266
381.10/378.69	c cleaning 9586 clauses out of 19199 with flag 45001/1747266
383.50/381.05	c cleaning 10299 clauses out of 20612 with flag 56000/1758265
386.20/383.78	c cleaning 11151 clauses out of 22314 with flag 68001/1770266
389.03/386.57	c cleaning 12075 clauses out of 24164 with flag 81002/1783267
392.03/389.53	c cleaning 13039 clauses out of 26089 with flag 95002/1797267
394.93/392.50	c cleaning 14013 clauses out of 28048 with flag 110000/1812265
398.14/395.63	c cleaning 15001 clauses out of 30035 with flag 126000/1828265
401.85/399.32	c cleaning 16015 clauses out of 32035 with flag 143001/1845266
405.65/403.11	c cleaning 17005 clauses out of 34020 with flag 161001/1863266
409.48/406.97	c cleaning 17999 clauses out of 36014 with flag 180000/1882265
413.58/411.07	c cleaning 19007 clauses out of 38015 with flag 200000/1902265
417.99/415.43	c cleaning 20001 clauses out of 40009 with flag 221002/1923267
422.51/419.91	c cleaning 21001 clauses out of 42006 with flag 243000/1945265
427.03/424.47	c cleaning 21992 clauses out of 44006 with flag 266001/1968266
431.13/428.57	c cleaning 22985 clauses out of 46013 with flag 290000/1992265
436.26/433.67	c cleaning 24005 clauses out of 48029 with flag 315001/2017266
441.81/439.17	c cleaning 25005 clauses out of 50024 with flag 341001/2043266
442.83/440.18	c Got one! Elapsed wall clock time (in seconds):440.06
442.83/440.18	o 3019859
443.33/440.63	c Got one! Elapsed wall clock time (in seconds):440.505
443.33/440.63	o 2932142
444.13/441.43	c cleaning 18269 clauses out of 36558 with flag 4002/2054805
445.15/442.47	c cleaning 12115 clauses out of 24287 with flag 10000/2060803
446.45/443.78	c cleaning 9573 clauses out of 19174 with flag 17002/2067805
447.95/445.29	c cleaning 8781 clauses out of 17600 with flag 25001/2075804
448.09/445.39	c Got one! Elapsed wall clock time (in seconds):445.269
448.09/445.39	o 2910388
448.99/446.26	c cleaning 7023 clauses out of 14088 with flag 5000/2081073
449.99/447.29	c cleaning 6508 clauses out of 13065 with flag 11000/2087073
451.20/448.49	c cleaning 6775 clauses out of 13557 with flag 18000/2094073
452.92/450.13	c cleaning 7376 clauses out of 14782 with flag 26000/2102073
454.62/451.88	c cleaning 8188 clauses out of 16407 with flag 35001/2111074
456.74/453.96	c cleaning 9094 clauses out of 18218 with flag 45000/2121073
459.08/456.26	c cleaning 10049 clauses out of 20129 with flag 56005/2132078
461.79/458.90	c cleaning 11034 clauses out of 22075 with flag 68000/2144073
464.50/461.60	c cleaning 12014 clauses out of 24044 with flag 81003/2157076
467.45/464.57	c cleaning 13012 clauses out of 26028 with flag 95001/2171074
470.85/467.94	c cleaning 14002 clauses out of 28015 with flag 110000/2186073
474.25/471.35	c cleaning 15003 clauses out of 30013 with flag 126000/2202073
477.65/474.70	c cleaning 15997 clauses out of 32010 with flag 143000/2219073
481.38/478.41	c cleaning 16998 clauses out of 34013 with flag 161000/2237073
485.39/482.44	c cleaning 18005 clauses out of 36016 with flag 180001/2256074
487.71/484.76	c Got one! Elapsed wall clock time (in seconds):484.639
487.71/484.76	o 2882174
488.91/485.92	c cleaning 16813 clauses out of 33651 with flag 5000/2271715
490.12/487.16	c cleaning 11402 clauses out of 22838 with flag 11000/2277715
491.45/488.45	c cleaning 9200 clauses out of 18436 with flag 18000/2284715
493.05/490.05	c cleaning 8604 clauses out of 17237 with flag 26001/2292716
494.87/491.89	c cleaning 8785 clauses out of 17633 with flag 35001/2301716
497.07/494.08	c cleaning 9413 clauses out of 18847 with flag 45000/2311715
499.48/496.40	c cleaning 10210 clauses out of 20434 with flag 56000/2322715
501.89/498.87	c cleaning 11091 clauses out of 22224 with flag 68000/2334715
504.60/501.58	c cleaning 12057 clauses out of 24133 with flag 81000/2347715
507.82/504.71	c cleaning 13032 clauses out of 26077 with flag 95001/2361716
511.12/508.02	c cleaning 14010 clauses out of 28044 with flag 110000/2376715
514.53/511.47	c cleaning 15011 clauses out of 30034 with flag 126000/2392715
517.83/514.79	c cleaning 16000 clauses out of 32023 with flag 143001/2409716
521.93/518.86	c cleaning 16997 clauses out of 34022 with flag 161000/2427715
525.73/522.67	c cleaning 17999 clauses out of 36025 with flag 180000/2446715
529.13/526.02	c Got one! Elapsed wall clock time (in seconds):525.902
529.13/526.02	o 2855374
530.23/527.19	c cleaning 19493 clauses out of 39011 with flag 5000/2467700
531.45/528.39	c cleaning 12748 clauses out of 25518 with flag 11000/2473700
532.65/529.53	c cleaning 9866 clauses out of 19770 with flag 18000/2480700
533.95/530.88	c cleaning 8931 clauses out of 17904 with flag 26000/2488700
535.66/532.53	c cleaning 8962 clauses out of 17973 with flag 35000/2497700
537.67/534.59	c cleaning 9501 clauses out of 19011 with flag 45000/2507700
540.07/536.93	c cleaning 10255 clauses out of 20510 with flag 56000/2518700
542.47/539.37	c cleaning 11118 clauses out of 22255 with flag 68000/2530700
545.08/541.92	c cleaning 12058 clauses out of 24137 with flag 81000/2543700
547.60/544.46	c cleaning 13038 clauses out of 26079 with flag 95000/2557700
551.01/547.84	c cleaning 14008 clauses out of 28040 with flag 110000/2572700
554.21/551.04	c cleaning 15015 clauses out of 30033 with flag 126001/2588701
557.82/554.64	c cleaning 16005 clauses out of 32019 with flag 143002/2605702
561.43/558.28	c cleaning 17005 clauses out of 34012 with flag 161000/2623700
565.34/562.14	c cleaning 17993 clauses out of 36007 with flag 180000/2642700
569.54/566.39	c cleaning 19002 clauses out of 38015 with flag 200001/2662701
573.64/570.40	c cleaning 20001 clauses out of 40014 with flag 221002/2683702
577.54/574.39	c cleaning 21001 clauses out of 42013 with flag 243002/2705702
582.16/578.91	c cleaning 21978 clauses out of 44009 with flag 266000/2728700
587.07/583.82	c cleaning 23000 clauses out of 46031 with flag 290000/2752700
589.79/586.59	c Got one! Elapsed wall clock time (in seconds):586.472
589.79/586.59	o 2834666
590.89/587.63	c cleaning 21641 clauses out of 43294 with flag 5000/2772963
591.23/587.99	c Got one! Elapsed wall clock time (in seconds):587.873
591.23/587.99	o 2827160
592.03/588.78	c Got one! Elapsed wall clock time (in seconds):588.663
592.03/588.78	o 2814188
592.33/589.02	c cleaning 14042 clauses out of 28109 with flag 1002/2779419
593.53/590.26	c cleaning 10015 clauses out of 20065 with flag 7000/2785417
594.84/591.52	c cleaning 8507 clauses out of 17050 with flag 14000/2792417
596.25/592.92	c cleaning 8251 clauses out of 16544 with flag 22001/2800418
597.85/594.55	c cleaning 8639 clauses out of 17293 with flag 31001/2809418
599.75/596.40	c cleaning 9318 clauses out of 18653 with flag 41000/2819417
601.86/598.56	c cleaning 10161 clauses out of 20336 with flag 52001/2830418
604.06/600.78	c cleaning 11075 clauses out of 22174 with flag 64000/2842417
606.36/603.02	c cleaning 12038 clauses out of 24099 with flag 77000/2855417
608.98/605.67	c cleaning 13022 clauses out of 26061 with flag 91000/2869417
612.00/608.69	c cleaning 14009 clauses out of 28039 with flag 106000/2884417
615.21/611.86	c cleaning 15006 clauses out of 30033 with flag 122003/2900420
618.42/615.09	c cleaning 15995 clauses out of 32024 with flag 139000/2917417
621.83/618.42	c cleaning 17005 clauses out of 34029 with flag 157000/2935417
625.63/622.21	c cleaning 18002 clauses out of 36018 with flag 176002/2954419
629.65/626.20	c cleaning 18993 clauses out of 38014 with flag 196000/2974417
633.66/630.25	c cleaning 20001 clauses out of 40021 with flag 217000/2995417
637.76/634.39	c cleaning 21004 clauses out of 42025 with flag 239005/3017422
642.18/638.79	c cleaning 22004 clauses out of 44016 with flag 262000/3040417
646.79/643.32	c cleaning 22995 clauses out of 46012 with flag 286000/3064417
651.31/647.85	c cleaning 24007 clauses out of 48017 with flag 311000/3089417
655.30/651.88	c cleaning 24993 clauses out of 50012 with flag 337002/3115419
659.61/656.13	c cleaning 26004 clauses out of 52017 with flag 364000/3142417
664.63/661.18	c cleaning 27000 clauses out of 54012 with flag 392000/3170417
670.35/666.81	c cleaning 28005 clauses out of 56013 with flag 421003/3199420
676.37/672.85	c cleaning 28997 clauses out of 58004 with flag 451000/3229417
682.19/678.65	c cleaning 29998 clauses out of 60007 with flag 482000/3260417
688.64/685.03	c cleaning 30999 clauses out of 62007 with flag 514000/3292417
695.35/691.71	c cleaning 32002 clauses out of 64007 with flag 547002/3325419
701.45/697.86	c cleaning 32993 clauses out of 66000 with flag 581000/3359417
707.06/703.47	c cleaning 33992 clauses out of 68006 with flag 616001/3394418
710.56/706.99	c starts		: 258
710.56/706.99	c conflicts		: 3418123
710.56/706.99	c decisions		: 7980642
710.56/706.99	c propagations		: 1028885253
710.56/706.99	c inspects		: 3967795255
710.56/706.99	c shortcuts		: 0
710.56/706.99	c learnt literals	: 58
710.56/706.99	c learnt binary clauses	: 578
710.56/706.99	c learnt ternary clauses	: 1177
710.56/706.99	c learnt constraints	: 3418064
710.56/706.99	c ignored constraints	: 0
710.56/706.99	c root simplifications	: 0
710.56/706.99	c removed literals (reason simplification)	: 0
710.56/706.99	c reason swapping (by a shorter reason)	: 0
710.56/706.99	c Calls to reduceDB	: 210
710.56/706.99	c number of reductions to clauses (during analyze)	: 0
710.56/706.99	c number of learned constraints concerned by reduction	: 0
710.56/706.99	c number of learning phase by resolution	: 0
710.56/706.99	c number of learning phase by cutting planes	: 0
710.56/706.99	c speed (assignments/second)	: 1456319.3516745295
710.56/706.99	c non guided choices	6397
710.56/706.99	c learnt constraints type 
710.56/706.99	c constraints type 
710.56/706.99	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
710.56/706.99	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
710.56/706.99	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
710.56/706.99	c ignored satisfied constraints => 4
710.56/706.99	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
710.56/706.99	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015
710.56/706.99	c 21931 constraints processed.
710.56/706.99	s OPTIMUM FOUND
710.67/707.01	v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 x6144 -x6145 -x6146 x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 x6298 -x6299 x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 x6308 -x6309 -x6310 -x6311 -x6312 -x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 x9543 x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 x9648 x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 x9662 -x9663 x9664 -x9665 -x9666 -x9667 -x9668 -x9669 x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 x9677 x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 
710.67/707.01	c objective function=2814188
710.67/707.01	c Total wall clock time (in seconds): 706.893

Verifier Data

OK	2814188

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-3690037-1337895364/watcher-3690037-1337895364 -o /tmp/evaluation-result-3690037-1337895364/solver-3690037-1337895364 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690037-1337895364.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: 1.95 1.99 1.99 3/196 26048
/proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26048/stat : 26048 (java) D 26046 26048 23031 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 255661206 9515008 182 33554432000 1073741824 1073778376 140735596759408 140735596750440 215124623029 0 0 4096 0 18446744072100748580 0 0 17 1 0 0 0 0 0
/proc/26048/statm: 2323 182 140 9 0 71 0

[startup+0.080273 s]
/proc/loadavg: 1.95 1.99 1.99 3/196 26048
/proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 3249 0 1 0 5 1 0 0 20 0 18 0 255661206 9787813888 4459 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2389603 4461 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.104051 s]
/proc/loadavg: 1.95 1.99 1.99 3/196 26048
/proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 4280 0 1 0 9 1 0 0 20 0 18 0 255661206 9787813888 5471 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2389603 5471 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300197 s]
/proc/loadavg: 1.95 1.99 1.99 3/196 26048
/proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 5618 0 1 0 48 1 0 0 20 0 18 0 255661206 9787813888 9217 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2389603 9217 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700263 s]
/proc/loadavg: 1.95 1.99 1.99 3/196 26048
/proc/meminfo: memFree=21257584/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9624976 CPUtime=1.31 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 8189 0 1 0 128 3 0 0 20 0 19 0 255661206 9855975424 21766 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2406244 21766 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624976

[startup+1.50069 s]
/proc/loadavg: 1.95 1.99 1.99 4/215 26067
/proc/meminfo: memFree=21172756/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9624976 CPUtime=2.43 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 8863 0 1 0 240 3 0 0 20 0 19 0 255661206 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2406244 23596 2256 9 0 2396937 0
[pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2509 0 1 0 143 3 0 0 20 0 19 0 255661207 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139724083171704 139723956396600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2552 0 0 0 47 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) R 26046 26048 23031 0 -1 4202560 2610 0 0 0 46 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723902093624 215128007093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 23596 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9624976

[startup+3.10071 s]
/proc/loadavg: 1.95 1.99 1.99 3/215 26067
/proc/meminfo: memFree=21151532/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9624976 CPUtime=4.26 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 8946 0 1 0 421 5 0 0 20 0 19 0 255661206 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2406244 29788 2281 9 0 2396937 0
[pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=2.99 cores=1,3,5,7
/proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2515 0 1 0 296 3 0 0 20 0 19 0 255661207 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139724083179928 139723956310943 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 255661210 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2554 0 0 0 52 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 2615 0 0 0 58 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 29788 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9624976

[startup+6.30063 s]
/proc/loadavg: 1.95 1.99 1.99 3/215 26067
/proc/meminfo: memFree=21146132/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9624976 CPUtime=7.56 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 9641 0 1 0 750 6 0 0 20 0 19 0 255661206 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2406244 29928 2281 9 0 2396937 0
[pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=6.11 cores=1,3,5,7
/proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2516 0 1 0 608 3 0 0 20 0 19 0 255661207 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139724083179928 139723956311025 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255661208 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 54 0 0 0 10 0 0 0 20 0 19 0 255661210 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2562 0 0 0 54 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3280 0 0 0 65 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 29928 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 52 0 0 0 45 3 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=7.9 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 100 0 0 0 788 2 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2726 0 0 0 60 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3283 0 0 0 66 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 6 6 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 709.96
Current children cumulated vsize (KiB) 9624976

[startup+706.701 s]
/proc/loadavg: 2.12 2.09 2.03 3/215 26074
/proc/meminfo: memFree=20572352/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9624976 CPUtime=710.36 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 10394 0 1 0 71011 25 0 0 20 0 19 0 255661206 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2406244 39897 2282 9 0 2396937 0
[pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=695.78 cores=1,3,5,7
/proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2723 0 1 0 69565 13 0 0 20 0 19 0 255661207 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139724083179840 139723956396872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 39 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 44 0 0 0 46 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 35 0 0 0 44 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 48 0 0 0 39 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 41 1 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 58 0 0 0 38 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 24 0 0 0 41 1 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 52 0 0 0 45 3 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=7.9 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 100 0 0 0 788 2 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2726 0 0 0 60 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3283 0 0 0 66 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 6 6 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 710.36
Current children cumulated vsize (KiB) 9624976

[startup+706.901 s]
/proc/loadavg: 2.12 2.09 2.03 3/215 26074
/proc/meminfo: memFree=20572352/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9624976 CPUtime=710.56 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 10394 0 1 0 71031 25 0 0 20 0 19 0 255661206 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2406244 39897 2282 9 0 2396937 0
[pid=26048/tid=26050] ppid=26046 vsize=9624976 CPUtime=695.98 cores=1,3,5,7
/proc/26048/task/26050/stat : 26050 (java) R 26046 26048 23031 0 -1 4202560 2723 0 1 0 69585 13 0 0 20 0 19 0 255661207 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139724083179840 139723956311113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 39 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 44 0 0 0 46 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 35 0 0 0 44 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 48 0 0 0 39 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 41 1 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 58 0 0 0 38 2 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 24 0 0 0 41 1 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 52 0 0 0 45 3 0 0 20 0 19 0 255661208 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=9624976 CPUtime=7.9 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 100 0 0 0 788 2 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255661210 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2726 0 0 0 60 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3283 0 0 0 66 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 6 6 0 0 20 0 19 0 255661213 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255661256 9855975424 39897 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 710.56
Current children cumulated vsize (KiB) 9624976

[startup+707.001 s]
/proc/loadavg: 2.12 2.09 2.03 3/215 26074
/proc/meminfo: memFree=20572352/32873844 swapFree=7608/7608
[pid=26048] ppid=26046 vsize=9691540 CPUtime=710.67 cores=1,3,5,7
/proc/26048/stat : 26048 (java) S 26046 26048 23031 0 -1 4202496 10404 0 1 0 71042 25 0 0 20 0 20 0 255661206 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 140736683281392 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26048/statm: 2422885 39906 2282 9 0 2413578 0
[pid=26048/tid=26050] ppid=26046 vsize=9691540 CPUtime=696.08 cores=1,3,5,7
/proc/26048/task/26050/stat : 26050 (java) S 26046 26048 23031 0 -1 4202560 2725 0 1 0 69595 13 0 0 20 0 20 0 255661207 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139724083180248 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26051] ppid=26046 vsize=9691540 CPUtime=0.41 cores=1,3,5,7
/proc/26048/task/26051/stat : 26051 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 39 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723927137320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26052] ppid=26046 vsize=9691540 CPUtime=0.48 cores=1,3,5,7
/proc/26048/task/26052/stat : 26052 (java) S 26046 26048 23031 0 -1 4202560 44 0 0 0 46 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723926084520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26053] ppid=26046 vsize=9691540 CPUtime=0.46 cores=1,3,5,7
/proc/26048/task/26053/stat : 26053 (java) S 26046 26048 23031 0 -1 4202560 35 0 0 0 44 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723925031720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26054] ppid=26046 vsize=9691540 CPUtime=0.41 cores=1,3,5,7
/proc/26048/task/26054/stat : 26054 (java) S 26046 26048 23031 0 -1 4202560 48 0 0 0 39 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723923978920 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26048/tid=26055] ppid=26046 vsize=9691540 CPUtime=0.42 cores=1,3,5,7
/proc/26048/task/26055/stat : 26055 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 41 1 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723922926120 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26056] ppid=26046 vsize=9691540 CPUtime=0.4 cores=1,3,5,7
/proc/26048/task/26056/stat : 26056 (java) S 26046 26048 23031 0 -1 4202560 58 0 0 0 38 2 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723921873320 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26057] ppid=26046 vsize=9691540 CPUtime=0.42 cores=1,3,5,7
/proc/26048/task/26057/stat : 26057 (java) S 26046 26048 23031 0 -1 4202560 24 0 0 0 41 1 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723920820520 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26058] ppid=26046 vsize=9691540 CPUtime=0.48 cores=1,3,5,7
/proc/26048/task/26058/stat : 26058 (java) S 26046 26048 23031 0 -1 4202560 52 0 0 0 45 3 0 0 20 0 20 0 255661208 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723919767720 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26048/tid=26059] ppid=26046 vsize=9691540 CPUtime=7.9 cores=1,3,5,7
/proc/26048/task/26059/stat : 26059 (java) S 26046 26048 23031 0 -1 4202560 100 0 0 0 788 2 0 0 20 0 20 0 255661210 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723907357672 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26060] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26060/stat : 26060 (java) S 26046 26048 23031 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 255661210 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723906303736 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26061] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26061/stat : 26061 (java) S 26046 26048 23031 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 255661210 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723905250824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26062] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26062/stat : 26062 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723904199312 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26048/tid=26063] ppid=26046 vsize=9691540 CPUtime=0.61 cores=1,3,5,7
/proc/26048/task/26063/stat : 26063 (java) S 26046 26048 23031 0 -1 4202560 2727 0 0 0 61 0 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723903146424 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26064] ppid=26046 vsize=9691540 CPUtime=0.66 cores=1,3,5,7
/proc/26048/task/26064/stat : 26064 (java) S 26046 26048 23031 0 -1 4202560 3283 0 0 0 66 0 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723902093624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26065] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26065/stat : 26065 (java) S 26046 26048 23031 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723901041016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26066] ppid=26046 vsize=9691540 CPUtime=0.12 cores=1,3,5,7
/proc/26048/task/26066/stat : 26066 (java) S 26046 26048 23031 0 -1 4202560 41 0 0 0 6 6 0 0 20 0 20 0 255661213 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723899988424 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26048/tid=26067] ppid=26046 vsize=9691540 CPUtime=0 cores=1,3,5,7
/proc/26048/task/26067/stat : 26067 (java) S 26046 26048 23031 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 255661256 9924136960 39906 33554432000 1073741824 1073778376 140736683290256 139723898934952 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 710.67
Current children cumulated vsize (KiB) 9691540

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26048 and gives
#  childrusage.ru_utime.tv_sec=708
#  childrusage.ru_utime.tv_usec=654268
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=503923
# CPU time returned by wait4() is 709.158
# while last known CPU time is 710.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 707.023
CPU time (s): 710.67
CPU user time (s): 710.42
CPU system time (s): 0.25
CPU usage (%): 100.516
Max. virtual memory (cumulated for all children) (KiB): 9691540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 708.654
system time used= 0.503923
maximum resident set size= 159648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10412
page faults= 1
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20720
involuntary context switches= 12180

runsolver used 2.29265 second user time and 5.76412 second system time

The end

Launcher Data

Begin job on node135 at 2012-05-24 23:36:04
IDJOB=3690037
IDBENCH=92664
IDSOLVER=2269
FILE ID=node135/3690037-1337895364
RUNJOBID= node135-1337871881-23049
PBS_JOBID= 14620069
Free space on /tmp= 71576 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_5_mh_ic.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690037-1337895364/watcher-3690037-1337895364 -o /tmp/evaluation-result-3690037-1337895364/solver-3690037-1337895364 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3690037-1337895364.opb

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

MD5SUM BENCH= 2c36639357988247c648b63af301f230
RANDOM SEED=413812369

node135.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.820
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.64
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.820
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	: 5332.57
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.820
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.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.55
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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        21258492 kB
Buffers:          226496 kB
Cached:          3391192 kB
SwapCached:            0 kB
Active:          8024816 kB
Inactive:        2805192 kB
Active(anon):    7214520 kB
Inactive(anon):        0 kB
Active(file):     810296 kB
Inactive(file):  2805192 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1224 kB
Writeback:             0 kB
AnonPages:       7219444 kB
Mapped:            22592 kB
Shmem:               212 kB
Slab:             632484 kB
SReclaimable:      74852 kB
SUnreclaim:       557632 kB
KernelStack:        1624 kB
PageTables:        17976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    7851456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6514688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71576 MiB
End job on node135 at 2012-05-24 23:47:51