Trace number 3690169

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 SnapshotSAT (TO) 1800.06 1793.66

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_9.opb
MD5SUM796ce15de170aa64363741766a49999c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3179263
Best CPU time to get the best result obtained on this benchmark1801.45
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143055667
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 44011059162
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143055667
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 44011059162
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version 2.3.2.v20120418
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3690169-1337896962.opb
0.06/0.14	c reading problem ... 
0.76/0.48	c ... done. Wall clock time 0.349s.
0.76/0.48	c declared #vars     5100
0.76/0.48	c #constraints  12510
0.76/0.48	c constraints type 
0.76/0.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
0.76/0.48	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
0.76/0.48	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
0.76/0.48	c ignored satisfied constraints => 2
0.76/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
0.76/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.76/0.48	c 12512 constraints processed.
0.76/0.48	c objective function length is 4950 literals
1.33/0.66	c SATISFIABLE
1.33/0.66	c OPTIMIZING...
1.33/0.66	c Got one! Elapsed wall clock time (in seconds):0.526
1.33/0.66	o 3257427
1.58/0.75	c Got one! Elapsed wall clock time (in seconds):0.616
1.58/0.75	o 3245071
2.74/1.75	c cleaning 2580 clauses out of 5170 with flag 5000/5176
3.71/2.69	c cleaning 4291 clauses out of 8591 with flag 11001/11177
4.82/3.79	c cleaning 5642 clauses out of 11297 with flag 18000/18176
6.35/4.97	c cleaning 6827 clauses out of 13656 with flag 26001/26177
8.07/6.23	c cleaning 7909 clauses out of 15828 with flag 35000/35176
9.48/7.69	c cleaning 8955 clauses out of 17919 with flag 45000/45176
11.17/9.31	c cleaning 9974 clauses out of 19964 with flag 56000/56176
12.88/11.05	c cleaning 10995 clauses out of 21991 with flag 68001/68177
14.88/13.05	c cleaning 11992 clauses out of 23995 with flag 81000/81176
16.99/15.16	c cleaning 12995 clauses out of 26004 with flag 95001/95177
19.10/17.29	c cleaning 13995 clauses out of 28009 with flag 110001/110177
21.42/19.55	c cleaning 15005 clauses out of 30014 with flag 126001/126177
23.73/21.89	c cleaning 16001 clauses out of 32008 with flag 143000/143176
26.33/24.40	c cleaning 16998 clauses out of 34007 with flag 161000/161176
28.94/27.02	c cleaning 18003 clauses out of 36010 with flag 180001/180177
31.74/29.80	c cleaning 19004 clauses out of 38007 with flag 200001/200177
34.67/32.75	c cleaning 19997 clauses out of 40003 with flag 221001/221177
37.77/35.81	c cleaning 21001 clauses out of 42005 with flag 243000/243176
41.08/39.11	c cleaning 21997 clauses out of 44004 with flag 266000/266176
44.49/42.52	c cleaning 23002 clauses out of 46008 with flag 290001/290177
47.99/46.09	c cleaning 24002 clauses out of 48005 with flag 315000/315176
51.80/49.85	c cleaning 24999 clauses out of 50003 with flag 341000/341176
55.83/53.82	c cleaning 26001 clauses out of 52005 with flag 368001/368177
59.85/57.88	c cleaning 26998 clauses out of 54004 with flag 396001/396177
64.07/62.05	c cleaning 27998 clauses out of 56006 with flag 425001/425177
68.37/66.30	c cleaning 29002 clauses out of 58008 with flag 455001/455177
72.72/70.66	c cleaning 30000 clauses out of 60006 with flag 486001/486177
77.24/75.18	c cleaning 30999 clauses out of 62005 with flag 518000/518176
82.05/79.97	c cleaning 32000 clauses out of 64006 with flag 551000/551176
86.99/84.87	c cleaning 32997 clauses out of 66006 with flag 585000/585176
92.11/89.91	c cleaning 34002 clauses out of 68009 with flag 620000/620176
97.21/95.08	c cleaning 35000 clauses out of 70007 with flag 656000/656176
102.54/100.32	c cleaning 36001 clauses out of 72007 with flag 693000/693176
107.95/105.72	c cleaning 36998 clauses out of 74008 with flag 731002/731178
113.67/111.44	c cleaning 38001 clauses out of 76008 with flag 770000/770176
119.48/117.28	c cleaning 38999 clauses out of 78008 with flag 810001/810177
125.60/123.30	c cleaning 40001 clauses out of 80008 with flag 851000/851176
131.71/129.47	c cleaning 40997 clauses out of 82008 with flag 893001/893177
138.14/135.87	c cleaning 42003 clauses out of 84011 with flag 936001/936177
144.55/142.24	c cleaning 42996 clauses out of 86008 with flag 980001/980177
151.07/148.78	c cleaning 44002 clauses out of 88011 with flag 1025000/1025176
157.97/155.63	c cleaning 45004 clauses out of 90009 with flag 1071000/1071176
165.10/162.77	c cleaning 45998 clauses out of 92005 with flag 1118000/1118176
172.20/169.86	c cleaning 47002 clauses out of 94007 with flag 1166000/1166176
179.52/177.14	c cleaning 47995 clauses out of 96005 with flag 1215000/1215176
187.04/184.61	c cleaning 48999 clauses out of 98010 with flag 1265000/1265176
194.58/192.18	c cleaning 50002 clauses out of 100012 with flag 1316001/1316177
202.42/199.88	c cleaning 50998 clauses out of 102010 with flag 1368001/1368177
210.35/207.70	c cleaning 52002 clauses out of 104011 with flag 1421000/1421176
218.05/215.44	c cleaning 52998 clauses out of 106009 with flag 1475000/1475176
226.36/223.72	c cleaning 54000 clauses out of 108012 with flag 1530001/1530177
234.70/232.03	c cleaning 55004 clauses out of 110011 with flag 1586000/1586176
243.36/240.62	c cleaning 55997 clauses out of 112008 with flag 1643001/1643177
252.06/249.33	c cleaning 57001 clauses out of 114010 with flag 1701000/1701176
261.07/258.34	c cleaning 57998 clauses out of 116010 with flag 1760001/1760177
269.88/267.17	c cleaning 59004 clauses out of 118011 with flag 1820000/1820176
279.00/276.26	c cleaning 60003 clauses out of 120007 with flag 1881000/1881176
288.52/285.74	c cleaning 61000 clauses out of 122004 with flag 1943000/1943176
298.13/295.36	c cleaning 61998 clauses out of 124005 with flag 2006001/2006177
307.57/304.71	c cleaning 63001 clauses out of 126007 with flag 2070001/2070177
317.40/314.58	c cleaning 63996 clauses out of 128006 with flag 2135001/2135177
327.22/324.37	c cleaning 65004 clauses out of 130009 with flag 2201000/2201176
337.44/334.55	c cleaning 65998 clauses out of 132005 with flag 2268000/2268176
347.97/345.01	c cleaning 66996 clauses out of 134007 with flag 2336000/2336176
358.88/355.99	c cleaning 67999 clauses out of 136012 with flag 2405001/2405177
369.01/366.09	c cleaning 68985 clauses out of 137982 with flag 2475001/2475177
380.13/377.19	c cleaning 69988 clauses out of 139996 with flag 2546000/2546176
391.28/388.26	c cleaning 70993 clauses out of 142009 with flag 2618001/2618177
402.62/399.59	c cleaning 71996 clauses out of 144014 with flag 2691000/2691176
414.10/410.92	c cleaning 72977 clauses out of 145986 with flag 2765001/2765177
424.84/421.65	c cleaning 73980 clauses out of 147989 with flag 2840001/2840177
435.98/432.76	c cleaning 74981 clauses out of 150009 with flag 2916001/2916177
448.14/444.86	c cleaning 75989 clauses out of 152027 with flag 2993000/2993176
460.41/457.08	c cleaning 77002 clauses out of 154038 with flag 3071000/3071176
473.13/469.75	c cleaning 78002 clauses out of 156036 with flag 3150000/3150176
485.86/482.48	c cleaning 79006 clauses out of 158034 with flag 3230000/3230176
498.49/495.08	c cleaning 80005 clauses out of 160028 with flag 3311000/3311176
511.63/508.16	c cleaning 81003 clauses out of 162023 with flag 3393000/3393176
523.55/520.03	c cleaning 81989 clauses out of 164004 with flag 3476001/3476177
535.97/532.42	c cleaning 82995 clauses out of 166014 with flag 3560000/3560176
548.89/545.33	c cleaning 83998 clauses out of 168019 with flag 3645000/3645176
561.82/558.28	c cleaning 85004 clauses out of 170022 with flag 3731001/3731177
575.17/571.57	c cleaning 86001 clauses out of 172017 with flag 3818000/3818176
587.83/584.17	c cleaning 87000 clauses out of 174016 with flag 3906000/3906176
601.25/597.50	c cleaning 87997 clauses out of 176016 with flag 3995000/3995176
613.69/609.97	c cleaning 88993 clauses out of 178019 with flag 4085000/4085176
628.30/624.59	c cleaning 90008 clauses out of 180026 with flag 4176000/4176176
641.73/637.93	c cleaning 91002 clauses out of 182019 with flag 4268001/4268177
656.43/652.62	c cleaning 91999 clauses out of 184017 with flag 4361001/4361177
670.80/666.97	c cleaning 93008 clauses out of 186018 with flag 4455001/4455177
685.60/681.74	c cleaning 93995 clauses out of 188010 with flag 4550001/4550177
699.95/696.08	c cleaning 94997 clauses out of 190015 with flag 4646001/4646177
714.07/710.16	c cleaning 95997 clauses out of 192017 with flag 4743000/4743176
728.90/725.00	c cleaning 97004 clauses out of 194021 with flag 4841001/4841177
744.04/740.03	c cleaning 98001 clauses out of 196016 with flag 4940000/4940176
760.21/756.13	c cleaning 99002 clauses out of 198015 with flag 5040000/5040176
776.52/772.34	c cleaning 100001 clauses out of 200014 with flag 5141001/5141177
792.07/787.82	c cleaning 101001 clauses out of 202012 with flag 5243000/5243176
807.62/803.35	c cleaning 102002 clauses out of 204012 with flag 5346001/5346177
823.87/819.52	c cleaning 103001 clauses out of 206010 with flag 5450001/5450177
839.49/835.15	c cleaning 103999 clauses out of 208008 with flag 5555000/5555176
856.03/851.69	c cleaning 105000 clauses out of 210010 with flag 5661001/5661177
873.00/868.56	c cleaning 105999 clauses out of 212009 with flag 5768000/5768176
890.83/886.35	c cleaning 107002 clauses out of 214012 with flag 5876002/5876178
907.28/902.70	c cleaning 107994 clauses out of 216009 with flag 5985001/5985177
924.90/920.30	c cleaning 108996 clauses out of 218014 with flag 6095000/6095176
942.31/937.76	c cleaning 110005 clauses out of 220018 with flag 6206000/6206176
960.23/955.62	c cleaning 111000 clauses out of 222013 with flag 6318000/6318176
978.26/973.66	c cleaning 112003 clauses out of 224015 with flag 6431002/6431178
996.81/992.18	c cleaning 113000 clauses out of 226010 with flag 6545000/6545176
1015.01/1010.21	c cleaning 113997 clauses out of 228011 with flag 6660001/6660177
1033.83/1029.01	c cleaning 115004 clauses out of 230013 with flag 6776000/6776176
1052.48/1047.60	c cleaning 115996 clauses out of 232009 with flag 6893000/6893176
1069.90/1065.03	c cleaning 116999 clauses out of 234013 with flag 7011000/7011176
1087.83/1082.98	c cleaning 118002 clauses out of 236014 with flag 7130000/7130176
1106.20/1101.24	c cleaning 119003 clauses out of 238014 with flag 7250002/7250178
1124.15/1119.17	c cleaning 119995 clauses out of 240009 with flag 7371000/7371176
1144.49/1139.41	c cleaning 121000 clauses out of 242014 with flag 7493000/7493176
1163.57/1158.42	c cleaning 122004 clauses out of 244014 with flag 7616000/7616176
1183.45/1178.24	c cleaning 123001 clauses out of 246010 with flag 7740000/7740176
1203.30/1198.00	c cleaning 123998 clauses out of 248009 with flag 7865000/7865176
1224.15/1218.88	c cleaning 125000 clauses out of 250013 with flag 7991002/7991178
1243.50/1238.13	c cleaning 126004 clauses out of 252012 with flag 8118001/8118177
1263.69/1258.23	c cleaning 127002 clauses out of 254008 with flag 8246001/8246177
1283.93/1278.45	c cleaning 127994 clauses out of 256006 with flag 8375001/8375177
1303.26/1297.75	c cleaning 128999 clauses out of 258012 with flag 8505001/8505177
1323.68/1318.18	c cleaning 129994 clauses out of 260012 with flag 8636000/8636176
1344.42/1338.82	c cleaning 131008 clauses out of 262019 with flag 8768001/8768177
1364.73/1359.12	c cleaning 131989 clauses out of 264009 with flag 8901000/8901176
1387.46/1381.88	c cleaning 132991 clauses out of 266020 with flag 9035000/9035176
1409.22/1403.55	c cleaning 134005 clauses out of 268029 with flag 9170000/9170176
1432.05/1426.32	c cleaning 135000 clauses out of 270024 with flag 9306000/9306176
1454.32/1448.59	c cleaning 135999 clauses out of 272025 with flag 9443001/9443177
1476.00/1470.17	c cleaning 136997 clauses out of 274025 with flag 9581000/9581176
1498.61/1492.79	c cleaning 138007 clauses out of 276028 with flag 9720000/9720176
1521.43/1515.51	c cleaning 139004 clauses out of 278022 with flag 9860001/9860177
1543.95/1538.05	c cleaning 140004 clauses out of 280018 with flag 10001001/10001177
1567.18/1561.23	c cleaning 141002 clauses out of 282014 with flag 10143001/10143177
1591.24/1585.29	c cleaning 142002 clauses out of 284011 with flag 10286000/10286176
1614.91/1608.85	c cleaning 142998 clauses out of 286010 with flag 10430001/10430177
1638.14/1632.09	c cleaning 144003 clauses out of 288012 with flag 10575001/10575177
1661.35/1655.27	c cleaning 144998 clauses out of 290008 with flag 10721000/10721176
1684.03/1677.81	c cleaning 146002 clauses out of 292010 with flag 10868000/10868176
1707.95/1701.73	c cleaning 146998 clauses out of 294009 with flag 11016001/11016177
1731.00/1724.72	c cleaning 147995 clauses out of 296010 with flag 11165000/11165176
1755.71/1749.43	c cleaning 149004 clauses out of 298016 with flag 11315001/11315177
1779.79/1773.40	c cleaning 149999 clauses out of 300011 with flag 11466000/11466176
1800.06/1793.61	c starts		: 323
1800.06/1793.61	c conflicts		: 11604590
1800.06/1793.61	c decisions		: 12731805
1800.06/1793.61	c propagations		: 131020753
1800.06/1793.61	c inspects		: 3722330360
1800.06/1793.61	c shortcuts		: 0
1800.06/1793.61	c learnt literals	: 111
1800.06/1793.61	c learnt binary clauses	: 15
1800.06/1793.61	c learnt ternary clauses	: 232
1800.06/1793.61	c learnt constraints	: 11604479
1800.06/1793.61	c ignored constraints	: 0
1800.06/1793.61	c root simplifications	: 0
1800.06/1793.61	c removed literals (reason simplification)	: 0
1800.06/1793.61	c reason swapping (by a shorter reason)	: 0
1800.06/1793.61	c Calls to reduceDB	: 147
1800.06/1793.61	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.61	c number of learned constraints concerned by reduction	: 0
1800.06/1793.61	c number of learning phase by resolution	: 0
1800.06/1793.61	c number of learning phase by cutting planes	: 0
1800.06/1793.61	c speed (assignments/second)	: 73070.47729206936
1800.06/1793.61	c non guided choices	73
1800.06/1793.64	c learnt constraints type 
1800.06/1793.64	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 15
1800.06/1793.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 288551
1800.06/1793.64	c constraints type 
1800.06/1793.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.06/1793.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.06/1793.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.06/1793.64	c ignored satisfied constraints => 2
1800.06/1793.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.06/1793.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.06/1793.64	c 12513 constraints processed.
1800.06/1793.64	s SATISFIABLE
1800.06/1793.65	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 
1800.06/1793.66	c objective function=3245071
1800.06/1793.66	c Total wall clock time (in seconds): 1793.521

