Trace number 3690089

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotOPT 146.43 144.553

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_8_mh.opb
MD5SUM3e5afedaafc5782c8b438b74f31dd2ae
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4415664
Best CPU time to get the best result obtained on this benchmark146.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 88121125
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 4352625637
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 88121125
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 4352625637
Number of bits of the biggest sum of numbers33
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.2.v20120418
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		501472288
0.05/0.09	c Max memory 		7480803328
0.05/0.09	c Total memory 		504102912
0.05/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3690089-1337895914.opb
0.09/0.12	c reading problem ... 
0.67/0.43	c ... done. Wall clock time 0.318s.
0.67/0.43	c declared #vars     6810
0.67/0.43	c #constraints  15626
0.67/0.43	c constraints type 
0.67/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
0.67/0.43	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
0.67/0.43	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.67/0.43	c ignored satisfied constraints => 3
0.67/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
0.67/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
0.67/0.44	c 15629 constraints processed.
0.67/0.44	c objective function length is 3795 literals
0.91/0.57	c SATISFIABLE
0.91/0.57	c OPTIMIZING...
0.91/0.57	c Got one! Elapsed wall clock time (in seconds):0.45
0.91/0.57	o 4497448
2.48/1.69	c cleaning 2510 clauses out of 5021 with flag 5000/5033
2.84/1.96	c Got one! Elapsed wall clock time (in seconds):1.848
2.84/1.96	o 4496595
3.58/2.68	c cleaning 3929 clauses out of 7866 with flag 4001/10388
4.34/3.36	c Got one! Elapsed wall clock time (in seconds):3.244
4.34/3.36	o 4483310
4.80/3.74	c cleaning 4843 clauses out of 9687 with flag 2000/16138
5.91/4.82	c cleaning 5420 clauses out of 10844 with flag 8001/22139
7.16/6.04	c cleaning 6208 clauses out of 12425 with flag 15002/29140
8.56/7.45	c cleaning 7104 clauses out of 14217 with flag 23002/37140
8.66/7.58	c Got one! Elapsed wall clock time (in seconds):7.459
8.66/7.58	o 4472340
9.60/8.40	c cleaning 6359 clauses out of 12718 with flag 5000/42745
10.21/9.02	c Got one! Elapsed wall clock time (in seconds):8.9
10.21/9.02	o 4464129
10.54/9.31	c cleaning 5923 clauses out of 11857 with flag 2001/48243
11.55/10.33	c cleaning 5967 clauses out of 11933 with flag 8000/54242
12.74/11.59	c cleaning 6484 clauses out of 12967 with flag 15001/61243
14.15/12.99	c cleaning 7238 clauses out of 14482 with flag 23000/69242
15.85/14.60	c cleaning 8120 clauses out of 16245 with flag 32001/78243
16.25/15.01	c Got one! Elapsed wall clock time (in seconds):14.897
16.25/15.01	o 4460293
16.70/15.45	c cleaning 6625 clauses out of 13278 with flag 3000/83396
17.70/16.50	c cleaning 6321 clauses out of 12653 with flag 9000/89396
18.51/17.24	c Got one! Elapsed wall clock time (in seconds):17.127
18.51/17.24	o 4453128
18.61/17.38	c cleaning 5817 clauses out of 11644 with flag 1000/94708
19.51/18.28	c cleaning 5904 clauses out of 11827 with flag 7000/100708
20.71/19.48	c cleaning 6457 clauses out of 12925 with flag 14002/107710
20.91/19.60	c Got one! Elapsed wall clock time (in seconds):19.486
20.91/19.60	o 4450155
21.51/20.28	c cleaning 6016 clauses out of 12044 with flag 5002/113286
22.51/21.24	c cleaning 6001 clauses out of 12026 with flag 11000/119284
23.22/21.99	c Got one! Elapsed wall clock time (in seconds):21.878
23.22/21.99	o 4445723
23.41/22.16	c cleaning 5670 clauses out of 11351 with flag 1000/124610
24.42/23.16	c cleaning 5825 clauses out of 11681 with flag 7000/130610
25.62/24.37	c cleaning 6421 clauses out of 12858 with flag 14002/137612
27.01/25.73	c cleaning 7219 clauses out of 14439 with flag 22004/145614
28.52/27.29	c cleaning 8094 clauses out of 16217 with flag 31001/154611
30.32/29.03	c cleaning 9051 clauses out of 18122 with flag 41000/164610
32.22/30.91	c cleaning 10031 clauses out of 20072 with flag 52001/175611
34.35/33.05	c cleaning 11018 clauses out of 22042 with flag 64002/187612
36.66/35.35	c cleaning 12007 clauses out of 24022 with flag 77000/200610
39.06/37.77	c cleaning 13005 clauses out of 26015 with flag 91000/214610
41.76/40.43	c cleaning 14003 clauses out of 28012 with flag 106002/229612
42.07/40.79	c Got one! Elapsed wall clock time (in seconds):40.669
42.07/40.79	o 4441887
42.67/41.36	c cleaning 9956 clauses out of 19934 with flag 4000/235537
43.57/42.25	c cleaning 7972 clauses out of 15978 with flag 10000/241537
44.77/43.44	c cleaning 7488 clauses out of 15006 with flag 17000/248537
45.38/44.02	c Got one! Elapsed wall clock time (in seconds):43.902
45.38/44.02	o 4436384
45.68/44.30	c cleaning 6409 clauses out of 12826 with flag 2000/253845
46.49/45.15	c cleaning 6195 clauses out of 12419 with flag 8002/259847
47.01/45.64	c Got one! Elapsed wall clock time (in seconds):45.527
47.01/45.64	o 4432441
47.51/46.13	c cleaning 6020 clauses out of 12055 with flag 3002/265678
48.53/47.19	c cleaning 6012 clauses out of 12033 with flag 9000/271676
49.74/48.39	c cleaning 6504 clauses out of 13021 with flag 16000/278676
51.14/49.76	c cleaning 7253 clauses out of 14517 with flag 24000/286676
52.65/51.25	c cleaning 8130 clauses out of 16266 with flag 33002/295678
54.45/53.01	c cleaning 9061 clauses out of 18136 with flag 43002/305678
56.25/54.84	c cleaning 10019 clauses out of 20072 with flag 54000/316676
58.25/56.81	c cleaning 11028 clauses out of 22055 with flag 66002/328678
60.36/58.97	c cleaning 12004 clauses out of 24025 with flag 79000/341676
62.66/61.29	c cleaning 13009 clauses out of 26022 with flag 93001/355677
65.17/63.74	c cleaning 14003 clauses out of 28012 with flag 108000/370676
67.86/66.45	c cleaning 14996 clauses out of 30009 with flag 124001/386677
70.78/69.31	c cleaning 15998 clauses out of 32012 with flag 141000/403676
73.87/72.46	c cleaning 16997 clauses out of 34014 with flag 159000/421676
75.67/74.24	c Got one! Elapsed wall clock time (in seconds):74.125
75.67/74.24	o 4431079
76.57/75.13	c cleaning 16150 clauses out of 32318 with flag 5000/436977
77.62/76.13	c cleaning 11072 clauses out of 22170 with flag 11002/442979
78.82/77.30	c cleaning 9036 clauses out of 18096 with flag 18000/449977
80.02/78.57	c cleaning 8521 clauses out of 17060 with flag 26000/457977
81.52/80.00	c cleaning 8758 clauses out of 17539 with flag 35000/466977
83.02/81.59	c cleaning 9389 clauses out of 18781 with flag 45000/476977
84.84/83.37	c cleaning 10190 clauses out of 20392 with flag 56000/487977
86.74/85.28	c cleaning 11095 clauses out of 22203 with flag 68001/499978
88.84/87.34	c cleaning 12036 clauses out of 24106 with flag 81000/512977
91.24/89.80	c cleaning 13025 clauses out of 26071 with flag 95001/526978
93.04/91.55	c Got one! Elapsed wall clock time (in seconds):91.43
93.04/91.55	o 4430105
93.84/92.33	c cleaning 14066 clauses out of 28155 with flag 5000/542087
94.76/93.27	c cleaning 10028 clauses out of 20090 with flag 11001/548088
95.88/94.38	c cleaning 8518 clauses out of 17061 with flag 18000/555087
97.29/95.71	c cleaning 8263 clauses out of 16543 with flag 26000/563087
98.69/97.19	c cleaning 8635 clauses out of 17280 with flag 35000/572087
100.39/98.88	c cleaning 9319 clauses out of 18645 with flag 45000/582087
102.30/100.73	c cleaning 10148 clauses out of 20324 with flag 56000/593087
104.30/102.74	c cleaning 11078 clauses out of 22176 with flag 68000/605087
106.60/105.01	c cleaning 12046 clauses out of 24100 with flag 81002/618089
108.80/107.25	c cleaning 13021 clauses out of 26052 with flag 95000/632087
111.10/109.57	c cleaning 14008 clauses out of 28035 with flag 110004/647091
112.40/110.87	c Got one! Elapsed wall clock time (in seconds):110.753
112.40/110.87	o 4428309
113.20/111.65	c cleaning 13611 clauses out of 27224 with flag 5003/660288
114.21/112.61	c cleaning 9795 clauses out of 19611 with flag 11001/666286
115.31/113.77	c cleaning 8403 clauses out of 16819 with flag 18004/673289
116.62/115.05	c cleaning 8193 clauses out of 16412 with flag 26000/681285
118.02/116.44	c cleaning 8607 clauses out of 17220 with flag 35001/690286
119.51/117.97	c cleaning 9296 clauses out of 18613 with flag 45001/700286
121.31/119.72	c cleaning 10153 clauses out of 20316 with flag 56000/711285
123.32/121.73	c cleaning 11081 clauses out of 22163 with flag 68001/723286
125.41/123.80	c cleaning 12039 clauses out of 24086 with flag 81005/736290
127.62/126.04	c cleaning 13011 clauses out of 26041 with flag 95000/750285
130.03/128.42	c cleaning 14012 clauses out of 28031 with flag 110002/765287
132.54/130.96	c cleaning 15004 clauses out of 30016 with flag 126001/781286
132.63/131.08	c Got one! Elapsed wall clock time (in seconds):130.966
132.63/131.08	o 4419796
133.34/131.73	c cleaning 10278 clauses out of 20574 with flag 5000/786848
134.15/132.54	c cleaning 8140 clauses out of 16297 with flag 11001/792849
134.45/132.83	c Got one! Elapsed wall clock time (in seconds):132.709
134.45/132.83	o 4415664
134.95/133.35	c cleaning 7055 clauses out of 14138 with flag 4003/798830
135.76/134.15	c cleaning 6521 clauses out of 13080 with flag 10000/804827
136.67/135.05	c cleaning 6767 clauses out of 13557 with flag 17000/811827
137.87/136.29	c cleaning 7391 clauses out of 14787 with flag 25000/819827
139.37/137.73	c cleaning 8193 clauses out of 16396 with flag 34000/828827
140.88/139.25	c cleaning 9099 clauses out of 18201 with flag 44001/838828
142.49/140.88	c cleaning 10044 clauses out of 20099 with flag 55000/849827
144.40/142.76	c cleaning 11014 clauses out of 22053 with flag 67002/861829
146.21/144.53	c starts		: 186
146.21/144.53	c conflicts		: 873776
146.21/144.53	c decisions		: 2011694
146.21/144.53	c propagations		: 189200580
146.21/144.53	c inspects		: 697471920
146.21/144.53	c shortcuts		: 0
146.21/144.53	c learnt literals	: 48
146.21/144.53	c learnt binary clauses	: 211
146.21/144.53	c learnt ternary clauses	: 3479
146.21/144.53	c learnt constraints	: 873727
146.21/144.53	c ignored constraints	: 0
146.21/144.53	c root simplifications	: 0
146.21/144.53	c removed literals (reason simplification)	: 0
146.21/144.53	c reason swapping (by a shorter reason)	: 0
146.21/144.53	c Calls to reduceDB	: 92
146.21/144.53	c number of reductions to clauses (during analyze)	: 0
146.21/144.53	c number of learned constraints concerned by reduction	: 0
146.21/144.53	c number of learning phase by resolution	: 0
146.21/144.53	c number of learning phase by cutting planes	: 0
146.21/144.53	c speed (assignments/second)	: 1313290.9916288368
146.21/144.53	c non guided choices	3532
146.21/144.53	c learnt constraints type 
146.21/144.53	c constraints type 
146.21/144.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061
146.21/144.53	c org.sat4j.minisat.constraints.cnf.UnitClauses => 3
146.21/144.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
146.21/144.53	c ignored satisfied constraints => 3
146.21/144.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465
146.21/144.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075
146.21/144.53	c 15629 constraints processed.
146.21/144.53	s OPTIMUM FOUND
146.21/144.54	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 x3528 -x3529 -x3530 -x3531 x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 x6492 -x6493 -x6494 -x6495 -x6496 x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 x6572 -x6573 -x6574 -x6575 x6576 -x6577 -x6578 -x6579 -x6580 -x6581 x6582 -x6583 -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 x6617 -x6618 -x6619 -x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 x6628 -x6629 -x6630 -x6631 x6632 -x6633 -x6634 -x6635 x6636 -x6637 -x6638 -x6639 -x6640 -x6641 x6642 -x6643 -x6644 x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 x6702 x6703 -x6704 x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 
146.21/144.55	c objective function=4415664
146.21/144.55	c Total wall clock time (in seconds): 144.429

