Trace number 4090557

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.08 1780.97

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMe79d43742b4ee40954b18e2a5bb4c066
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1800.04
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6000
Total number of constraints220
Number of soft constraints152
Number of constraints which are clauses120
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint60
Top cost 7443
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7442
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 61
Number of bits of the biggest sum of numbers6
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/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.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090557-1466062206.wbo
0.09/0.11	c reading problem ... 
0.27/0.30	c ... done. Wall clock time 0.183s.
0.27/0.30	c declared #vars     6000
0.27/0.30	c internal #vars     6152
0.27/0.30	c #constraints  220
0.27/0.30	c constraints type 
0.54/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120
0.54/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
0.54/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.54/0.30	c 220 constraints processed.
0.54/0.30	c objective function length is 152 literals
1.57/0.95	c cleaning 2496 clauses out of 5000 with flag 31567/5000
2.38/1.64	c cleaning 4250 clauses out of 8505 with flag 74472/11001
2.78/2.03	c SATISFIABLE
2.78/2.03	c OPTIMIZING...
2.78/2.03	c Got one! Elapsed wall clock time (in seconds):1.914
2.78/2.03	o 165
2.78/2.08	c Got one! Elapsed wall clock time (in seconds):1.972
2.78/2.08	o 109
3.02/2.12	c Got one! Elapsed wall clock time (in seconds):2.005
3.02/2.12	o 77
3.37/2.44	c cleaning 4977 clauses out of 9960 with flag 13148/16706
4.28/3.32	c cleaning 5485 clauses out of 10981 with flag 58002/22704
5.39/4.43	c cleaning 6245 clauses out of 12498 with flag 117110/29706
6.89/5.91	c cleaning 7122 clauses out of 14252 with flag 185737/37705
8.59/7.68	c cleaning 8062 clauses out of 16129 with flag 264064/46704
9.79/8.84	c Got one! Elapsed wall clock time (in seconds):8.729
9.79/8.84	o 73
10.04/9.07	c Got one! Elapsed wall clock time (in seconds):8.959
10.04/9.07	o 63
10.74/9.79	c cleaning 10022 clauses out of 20051 with flag 20763/58688
11.96/10.99	c cleaning 8010 clauses out of 16031 with flag 68168/64690
13.46/12.42	c cleaning 7504 clauses out of 15020 with flag 130022/71689
14.96/13.98	c cleaning 7752 clauses out of 15517 with flag 204195/79690
16.66/15.68	c cleaning 8378 clauses out of 16764 with flag 278480/88689
18.56/17.59	c cleaning 9187 clauses out of 18387 with flag 358077/98690
20.76/19.77	c cleaning 10100 clauses out of 20206 with flag 443498/109696
23.86/22.87	c cleaning 11035 clauses out of 22098 with flag 548890/121688
23.96/22.93	c Got one! Elapsed wall clock time (in seconds):22.821
23.96/22.93	o 62
24.96/23.93	c cleaning 8129 clauses out of 16283 with flag 38906/126908
26.11/25.04	c cleaning 7067 clauses out of 14156 with flag 94949/132910
27.41/26.30	c cleaning 7034 clauses out of 14087 with flag 163697/139908
28.51/27.49	c cleaning 7518 clauses out of 15053 with flag 245236/147908
30.11/29.00	c cleaning 8260 clauses out of 16535 with flag 335287/156908
32.21/31.13	c cleaning 9135 clauses out of 18276 with flag 431596/166909
34.41/33.36	c cleaning 10064 clauses out of 20140 with flag 532994/177908
37.01/35.98	c cleaning 11033 clauses out of 22076 with flag 648372/189908
40.28/39.12	c cleaning 12013 clauses out of 24044 with flag 776901/202909
43.39/42.28	c cleaning 13012 clauses out of 26032 with flag 907595/216910
47.39/46.25	c cleaning 14004 clauses out of 28018 with flag 1058934/231908
51.79/50.63	c cleaning 14997 clauses out of 30014 with flag 1214510/247908
56.69/55.57	c cleaning 16003 clauses out of 32018 with flag 1378994/264909
62.65/61.32	c cleaning 17001 clauses out of 34014 with flag 1556360/282908
69.26/67.99	c cleaning 18004 clauses out of 36017 with flag 1762250/301912
76.96/75.62	c cleaning 18999 clauses out of 38010 with flag 1971635/321909
84.24/82.77	c cleaning 19993 clauses out of 40010 with flag 2178708/342908
92.44/90.99	c cleaning 21002 clauses out of 42019 with flag 2411054/364910
101.65/100.12	c cleaning 22002 clauses out of 44015 with flag 2640842/387908
111.58/109.88	c cleaning 23003 clauses out of 46014 with flag 2885943/411909
122.18/120.49	c cleaning 23996 clauses out of 48010 with flag 3135087/436908
133.88/131.84	c cleaning 25005 clauses out of 50020 with flag 3404825/462914
148.38/146.38	c cleaning 26004 clauses out of 52014 with flag 3692091/489913
160.34/157.91	c cleaning 27003 clauses out of 54006 with flag 3976831/517909
160.34/157.92	c Got one! Elapsed wall clock time (in seconds):157.804
160.34/157.92	o 59
161.95/159.58	c cleaning 16055 clauses out of 32130 with flag 51029/523036
163.24/160.87	c cleaning 11031 clauses out of 22075 with flag 105289/529036
164.66/162.26	c cleaning 9008 clauses out of 18044 with flag 178835/536036
166.06/163.64	c cleaning 8513 clauses out of 17037 with flag 263723/544037
167.76/165.32	c cleaning 8756 clauses out of 17523 with flag 365916/553036
169.68/167.29	c cleaning 9376 clauses out of 18767 with flag 483891/563036
171.77/169.35	c cleaning 10191 clauses out of 20391 with flag 598798/574036
174.40/171.91	c cleaning 11098 clauses out of 22202 with flag 736179/586038
177.20/174.73	c cleaning 12047 clauses out of 24103 with flag 882389/599037
180.53/178.00	c cleaning 13024 clauses out of 26058 with flag 1049483/613039
184.35/181.81	c cleaning 14013 clauses out of 28035 with flag 1221364/628040
184.75/182.27	c Got one! Elapsed wall clock time (in seconds):182.157
184.75/182.27	o 55
185.45/182.93	c cleaning 9743 clauses out of 19508 with flag 29360/633526
186.45/183.98	c cleaning 7873 clauses out of 15763 with flag 97491/639524
187.67/185.11	c cleaning 7436 clauses out of 14889 with flag 179736/646523
188.87/186.36	c cleaning 7718 clauses out of 15453 with flag 271676/654523
190.58/188.02	c cleaning 8361 clauses out of 16736 with flag 380256/663524
192.71/190.14	c cleaning 9179 clauses out of 18374 with flag 493106/673523
195.22/192.68	c cleaning 10089 clauses out of 20196 with flag 625756/684524
197.94/195.39	c cleaning 11048 clauses out of 22109 with flag 759222/696526
200.99/198.30	c cleaning 12020 clauses out of 24058 with flag 899555/709523
202.69/200.05	c Got one! Elapsed wall clock time (in seconds):199.941
202.69/200.05	o 47
203.99/201.31	c cleaning 12731 clauses out of 25474 with flag 48634/722959
205.22/202.54	c cleaning 9368 clauses out of 18745 with flag 102711/728961
206.42/203.78	c cleaning 8179 clauses out of 16378 with flag 170654/735962
208.02/205.31	c cleaning 8086 clauses out of 16195 with flag 262580/743958
209.73/207.00	c cleaning 8550 clauses out of 17112 with flag 363627/752961
211.74/209.06	c cleaning 9277 clauses out of 18561 with flag 481269/762960
214.24/211.55	c cleaning 10139 clauses out of 20283 with flag 609176/773959
217.35/214.66	c cleaning 11062 clauses out of 22145 with flag 746811/785960
220.46/217.78	c cleaning 12036 clauses out of 24083 with flag 866357/798960
223.69/220.96	c cleaning 13015 clauses out of 26046 with flag 997335/812959
227.39/224.69	c cleaning 14012 clauses out of 28032 with flag 1135838/827960
231.91/229.16	c cleaning 15004 clauses out of 30019 with flag 1294025/843959
237.04/234.27	c cleaning 16001 clauses out of 32014 with flag 1473409/860958
243.07/240.25	c cleaning 17001 clauses out of 34013 with flag 1673721/878958
249.41/246.58	c cleaning 18001 clauses out of 36014 with flag 1867917/897960
252.34/249.46	c Got one! Elapsed wall clock time (in seconds):249.343
252.34/249.46	o 46
253.92/250.95	c cleaning 16567 clauses out of 33149 with flag 39433/913096
255.12/252.14	c cleaning 11279 clauses out of 22582 with flag 90519/919096
256.52/253.51	c cleaning 9138 clauses out of 18305 with flag 164352/926098
258.03/255.03	c cleaning 8571 clauses out of 17166 with flag 245081/934097
259.63/256.64	c cleaning 8776 clauses out of 17594 with flag 329061/943096
261.44/258.45	c cleaning 9404 clauses out of 18820 with flag 416656/953098
263.64/260.64	c cleaning 10202 clauses out of 20418 with flag 524653/964100
266.28/263.27	c cleaning 11095 clauses out of 22212 with flag 644407/976096
269.34/266.22	c cleaning 12050 clauses out of 24119 with flag 764689/989098
272.56/269.49	c cleaning 13031 clauses out of 26067 with flag 912682/1003096
276.58/273.49	c cleaning 14013 clauses out of 28037 with flag 1077325/1018097
281.28/278.12	c cleaning 15006 clauses out of 30025 with flag 1260949/1034098
286.46/283.25	c cleaning 16001 clauses out of 32020 with flag 1466629/1051099
292.02/288.77	c cleaning 17005 clauses out of 34018 with flag 1678921/1069098
298.95/295.62	c cleaning 17996 clauses out of 36015 with flag 1901980/1088100
305.40/302.03	c cleaning 19003 clauses out of 38015 with flag 2125385/1108096
311.78/308.34	c cleaning 20002 clauses out of 40016 with flag 2355647/1129100
318.21/314.79	c cleaning 21000 clauses out of 42010 with flag 2581884/1151096
325.13/321.62	c cleaning 21999 clauses out of 44010 with flag 2808024/1174096
331.79/328.29	c cleaning 23001 clauses out of 46013 with flag 3067055/1198098
339.66/336.06	c cleaning 24002 clauses out of 48012 with flag 3333660/1223098
348.99/345.30	c cleaning 24999 clauses out of 50011 with flag 3609606/1249099
357.27/353.53	c cleaning 26001 clauses out of 52009 with flag 3897862/1276096
366.73/362.99	c cleaning 27000 clauses out of 54009 with flag 4167143/1304097
376.88/373.07	c cleaning 27998 clauses out of 56009 with flag 4482566/1333097
387.16/383.23	c cleaning 28998 clauses out of 58014 with flag 4774334/1363100
398.67/394.68	c cleaning 30002 clauses out of 60017 with flag 5089495/1394101
410.54/406.49	c cleaning 31003 clauses out of 62014 with flag 5455899/1426100
422.83/418.68	c cleaning 31988 clauses out of 64007 with flag 5808545/1459096
436.95/432.67	c cleaning 33003 clauses out of 66019 with flag 6173389/1493096
450.22/445.80	c cleaning 33997 clauses out of 68016 with flag 6531332/1528096
460.22/455.78	c Got one! Elapsed wall clock time (in seconds):455.664
460.22/455.78	o 41
461.81/457.34	c cleaning 34715 clauses out of 69449 with flag 54290/1563526
463.22/458.73	c cleaning 20358 clauses out of 40734 with flag 120392/1569526
464.52/460.09	c cleaning 13677 clauses out of 27376 with flag 194930/1576526
465.95/461.48	c cleaning 10841 clauses out of 21699 with flag 280507/1584526
467.55/463.03	c cleaning 9918 clauses out of 19858 with flag 375464/1593526
469.35/464.82	c cleaning 9957 clauses out of 19940 with flag 496172/1603526
471.26/466.73	c cleaning 10484 clauses out of 20983 with flag 630645/1614526
473.41/468.80	c cleaning 11238 clauses out of 22500 with flag 758223/1626527
475.82/471.23	c cleaning 12122 clauses out of 24261 with flag 901843/1639526
478.95/474.31	c cleaning 13061 clauses out of 26140 with flag 1075774/1653527
481.96/477.35	c cleaning 14034 clauses out of 28079 with flag 1257333/1668527
485.17/480.58	c cleaning 15015 clauses out of 30047 with flag 1444313/1684529
488.84/484.19	c cleaning 16002 clauses out of 32030 with flag 1642032/1701527
489.23/484.56	c Got one! Elapsed wall clock time (in seconds):484.448
489.23/484.56	o 39
489.73/485.10	c cleaning 10670 clauses out of 21362 with flag 35812/1706861
490.75/486.08	c cleaning 8332 clauses out of 16692 with flag 103120/1712861
491.95/487.26	c cleaning 7658 clauses out of 15359 with flag 182466/1719860
493.27/488.51	c cleaning 7835 clauses out of 15700 with flag 277116/1727859
494.68/489.98	c cleaning 8425 clauses out of 16865 with flag 377162/1736859
496.39/491.70	c cleaning 9215 clauses out of 18444 with flag 502221/1746863
498.50/493.75	c cleaning 10105 clauses out of 20227 with flag 642232/1757861
500.71/495.95	c cleaning 11051 clauses out of 22121 with flag 787874/1769860
503.44/498.64	c cleaning 12029 clauses out of 24070 with flag 943301/1782860
506.47/501.63	c cleaning 13010 clauses out of 26040 with flag 1116815/1796859
510.00/505.12	c cleaning 14008 clauses out of 28032 with flag 1300210/1811861
513.46/508.57	c cleaning 15001 clauses out of 30022 with flag 1471018/1827859
517.40/512.49	c cleaning 16005 clauses out of 32022 with flag 1657602/1844860
517.80/512.85	c Got one! Elapsed wall clock time (in seconds):512.743
517.80/512.85	o 35
518.40/513.48	c cleaning 10601 clauses out of 21222 with flag 31831/1850065
519.49/514.52	c cleaning 8297 clauses out of 16622 with flag 99234/1856066
520.52/515.55	c cleaning 7646 clauses out of 15324 with flag 166568/1863065
521.83/516.86	c cleaning 7825 clauses out of 15680 with flag 262887/1871067
523.16/518.19	c cleaning 8418 clauses out of 16853 with flag 360559/1880065
524.87/519.80	c cleaning 9214 clauses out of 18435 with flag 482119/1890065
526.78/521.77	c cleaning 10100 clauses out of 20221 with flag 620674/1901065
529.20/524.13	c cleaning 11052 clauses out of 22121 with flag 758002/1913065
531.93/526.83	c cleaning 12029 clauses out of 24070 with flag 916955/1926066
534.86/529.70	c cleaning 13016 clauses out of 26042 with flag 1071688/1940067
538.23/533.00	c cleaning 14004 clauses out of 28024 with flag 1231681/1955065
541.99/536.70	c cleaning 15005 clauses out of 30023 with flag 1404737/1971068
546.26/540.94	c cleaning 16005 clauses out of 32016 with flag 1594698/1988066
551.40/546.01	c cleaning 17002 clauses out of 34012 with flag 1801660/2006067
556.26/550.85	c cleaning 17993 clauses out of 36008 with flag 2033199/2025065
561.49/556.02	c cleaning 19003 clauses out of 38016 with flag 2272247/2045066
565.97/560.45	c cleaning 19995 clauses out of 40013 with flag 2525260/2066066
571.54/565.95	c Got one! Elapsed wall clock time (in seconds):565.834
571.54/565.95	o 33
571.54/566.00	c Got one! Elapsed wall clock time (in seconds):565.883
571.54/566.00	o 22
573.46/567.87	c cleaning 23279 clauses out of 46568 with flag 59316/2092616
574.78/569.18	c cleaning 14638 clauses out of 29291 with flag 119709/2098618
576.20/570.53	c cleaning 10813 clauses out of 21651 with flag 206344/2105616
577.62/571.93	c cleaning 9404 clauses out of 18838 with flag 306269/2113616
579.24/573.54	c cleaning 9203 clauses out of 18436 with flag 425197/2122618
581.17/575.46	c cleaning 9609 clauses out of 19233 with flag 553271/2132618
583.38/577.68	c cleaning 10306 clauses out of 20623 with flag 694705/2143617
585.91/580.17	c cleaning 11151 clauses out of 22316 with flag 844469/2155616
588.76/582.96	c cleaning 12077 clauses out of 24165 with flag 1006722/2168616
592.04/586.13	c cleaning 13039 clauses out of 26089 with flag 1173354/2182617
595.83/589.82	c cleaning 14018 clauses out of 28050 with flag 1354437/2197617
597.05/591.04	c Got one! Elapsed wall clock time (in seconds):590.932
597.05/591.04	o 21
598.18/592.18	c cleaning 12249 clauses out of 24516 with flag 42854/2208101
599.38/593.30	c cleaning 9118 clauses out of 18267 with flag 109762/2214101
600.39/594.36	c cleaning 8061 clauses out of 16149 with flag 179015/2221101
601.51/595.50	c cleaning 8027 clauses out of 16087 with flag 254381/2229100
603.01/596.90	c cleaning 8522 clauses out of 17060 with flag 343663/2238100
604.72/598.63	c cleaning 9263 clauses out of 18538 with flag 454225/2248100
606.64/600.55	c cleaning 10130 clauses out of 20276 with flag 577985/2259101
609.06/602.94	c cleaning 11065 clauses out of 22146 with flag 710780/2271101
611.88/605.75	c cleaning 12037 clauses out of 24082 with flag 862033/2284102
615.01/608.82	c cleaning 13017 clauses out of 26043 with flag 1026066/2298100
618.65/612.44	c cleaning 14007 clauses out of 28027 with flag 1214224/2313101
622.48/616.20	c cleaning 15007 clauses out of 30021 with flag 1394714/2329102
626.35/620.00	c cleaning 15994 clauses out of 32015 with flag 1543880/2346103
630.84/624.43	c cleaning 17000 clauses out of 34018 with flag 1719093/2364100
633.81/627.32	c cleaning 17987 clauses out of 36019 with flag 1867162/2383101
639.58/633.01	c cleaning 18990 clauses out of 38034 with flag 2032745/2403103
646.23/639.68	c cleaning 19994 clauses out of 40041 with flag 2210844/2424100
655.74/649.02	c cleaning 20995 clauses out of 42050 with flag 2390161/2446103
665.02/658.28	c cleaning 21992 clauses out of 44052 with flag 2579954/2469100
674.11/667.28	c cleaning 22993 clauses out of 46061 with flag 2784208/2493101
684.08/677.15	c cleaning 24005 clauses out of 48069 with flag 2996330/2518102
694.79/687.73	c cleaning 25000 clauses out of 50063 with flag 3207782/2544101
705.50/698.33	c cleaning 25999 clauses out of 52063 with flag 3414023/2571101
718.92/711.65	c cleaning 26995 clauses out of 54064 with flag 3683347/2599101
729.58/722.17	c cleaning 28002 clauses out of 56068 with flag 3902020/2628100
740.99/733.42	c cleaning 29001 clauses out of 58068 with flag 4124662/2658102
752.61/744.90	c cleaning 30003 clauses out of 60067 with flag 4358641/2689102
767.14/759.32	c cleaning 31001 clauses out of 62063 with flag 4621071/2721101
782.86/774.96	c cleaning 32000 clauses out of 64065 with flag 4918080/2754104
796.32/788.20	c cleaning 32998 clauses out of 66063 with flag 5222035/2788102
810.78/802.58	c cleaning 33999 clauses out of 68064 with flag 5505014/2823101
827.44/819.00	c cleaning 34999 clauses out of 70065 with flag 5813458/2859101
843.87/835.38	c cleaning 36000 clauses out of 72067 with flag 6129170/2896102
860.95/852.21	c cleaning 37000 clauses out of 74067 with flag 6452766/2934102
879.53/870.62	c cleaning 37987 clauses out of 76065 with flag 6761803/2973100
897.42/888.36	c cleaning 39002 clauses out of 78078 with flag 7081690/3013100
916.75/907.43	c cleaning 40000 clauses out of 80077 with flag 7408075/3054101
939.18/929.64	c cleaning 41007 clauses out of 82077 with flag 7753007/3096101
965.61/955.86	c cleaning 42001 clauses out of 84069 with flag 8128456/3139100
992.26/982.29	c cleaning 43008 clauses out of 86070 with flag 8536872/3183102
1021.76/1011.48	c cleaning 43996 clauses out of 88060 with flag 8933865/3228100
1053.41/1042.75	c cleaning 45000 clauses out of 90067 with flag 9341069/3274103
1083.45/1072.41	c cleaning 45995 clauses out of 92064 with flag 9788233/3321100
1114.04/1102.75	c cleaning 46998 clauses out of 94069 with flag 10229904/3369100
1145.48/1133.83	c cleaning 48000 clauses out of 96071 with flag 10661253/3418100
1177.59/1165.51	c cleaning 49007 clauses out of 98072 with flag 11057079/3468101
1225.96/1213.36	c cleaning 50013 clauses out of 100064 with flag 11522448/3519100
1226.45/1213.81	c Got one! Elapsed wall clock time (in seconds):1213.695
1226.45/1213.81	o 20
1226.78/1214.18	c cleaning 27719 clauses out of 55455 with flag 25433/3524504
1227.38/1214.73	c cleaning 16855 clauses out of 33734 with flag 65684/3530502
1228.10/1215.40	c cleaning 11929 clauses out of 23880 with flag 116548/3537503
1228.92/1216.28	c cleaning 9970 clauses out of 19952 with flag 175583/3545504
1230.09/1217.34	c cleaning 9483 clauses out of 18980 with flag 241311/3554502
1231.33/1218.54	c cleaning 9746 clauses out of 19499 with flag 315426/3564504
1233.00/1220.13	c cleaning 10365 clauses out of 20753 with flag 399091/3575504
1234.73/1221.80	c cleaning 11186 clauses out of 22386 with flag 487580/3587502
1236.56/1223.61	c cleaning 12091 clauses out of 24202 with flag 579656/3600504
1238.81/1225.80	c cleaning 13048 clauses out of 26109 with flag 689445/3614502
1241.33/1228.33	c cleaning 14027 clauses out of 28061 with flag 810337/3629502
1244.44/1231.47	c cleaning 15009 clauses out of 30035 with flag 930941/3645503
1248.94/1235.83	c cleaning 16010 clauses out of 32025 with flag 1073019/3662502
1252.36/1239.23	c cleaning 16999 clauses out of 34016 with flag 1219970/3680503
1256.19/1243.09	c cleaning 18004 clauses out of 36017 with flag 1377427/3699503
1260.64/1247.46	c cleaning 19000 clauses out of 38012 with flag 1562253/3719502
1266.17/1252.96	c cleaning 19996 clauses out of 40013 with flag 1749934/3740503
1272.13/1258.87	c cleaning 20996 clauses out of 42016 with flag 1948133/3762502
1278.40/1265.08	c cleaning 22002 clauses out of 44020 with flag 2172119/3785502
1285.08/1271.63	c cleaning 23005 clauses out of 46018 with flag 2412488/3809502
1292.33/1278.80	c cleaning 24001 clauses out of 48015 with flag 2635970/3834504
1299.83/1286.22	c cleaning 25002 clauses out of 50015 with flag 2864385/3860505
1308.55/1294.87	c cleaning 25996 clauses out of 52010 with flag 3104757/3887502
1317.36/1303.60	c cleaning 26999 clauses out of 54014 with flag 3375475/3915502
1326.91/1313.08	c cleaning 27997 clauses out of 56016 with flag 3645214/3944503
1337.71/1323.78	c cleaning 29007 clauses out of 58019 with flag 3917607/3974503
1348.66/1334.66	c cleaning 29997 clauses out of 60011 with flag 4199297/4005502
1360.46/1346.33	c cleaning 31000 clauses out of 62014 with flag 4486787/4037502
1372.30/1358.03	c cleaning 31999 clauses out of 64014 with flag 4790188/4070502
1385.16/1370.73	c cleaning 33001 clauses out of 66015 with flag 5100393/4104502
1398.96/1384.48	c cleaning 33998 clauses out of 68014 with flag 5408796/4139502
1412.32/1397.62	c cleaning 35001 clauses out of 70016 with flag 5718388/4175502
1430.26/1415.44	c cleaning 36005 clauses out of 72016 with flag 6067187/4212503
1446.91/1431.87	c cleaning 36995 clauses out of 74010 with flag 6406909/4250502
1465.02/1449.72	c cleaning 38000 clauses out of 76015 with flag 6749278/4289502
1481.83/1466.35	c cleaning 39002 clauses out of 78016 with flag 7084568/4329503
1500.02/1484.24	c cleaning 40002 clauses out of 80016 with flag 7431093/4370505
1520.57/1504.66	c cleaning 40997 clauses out of 82012 with flag 7803603/4412503
1542.15/1525.92	c cleaning 41999 clauses out of 84014 with flag 8194514/4455502
1566.87/1550.43	c cleaning 43002 clauses out of 86017 with flag 8628147/4499504
1590.52/1573.80	c cleaning 44000 clauses out of 88013 with flag 9053932/4544502
1613.69/1596.78	c cleaning 45003 clauses out of 90018 with flag 9456691/4590507
1638.20/1620.91	c cleaning 46002 clauses out of 92013 with flag 9854344/4637505
1666.10/1648.66	c cleaning 46997 clauses out of 94008 with flag 10317287/4685502
1695.63/1677.87	c cleaning 48003 clauses out of 96012 with flag 10804705/4734503
1699.99/1682.16	c Got one! Elapsed wall clock time (in seconds):1682.047
1699.99/1682.16	o 13
1702.14/1684.26	c cleaning 31642 clauses out of 63296 with flag 48261/4749790
1703.66/1685.78	c cleaning 18818 clauses out of 37652 with flag 104591/4755788
1704.89/1686.94	c cleaning 12905 clauses out of 25832 with flag 169027/4762786
1706.00/1688.07	c cleaning 10459 clauses out of 20929 with flag 243639/4770788
1707.02/1689.05	c cleaning 9729 clauses out of 19470 with flag 317732/4779788
1708.23/1690.20	c cleaning 9860 clauses out of 19739 with flag 387643/4789786
1709.48/1691.48	c cleaning 10433 clauses out of 20880 with flag 471058/4800787
1711.03/1693.00	c cleaning 11220 clauses out of 22447 with flag 566844/4812787
1712.93/1694.83	c cleaning 12111 clauses out of 24228 with flag 669014/4825788
1715.18/1697.07	c cleaning 13048 clauses out of 26116 with flag 793624/4839787
1717.53/1699.37	c cleaning 14028 clauses out of 28067 with flag 912561/4854786
1719.98/1701.77	c cleaning 15010 clauses out of 30039 with flag 1063356/4870786
1723.22/1704.99	c cleaning 16008 clauses out of 32031 with flag 1242172/4887788
1726.74/1708.46	c cleaning 17007 clauses out of 34023 with flag 1424876/4905788
1730.82/1712.43	c cleaning 18000 clauses out of 36015 with flag 1594830/4924787
1735.50/1717.02	c cleaning 19002 clauses out of 38014 with flag 1789115/4944786
1740.94/1722.40	c cleaning 20001 clauses out of 40012 with flag 2007847/4965786
1747.01/1728.44	c cleaning 20996 clauses out of 42012 with flag 2220362/4987787
1753.87/1735.26	c cleaning 22002 clauses out of 44015 with flag 2453486/5010786
1760.35/1741.63	c cleaning 22998 clauses out of 46013 with flag 2644681/5034786
1767.04/1748.29	c cleaning 24002 clauses out of 48017 with flag 2831024/5059788
1774.49/1755.68	c cleaning 24999 clauses out of 50014 with flag 3051555/5085787
1782.16/1763.29	c cleaning 25993 clauses out of 52014 with flag 3279131/5112786
1790.98/1771.92	c cleaning 27002 clauses out of 54023 with flag 3520087/5140788
1800.08/1780.91	c starts		: 1090
1800.08/1780.91	c conflicts		: 5169413
1800.08/1780.91	c decisions		: 6748128
1800.08/1780.91	c propagations		: 119177639
1800.08/1780.91	c inspects		: 30792607383
1800.08/1780.91	c shortcuts		: 0
1800.08/1780.91	c learnt literals	: 0
1800.08/1780.91	c learnt binary clauses	: 0
1800.08/1780.91	c learnt ternary clauses	: 0
1800.08/1780.91	c learnt constraints	: 5169413
1800.08/1780.91	c ignored constraints	: 0
1800.08/1780.91	c root simplifications	: 0
1800.08/1780.91	c removed literals (reason simplification)	: 0
1800.08/1780.91	c reason swapping (by a shorter reason)	: 0
1800.08/1780.91	c Calls to reduceDB	: 275
1800.08/1780.91	c Number of update (reduction) of LBD	: 2402106
1800.08/1780.91	c Imported unit clauses	: 0
1800.08/1780.91	c number of reductions to clauses (during analyze)	: 0
1800.08/1780.91	c number of learned constraints concerned by reduction	: 0
1800.08/1780.91	c number of learning phase by resolution	: 0
1800.08/1780.91	c number of learning phase by cutting planes	: 0
1800.08/1780.91	c speed (assignments/second)	: 66930.94317327921
1800.08/1780.91	c non guided choices	141500
1800.08/1780.93	c learnt constraints type 
1800.08/1780.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55646
1800.08/1780.93	s SATISFIABLE
1800.08/1780.93	c Found 18 solution(s)
1800.08/1780.94	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 
1800.08/1780.95	c objective function=13
1800.08/1780.95	c Total wall clock time (in seconds): 1780.84