Verifier Data 

OK	3245071

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-3690169-1337896962/watcher-3690169-1337896962 -o /tmp/evaluation-result-3690169-1337896962/solver-3690169-1337896962 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690169-1337896962.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.11 2.02 2.01 3/194 17026
/proc/meminfo: memFree=28706584/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/17026/stat : 17026 (java) D 17024 17026 14581 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 255821071 2560000 47 33554432000 1073741824 1073778376 140734930701968 140734930699096 233211784487 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/17026/statm: 625 47 37 9 0 29 0

[startup+0.036027 s]
/proc/loadavg: 2.11 2.02 2.01 3/194 17026
/proc/meminfo: memFree=28706584/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 2431 0 1 0 0 1 0 0 20 0 10 0 255821071 9233014784 2620 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2254154 2627 1231 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100246 s]
/proc/loadavg: 2.11 2.02 2.01 3/194 17026
/proc/meminfo: memFree=28706584/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9558412 CPUtime=0.06 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 3398 0 1 0 5 1 0 0 20 0 18 0 255821071 9787813888 4095 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2389603 4095 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.300225 s]
/proc/loadavg: 2.11 2.02 2.01 3/194 17026
/proc/meminfo: memFree=28706584/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9558412 CPUtime=0.47 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 5586 0 1 0 45 2 0 0 20 0 18 0 255821071 9787813888 8276 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2389603 8276 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558412