Verifier Data 

OK	4415664

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690089-1337895914/watcher-3690089-1337895914 -o /tmp/evaluation-result-3690089-1337895914/solver-3690089-1337895914 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690089-1337895914.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.03 2/194 4761
/proc/meminfo: memFree=26947376/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4761/stat : 4761 (java) D 4759 4761 2422 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255716267 9515008 182 33554432000 1073741824 1073778376 140734961725856 140734961716888 223651643061 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2323 182 140 9 0 71 0

[startup+0.0798539 s]
/proc/loadavg: 2.00 2.01 2.03 2/194 4761
/proc/meminfo: memFree=26947376/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 3295 0 1 0 5 0 0 0 20 0 18 0 255716267 9787813888 4504 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2389603 4504 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.100244 s]
/proc/loadavg: 2.00 2.01 2.03 2/194 4761
/proc/meminfo: memFree=26947376/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 4258 0 1 0 9 0 0 0 20 0 18 0 255716267 9787813888 5462 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2389603 5462 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300216 s]
/proc/loadavg: 2.00 2.01 2.03 2/194 4761
/proc/meminfo: memFree=26947376/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 5584 0 1 0 48 0 0 0 20 0 18 0 255716267 9787813888 9160 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2389603 9160 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700233 s]
/proc/loadavg: 2.00 2.01 2.03 2/194 4761
/proc/meminfo: memFree=26947376/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9624976 CPUtime=1.49 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 11551 0 1 0 146 3 0 0 20 0 19 0 255716267 9855975424 18863 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2406244 18863 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9624976