Verifier Data 

OK	13

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-4090557-1466062206/watcher-4090557-1466062206 -o /tmp/evaluation-result-4090557-1466062206/solver-4090557-1466062206 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466062135-7566 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090557-1466062206.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.67 0.51 0.18 3/195 7682
/proc/meminfo: memFree=31645272/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/7682/stat : 7682 (java) R 7679 7682 7549 0 -1 4202496 697 0 0 0 0 0 0 0 20 0 1 0 8270641 23793664 347 33554432000 1073741824 1073778376 140735601424288 140735601413352 251133999681 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 5809 359 276 9 0 128 0

[startup+0.100109 s]
/proc/loadavg: 1.67 0.51 0.18 3/195 7682
/proc/meminfo: memFree=31645272/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 4461 0 1 0 8 1 0 0 20 0 18 0 8270641 9787879424 5573 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2389619 5573 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200361 s]
/proc/loadavg: 1.67 0.51 0.18 3/195 7682
/proc/meminfo: memFree=31645272/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 5046 0 1 0 26 1 0 0 20 0 18 0 8270641 9787879424 6513 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2389619 6513 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300238 s]
/proc/loadavg: 1.67 0.51 0.18 3/195 7682
/proc/meminfo: memFree=31645272/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 7403 0 1 0 52 2 0 0 20 0 18 0 8270641 9787879424 9960 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2389619 9960 2241 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.70031 s]
/proc/loadavg: 1.67 0.51 0.18 3/195 7682
/proc/meminfo: memFree=31645272/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 11020 0 1 0 133 3 0 0 20 0 19 0 8270641 9856040960 13141 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2406260 13141 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 1.69 0.54 0.19 3/214 7701
/proc/meminfo: memFree=31594924/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9625040 CPUtime=2.27 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 11272 0 1 0 224 3 0 0 20 0 19 0 8270641 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2406260 16304 2260 9 0 2396937 0
[pid=7682/tid=7684] ppid=7679 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/7682/task/7684/stat : 7684 (java) R 7679 7682 7549 0 -1 4202560 2477 0 1 0 143 1 0 0 20 0 19 0 8270642 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984534712648 139984406798841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7685] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7685/stat : 7685 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984378612520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7686] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7686/stat : 7686 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984377559720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7687] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7687/stat : 7687 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984376507432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7688] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7688/stat : 7688 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984375454632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7689] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7689/stat : 7689 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984374401320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7690] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7690/stat : 7690 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984373348520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7691] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7691/stat : 7691 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984372296232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7692] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7692/stat : 7692 (java) S 7679 7682 7549 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984371243432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7693] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7693/stat : 7693 (java) S 7679 7682 7549 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984358832872 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7694] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7694/stat : 7694 (java) S 7679 7682 7549 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984357778936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7695] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7695/stat : 7695 (java) S 7679 7682 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984356726536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7696] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7696/stat : 7696 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984355675024 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7697] ppid=7679 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/7682/task/7697/stat : 7697 (java) S 7679 7682 7549 0 -1 4202560 3192 0 0 0 37 0 0 0 20 0 19 0 8270647 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984354621624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7698] ppid=7679 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7682/task/7698/stat : 7698 (java) S 7679 7682 7549 0 -1 4202560 4326 0 0 0 39 2 0 0 20 0 19 0 8270647 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984353568824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7699] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7699/stat : 7699 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984352516728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7700] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7700/stat : 7700 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984351464136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7701] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7701/stat : 7701 (java) S 7679 7682 7549 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8270672 9856040960 16304 33554432000 1073741824 1073778376 140735601424288 139984350410152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 1.69 0.54 0.19 3/194 7716
/proc/meminfo: memFree=31790156/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 12278 0 1 0 405 3 0 0 20 0 19 0 8270641 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2406260 21964 2260 9 0 2396937 0
[pid=7682/tid=7684] ppid=7679 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/7682/task/7684/stat : 7684 (java) R 7679 7682 7549 0 -1 4202560 2489 0 1 0 302 1 0 0 20 0 19 0 8270642 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984534710872 139984406798840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7685] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7685/stat : 7685 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984378612520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7686] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7686/stat : 7686 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984377559720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7687] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7687/stat : 7687 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984376507432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7688] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7688/stat : 7688 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984375454632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7689] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7689/stat : 7689 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984374401320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7690] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7690/stat : 7690 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984373348520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7691] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7691/stat : 7691 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984372296232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7692] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7692/stat : 7692 (java) S 7679 7682 7549 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984371243432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7693] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7693/stat : 7693 (java) S 7679 7682 7549 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984358832872 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7694] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7694/stat : 7694 (java) S 7679 7682 7549 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984357778936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7695] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7695/stat : 7695 (java) S 7679 7682 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984356726536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7696] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7696/stat : 7696 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984355675024 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7697] ppid=7679 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7682/task/7697/stat : 7697 (java) S 7679 7682 7549 0 -1 4202560 4171 0 0 0 48 0 0 0 20 0 19 0 8270647 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984354621624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7698] ppid=7679 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/7682/task/7698/stat : 7698 (java) S 7679 7682 7549 0 -1 4202560 4341 0 0 0 51 2 0 0 20 0 19 0 8270647 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984353568824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7699] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7699/stat : 7699 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984352516728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7700] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7700/stat : 7700 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984351464136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7701] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7701/stat : 7701 (java) S 7679 7682 7549 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8270672 9856040960 21964 33554432000 1073741824 1073778376 140735601424288 139984350410152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 1.80 0.58 0.20 3/214 7766
/proc/meminfo: memFree=31677852/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9625040 CPUtime=7.29 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 12301 0 1 0 725 4 0 0 20 0 19 0 8270641 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2406260 30922 2261 9 0 2396937 0
[pid=7682/tid=7684] ppid=7679 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/7682/task/7684/stat : 7684 (java) R 7679 7682 7549 0 -1 4202560 2509 0 1 0 619 2 0 0 20 0 19 0 8270642 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984534703808 139984406808905 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7685] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7685/stat : 7685 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984378612520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7686] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7686/stat : 7686 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984377559720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7687] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7687/stat : 7687 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984376507432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7688] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7688/stat : 7688 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984375454632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7689] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7689/stat : 7689 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984374401320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7690] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7690/stat : 7690 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984373348520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7691] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7691/stat : 7691 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984372296232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7692] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7692/stat : 7692 (java) S 7679 7682 7549 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8270643 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984371243432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7693] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7693/stat : 7693 (java) S 7679 7682 7549 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984358832872 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7694] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7694/stat : 7694 (java) S 7679 7682 7549 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984357778936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7695] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7695/stat : 7695 (java) S 7679 7682 7549 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984356726536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7696] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7696/stat : 7696 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984355675024 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7697] ppid=7679 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7682/task/7697/stat : 7697 (java) S 7679 7682 7549 0 -1 4202560 4171 0 0 0 49 0 0 0 20 0 19 0 8270647 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984354621624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7698] ppid=7679 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7682/task/7698/stat : 7698 (java) S 7679 7682 7549 0 -1 4202560 4343 0 0 0 52 2 0 0 20 0 19 0 8270647 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984353568824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7699] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7699/stat : 7699 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984352516728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7700] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7700/stat : 7700 (java) S 7679 7682 7549 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984351464136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7701] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7701/stat : 7701 (java) S 7679 7682 7549 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8270672 9856040960 30922 33554432000 1073741824 1073778376 140735601424288 139984350410152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 9625040


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