[startup+0.700245 s]
/proc/loadavg: 2.11 2.02 2.01 3/194 17026
/proc/meminfo: memFree=28706584/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 10503 0 1 0 155 3 0 0 20 0 19 0 255821071 9855975424 17215 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2406244 17215 2252 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 2.10 2.02 2.00 3/213 17045
/proc/meminfo: memFree=28644448/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9624976 CPUtime=2.54 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 10531 0 1 0 251 3 0 0 20 0 19 0 255821071 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2406244 18776 2254 9 0 2396937 0
[pid=17026/tid=17028] ppid=17024 vsize=9624976 CPUtime=1.46 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (java) R 17024 17026 14581 0 -1 4202560 2532 0 1 0 144 2 0 0 20 0 19 0 255821072 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788763632024 139788704196433 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788607597352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17030] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17030/stat : 17030 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788606544552 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17031] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17031/stat : 17031 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788605492264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17032] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17032/stat : 17032 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788604439464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17033] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17033/stat : 17033 (java) S 17024 17026 14581 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788603386152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17034] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17034/stat : 17034 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788602333352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17035] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17035/stat : 17035 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788601281064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17036] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17036/stat : 17036 (java) S 17024 17026 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788600228264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17037] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17037/stat : 17037 (java) S 17024 17026 14581 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255821075 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788587817704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17038] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17038/stat : 17038 (java) S 17024 17026 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788586763768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17039] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17039/stat : 17039 (java) S 17024 17026 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788585711368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17040] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17040/stat : 17040 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821078 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788584659856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17041] ppid=17024 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/17026/task/17041/stat : 17041 (java) S 17024 17026 14581 0 -1 4202560 2661 0 0 0 55 0 0 0 20 0 19 0 255821078 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788583606456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17042] ppid=17024 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/17026/task/17042/stat : 17042 (java) S 17024 17026 14581 0 -1 4202560 4138 0 0 0 49 0 0 0 20 0 19 0 255821078 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788582553656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17043] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17043/stat : 17043 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788581501560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17044] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17044/stat : 17044 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788580448968 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17045] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17045/stat : 17045 (java) S 17024 17026 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255821125 9855975424 18776 33554432000 1073741824 1073778376 140733598499328 139788579394984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9624976