[startup+1.50064 s]
/proc/loadavg: 2.00 2.01 2.03 3/213 4780
/proc/meminfo: memFree=26880300/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9624976 CPUtime=2.38 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 11946 0 1 0 235 3 0 0 20 0 19 0 255716267 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2406244 19192 2257 9 0 2396937 0
[pid=4761/tid=4763] ppid=4759 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/4761/task/4763/stat : 4763 (java) R 4759 4761 2422 0 -1 4202560 2478 0 1 0 145 2 0 0 20 0 19 0 255716269 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140462020469384 140461889666254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4764] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4764/stat : 4764 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140462009531304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4765] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4765/stat : 4765 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140462008478760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4766] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4766/stat : 4766 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461861452456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4761/tid=4767] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4767/stat : 4767 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461860399912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4768] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4768/stat : 4768 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461859346856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4769] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4769/stat : 4769 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461858294312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4770] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4770/stat : 4770 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461857241256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4771] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4771/stat : 4771 (java) S 4759 4761 2422 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461856188712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4772] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4772/stat : 4772 (java) S 4759 4761 2422 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461843991400 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4773] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4773/stat : 4773 (java) S 4759 4761 2422 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461842937720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4774] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4774/stat : 4774 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461841884552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4775] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4775/stat : 4775 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461840833296 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4776] ppid=4759 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/4761/task/4776/stat : 4776 (java) S 4759 4761 2422 0 -1 4202560 3376 0 0 0 41 1 0 0 20 0 19 0 255716274 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461839780152 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4777] ppid=4759 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/4761/task/4777/stat : 4777 (java) S 4759 4761 2422 0 -1 4202560 4897 0 0 0 46 0 0 0 20 0 19 0 255716274 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461838727608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4778] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4778/stat : 4778 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461837674744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4779] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4779/stat : 4779 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461836622408 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4780] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4780/stat : 4780 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716314 9855975424 19192 33554432000 1073741824 1073778376 140733911197664 140461835568680 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9624976

