Trace number 4103424

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)37192738 1800.05 1782.55

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUMc716bc6c519760d619aa6878c926054c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark32826205
Best CPU time to get the best result obtained on this benchmark1800.35
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31249460
Optimality of the best value was proved NO
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Glucose 2.1 dynamic restart strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-4103424-1466238380.opb
0.08/0.11	c reading problem ... 
0.08/0.12	c  objective function found
0.78/0.44	c ... done. Wall clock time 0.323s.
0.78/0.44	c declared #vars     6402
0.78/0.44	c #constraints  5929
0.78/0.44	c constraints type 
0.78/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1571
0.78/0.44	c org.sat4j.specs.Constr$1 => 2581
0.78/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 167
0.78/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 91
0.78/0.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 1279
0.78/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 240
0.78/0.44	c 5929 constraints processed.
0.78/0.44	c objective function length is 4170 literals
1.79/0.93	c SATISFIABLE
1.79/0.93	c OPTIMIZING...
1.79/0.93	c Got one! Elapsed wall clock time (in seconds):0.813
1.79/0.93	o 39896786
2.16/1.27	c cleaning 2564 clauses out of 5136 with flag 4912/5136
2.31/1.38	c Got one! Elapsed wall clock time (in seconds):1.267
2.31/1.38	o 39872252
3.11/1.79	c cleaning 4249 clauses out of 8502 with flag 13678/11066
3.92/2.50	c cleaning 5124 clauses out of 10253 with flag 34524/17066
4.76/3.36	c cleaning 6060 clauses out of 12129 with flag 58316/24066
5.77/4.39	c cleaning 7033 clauses out of 14070 with flag 85499/32067
6.98/5.56	c cleaning 8016 clauses out of 16039 with flag 116611/41069
8.47/7.07	c cleaning 9007 clauses out of 18019 with flag 157812/51065
10.19/8.71	c cleaning 10003 clauses out of 20014 with flag 201490/62067
11.99/10.53	c cleaning 10998 clauses out of 22010 with flag 245965/74066
14.02/12.59	c cleaning 12007 clauses out of 24013 with flag 296583/87067
15.52/14.02	c cleaning 12999 clauses out of 26011 with flag 334642/101072
17.53/16.00	c cleaning 14001 clauses out of 28005 with flag 368309/116065
17.63/16.17	c Got one! Elapsed wall clock time (in seconds):16.059
17.63/16.17	o 39806842
18.04/16.44	c cleaning 9690 clauses out of 19420 with flag 8823/121481
18.55/16.98	c cleaning 7843 clauses out of 15729 with flag 35260/127480
19.47/17.84	c cleaning 7421 clauses out of 14888 with flag 49330/134482
20.47/18.85	c cleaning 7710 clauses out of 15466 with flag 72440/142481
21.67/20.09	c cleaning 8352 clauses out of 16755 with flag 98721/151480
23.20/21.55	c cleaning 9175 clauses out of 18405 with flag 134492/161482
25.00/23.40	c cleaning 10088 clauses out of 20228 with flag 174022/172480
27.83/26.11	c cleaning 11056 clauses out of 22140 with flag 217659/184480
30.93/29.24	c cleaning 12029 clauses out of 24085 with flag 271795/197481
34.36/32.65	c cleaning 13007 clauses out of 26058 with flag 361568/211483
38.36/36.64	c cleaning 13997 clauses out of 28051 with flag 458391/226483
42.67/40.90	c cleaning 14998 clauses out of 30051 with flag 556633/242480
47.66/45.97	c cleaning 16001 clauses out of 32053 with flag 660544/259480
53.26/51.58	c cleaning 17001 clauses out of 34053 with flag 779340/277481
56.98/55.27	c cleaning 18018 clauses out of 36052 with flag 884202/296481
60.28/58.58	c cleaning 18998 clauses out of 38033 with flag 976049/316480
62.81/61.08	c cleaning 20001 clauses out of 40035 with flag 1052646/337480
65.52/63.79	c cleaning 21008 clauses out of 42035 with flag 1137732/359481
69.12/67.34	c cleaning 22006 clauses out of 44027 with flag 1241880/382481
72.84/71.09	c cleaning 22978 clauses out of 46022 with flag 1390147/406482
76.79/74.92	c cleaning 24011 clauses out of 48042 with flag 1457707/431480
81.00/79.10	c cleaning 25008 clauses out of 50031 with flag 1529953/457480
85.62/83.69	c cleaning 26002 clauses out of 52025 with flag 1614527/484482
90.93/88.91	c cleaning 27008 clauses out of 54021 with flag 1691580/512480
96.96/94.90	c cleaning 28001 clauses out of 56016 with flag 1772506/541483
103.11/101.04	c cleaning 28994 clauses out of 58012 with flag 1857505/571480
104.01/101.91	c Got one! Elapsed wall clock time (in seconds):101.798
104.01/101.91	o 39182326
104.37/102.23	c cleaning 19618 clauses out of 39270 with flag 11132/581732
104.80/102.60	c cleaning 12811 clauses out of 25651 with flag 23994/587731
105.20/103.02	c cleaning 9906 clauses out of 19842 with flag 39694/594733
105.71/103.55	c cleaning 8949 clauses out of 17934 with flag 56671/602731
106.30/104.17	c cleaning 8975 clauses out of 17985 with flag 75847/611731
107.10/104.96	c cleaning 9486 clauses out of 19010 with flag 98733/621731
108.12/105.99	c cleaning 10245 clauses out of 20526 with flag 123726/632733
109.22/107.09	c cleaning 11121 clauses out of 22279 with flag 149527/644731
110.82/108.67	c cleaning 12066 clauses out of 24160 with flag 176623/657733
112.44/110.29	c cleaning 13029 clauses out of 26092 with flag 207317/671731
114.64/112.41	c cleaning 14017 clauses out of 28063 with flag 241625/686731
116.64/114.43	c cleaning 15004 clauses out of 30046 with flag 279633/702731
119.29/117.07	c cleaning 16007 clauses out of 32043 with flag 318377/719732
121.89/119.66	c cleaning 17002 clauses out of 34035 with flag 360824/737731
124.81/122.55	c cleaning 18003 clauses out of 36036 with flag 401574/756734
128.11/125.84	c cleaning 19003 clauses out of 38032 with flag 443879/776733
131.82/129.50	c cleaning 20000 clauses out of 40027 with flag 488880/797731
136.42/134.17	c cleaning 20992 clauses out of 42027 with flag 540115/819731
141.56/139.28	c cleaning 22000 clauses out of 44035 with flag 589353/842731
147.08/144.76	c cleaning 23002 clauses out of 46036 with flag 646530/866732
152.47/150.14	c cleaning 24000 clauses out of 48033 with flag 707471/891731
158.49/156.16	c cleaning 24996 clauses out of 50033 with flag 765194/917731
165.01/162.67	c cleaning 26003 clauses out of 52039 with flag 827121/944733
172.21/169.81	c cleaning 27001 clauses out of 54037 with flag 891489/972734
179.82/177.40	c cleaning 27996 clauses out of 56034 with flag 956295/1001732
187.73/185.33	c cleaning 28999 clauses out of 58038 with flag 1030609/1031732
196.75/194.31	c cleaning 30002 clauses out of 60040 with flag 1109669/1062733
207.56/205.19	c cleaning 30998 clauses out of 62037 with flag 1185472/1094732
218.09/215.63	c cleaning 32004 clauses out of 64038 with flag 1268760/1127731
229.91/227.43	c cleaning 32992 clauses out of 66035 with flag 1347764/1161732
230.02/227.58	c Got one! Elapsed wall clock time (in seconds):227.471
230.02/227.59	o 38678819
230.13/227.64	c Got one! Elapsed wall clock time (in seconds):227.531
230.13/227.64	o 37889730
230.68/228.13	c cleaning 19333 clauses out of 38690 with flag 13847/1167379
231.19/228.63	c cleaning 12671 clauses out of 25358 with flag 33413/1173380
231.88/229.38	c cleaning 9831 clauses out of 19686 with flag 51347/1180379
232.73/230.19	c cleaning 8919 clauses out of 17856 with flag 77119/1188380
233.73/231.11	c cleaning 8938 clauses out of 17936 with flag 105312/1197379
234.65/232.05	c cleaning 9465 clauses out of 18998 with flag 137897/1207379
235.98/233.37	c cleaning 10230 clauses out of 20534 with flag 165232/1218380
237.67/235.01	c cleaning 11116 clauses out of 22303 with flag 192483/1230379
239.50/236.81	c cleaning 12058 clauses out of 24189 with flag 222274/1243381
241.53/238.87	c cleaning 13029 clauses out of 26129 with flag 255866/1257379
243.92/241.24	c cleaning 14011 clauses out of 28100 with flag 291813/1272379
246.33/243.63	c cleaning 15004 clauses out of 30089 with flag 329728/1288379
249.05/246.37	c cleaning 16010 clauses out of 32089 with flag 370218/1305383
252.19/249.41	c cleaning 16999 clauses out of 34076 with flag 412941/1323380
255.21/252.47	c cleaning 18028 clauses out of 36076 with flag 463390/1342379
258.13/255.36	c cleaning 19004 clauses out of 38051 with flag 547279/1362382
261.14/258.34	c cleaning 19997 clauses out of 40044 with flag 622408/1383379
264.87/262.00	c cleaning 21002 clauses out of 42047 with flag 705752/1405379
268.81/265.97	c cleaning 21995 clauses out of 44046 with flag 793785/1428380
273.23/270.33	c cleaning 22995 clauses out of 46050 with flag 889569/1452379
279.09/276.13	c cleaning 23996 clauses out of 48056 with flag 981581/1477380
284.94/281.96	c cleaning 25004 clauses out of 50061 with flag 1080184/1503381
289.91/286.82	c cleaning 26009 clauses out of 52058 with flag 1194292/1530382
295.16/292.04	c cleaning 26989 clauses out of 54050 with flag 1309924/1558383
300.63/297.46	c cleaning 28018 clauses out of 56057 with flag 1419950/1587379
305.33/302.07	c cleaning 29005 clauses out of 58040 with flag 1536637/1617380
310.68/307.35	c cleaning 30005 clauses out of 60034 with flag 1653801/1648379
316.64/313.28	c cleaning 30996 clauses out of 62029 with flag 1737259/1680379
323.50/320.08	c cleaning 32007 clauses out of 64033 with flag 1883343/1713379
333.07/329.45	c cleaning 33015 clauses out of 66039 with flag 2044398/1747392
340.85/337.16	c cleaning 34001 clauses out of 68013 with flag 2185966/1782381
347.16/343.34	c cleaning 34985 clauses out of 70010 with flag 2295400/1818379
355.59/351.61	c cleaning 35998 clauses out of 72026 with flag 2444270/1855380
363.12/359.10	c cleaning 37014 clauses out of 74028 with flag 2553087/1893380
371.66/367.49	c cleaning 38007 clauses out of 76014 with flag 2672810/1932380
378.56/374.29	c cleaning 39003 clauses out of 78006 with flag 2786082/1972379
386.60/382.15	c cleaning 40001 clauses out of 80003 with flag 2899769/2013379
394.84/390.22	c cleaning 40990 clauses out of 82002 with flag 3024145/2055379
399.80/395.14	c Got one! Elapsed wall clock time (in seconds):395.029
399.80/395.14	o 37520766
400.22/395.59	c cleaning 35425 clauses out of 70862 with flag 10898/2085229
400.83/396.18	c cleaning 20711 clauses out of 41437 with flag 24850/2091229
401.45/396.77	c cleaning 13853 clauses out of 27728 with flag 41329/2098231
402.14/397.47	c cleaning 10930 clauses out of 21874 with flag 59273/2106230
402.98/398.29	c cleaning 9961 clauses out of 19944 with flag 79061/2115230
403.88/399.19	c cleaning 9982 clauses out of 19983 with flag 101328/2125230
404.99/400.29	c cleaning 10496 clauses out of 21008 with flag 125580/2136237
406.19/401.46	c cleaning 11246 clauses out of 22505 with flag 151829/2148230
407.70/402.90	c cleaning 12119 clauses out of 24259 with flag 180350/2161230
409.42/404.61	c cleaning 13058 clauses out of 26139 with flag 210617/2175229
411.34/406.58	c cleaning 14027 clauses out of 28081 with flag 244717/2190229
413.75/408.94	c cleaning 15019 clauses out of 30056 with flag 280202/2206231
416.39/411.59	c cleaning 16005 clauses out of 32035 with flag 317902/2223229
419.53/414.63	c cleaning 17009 clauses out of 34032 with flag 357762/2241231
423.04/418.16	c cleaning 18003 clauses out of 36023 with flag 399846/2260231
426.96/422.10	c cleaning 19001 clauses out of 38020 with flag 444476/2280231
431.21/426.22	c cleaning 20002 clauses out of 40018 with flag 489485/2301230
435.23/430.24	c cleaning 20987 clauses out of 42015 with flag 538461/2323229
440.20/435.15	c cleaning 22010 clauses out of 44029 with flag 596340/2346230
445.51/440.39	c cleaning 23001 clauses out of 46018 with flag 657625/2370229
451.42/446.13	c cleaning 24006 clauses out of 48017 with flag 724467/2395229
456.51/451.15	c cleaning 24998 clauses out of 50012 with flag 790767/2421230
460.27/454.86	c Got one! Elapsed wall clock time (in seconds):454.743
460.27/454.86	o 37452552
461.30/455.83	c cleaning 24643 clauses out of 49313 with flag 12690/2445529
462.22/456.77	c cleaning 15316 clauses out of 30670 with flag 27856/2451529
463.33/457.87	c cleaning 11169 clauses out of 22354 with flag 46189/2458529
464.65/459.12	c cleaning 9585 clauses out of 19185 with flag 67235/2466529
466.09/460.59	c cleaning 9288 clauses out of 18600 with flag 90601/2475529
467.80/462.20	c cleaning 9649 clauses out of 19312 with flag 116529/2485529
469.63/464.04	c cleaning 10333 clauses out of 20665 with flag 145848/2496531
471.55/465.98	c cleaning 11167 clauses out of 22334 with flag 177369/2508533
473.80/468.11	c cleaning 12071 clauses out of 24164 with flag 212834/2521530
476.04/470.36	c cleaning 13046 clauses out of 26092 with flag 250030/2535529
478.07/472.30	c Got one! Elapsed wall clock time (in seconds):472.184
478.07/472.30	o 37192738
478.69/472.92	c cleaning 15109 clauses out of 30218 with flag 20674/2552701
479.62/473.80	c cleaning 10551 clauses out of 21108 with flag 51613/2558700
480.44/474.69	c cleaning 8767 clauses out of 17555 with flag 83679/2565698
481.55/475.77	c cleaning 8387 clauses out of 16789 with flag 116846/2573699
482.76/476.93	c cleaning 8679 clauses out of 17402 with flag 155509/2582699
484.30/478.43	c cleaning 9353 clauses out of 18722 with flag 199795/2592698
485.93/480.00	c cleaning 10187 clauses out of 20383 with flag 249024/2603712
487.97/482.06	c cleaning 11083 clauses out of 22182 with flag 303860/2615698
490.48/484.55	c cleaning 12050 clauses out of 24106 with flag 366749/2628705
493.20/487.30	c cleaning 13023 clauses out of 26052 with flag 435931/2642701
495.53/489.54	c cleaning 14007 clauses out of 28027 with flag 495772/2657699
497.64/491.61	c cleaning 15003 clauses out of 30020 with flag 536290/2673699
499.86/493.88	c cleaning 16005 clauses out of 32017 with flag 583275/2690699
502.18/496.19	c cleaning 16994 clauses out of 34014 with flag 634152/2708701
504.99/498.97	c cleaning 17999 clauses out of 36019 with flag 690908/2727700
508.14/502.04	c cleaning 19006 clauses out of 38019 with flag 749827/2747699
511.48/505.39	c cleaning 20002 clauses out of 40015 with flag 814267/2768701
515.32/509.12	c cleaning 20998 clauses out of 42011 with flag 879711/2790699
518.67/512.49	c cleaning 21996 clauses out of 44013 with flag 944890/2813699
522.81/516.55	c cleaning 23002 clauses out of 46017 with flag 1011054/2837699
527.68/521.34	c cleaning 23993 clauses out of 48014 with flag 1076865/2862698
532.62/526.21	c cleaning 25001 clauses out of 50022 with flag 1152558/2888699
537.75/531.39	c cleaning 26006 clauses out of 52021 with flag 1233116/2915699
543.50/537.05	c cleaning 26993 clauses out of 54014 with flag 1318656/2943698
550.06/543.60	c cleaning 28004 clauses out of 56021 with flag 1413033/2972698
556.23/549.68	c cleaning 28992 clauses out of 58019 with flag 1509815/3002700
565.31/558.60	c cleaning 30002 clauses out of 60026 with flag 1627558/3033699
573.15/566.40	c cleaning 31000 clauses out of 62025 with flag 1726016/3065700
581.19/574.40	c cleaning 31996 clauses out of 64024 with flag 1813213/3098699
589.69/582.85	c cleaning 32999 clauses out of 66029 with flag 1909448/3132700
599.58/592.65	c cleaning 34002 clauses out of 68030 with flag 2018249/3167700
610.16/603.15	c cleaning 34992 clauses out of 70027 with flag 2136856/3203699
621.80/614.61	c cleaning 36008 clauses out of 72035 with flag 2272875/3240699
634.49/627.28	c cleaning 37002 clauses out of 74026 with flag 2408604/3278698
648.10/640.76	c cleaning 38003 clauses out of 76025 with flag 2522420/3317699
659.12/651.62	c cleaning 39006 clauses out of 78023 with flag 2657456/3357700
670.97/663.30	c cleaning 39990 clauses out of 80016 with flag 2825300/3398699
686.55/678.87	c cleaning 41002 clauses out of 82026 with flag 2969132/3440699
703.46/695.60	c cleaning 41999 clauses out of 84023 with flag 3105294/3483698
722.56/714.61	c cleaning 43002 clauses out of 86026 with flag 3230421/3527700
742.62/734.57	c cleaning 44001 clauses out of 88023 with flag 3373511/3572699
757.05/748.89	c cleaning 45001 clauses out of 90022 with flag 3545489/3618699
772.76/764.37	c cleaning 46001 clauses out of 92021 with flag 3705420/3665699
792.58/783.98	c cleaning 46990 clauses out of 94021 with flag 3846114/3713700
815.61/806.83	c cleaning 47997 clauses out of 96030 with flag 3987421/3762699
833.50/824.42	c cleaning 49009 clauses out of 98035 with flag 4140414/3812701
854.09/844.90	c cleaning 50003 clauses out of 100025 with flag 4313195/3863700
875.59/866.11	c cleaning 50994 clauses out of 102020 with flag 4511957/3915698
896.28/886.50	c cleaning 52004 clauses out of 104028 with flag 4710854/3968700
919.88/909.95	c cleaning 53005 clauses out of 106023 with flag 4913239/4022699
944.03/933.86	c cleaning 53996 clauses out of 108017 with flag 5107061/4077698
971.86/961.48	c cleaning 54996 clauses out of 110021 with flag 5298703/4133698
998.63/988.03	c cleaning 56003 clauses out of 112025 with flag 5528584/4190698
1025.38/1014.55	c cleaning 57001 clauses out of 114023 with flag 5736114/4248699
1054.16/1043.07	c cleaning 58000 clauses out of 116021 with flag 5958920/4307698
1081.91/1070.51	c cleaning 58995 clauses out of 118021 with flag 6181675/4367698
1117.39/1105.66	c cleaning 59996 clauses out of 120027 with flag 6389318/4428699
1151.44/1139.43	c cleaning 60995 clauses out of 122031 with flag 6583206/4490699
1184.12/1171.81	c cleaning 61999 clauses out of 124036 with flag 6764540/4553699
1215.00/1202.39	c cleaning 62995 clauses out of 126036 with flag 6957485/4617698
1247.05/1234.18	c cleaning 63993 clauses out of 128041 with flag 7154045/4682698
1279.49/1266.33	c cleaning 65012 clauses out of 130050 with flag 7368173/4748700
1311.20/1297.75	c cleaning 66011 clauses out of 132040 with flag 7606424/4815702
1350.44/1336.56	c cleaning 66999 clauses out of 134027 with flag 7848075/4883700
1393.12/1378.97	c cleaning 67998 clauses out of 136027 with flag 8105767/4952699
1440.85/1426.20	c cleaning 68994 clauses out of 138028 with flag 8375011/5022698
1473.53/1458.58	c cleaning 70012 clauses out of 140037 with flag 8608643/5093701
1521.56/1506.23	c cleaning 70999 clauses out of 142022 with flag 8894337/5165698
1566.84/1551.14	c cleaning 71999 clauses out of 144023 with flag 9164042/5238698
1619.65/1603.58	c cleaning 73000 clauses out of 146025 with flag 9445220/5312699
1674.16/1657.61	c cleaning 74003 clauses out of 148025 with flag 9721457/5387699
1729.13/1712.25	c cleaning 74999 clauses out of 150022 with flag 10023984/5463699
1774.28/1757.09	c cleaning 76000 clauses out of 152022 with flag 10314530/5540698
1800.05/1782.50	c starts		: 14090
1800.05/1782.50	c conflicts		: 5590978
1800.05/1782.50	c decisions		: 9060113
1800.05/1782.50	c propagations		: 450782789
1800.05/1782.50	c inspects		: 27397677376
1800.05/1782.50	c shortcuts		: 0
1800.05/1782.50	c learnt literals	: 0
1800.05/1782.50	c learnt binary clauses	: 74
1800.05/1782.50	c learnt ternary clauses	: 0
1800.05/1782.50	c learnt constraints	: 5590978
1800.05/1782.50	c ignored constraints	: 0
1800.05/1782.50	c root simplifications	: 0
1800.05/1782.50	c removed literals (reason simplification)	: 0
1800.05/1782.50	c reason swapping (by a shorter reason)	: 0
1800.05/1782.50	c Calls to reduceDB	: 211
1800.05/1782.50	c Number of update (reduction) of LBD	: 812218
1800.05/1782.50	c Imported unit clauses	: 0
1800.05/1782.50	c number of reductions to clauses (during analyze)	: 0
1800.05/1782.50	c number of learned constraints concerned by reduction	: 0
1800.05/1782.50	c number of learning phase by resolution	: 0
1800.05/1782.50	c number of learning phase by cutting planes	: 0
1800.05/1782.50	c speed (assignments/second)	: 252959.1338680769
1800.05/1782.50	c non guided choices	12715
1800.05/1782.53	c learnt constraints type 
1800.05/1782.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 74
1800.05/1782.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 126228
1800.05/1782.53	s SATISFIABLE
1800.05/1782.53	c Found 9 solution(s)
1800.05/1782.54	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 
1800.05/1782.55	c objective function=37192738
1800.05/1782.55	c Total wall clock time (in seconds): 1782.433