/proc/7682/task/7701/stat : 7701 (java) S 7679 7682 7549 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8270672 9856040960 70626 33554432000 1073741824 1073778376 140735601424288 139984350410152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1680.02
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.17 2.09 1.75 3/213 7806
/proc/meminfo: memFree=31401536/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9625040 CPUtime=1740.84 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 43340 0 1 0 173874 210 0 0 20 0 19 0 8270641 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2406260 59099 2283 9 0 2396937 0
[pid=7682/tid=7684] ppid=7679 vsize=9625040 CPUtime=1704.88 cores=1,3,5,7
/proc/7682/task/7684/stat : 7684 (java) R 7679 7682 7549 0 -1 4202560 3270 0 1 0 170458 30 0 0 20 0 19 0 8270642 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984534711520 139984406783511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7685] ppid=7679 vsize=9625040 CPUtime=3.22 cores=1,3,5,7
/proc/7682/task/7685/stat : 7685 (java) S 7679 7682 7549 0 -1 4202560 3297 0 0 0 298 24 0 0 20 0 19 0 8270643 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984378612520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7686] ppid=7679 vsize=9625040 CPUtime=3.16 cores=1,3,5,7
/proc/7682/task/7686/stat : 7686 (java) S 7679 7682 7549 0 -1 4202560 3824 0 0 0 294 22 0 0 20 0 19 0 8270643 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984377559720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7687] ppid=7679 vsize=9625040 CPUtime=3.16 cores=1,3,5,7
/proc/7682/task/7687/stat : 7687 (java) S 7679 7682 7549 0 -1 4202560 2543 0 0 0 297 19 0 0 20 0 19 0 8270643 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984376507432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7688] ppid=7679 vsize=9625040 CPUtime=3.2 cores=1,3,5,7
/proc/7682/task/7688/stat : 7688 (java) S 7679 7682 7549 0 -1 4202560 4091 0 0 0 299 21 0 0 20 0 19 0 8270643 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984375454632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7689] ppid=7679 vsize=9625040 CPUtime=3.08 cores=1,3,5,7
/proc/7682/task/7689/stat : 7689 (java) S 7679 7682 7549 0 -1 4202560 2684 0 0 0 290 18 0 0 20 0 19 0 8270643 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984374401320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7690] ppid=7679 vsize=9625040 CPUtime=3.23 cores=1,3,5,7
/proc/7682/task/7690/stat : 7690 (java) S 7679 7682 7549 0 -1 4202560 3219 0 0 0 301 22 0 0 20 0 19 0 8270643 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984373348520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7691] ppid=7679 vsize=9625040 CPUtime=3.17 cores=1,3,5,7
/proc/7682/task/7691/stat : 7691 (java) S 7679 7682 7549 0 -1 4202560 3440 0 0 0 296 21 0 0 20 0 19 0 8270643 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984372296232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7692] ppid=7679 vsize=9625040 CPUtime=3.27 cores=1,3,5,7
/proc/7682/task/7692/stat : 7692 (java) S 7679 7682 7549 0 -1 4202560 5028 0 0 0 306 21 0 0 20 0 19 0 8270643 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984371243432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7693] ppid=7679 vsize=9625040 CPUtime=4.73 cores=1,3,5,7
/proc/7682/task/7693/stat : 7693 (java) S 7679 7682 7549 0 -1 4202560 1296 0 0 0 464 9 0 0 20 0 19 0 8270644 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984358832872 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7694] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7694/stat : 7694 (java) S 7679 7682 7549 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984357778936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7695] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7695/stat : 7695 (java) S 7679 7682 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984356726536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7696] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7696/stat : 7696 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984355675024 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7697] ppid=7679 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7682/task/7697/stat : 7697 (java) S 7679 7682 7549 0 -1 4202560 4941 0 0 0 56 2 0 0 20 0 19 0 8270647 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984354621624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7698] ppid=7679 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7682/task/7698/stat : 7698 (java) S 7679 7682 7549 0 -1 4202560 4346 0 0 0 53 2 0 0 20 0 19 0 8270647 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984353568824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7699] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7699/stat : 7699 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984352516728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7700] ppid=7679 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7682/task/7700/stat : 7700 (java) S 7679 7682 7549 0 -1 4202560 98 0 0 0 27 31 0 0 20 0 19 0 8270647 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984351464136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=7682/tid=7701] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7701/stat : 7701 (java) S 7679 7682 7549 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8270672 9856040960 59099 33554432000 1073741824 1073778376 140735601424288 139984350410152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1740.84
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.9 s]
/proc/loadavg: 2.06 2.07 1.76 3/213 7807
/proc/meminfo: memFree=31425236/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 43556 0 1 0 179795 213 0 0 20 0 19 0 8270641 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2406260 53601 2283 9 0 2396937 0
[pid=7682/tid=7684] ppid=7679 vsize=9625040 CPUtime=1762.82 cores=1,3,5,7
/proc/7682/task/7684/stat : 7684 (java) R 7679 7682 7549 0 -1 4202560 3301 0 1 0 176250 32 0 0 20 0 19 0 8270642 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984534711640 139984406808900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7685] ppid=7679 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/7682/task/7685/stat : 7685 (java) S 7679 7682 7549 0 -1 4202560 3327 0 0 0 310 24 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984378612520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7686] ppid=7679 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/7682/task/7686/stat : 7686 (java) S 7679 7682 7549 0 -1 4202560 3851 0 0 0 307 22 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984377559720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7687] ppid=7679 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/7682/task/7687/stat : 7687 (java) S 7679 7682 7549 0 -1 4202560 2543 0 0 0 309 19 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984376507432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7688] ppid=7679 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/7682/task/7688/stat : 7688 (java) S 7679 7682 7549 0 -1 4202560 4114 0 0 0 312 21 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984375454632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7689] ppid=7679 vsize=9625040 CPUtime=3.18 cores=1,3,5,7
/proc/7682/task/7689/stat : 7689 (java) S 7679 7682 7549 0 -1 4202560 2759 0 0 0 300 18 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984374401320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7690] ppid=7679 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/7682/task/7690/stat : 7690 (java) S 7679 7682 7549 0 -1 4202560 3219 0 0 0 312 22 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984373348520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7691] ppid=7679 vsize=9625040 CPUtime=3.25 cores=1,3,5,7
/proc/7682/task/7691/stat : 7691 (java) S 7679 7682 7549 0 -1 4202560 3440 0 0 0 304 21 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984372296232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7692] ppid=7679 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/7682/task/7692/stat : 7692 (java) S 7679 7682 7549 0 -1 4202560 5028 0 0 0 318 21 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984371243432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7693] ppid=7679 vsize=9625040 CPUtime=4.95 cores=1,3,5,7
/proc/7682/task/7693/stat : 7693 (java) S 7679 7682 7549 0 -1 4202560 1322 0 0 0 486 9 0 0 20 0 19 0 8270644 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984358832872 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7694] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7694/stat : 7694 (java) S 7679 7682 7549 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984357778936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7695] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7695/stat : 7695 (java) S 7679 7682 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984356726536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7696] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7696/stat : 7696 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984355675024 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7697] ppid=7679 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7682/task/7697/stat : 7697 (java) S 7679 7682 7549 0 -1 4202560 4941 0 0 0 56 2 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984354621624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7698] ppid=7679 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7682/task/7698/stat : 7698 (java) S 7679 7682 7549 0 -1 4202560 4346 0 0 0 53 2 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984353568824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7699] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7699/stat : 7699 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984352516728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7700] ppid=7679 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7682/task/7700/stat : 7700 (java) S 7679 7682 7549 0 -1 4202560 102 0 0 0 28 32 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984351464136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=7682/tid=7701] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7701/stat : 7701 (java) S 7679 7682 7549 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8270672 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984350410152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 7682 sig 9
??? kill -7682 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1780.9 s]
/proc/loadavg: 2.06 2.07 1.76 3/213 7807
/proc/meminfo: memFree=31425236/32872528 swapFree=240572/273276
[pid=7682] ppid=7679 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/7682/stat : 7682 (java) S 7679 7682 7549 0 -1 4202496 43556 0 1 0 179795 213 0 0 20 0 19 0 8270641 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 140735601415424 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7682/statm: 2406260 53601 2283 9 0 2396937 0
[pid=7682/tid=7684] ppid=7679 vsize=9625040 CPUtime=1762.82 cores=1,3,5,7
/proc/7682/task/7684/stat : 7684 (java) R 7679 7682 7549 0 -1 4202560 3301 0 1 0 176250 32 0 0 20 0 19 0 8270642 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984534711640 139984406808900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7685] ppid=7679 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/7682/task/7685/stat : 7685 (java) S 7679 7682 7549 0 -1 4202560 3327 0 0 0 310 24 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984378612520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7686] ppid=7679 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/7682/task/7686/stat : 7686 (java) S 7679 7682 7549 0 -1 4202560 3851 0 0 0 307 22 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984377559720 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7687] ppid=7679 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/7682/task/7687/stat : 7687 (java) S 7679 7682 7549 0 -1 4202560 2543 0 0 0 309 19 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984376507432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7688] ppid=7679 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/7682/task/7688/stat : 7688 (java) S 7679 7682 7549 0 -1 4202560 4114 0 0 0 312 21 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984375454632 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7682/tid=7689] ppid=7679 vsize=9625040 CPUtime=3.18 cores=1,3,5,7
/proc/7682/task/7689/stat : 7689 (java) S 7679 7682 7549 0 -1 4202560 2759 0 0 0 300 18 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984374401320 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7690] ppid=7679 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/7682/task/7690/stat : 7690 (java) S 7679 7682 7549 0 -1 4202560 3219 0 0 0 312 22 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984373348520 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7691] ppid=7679 vsize=9625040 CPUtime=3.25 cores=1,3,5,7
/proc/7682/task/7691/stat : 7691 (java) S 7679 7682 7549 0 -1 4202560 3440 0 0 0 304 21 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984372296232 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7692] ppid=7679 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/7682/task/7692/stat : 7692 (java) S 7679 7682 7549 0 -1 4202560 5028 0 0 0 318 21 0 0 20 0 19 0 8270643 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984371243432 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7693] ppid=7679 vsize=9625040 CPUtime=4.95 cores=1,3,5,7
/proc/7682/task/7693/stat : 7693 (java) S 7679 7682 7549 0 -1 4202560 1322 0 0 0 486 9 0 0 20 0 19 0 8270644 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984358832872 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7694] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7694/stat : 7694 (java) S 7679 7682 7549 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984357778936 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7682/tid=7695] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7695/stat : 7695 (java) S 7679 7682 7549 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8270644 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984356726536 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7696] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7696/stat : 7696 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984355675024 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7697] ppid=7679 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7682/task/7697/stat : 7697 (java) S 7679 7682 7549 0 -1 4202560 4941 0 0 0 56 2 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984354621624 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7682/tid=7698] ppid=7679 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7682/task/7698/stat : 7698 (java) S 7679 7682 7549 0 -1 4202560 4346 0 0 0 53 2 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984353568824 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7699] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7699/stat : 7699 (java) S 7679 7682 7549 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984352516728 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7682/tid=7700] ppid=7679 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7682/task/7700/stat : 7700 (java) S 7679 7682 7549 0 -1 4202560 102 0 0 0 28 32 0 0 20 0 19 0 8270647 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984351464136 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=7682/tid=7701] ppid=7679 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7682/task/7701/stat : 7701 (java) S 7679 7682 7549 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8270672 9856040960 53601 33554432000 1073741824 1073778376 140735601424288 139984350410152 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7682 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=698316
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=592605
# CPU time returned by wait4() is 1796.29
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1780.97
CPU time (s): 1800.08
CPU user time (s): 1797.95
CPU system time (s): 2.13
CPU usage (%): 101.073
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.7
system time used= 2.5926
maximum resident set size= 846380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43609
page faults= 1
swaps= 0
block input operations= 8
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60440
involuntary context switches= 58397

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7024 second user time and 13.133 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-16 09:30:06
IDJOB=4090557
IDBENCH=78677
IDSOLVER=2551
FILE ID=node107/4090557-1466062206
RUNJOBID= node107-1466062135-7566
PBS_JOBID= 19904025
Free space on /tmp= 71712 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090557-1466062206/watcher-4090557-1466062206 -o /tmp/evaluation-result-4090557-1466062206/solver-4090557-1466062206 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466062135-7566 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090557-1466062206.wbo

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

MD5SUM BENCH= e79d43742b4ee40954b18e2a5bb4c066
RANDOM SEED=1611066206

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31645916 kB
Buffers:            2516 kB
Cached:            38292 kB
SwapCached:         2528 kB
Active:           229148 kB
Inactive:          28864 kB
Active(anon):     217040 kB
Inactive(anon):     2152 kB
Active(file):      12108 kB
Inactive(file):    26712 kB
Unevictable:      273276 kB
Mlocked:          240572 kB
SwapTotal:      67108856 kB
SwapFree:       67099220 kB
Dirty:               784 kB
Writeback:             0 kB
AnonPages:        489048 kB
Mapped:            15352 kB
Shmem:                 0 kB
Slab:             564900 kB
SReclaimable:       8348 kB
SUnreclaim:       556552 kB
KernelStack:        1608 kB
PageTables:         4920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1089128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 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 node107 at 2016-06-16 09:59:47