[startup+3.1006 s]
/proc/loadavg: 2.00 2.01 2.03 3/213 4780
/proc/meminfo: memFree=26863420/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9624976 CPUtime=4.13 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 12468 0 1 0 409 4 0 0 20 0 19 0 255716267 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2406244 23849 2282 9 0 2396937 0
[pid=4761/tid=4763] ppid=4759 vsize=9624976 CPUtime=3.02 cores=0,2,4,6
/proc/4761/task/4763/stat : 4763 (java) R 4759 4761 2422 0 -1 4202560 2481 0 1 0 300 2 0 0 20 0 19 0 255716269 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140462020469024 140461889666023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4764] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4764/stat : 4764 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140462009531304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4765] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4765/stat : 4765 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140462008478760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4766] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4766/stat : 4766 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461861452456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4767] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4767/stat : 4767 (java) S 4759 4761 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461860399912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4768] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4768/stat : 4768 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461859346856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4769] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4769/stat : 4769 (java) S 4759 4761 2422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461858294312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4770] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4770/stat : 4770 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461857241256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4761/tid=4771] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4771/stat : 4771 (java) S 4759 4761 2422 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461856188712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4761/tid=4772] ppid=4759 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/4761/task/4772/stat : 4772 (java) S 4759 4761 2422 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 255716271 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461843991400 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4761/tid=4773] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4773/stat : 4773 (java) S 4759 4761 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461842937720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4774] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4774/stat : 4774 (java) S 4759 4761 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461841884552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4775] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4775/stat : 4775 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461840833296 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4776] ppid=4759 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/4761/task/4776/stat : 4776 (java) S 4759 4761 2422 0 -1 4202560 3378 0 0 0 47 2 0 0 20 0 19 0 255716274 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461839780152 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4777] ppid=4759 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/4761/task/4777/stat : 4777 (java) S 4759 4761 2422 0 -1 4202560 5354 0 0 0 53 0 0 0 20 0 19 0 255716274 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461838727608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4778] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4778/stat : 4778 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461837674744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4779] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4779/stat : 4779 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461836622408 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4780] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4780/stat : 4780 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716314 9855975424 23849 33554432000 1073741824 1073778376 140733911197664 140461835568680 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9624976