[startup+3.10061 s]
/proc/loadavg: 2.10 2.02 2.00 3/213 17045
/proc/meminfo: memFree=28624776/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9624976 CPUtime=4.22 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 10612 0 1 0 418 4 0 0 20 0 19 0 255821071 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2406244 23445 2279 9 0 2396937 0
[pid=17026/tid=17028] ppid=17024 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (java) R 17024 17026 14581 0 -1 4202560 2536 0 1 0 299 2 0 0 20 0 19 0 255821072 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788763631904 139788704196368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (java) S 17024 17026 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788607597352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17030] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17030/stat : 17030 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788606544552 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17031] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17031/stat : 17031 (java) S 17024 17026 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788605492264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17032] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17032/stat : 17032 (java) S 17024 17026 14581 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788604439464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17033] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17033/stat : 17033 (java) S 17024 17026 14581 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788603386152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17034] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17034/stat : 17034 (java) S 17024 17026 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788602333352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17035] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17035/stat : 17035 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788601281064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17036] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17036/stat : 17036 (java) S 17024 17026 14581 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788600228264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17037] ppid=17024 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/17026/task/17037/stat : 17037 (java) S 17024 17026 14581 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 255821075 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788587817704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17038] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17038/stat : 17038 (java) S 17024 17026 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788586763768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17039] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17039/stat : 17039 (java) S 17024 17026 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788585711368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17040] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17040/stat : 17040 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821078 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788584659856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17041] ppid=17024 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/17026/task/17041/stat : 17041 (java) S 17024 17026 14581 0 -1 4202560 2671 0 0 0 58 0 0 0 20 0 19 0 255821078 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788583606456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17042] ppid=17024 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/17026/task/17042/stat : 17042 (java) S 17024 17026 14581 0 -1 4202560 4145 0 0 0 52 0 0 0 20 0 19 0 255821078 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788582553656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17043] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17043/stat : 17043 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788581501560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17044] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17044/stat : 17044 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788580448968 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17045] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17045/stat : 17045 (java) S 17024 17026 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255821125 9855975424 23445 33554432000 1073741824 1073778376 140733598499328 139788579394984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 9624976