Verifier Data 

OK	37192738

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4103424-1466238380/watcher-4103424-1466238380 -o /tmp/evaluation-result-4103424-1466238380/solver-4103424-1466238380 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4103424-1466238380.opb 

pid=11018
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.36 2.27 2.24 4/196 11021
/proc/meminfo: memFree=29533652/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=3568 CPUtime=0 cores=1,3,5,7
/proc/11021/stat : 11021 (java) R 11018 11021 4518 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 25884393 3653632 50 33554432000 1073741824 1073778376 140735724343936 140735724341064 273896533287 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 1408 53 41 9 0 30 0

[startup+0.100061 s]
/proc/loadavg: 2.36 2.27 2.24 4/196 11021
/proc/meminfo: memFree=29533652/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 4419 0 1 0 8 0 0 0 20 0 18 0 25884393 9787879424 6053 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2389619 6053 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20026 s]
/proc/loadavg: 2.36 2.27 2.24 4/196 11021
/proc/meminfo: memFree=29533652/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 5206 0 1 0 28 1 0 0 20 0 18 0 25884393 9787879424 7163 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2389619 7163 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300257 s]
/proc/loadavg: 2.36 2.27 2.24 4/196 11021
/proc/meminfo: memFree=29533652/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 6989 0 1 0 47 1 0 0 20 0 18 0 25884393 9787879424 11707 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2389619 11707 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700294 s]
/proc/loadavg: 2.36 2.27 2.24 4/196 11021
/proc/meminfo: memFree=29533652/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 11275 0 1 0 152 3 0 0 20 0 19 0 25884393 9856040960 21196 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2406260 21196 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.36 2.27 2.24 3/215 11040
/proc/meminfo: memFree=29440780/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9625040 CPUtime=2.74 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 14505 0 1 0 270 4 0 0 20 0 19 0 25884393 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2406260 31217 2272 9 0 2396937 0
[pid=11021/tid=11023] ppid=11018 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/11021/task/11023/stat : 11023 (java) R 11018 11021 4518 0 -1 4202560 2477 0 1 0 144 2 0 0 20 0 19 0 25884394 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140684007053832 140683879357994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11024] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11024/stat : 11024 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683851057576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11025] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11025/stat : 11025 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683850005032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11026] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11026/stat : 11026 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683848951976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11027] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11027/stat : 11027 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683847899432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11028] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11028/stat : 11028 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683846847400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11029] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11029/stat : 11029 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683845794856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11030] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11030/stat : 11030 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683844741800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11031] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11031/stat : 11031 (java) S 11018 11021 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683843689256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11032] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11032/stat : 11032 (java) S 11018 11021 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25884396 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683831277928 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11033] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11033/stat : 11033 (java) S 11018 11021 4518 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683830224248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11034] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11034/stat : 11034 (java) S 11018 11021 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683829171080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11035] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11035/stat : 11035 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683828119824 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11036] ppid=11018 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/11021/task/11036/stat : 11036 (java) R 11018 11021 4518 0 -1 4202560 7451 0 0 0 68 1 0 0 20 0 19 0 25884399 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683827054488 140684011173263 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11037] ppid=11018 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/11021/task/11037/stat : 11037 (java) S 11018 11021 4518 0 -1 4202560 3305 0 0 0 55 0 0 0 20 0 19 0 25884399 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683826015160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11038] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11038/stat : 11038 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683824962296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11039] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11039/stat : 11039 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683823909960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11040] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11040/stat : 11040 (java) S 11018 11021 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25884440 9856040960 31217 33554432000 1073741824 1073778376 140735724343936 140683822855208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.36 2.27 2.24 4/215 11040
/proc/meminfo: memFree=29387048/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9625040 CPUtime=4.55 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 16070 0 1 0 449 6 0 0 20 0 19 0 25884393 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2406260 47312 2286 9 0 2396937 0
[pid=11021/tid=11023] ppid=11018 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/11021/task/11023/stat : 11023 (java) R 11018 11021 4518 0 -1 4202560 2508 0 1 0 302 3 0 0 20 0 19 0 25884394 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140684007054480 140683879303599 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11024] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11024/stat : 11024 (java) S 11018 11021 4518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683851057576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11025] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11025/stat : 11025 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683850005032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11026] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11026/stat : 11026 (java) S 11018 11021 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683848951976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11027] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11027/stat : 11027 (java) S 11018 11021 4518 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683847899432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11028] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11028/stat : 11028 (java) S 11018 11021 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683846847400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11029] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11029/stat : 11029 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683845794856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11030] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11030/stat : 11030 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683844741800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11031] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11031/stat : 11031 (java) S 11018 11021 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683843689256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11032] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11032/stat : 11032 (java) S 11018 11021 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25884396 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683831277928 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11033] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11033/stat : 11033 (java) S 11018 11021 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683830224248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11034] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11034/stat : 11034 (java) S 11018 11021 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683829171080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11035] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11035/stat : 11035 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683828119824 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11036] ppid=11018 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/11021/task/11036/stat : 11036 (java) S 11018 11021 4518 0 -1 4202560 8949 0 0 0 85 1 0 0 20 0 19 0 25884399 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683827067704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11037] ppid=11018 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/11021/task/11037/stat : 11037 (java) S 11018 11021 4518 0 -1 4202560 3305 0 0 0 57 0 0 0 20 0 19 0 25884399 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683826015160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11038] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11038/stat : 11038 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683824962296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11039] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11039/stat : 11039 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683823909960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11040] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11040/stat : 11040 (java) S 11018 11021 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25884440 9856040960 47312 33554432000 1073741824 1073778376 140735724343936 140683822855208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.33 2.27 2.24 3/215 11040
/proc/meminfo: memFree=29355020/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9625040 CPUtime=7.77 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 16071 0 1 0 771 6 0 0 20 0 19 0 25884393 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2406260 46321 2286 9 0 2396937 0
[pid=11021/tid=11023] ppid=11018 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/11021/task/11023/stat : 11023 (java) R 11018 11021 4518 0 -1 4202560 2509 0 1 0 621 3 0 0 20 0 19 0 25884394 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140684007046848 140683878747447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11024] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11024/stat : 11024 (java) S 11018 11021 4518 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683851057576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11025] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11025/stat : 11025 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683850005032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11026] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11026/stat : 11026 (java) S 11018 11021 4518 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683848951976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11027] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11027/stat : 11027 (java) S 11018 11021 4518 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683847899432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11028] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11028/stat : 11028 (java) S 11018 11021 4518 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683846847400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11029] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11029/stat : 11029 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683845794856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11030] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11030/stat : 11030 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683844741800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11031] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11031/stat : 11031 (java) S 11018 11021 4518 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 25884395 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683843689256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11032] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11032/stat : 11032 (java) S 11018 11021 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25884396 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683831277928 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11033] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11033/stat : 11033 (java) S 11018 11021 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683830224248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11034] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11034/stat : 11034 (java) S 11018 11021 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683829171080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11035] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11035/stat : 11035 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683828119824 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11036] ppid=11018 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/11021/task/11036/stat : 11036 (java) S 11018 11021 4518 0 -1 4202560 8949 0 0 0 85 1 0 0 20 0 19 0 25884399 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683827067704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11037] ppid=11018 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/11021/task/11037/stat : 11037 (java) S 11018 11021 4518 0 -1 4202560 3305 0 0 0 58 0 0 0 20 0 19 0 25884399 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683826015160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11038] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11038/stat : 11038 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683824962296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11039] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11039/stat : 11039 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683823909960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11040] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11040/stat : 11040 (java) S 11018 11021 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25884440 9856040960 46321 33554432000 1073741824 1073778376 140735724343936 140683822855208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 9625040


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