[startup+6.3006 s]
/proc/loadavg: 2.00 2.01 2.03 3/213 4780
/proc/meminfo: memFree=26860688/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9624976 CPUtime=7.46 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 13136 0 1 0 742 4 0 0 20 0 19 0 255716267 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2406244 23389 2284 9 0 2396937 0
[pid=4761/tid=4763] ppid=4759 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/4761/task/4763/stat : 4763 (java) R 4759 4761 2422 0 -1 4202560 2484 0 1 0 613 2 0 0 20 0 19 0 255716269 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140462020469024 140461889851948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4764] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4764/stat : 4764 (java) S 4759 4761 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140462009531304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4765] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4765/stat : 4765 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140462008478760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4766] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4766/stat : 4766 (java) S 4759 4761 2422 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461861452456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4767] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4767/stat : 4767 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461860399912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4768] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4768/stat : 4768 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461859346856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4769] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4769/stat : 4769 (java) S 4759 4761 2422 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461858294312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4770] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4770/stat : 4770 (java) S 4759 4761 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461857241256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4761/tid=4771] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4771/stat : 4771 (java) S 4759 4761 2422 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255716270 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461856188712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4772] ppid=4759 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/4761/task/4772/stat : 4772 (java) S 4759 4761 2422 0 -1 4202560 34 0 0 0 8 0 0 0 20 0 19 0 255716271 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461843991400 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4773] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4773/stat : 4773 (java) S 4759 4761 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461842937720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4774] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4774/stat : 4774 (java) S 4759 4761 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461841884552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4775] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4775/stat : 4775 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461840833296 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4776] ppid=4759 vsize=9624976 CPUtime=0.54 cores=0,2,4,6
/proc/4761/task/4776/stat : 4776 (java) S 4759 4761 2422 0 -1 4202560 3378 0 0 0 52 2 0 0 20 0 19 0 255716274 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461839780152 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4777] ppid=4759 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/4761/task/4777/stat : 4777 (java) S 4759 4761 2422 0 -1 4202560 6005 0 0 0 61 0 0 0 20 0 19 0 255716274 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461838727608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4778] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4778/stat : 4778 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461837674744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4779] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4779/stat : 4779 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461836622408 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4780] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4780/stat : 4780 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716314 9855975424 23389 33554432000 1073741824 1073778376 140733911197664 140461835568680 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