[startup+6.30062 s]
/proc/loadavg: 2.10 2.02 2.00 3/213 17045
/proc/meminfo: memFree=28596312/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9624976 CPUtime=8.17 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 20549 0 1 0 811 6 0 0 20 0 19 0 255821071 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2406244 29710 2279 9 0 2396937 0
[pid=17026/tid=17028] ppid=17024 vsize=9624976 CPUtime=6.13 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (java) R 17024 17026 14581 0 -1 4202560 2539 0 1 0 611 2 0 0 20 0 19 0 255821072 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788763632024 139788704196343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17029] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (java) S 17024 17026 14581 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788607597352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17030] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17030/stat : 17030 (java) S 17024 17026 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788606544552 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17031] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17031/stat : 17031 (java) S 17024 17026 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788605492264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17032] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17032/stat : 17032 (java) S 17024 17026 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788604439464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17033] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17033/stat : 17033 (java) S 17024 17026 14581 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788603386152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17034] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17034/stat : 17034 (java) S 17024 17026 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788602333352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17035] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17035/stat : 17035 (java) S 17024 17026 14581 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788601281064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17036] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17036/stat : 17036 (java) S 17024 17026 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255821074 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788600228264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17037] ppid=17024 vsize=9624976 CPUtime=0.08 cores=0,2,4,6
/proc/17026/task/17037/stat : 17037 (java) S 17024 17026 14581 0 -1 4202560 44 0 0 0 8 0 0 0 20 0 19 0 255821075 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788587817704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17038] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17038/stat : 17038 (java) S 17024 17026 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788586763768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17039] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17039/stat : 17039 (java) S 17024 17026 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788585711368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17040] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17040/stat : 17040 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821078 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788584659856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17041] ppid=17024 vsize=9624976 CPUtime=0.99 cores=0,2,4,6
/proc/17026/task/17041/stat : 17041 (java) S 17024 17026 14581 0 -1 4202560 9096 0 0 0 98 1 0 0 20 0 19 0 255821078 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788583606456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17042] ppid=17024 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/17026/task/17042/stat : 17042 (java) S 17024 17026 14581 0 -1 4202560 7622 0 0 0 84 1 0 0 20 0 19 0 255821078 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788582553656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17043] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17043/stat : 17043 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788581501560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17044] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17044/stat : 17044 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788580448968 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17045] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17045/stat : 17045 (java) S 17024 17026 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255821125 9855975424 29710 33554432000 1073741824 1073778376 140733598499328 139788579394984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.17
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=17026/tid=17041] ppid=17024 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/17026/task/17041/stat : 17041 (java) S 17024 17026 14581 0 -1 4202560 9103 0 0 0 104 2 0 0 20 0 19 0 255821078 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788583606456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17042] ppid=17024 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/17026/task/17042/stat : 17042 (java) S 17024 17026 14581 0 -1 4202560 7622 0 0 0 84 1 0 0 20 0 19 0 255821078 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788582553656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17043] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17043/stat : 17043 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788581501560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17044] ppid=17024 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/17026/task/17044/stat : 17044 (java) S 17024 17026 14581 0 -1 4202560 95 0 0 0 16 14 0 0 20 0 19 0 255821079 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788580448968 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17045] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17045/stat : 17045 (java) S 17024 17026 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255821125 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788579394984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1668.51
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/189 17087
/proc/meminfo: memFree=28550032/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9624976 CPUtime=1728.59 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 23085 0 1 0 172812 47 0 0 20 0 19 0 255821071 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2406244 88878 2280 9 0 2396937 0
[pid=17026/tid=17028] ppid=17024 vsize=9624976 CPUtime=1708.5 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (java) R 17024 17026 14581 0 -1 4202560 2714 0 1 0 170821 29 0 0 20 0 19 0 255821072 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788763631904 139788704197520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17029] ppid=17024 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (java) S 17024 17026 14581 0 -1 4202560 413 0 0 0 81 4 0 0 20 0 19 0 255821074 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788607597352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17030] ppid=17024 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/17026/task/17030/stat : 17030 (java) S 17024 17026 14581 0 -1 4202560 295 0 0 0 73 2 0 0 20 0 19 0 255821074 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788606544552 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17031] ppid=17024 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/17026/task/17031/stat : 17031 (java) S 17024 17026 14581 0 -1 4202560 308 0 0 0 70 3 0 0 20 0 19 0 255821074 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788605492264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17032] ppid=17024 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/17026/task/17032/stat : 17032 (java) S 17024 17026 14581 0 -1 4202560 108 0 0 0 68 3 0 0 20 0 19 0 255821074 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788604439464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17033] ppid=17024 vsize=9624976 CPUtime=0.69 cores=0,2,4,6
/proc/17026/task/17033/stat : 17033 (java) S 17024 17026 14581 0 -1 4202560 279 0 0 0 68 1 0 0 20 0 19 0 255821074 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788603386152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17034] ppid=17024 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/17026/task/17034/stat : 17034 (java) S 17024 17026 14581 0 -1 4202560 271 0 0 0 74 2 0 0 20 0 19 0 255821074 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788602333352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17035] ppid=17024 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/17026/task/17035/stat : 17035 (java) S 17024 17026 14581 0 -1 4202560 254 0 0 0 71 2 0 0 20 0 19 0 255821074 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788601281064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17036] ppid=17024 vsize=9624976 CPUtime=0.75 cores=0,2,4,6
/proc/17026/task/17036/stat : 17036 (java) S 17024 17026 14581 0 -1 4202560 272 0 0 0 73 2 0 0 20 0 19 0 255821074 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788600228264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17037] ppid=17024 vsize=9624976 CPUtime=7.38 cores=0,2,4,6
/proc/17026/task/17037/stat : 17037 (java) S 17024 17026 14581 0 -1 4202560 162 0 0 0 736 2 0 0 20 0 19 0 255821075 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788587817704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17038] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17038/stat : 17038 (java) S 17024 17026 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788586763768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17039] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17039/stat : 17039 (java) S 17024 17026 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788585711368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17040] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17040/stat : 17040 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821078 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788584659856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17041] ppid=17024 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/17026/task/17041/stat : 17041 (java) S 17024 17026 14581 0 -1 4202560 9103 0 0 0 104 2 0 0 20 0 19 0 255821078 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788583606456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17042] ppid=17024 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/17026/task/17042/stat : 17042 (java) S 17024 17026 14581 0 -1 4202560 7622 0 0 0 84 1 0 0 20 0 19 0 255821078 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788582553656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17043] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17043/stat : 17043 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788581501560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17044] ppid=17024 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/17026/task/17044/stat : 17044 (java) S 17024 17026 14581 0 -1 4202560 99 0 0 0 17 15 0 0 20 0 19 0 255821079 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788580448968 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17045] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17045/stat : 17045 (java) S 17024 17026 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255821125 9855975424 88878 33554432000 1073741824 1073778376 140733598499328 139788579394984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.59
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 1.34 1.80 1.93 2/189 17087
/proc/meminfo: memFree=28543936/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9624976 CPUtime=1788.76 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 23099 0 1 0 178828 48 0 0 20 0 19 0 255821071 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2406244 90414 2280 9 0 2396937 0
[pid=17026/tid=17028] ppid=17024 vsize=9624976 CPUtime=1768.04 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (java) R 17024 17026 14581 0 -1 4202560 2720 0 1 0 176774 30 0 0 20 0 19 0 255821072 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788763631904 139788704196425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17029] ppid=17024 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (java) S 17024 17026 14581 0 -1 4202560 413 0 0 0 83 4 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788607597352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17030] ppid=17024 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/17026/task/17030/stat : 17030 (java) S 17024 17026 14581 0 -1 4202560 295 0 0 0 77 2 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788606544552 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17031] ppid=17024 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/17026/task/17031/stat : 17031 (java) S 17024 17026 14581 0 -1 4202560 308 0 0 0 73 3 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788605492264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17032] ppid=17024 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/17026/task/17032/stat : 17032 (java) S 17024 17026 14581 0 -1 4202560 108 0 0 0 70 3 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788604439464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17033] ppid=17024 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/17026/task/17033/stat : 17033 (java) S 17024 17026 14581 0 -1 4202560 279 0 0 0 70 1 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788603386152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17034] ppid=17024 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/17026/task/17034/stat : 17034 (java) S 17024 17026 14581 0 -1 4202560 271 0 0 0 76 2 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788602333352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17035] ppid=17024 vsize=9624976 CPUtime=0.77 cores=0,2,4,6
/proc/17026/task/17035/stat : 17035 (java) S 17024 17026 14581 0 -1 4202560 254 0 0 0 75 2 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788601281064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17036] ppid=17024 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/17026/task/17036/stat : 17036 (java) S 17024 17026 14581 0 -1 4202560 272 0 0 0 77 2 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788600228264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17037] ppid=17024 vsize=9624976 CPUtime=7.61 cores=0,2,4,6
/proc/17026/task/17037/stat : 17037 (java) S 17024 17026 14581 0 -1 4202560 166 0 0 0 759 2 0 0 20 0 19 0 255821075 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788587817704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17038] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17038/stat : 17038 (java) S 17024 17026 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788586763768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17039] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17039/stat : 17039 (java) S 17024 17026 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788585711368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17040] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17040/stat : 17040 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821078 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788584659856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17041] ppid=17024 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/17026/task/17041/stat : 17041 (java) S 17024 17026 14581 0 -1 4202560 9103 0 0 0 104 2 0 0 20 0 19 0 255821078 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788583606456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17042] ppid=17024 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/17026/task/17042/stat : 17042 (java) S 17024 17026 14581 0 -1 4202560 7622 0 0 0 84 1 0 0 20 0 19 0 255821078 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788582553656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17043] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17043/stat : 17043 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788581501560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17044] ppid=17024 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/17026/task/17044/stat : 17044 (java) S 17024 17026 14581 0 -1 4202560 103 0 0 0 18 15 0 0 20 0 19 0 255821079 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788580448968 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17045] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17045/stat : 17045 (java) S 17024 17026 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255821125 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788579394984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1788.76
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.6 s]
/proc/loadavg: 1.28 1.77 1.92 2/190 17088
/proc/meminfo: memFree=28544052/32873844 swapFree=7104/7104
[pid=17026] ppid=17024 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/17026/stat : 17026 (java) S 17024 17026 14581 0 -1 4202496 23099 0 1 0 179958 48 0 0 20 0 19 0 255821071 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 140733598490464 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17026/statm: 2406244 90414 2280 9 0 2396937 0
[pid=17026/tid=17028] ppid=17024 vsize=9624976 CPUtime=1779.31 cores=0,2,4,6
/proc/17026/task/17028/stat : 17028 (java) R 17024 17026 14581 0 -1 4202560 2720 0 1 0 177899 32 0 0 20 0 19 0 255821072 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788763631904 139788704196380 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17029] ppid=17024 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/17026/task/17029/stat : 17029 (java) S 17024 17026 14581 0 -1 4202560 413 0 0 0 83 4 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788607597352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17030] ppid=17024 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/17026/task/17030/stat : 17030 (java) S 17024 17026 14581 0 -1 4202560 295 0 0 0 77 2 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788606544552 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17031] ppid=17024 vsize=9624976 CPUtime=0.76 cores=0,2,4,6
/proc/17026/task/17031/stat : 17031 (java) S 17024 17026 14581 0 -1 4202560 308 0 0 0 73 3 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788605492264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17032] ppid=17024 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/17026/task/17032/stat : 17032 (java) S 17024 17026 14581 0 -1 4202560 108 0 0 0 70 3 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788604439464 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17033] ppid=17024 vsize=9624976 CPUtime=0.71 cores=0,2,4,6
/proc/17026/task/17033/stat : 17033 (java) S 17024 17026 14581 0 -1 4202560 279 0 0 0 70 1 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788603386152 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17034] ppid=17024 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/17026/task/17034/stat : 17034 (java) S 17024 17026 14581 0 -1 4202560 271 0 0 0 76 2 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788602333352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17035] ppid=17024 vsize=9624976 CPUtime=0.77 cores=0,2,4,6
/proc/17026/task/17035/stat : 17035 (java) S 17024 17026 14581 0 -1 4202560 254 0 0 0 75 2 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788601281064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17036] ppid=17024 vsize=9624976 CPUtime=0.79 cores=0,2,4,6
/proc/17026/task/17036/stat : 17036 (java) S 17024 17026 14581 0 -1 4202560 272 0 0 0 77 2 0 0 20 0 19 0 255821074 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788600228264 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17026/tid=17037] ppid=17024 vsize=9624976 CPUtime=7.61 cores=0,2,4,6
/proc/17026/task/17037/stat : 17037 (java) S 17024 17026 14581 0 -1 4202560 166 0 0 0 759 2 0 0 20 0 19 0 255821075 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788587817704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17026/tid=17038] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17038/stat : 17038 (java) S 17024 17026 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788586763768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17039] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17039/stat : 17039 (java) S 17024 17026 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255821076 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788585711368 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17040] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17040/stat : 17040 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821078 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788584659856 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17041] ppid=17024 vsize=9624976 CPUtime=1.06 cores=0,2,4,6
/proc/17026/task/17041/stat : 17041 (java) S 17024 17026 14581 0 -1 4202560 9103 0 0 0 104 2 0 0 20 0 19 0 255821078 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788583606456 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17042] ppid=17024 vsize=9624976 CPUtime=0.85 cores=0,2,4,6
/proc/17026/task/17042/stat : 17042 (java) S 17024 17026 14581 0 -1 4202560 7622 0 0 0 84 1 0 0 20 0 19 0 255821078 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788582553656 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17043] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17043/stat : 17043 (java) S 17024 17026 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255821079 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788581501560 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17026/tid=17044] ppid=17024 vsize=9624976 CPUtime=0.33 cores=0,2,4,6
/proc/17026/task/17044/stat : 17044 (java) S 17024 17026 14581 0 -1 4202560 103 0 0 0 18 15 0 0 20 0 19 0 255821079 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788580448968 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17026/tid=17045] ppid=17024 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/17026/task/17045/stat : 17045 (java) S 17024 17026 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255821125 9855975424 90414 33554432000 1073741824 1073778376 140733598499328 139788579394984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17026 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=908132
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=855869
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1793.66
CPU time (s): 1800.06
CPU user time (s): 1799.58
CPU system time (s): 0.48
CPU usage (%): 100.357
Max. virtual memory (cumulated for all children) (KiB): 9624976

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

runsolver used 5.78112 second user time and 13.7519 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-25 00:02:42
IDJOB=3690169
IDBENCH=92742
IDSOLVER=2269
FILE ID=node142/3690169-1337896962
RUNJOBID= node142-1337871882-14597
PBS_JOBID= 14620062
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= 796ce15de170aa64363741766a49999c
RANDOM SEED=149628266

node142.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.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
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.776
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.776
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	: 5391.91
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.776
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.92
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.776
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.776
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.91
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.776
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.776
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:        28706856 kB
Buffers:          237260 kB
Cached:          2956112 kB
SwapCached:            0 kB
Active:           664192 kB
Inactive:        2728576 kB
Active(anon):     201344 kB
Inactive(anon):        0 kB
Active(file):     462848 kB
Inactive(file):  2728576 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               872 kB
Writeback:             0 kB
AnonPages:        212256 kB
Mapped:            22532 kB
Shmem:               200 kB
Slab:             631068 kB
SReclaimable:      73568 kB
SUnreclaim:       557500 kB
KernelStack:        1608 kB
PageTables:         4612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     698008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 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= 71664 MiB
End job on node142 at 2012-05-25 00:32:38