[pid=11021/tid=11040] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11040/stat : 11040 (java) S 11018 11021 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25884440 9856040960 51515 33554432000 1073741824 1073778376 140735724343936 140683822855208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1739.33
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.36 2.28 2.21 3/215 11150
/proc/meminfo: memFree=28682636/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9625040 CPUtime=1799.85 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 24207 0 1 0 179883 102 0 0 20 0 19 0 25884393 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2406260 51503 2295 9 0 2396937 0
[pid=11021/tid=11023] ppid=11018 vsize=9625040 CPUtime=1768.49 cores=1,3,5,7
/proc/11021/task/11023/stat : 11023 (java) R 11018 11021 4518 0 -1 4202560 3814 0 1 0 176816 33 0 0 20 0 19 0 25884394 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140684007054656 140683879300519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11024] ppid=11018 vsize=9625040 CPUtime=3 cores=1,3,5,7
/proc/11021/task/11024/stat : 11024 (java) S 11018 11021 4518 0 -1 4202560 874 0 0 0 293 7 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683851057576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11025] ppid=11018 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/11021/task/11025/stat : 11025 (java) S 11018 11021 4518 0 -1 4202560 700 0 0 0 287 6 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683850005032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11026] ppid=11018 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/11021/task/11026/stat : 11026 (java) S 11018 11021 4518 0 -1 4202560 899 0 0 0 291 7 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683848951976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11027] ppid=11018 vsize=9625040 CPUtime=2.9 cores=1,3,5,7
/proc/11021/task/11027/stat : 11027 (java) S 11018 11021 4518 0 -1 4202560 918 0 0 0 282 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683847899432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11028] ppid=11018 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/11021/task/11028/stat : 11028 (java) S 11018 11021 4518 0 -1 4202560 1127 0 0 0 297 9 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683846847400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11029] ppid=11018 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/11021/task/11029/stat : 11029 (java) S 11018 11021 4518 0 -1 4202560 679 0 0 0 299 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683845794856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11030] ppid=11018 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/11021/task/11030/stat : 11030 (java) S 11018 11021 4518 0 -1 4202560 828 0 0 0 298 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683844741800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11031] ppid=11018 vsize=9625040 CPUtime=2.99 cores=1,3,5,7
/proc/11021/task/11031/stat : 11031 (java) S 11018 11021 4518 0 -1 4202560 555 0 0 0 293 6 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683843689256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11032] ppid=11018 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/11021/task/11032/stat : 11032 (java) S 11018 11021 4518 0 -1 4202560 191 0 0 0 102 9 0 0 20 0 19 0 25884396 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683831277928 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11033] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11033/stat : 11033 (java) S 11018 11021 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683830224248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11034] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11034/stat : 11034 (java) S 11018 11021 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683829171080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11035] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11035/stat : 11035 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683828119824 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11036] ppid=11018 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/11021/task/11036/stat : 11036 (java) S 11018 11021 4518 0 -1 4202560 8953 0 0 0 100 1 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683827067704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11037] ppid=11018 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/11021/task/11037/stat : 11037 (java) S 11018 11021 4518 0 -1 4202560 3308 0 0 0 67 1 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683826015160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11038] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11038/stat : 11038 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683824962296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11039] ppid=11018 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/11021/task/11039/stat : 11039 (java) S 11018 11021 4518 0 -1 4202560 102 0 0 0 22 31 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683823909960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11040] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11040/stat : 11040 (java) S 11018 11021 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25884440 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683822855208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.85
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.5 s]
/proc/loadavg: 2.36 2.28 2.21 3/215 11150
/proc/meminfo: memFree=28682636/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 24207 0 1 0 179903 102 0 0 20 0 19 0 25884393 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2406260 51503 2295 9 0 2396937 0
[pid=11021/tid=11023] ppid=11018 vsize=9625040 CPUtime=1768.69 cores=1,3,5,7
/proc/11021/task/11023/stat : 11023 (java) R 11018 11021 4518 0 -1 4202560 3814 0 1 0 176836 33 0 0 20 0 19 0 25884394 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140684007054656 140683879359385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11024] ppid=11018 vsize=9625040 CPUtime=3 cores=1,3,5,7
/proc/11021/task/11024/stat : 11024 (java) S 11018 11021 4518 0 -1 4202560 874 0 0 0 293 7 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683851057576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11025] ppid=11018 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/11021/task/11025/stat : 11025 (java) S 11018 11021 4518 0 -1 4202560 700 0 0 0 287 6 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683850005032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11026] ppid=11018 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/11021/task/11026/stat : 11026 (java) S 11018 11021 4518 0 -1 4202560 899 0 0 0 291 7 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683848951976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11027] ppid=11018 vsize=9625040 CPUtime=2.9 cores=1,3,5,7
/proc/11021/task/11027/stat : 11027 (java) S 11018 11021 4518 0 -1 4202560 918 0 0 0 282 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683847899432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11028] ppid=11018 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/11021/task/11028/stat : 11028 (java) S 11018 11021 4518 0 -1 4202560 1127 0 0 0 297 9 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683846847400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11029] ppid=11018 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/11021/task/11029/stat : 11029 (java) S 11018 11021 4518 0 -1 4202560 679 0 0 0 299 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683845794856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11030] ppid=11018 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/11021/task/11030/stat : 11030 (java) S 11018 11021 4518 0 -1 4202560 828 0 0 0 298 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683844741800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11031] ppid=11018 vsize=9625040 CPUtime=2.99 cores=1,3,5,7
/proc/11021/task/11031/stat : 11031 (java) S 11018 11021 4518 0 -1 4202560 555 0 0 0 293 6 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683843689256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11032] ppid=11018 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/11021/task/11032/stat : 11032 (java) S 11018 11021 4518 0 -1 4202560 191 0 0 0 102 9 0 0 20 0 19 0 25884396 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683831277928 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11033] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11033/stat : 11033 (java) S 11018 11021 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683830224248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11034] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11034/stat : 11034 (java) S 11018 11021 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683829171080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11035] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11035/stat : 11035 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683828119824 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11036] ppid=11018 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/11021/task/11036/stat : 11036 (java) S 11018 11021 4518 0 -1 4202560 8953 0 0 0 100 1 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683827067704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11037] ppid=11018 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/11021/task/11037/stat : 11037 (java) S 11018 11021 4518 0 -1 4202560 3308 0 0 0 67 1 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683826015160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11038] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11038/stat : 11038 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683824962296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11039] ppid=11018 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/11021/task/11039/stat : 11039 (java) S 11018 11021 4518 0 -1 4202560 102 0 0 0 22 31 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683823909960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11040] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11040/stat : 11040 (java) S 11018 11021 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25884440 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683822855208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11021 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1782.5 s]
/proc/loadavg: 2.36 2.28 2.21 3/215 11150
/proc/meminfo: memFree=28682636/32872528 swapFree=1482636/1662508
[pid=11021] ppid=11018 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/11021/stat : 11021 (java) S 11018 11021 4518 0 -1 4202496 24207 0 1 0 179903 102 0 0 20 0 19 0 25884393 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140735724335072 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11021/statm: 2406260 51503 2295 9 0 2396937 0
[pid=11021/tid=11023] ppid=11018 vsize=9625040 CPUtime=1768.69 cores=1,3,5,7
/proc/11021/task/11023/stat : 11023 (java) R 11018 11021 4518 0 -1 4202560 3814 0 1 0 176836 33 0 0 20 0 19 0 25884394 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140684007054656 140683879359385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11021/tid=11024] ppid=11018 vsize=9625040 CPUtime=3 cores=1,3,5,7
/proc/11021/task/11024/stat : 11024 (java) S 11018 11021 4518 0 -1 4202560 874 0 0 0 293 7 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683851057576 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11025] ppid=11018 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/11021/task/11025/stat : 11025 (java) S 11018 11021 4518 0 -1 4202560 700 0 0 0 287 6 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683850005032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11026] ppid=11018 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/11021/task/11026/stat : 11026 (java) S 11018 11021 4518 0 -1 4202560 899 0 0 0 291 7 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683848951976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11027] ppid=11018 vsize=9625040 CPUtime=2.9 cores=1,3,5,7
/proc/11021/task/11027/stat : 11027 (java) S 11018 11021 4518 0 -1 4202560 918 0 0 0 282 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683847899432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11028] ppid=11018 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/11021/task/11028/stat : 11028 (java) S 11018 11021 4518 0 -1 4202560 1127 0 0 0 297 9 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683846847400 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11029] ppid=11018 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/11021/task/11029/stat : 11029 (java) S 11018 11021 4518 0 -1 4202560 679 0 0 0 299 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683845794856 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11030] ppid=11018 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/11021/task/11030/stat : 11030 (java) S 11018 11021 4518 0 -1 4202560 828 0 0 0 298 8 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683844741800 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11031] ppid=11018 vsize=9625040 CPUtime=2.99 cores=1,3,5,7
/proc/11021/task/11031/stat : 11031 (java) S 11018 11021 4518 0 -1 4202560 555 0 0 0 293 6 0 0 20 0 19 0 25884395 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683843689256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11032] ppid=11018 vsize=9625040 CPUtime=1.11 cores=1,3,5,7
/proc/11021/task/11032/stat : 11032 (java) S 11018 11021 4518 0 -1 4202560 191 0 0 0 102 9 0 0 20 0 19 0 25884396 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683831277928 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11033] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11033/stat : 11033 (java) S 11018 11021 4518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683830224248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11034] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11034/stat : 11034 (java) S 11018 11021 4518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 25884397 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683829171080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11035] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11035/stat : 11035 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683828119824 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11036] ppid=11018 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/11021/task/11036/stat : 11036 (java) S 11018 11021 4518 0 -1 4202560 8953 0 0 0 100 1 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683827067704 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11021/tid=11037] ppid=11018 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/11021/task/11037/stat : 11037 (java) S 11018 11021 4518 0 -1 4202560 3308 0 0 0 67 1 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683826015160 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11038] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11038/stat : 11038 (java) S 11018 11021 4518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683824962296 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11021/tid=11039] ppid=11018 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/11021/task/11039/stat : 11039 (java) S 11018 11021 4518 0 -1 4202560 102 0 0 0 22 31 0 0 20 0 19 0 25884399 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683823909960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11021/tid=11040] ppid=11018 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/11021/task/11040/stat : 11040 (java) S 11018 11021 4518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 25884440 9856040960 51503 33554432000 1073741824 1073778376 140735724343936 140683822855208 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1782.55
CPU time (s): 1800.05
CPU user time (s): 1799.03
CPU system time (s): 1.02
CPU usage (%): 100.982
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.91
system time used= 1.48077
maximum resident set size= 432276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24245
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66862
involuntary context switches= 91347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.33273 second user time and 15.6826 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-18 10:26:20
IDJOB=4103424
IDBENCH=2354
IDSOLVER=2546
FILE ID=node134/4103424-1466238380
RUNJOBID= node134-1466206058-4535
PBS_JOBID= 19918143
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103424-1466238380/watcher-4103424-1466238380 -o /tmp/evaluation-result-4103424-1466238380/solver-4103424-1466238380 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466206058-4535 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4103424-1466238380.opb

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

MD5SUM BENCH= c716bc6c519760d619aa6878c926054c
RANDOM SEED=1570506547

node134.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		: 2667.020
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	: 5334.04
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		: 2667.020
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	: 7358.89
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		: 2667.020
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		: 2667.020
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		: 2667.020
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.55
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		: 2667.020
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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	: 5332.55
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		: 2667.020
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:       32872528 kB
MemFree:        29533816 kB
Buffers:          125032 kB
Cached:           141388 kB
SwapCached:         1008 kB
Active:           735476 kB
Inactive:         203988 kB
Active(anon):     673396 kB
Inactive(anon):     1616 kB
Active(file):      62080 kB
Inactive(file):   202372 kB
Unevictable:     1662508 kB
Mlocked:         1482636 kB
SwapTotal:      67108856 kB
SwapFree:       67100112 kB
Dirty:              1120 kB
Writeback:             0 kB
AnonPages:       2336440 kB
Mapped:            15320 kB
Shmem:                 0 kB
Slab:             601104 kB
SReclaimable:      44756 kB
SUnreclaim:       556348 kB
KernelStack:        1592 kB
PageTables:         8988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2492216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    835584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node134 at 2016-06-18 10:56:02