/proc/4761/task/4764/stat : 4764 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255716270 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140462009531304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4765] ppid=4759 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/4761/task/4765/stat : 4765 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 6 0 0 0 20 0 19 0 255716270 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140462008478760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4761/tid=4766] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4766/stat : 4766 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461861452456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4767] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4767/stat : 4767 (java) S 4759 4761 2422 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461860399912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4768] ppid=4759 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/4761/task/4768/stat : 4768 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255716270 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461859346856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4769] ppid=4759 vsize=9624976 CPUtime=0.09 cores=0,2,4,6
/proc/4761/task/4769/stat : 4769 (java) S 4759 4761 2422 0 -1 4202560 14 0 0 0 9 0 0 0 20 0 19 0 255716270 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461858294312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4770] ppid=4759 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/4761/task/4770/stat : 4770 (java) S 4759 4761 2422 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 255716270 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461857241256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4771] ppid=4759 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/4761/task/4771/stat : 4771 (java) S 4759 4761 2422 0 -1 4202560 23 0 0 0 10 0 0 0 20 0 19 0 255716270 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461856188712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4772] ppid=4759 vsize=9624976 CPUtime=1.77 cores=0,2,4,6
/proc/4761/task/4772/stat : 4772 (java) S 4759 4761 2422 0 -1 4202560 43 0 0 0 177 0 0 0 20 0 19 0 255716271 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461843991400 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4773] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4773/stat : 4773 (java) S 4759 4761 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461842937720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4774] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4774/stat : 4774 (java) S 4759 4761 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461841884552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4775] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4775/stat : 4775 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461840833296 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4776] ppid=4759 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/4761/task/4776/stat : 4776 (java) S 4759 4761 2422 0 -1 4202560 3908 0 0 0 60 2 0 0 20 0 19 0 255716274 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461839780152 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4777] ppid=4759 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/4761/task/4777/stat : 4777 (java) S 4759 4761 2422 0 -1 4202560 6005 0 0 0 67 0 0 0 20 0 19 0 255716274 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461838727608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4778] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4778/stat : 4778 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461837674744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4779] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4779/stat : 4779 (java) S 4759 4761 2422 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461836622408 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4780] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4780/stat : 4780 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716314 9855975424 24145 33554432000 1073741824 1073778376 140733911197664 140461835568680 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 144
Current children cumulated vsize (KiB) 9624976

[startup+143.901 s]
/proc/loadavg: 2.03 2.02 2.02 3/213 4781
/proc/meminfo: memFree=26857004/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9624976 CPUtime=145.61 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 13837 0 1 0 14555 6 0 0 20 0 19 0 255716267 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2406244 24147 2285 9 0 2396937 0
[pid=4761/tid=4763] ppid=4759 vsize=9624976 CPUtime=141.77 cores=0,2,4,6
/proc/4761/task/4763/stat : 4763 (java) R 4759 4761 2422 0 -1 4202560 2571 0 1 0 14173 4 0 0 20 0 19 0 255716269 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462020469056 140461889813399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4764] ppid=4759 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/4761/task/4764/stat : 4764 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462009531304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4765] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4765/stat : 4765 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462008478760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4766] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4766/stat : 4766 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461861452456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4767] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4767/stat : 4767 (java) S 4759 4761 2422 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461860399912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4768] ppid=4759 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/4761/task/4768/stat : 4768 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461859346856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4769] ppid=4759 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/4761/task/4769/stat : 4769 (java) S 4759 4761 2422 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461858294312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4770] ppid=4759 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/4761/task/4770/stat : 4770 (java) S 4759 4761 2422 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461857241256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4771] ppid=4759 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/4761/task/4771/stat : 4771 (java) S 4759 4761 2422 0 -1 4202560 23 0 0 0 10 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461856188712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4772] ppid=4759 vsize=9624976 CPUtime=1.8 cores=0,2,4,6
/proc/4761/task/4772/stat : 4772 (java) S 4759 4761 2422 0 -1 4202560 43 0 0 0 180 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461843991400 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4773] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4773/stat : 4773 (java) S 4759 4761 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461842937720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4774] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4774/stat : 4774 (java) S 4759 4761 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461841884552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4775] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4775/stat : 4775 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461840833296 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4776] ppid=4759 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/4761/task/4776/stat : 4776 (java) S 4759 4761 2422 0 -1 4202560 3908 0 0 0 60 2 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461839780152 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4777] ppid=4759 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/4761/task/4777/stat : 4777 (java) S 4759 4761 2422 0 -1 4202560 6005 0 0 0 67 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461838727608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4778] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4778/stat : 4778 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461837674744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4779] ppid=4759 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/4761/task/4779/stat : 4779 (java) S 4759 4761 2422 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461836622408 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4780] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4780/stat : 4780 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716314 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461835568680 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 145.61
Current children cumulated vsize (KiB) 9624976

[startup+144.301 s]
/proc/loadavg: 2.03 2.02 2.02 3/213 4781
/proc/meminfo: memFree=26857004/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9624976 CPUtime=146.01 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 13837 0 1 0 14595 6 0 0 20 0 19 0 255716267 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2406244 24147 2285 9 0 2396937 0
[pid=4761/tid=4763] ppid=4759 vsize=9624976 CPUtime=142.17 cores=0,2,4,6
/proc/4761/task/4763/stat : 4763 (java) R 4759 4761 2422 0 -1 4202560 2571 0 1 0 14213 4 0 0 20 0 19 0 255716269 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462020469056 140461889813360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4764] ppid=4759 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/4761/task/4764/stat : 4764 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462009531304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4765] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4765/stat : 4765 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462008478760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4766] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4766/stat : 4766 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461861452456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4767] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4767/stat : 4767 (java) S 4759 4761 2422 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461860399912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4768] ppid=4759 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/4761/task/4768/stat : 4768 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461859346856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4769] ppid=4759 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/4761/task/4769/stat : 4769 (java) S 4759 4761 2422 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461858294312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4770] ppid=4759 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/4761/task/4770/stat : 4770 (java) S 4759 4761 2422 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461857241256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4771] ppid=4759 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/4761/task/4771/stat : 4771 (java) S 4759 4761 2422 0 -1 4202560 23 0 0 0 10 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461856188712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4772] ppid=4759 vsize=9624976 CPUtime=1.8 cores=0,2,4,6
/proc/4761/task/4772/stat : 4772 (java) S 4759 4761 2422 0 -1 4202560 43 0 0 0 180 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461843991400 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4773] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4773/stat : 4773 (java) S 4759 4761 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461842937720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4774] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4774/stat : 4774 (java) S 4759 4761 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461841884552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4775] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4775/stat : 4775 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461840833296 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4776] ppid=4759 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/4761/task/4776/stat : 4776 (java) S 4759 4761 2422 0 -1 4202560 3908 0 0 0 60 2 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461839780152 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4777] ppid=4759 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/4761/task/4777/stat : 4777 (java) S 4759 4761 2422 0 -1 4202560 6005 0 0 0 67 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461838727608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4778] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4778/stat : 4778 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461837674744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4779] ppid=4759 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/4761/task/4779/stat : 4779 (java) S 4759 4761 2422 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461836622408 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4780] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4780/stat : 4780 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716314 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461835568680 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.01
Current children cumulated vsize (KiB) 9624976

[startup+144.501 s]
/proc/loadavg: 2.03 2.02 2.02 3/213 4781
/proc/meminfo: memFree=26857004/32873844 swapFree=6848/6848
[pid=4761] ppid=4759 vsize=9624976 CPUtime=146.21 cores=0,2,4,6
/proc/4761/stat : 4761 (java) S 4759 4761 2422 0 -1 4202496 13837 0 1 0 14615 6 0 0 20 0 19 0 255716267 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140733911188800 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4761/statm: 2406244 24147 2285 9 0 2396937 0
[pid=4761/tid=4763] ppid=4759 vsize=9624976 CPUtime=142.37 cores=0,2,4,6
/proc/4761/task/4763/stat : 4763 (java) R 4759 4761 2422 0 -1 4202560 2571 0 1 0 14233 4 0 0 20 0 19 0 255716269 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462020469056 140461889877566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4764] ppid=4759 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/4761/task/4764/stat : 4764 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462009531304 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4765] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4765/stat : 4765 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140462008478760 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4766] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4766/stat : 4766 (java) S 4759 4761 2422 0 -1 4202560 10 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461861452456 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4767] ppid=4759 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/4761/task/4767/stat : 4767 (java) S 4759 4761 2422 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461860399912 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4768] ppid=4759 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/4761/task/4768/stat : 4768 (java) S 4759 4761 2422 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461859346856 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4769] ppid=4759 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/4761/task/4769/stat : 4769 (java) S 4759 4761 2422 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461858294312 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4770] ppid=4759 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/4761/task/4770/stat : 4770 (java) S 4759 4761 2422 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461857241256 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4771] ppid=4759 vsize=9624976 CPUtime=0.1 cores=0,2,4,6
/proc/4761/task/4771/stat : 4771 (java) S 4759 4761 2422 0 -1 4202560 23 0 0 0 10 0 0 0 20 0 19 0 255716270 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461856188712 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4772] ppid=4759 vsize=9624976 CPUtime=1.8 cores=0,2,4,6
/proc/4761/task/4772/stat : 4772 (java) S 4759 4761 2422 0 -1 4202560 43 0 0 0 180 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461843991400 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4773] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4773/stat : 4773 (java) S 4759 4761 2422 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461842937720 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4774] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4774/stat : 4774 (java) S 4759 4761 2422 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255716271 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461841884552 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4775] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4775/stat : 4775 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461840833296 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4761/tid=4776] ppid=4759 vsize=9624976 CPUtime=0.62 cores=0,2,4,6
/proc/4761/task/4776/stat : 4776 (java) S 4759 4761 2422 0 -1 4202560 3908 0 0 0 60 2 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461839780152 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4777] ppid=4759 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/4761/task/4777/stat : 4777 (java) S 4759 4761 2422 0 -1 4202560 6005 0 0 0 67 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461838727608 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4778] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4778/stat : 4778 (java) S 4759 4761 2422 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461837674744 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4761/tid=4779] ppid=4759 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/4761/task/4779/stat : 4779 (java) S 4759 4761 2422 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 255716274 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461836622408 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4761/tid=4780] ppid=4759 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/4761/task/4780/stat : 4780 (java) S 4759 4761 2422 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255716314 9855975424 24147 33554432000 1073741824 1073778376 140733911197664 140461835568680 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 146.21
Current children cumulated vsize (KiB) 9624976

Child status: 30
Real time (s): 144.553
CPU time (s): 146.43
CPU user time (s): 146.229
CPU system time (s): 0.200969
CPU usage (%): 101.299
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 146.229
system time used= 0.200969
maximum resident set size= 96768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13850
page faults= 1
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5699
involuntary context switches= 4750

runsolver used 0.560914 second user time and 1.61075 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-24 23:45:14
IDJOB=3690089
IDBENCH=92696
IDSOLVER=2269
FILE ID=node144/3690089-1337895914
RUNJOBID= node144-1337871880-2438
PBS_JOBID= 14620060
Free space on /tmp= 71696 MiB

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

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

MD5SUM BENCH= 3e5afedaafc5782c8b438b74f31dd2ae
RANDOM SEED=495544543

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26949408 kB
Buffers:          235876 kB
Cached:          1897388 kB
SwapCached:            0 kB
Active:          3464644 kB
Inactive:        1685220 kB
Active(anon):    3017988 kB
Inactive(anon):        0 kB
Active(file):     446656 kB
Inactive(file):  1685220 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               836 kB
Writeback:             0 kB
AnonPages:       2985496 kB
Mapped:            22608 kB
Shmem:               200 kB
Slab:             627076 kB
SReclaimable:      69548 kB
SUnreclaim:       557528 kB
KernelStack:        1760 kB
PageTables:         9932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3271444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2932736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node144 at 2012-05-24 23:47:38