Trace number 3458497

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0SAT (TO)29 1800.23 1797.99

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark28.1547
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2531
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		12995394264
0.05/0.09	c Max memory 		13063553024
0.05/0.09	c Total memory 		13063553024
0.05/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3458497-1307156588.opb
0.10/0.12	c reading problem ... 
0.70/0.42	c ... done. Wall clock time 0.302s.
0.70/0.42	c #vars     5256
0.70/0.42	c #constraints  15614
0.70/0.42	c constraints type 
0.70/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734
0.70/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658
1.00/0.53	c SATISFIABLE
1.00/0.53	c OPTIMIZING...
1.00/0.53	c Got one! Elapsed wall clock time (in seconds):0.416
1.00/0.53	o 43
1.00/0.60	c Got one! Elapsed wall clock time (in seconds):0.48
1.00/0.60	o 42
1.57/0.74	c Got one! Elapsed wall clock time (in seconds):0.624
1.57/0.74	o 36
1.57/0.79	c Got one! Elapsed wall clock time (in seconds):0.673
1.57/0.79	o 34
1.79/0.86	c Got one! Elapsed wall clock time (in seconds):0.74
1.79/0.86	o 32
3.54/2.57	c cleaning 2765 clauses out of 5535 with flag 5000/5535
5.42/4.34	c cleaning 4382 clauses out of 8770 with flag 11000/11535
6.41/5.31	c Got one! Elapsed wall clock time (in seconds):5.197
6.41/5.31	o 31
6.82/5.77	c cleaning 4883 clauses out of 9776 with flag 2000/16923
8.53/7.40	c cleaning 5442 clauses out of 10895 with flag 8002/22925
10.27/9.18	c cleaning 6223 clauses out of 12451 with flag 15000/29923
12.48/11.36	c cleaning 7106 clauses out of 14228 with flag 23000/37923
15.08/13.95	c cleaning 8053 clauses out of 16122 with flag 32000/46923
17.88/16.76	c cleaning 9031 clauses out of 18073 with flag 42004/56927
21.00/19.85	c cleaning 10014 clauses out of 20038 with flag 53000/67923
24.20/23.08	c cleaning 11009 clauses out of 22025 with flag 65001/79924
27.98/26.85	c cleaning 12002 clauses out of 24018 with flag 78003/92926
31.49/30.39	c cleaning 12991 clauses out of 26013 with flag 92000/106923
35.69/34.54	c cleaning 14004 clauses out of 28022 with flag 107000/121923
39.79/38.66	c cleaning 14996 clauses out of 30018 with flag 123000/137923
44.49/43.31	c cleaning 15502 clauses out of 31023 with flag 139001/153924
48.99/47.87	c cleaning 15755 clauses out of 31520 with flag 155000/169923
49.80/48.65	c Got one! Elapsed wall clock time (in seconds):48.532
49.80/48.65	o 30
50.50/49.39	c cleaning 10522 clauses out of 21058 with flag 3000/175216
52.10/50.94	c cleaning 8260 clauses out of 16537 with flag 9001/181217
54.03/52.90	c cleaning 7631 clauses out of 15276 with flag 16000/188216
56.13/55.01	c cleaning 7812 clauses out of 15646 with flag 24001/196217
58.72/57.57	c cleaning 8408 clauses out of 16834 with flag 33001/205217
61.52/60.31	c cleaning 9204 clauses out of 18425 with flag 43000/215216
64.52/63.37	c cleaning 10100 clauses out of 20221 with flag 54000/226216
68.02/66.86	c cleaning 11046 clauses out of 22121 with flag 66000/238216
71.82/70.64	c cleaning 12023 clauses out of 24075 with flag 79000/251216
75.82/74.62	c cleaning 13020 clauses out of 26053 with flag 93001/265217
80.03/78.86	c cleaning 14006 clauses out of 28032 with flag 108000/280216
84.53/83.37	c cleaning 15007 clauses out of 30027 with flag 124001/296217
89.43/88.26	c cleaning 15501 clauses out of 31019 with flag 140000/312216
94.43/93.26	c cleaning 15753 clauses out of 31518 with flag 156000/328216
98.74/97.55	c cleaning 15874 clauses out of 31766 with flag 172001/344217
103.14/101.98	c cleaning 15934 clauses out of 31891 with flag 188000/360216
107.65/106.45	c cleaning 15965 clauses out of 31957 with flag 204000/376216
112.05/110.82	c cleaning 15989 clauses out of 31992 with flag 220000/392216
116.35/115.16	c cleaning 15996 clauses out of 32003 with flag 236000/408216
121.07/119.84	c cleaning 15993 clauses out of 32007 with flag 252000/424216
125.77/124.50	c cleaning 15998 clauses out of 32014 with flag 268000/440216
129.99/128.76	c cleaning 15999 clauses out of 32016 with flag 284000/456216
134.39/133.15	c cleaning 15998 clauses out of 32018 with flag 300001/472217
138.58/137.31	c cleaning 16003 clauses out of 32019 with flag 316000/488216
142.68/141.49	c cleaning 16002 clauses out of 32016 with flag 332000/504216
146.98/145.72	c cleaning 16002 clauses out of 32018 with flag 348004/520220
150.99/149.76	c cleaning 15995 clauses out of 32012 with flag 364000/536216
155.39/154.17	c cleaning 16001 clauses out of 32017 with flag 380000/552216
160.19/158.91	c cleaning 15996 clauses out of 32016 with flag 396000/568216
164.70/163.49	c cleaning 16001 clauses out of 32020 with flag 412000/584216
169.10/167.82	c cleaning 16006 clauses out of 32021 with flag 428002/600218
173.10/171.80	c cleaning 15999 clauses out of 32013 with flag 444000/616216
177.00/175.70	c cleaning 15993 clauses out of 32014 with flag 460000/632216
181.40/180.13	c cleaning 16006 clauses out of 32022 with flag 476001/648217
185.40/184.10	c cleaning 15997 clauses out of 32015 with flag 492000/664216
189.21/187.98	c cleaning 16001 clauses out of 32018 with flag 508000/680216
193.11/191.86	c cleaning 15999 clauses out of 32018 with flag 524001/696217
197.22/195.95	c cleaning 15999 clauses out of 32018 with flag 540000/712216
201.32/200.07	c cleaning 16002 clauses out of 32020 with flag 556001/728217
205.32/204.08	c cleaning 15998 clauses out of 32017 with flag 572000/744216
209.73/208.41	c cleaning 15998 clauses out of 32019 with flag 588000/760216
214.13/212.83	c cleaning 15998 clauses out of 32021 with flag 604000/776216
216.63/215.39	c Got one! Elapsed wall clock time (in seconds):215.273
216.63/215.39	o 29
218.05/216.79	c cleaning 15031 clauses out of 30075 with flag 5001/790268
219.84/218.53	c cleaning 10512 clauses out of 21043 with flag 11000/796267
221.94/220.60	c cleaning 8756 clauses out of 17531 with flag 18000/803267
224.14/222.88	c cleaning 8381 clauses out of 16776 with flag 26001/811268
226.64/225.36	c cleaning 8684 clauses out of 17394 with flag 35000/820267
229.56/228.22	c cleaning 9343 clauses out of 18710 with flag 45000/830267
232.57/231.27	c cleaning 10175 clauses out of 20368 with flag 56001/841268
235.88/234.57	c cleaning 11087 clauses out of 22192 with flag 68000/853267
239.88/238.51	c cleaning 12043 clauses out of 24105 with flag 81000/866267
243.88/242.55	c cleaning 13024 clauses out of 26062 with flag 95000/880267
247.88/246.53	c cleaning 14015 clauses out of 28039 with flag 110001/895268
252.10/250.81	c cleaning 15004 clauses out of 30023 with flag 126000/911267
256.39/255.11	c cleaning 15502 clauses out of 31020 with flag 142001/927268
261.09/259.71	c cleaning 15747 clauses out of 31517 with flag 158000/943267
265.49/264.18	c cleaning 15871 clauses out of 31770 with flag 174000/959267
269.90/268.57	c cleaning 15945 clauses out of 31899 with flag 190000/975267
274.22/272.85	c cleaning 15970 clauses out of 31954 with flag 206000/991267
278.51/277.19	c cleaning 15980 clauses out of 31984 with flag 222000/1007267
283.10/281.72	c cleaning 15996 clauses out of 32005 with flag 238001/1023268
287.81/286.42	c cleaning 15992 clauses out of 32008 with flag 254000/1039267
292.71/291.37	c cleaning 15999 clauses out of 32017 with flag 270001/1055268
297.91/296.50	c cleaning 16001 clauses out of 32017 with flag 286000/1071267
302.21/300.86	c cleaning 15995 clauses out of 32016 with flag 302000/1087267
306.13/304.79	c cleaning 16004 clauses out of 32023 with flag 318002/1103269
310.02/308.61	c cleaning 16002 clauses out of 32018 with flag 334001/1119268
313.93/312.57	c cleaning 15999 clauses out of 32016 with flag 350001/1135268
318.25/316.87	c cleaning 15999 clauses out of 32017 with flag 366001/1151268
322.83/321.47	c cleaning 15996 clauses out of 32017 with flag 382000/1167267
327.34/325.99	c cleaning 16007 clauses out of 32022 with flag 398001/1183268
331.64/330.23	c cleaning 15996 clauses out of 32014 with flag 414000/1199267
336.04/334.66	c cleaning 16000 clauses out of 32019 with flag 430001/1215268
340.74/339.30	c cleaning 15992 clauses out of 32018 with flag 446000/1231267
345.44/344.01	c cleaning 16001 clauses out of 32026 with flag 462000/1247267
349.94/348.57	c cleaning 16004 clauses out of 32026 with flag 478001/1263268
354.46/353.11	c cleaning 15999 clauses out of 32021 with flag 494000/1279267
359.05/357.69	c cleaning 15997 clauses out of 32022 with flag 510000/1295267
363.55/362.13	c cleaning 16007 clauses out of 32026 with flag 526001/1311268
368.05/366.69	c cleaning 16004 clauses out of 32018 with flag 542000/1327267
372.06/370.66	c cleaning 15999 clauses out of 32015 with flag 558001/1343268
376.35/374.90	c cleaning 16001 clauses out of 32015 with flag 574000/1359267
380.26/378.87	c cleaning 16001 clauses out of 32015 with flag 590001/1375268
384.36/382.95	c cleaning 16001 clauses out of 32013 with flag 606000/1391267
388.57/387.21	c cleaning 15996 clauses out of 32012 with flag 622000/1407267
392.86/391.43	c cleaning 15992 clauses out of 32018 with flag 638002/1423269
397.48/396.07	c cleaning 16003 clauses out of 32024 with flag 654000/1439267
402.26/400.80	c cleaning 16004 clauses out of 32022 with flag 670001/1455268
406.77/405.30	c cleaning 16000 clauses out of 32017 with flag 686000/1471267
411.47/410.08	c cleaning 16004 clauses out of 32017 with flag 702000/1487267
416.08/414.68	c cleaning 16002 clauses out of 32014 with flag 718001/1503268
420.48/419.10	c cleaning 16001 clauses out of 32011 with flag 734000/1519267
424.77/423.37	c cleaning 15995 clauses out of 32010 with flag 750000/1535267
428.98/427.58	c cleaning 16000 clauses out of 32015 with flag 766000/1551267
433.08/431.64	c cleaning 15998 clauses out of 32015 with flag 782000/1567267
437.18/435.74	c cleaning 16002 clauses out of 32017 with flag 798000/1583267
441.50/440.02	c cleaning 16001 clauses out of 32019 with flag 814004/1599271
445.59/444.13	c cleaning 15999 clauses out of 32014 with flag 830000/1615267
449.49/448.09	c cleaning 16001 clauses out of 32015 with flag 846000/1631267
453.69/452.24	c cleaning 15994 clauses out of 32014 with flag 862000/1647267
458.10/456.67	c cleaning 16003 clauses out of 32020 with flag 878000/1663267
462.80/461.36	c cleaning 16004 clauses out of 32017 with flag 894000/1679267
467.40/465.97	c cleaning 15999 clauses out of 32014 with flag 910001/1695268
471.91/470.48	c cleaning 16000 clauses out of 32015 with flag 926001/1711268
476.63/475.12	c cleaning 15999 clauses out of 32014 with flag 942000/1727267
481.03/479.55	c cleaning 16002 clauses out of 32015 with flag 958000/1743267
485.43/483.94	c cleaning 15993 clauses out of 32015 with flag 974002/1759269
489.52/488.07	c cleaning 16007 clauses out of 32021 with flag 990001/1775268
493.72/492.20	c cleaning 15998 clauses out of 32013 with flag 1006000/1791267
498.02/496.52	c cleaning 15998 clauses out of 32017 with flag 1022002/1807269
502.42/500.96	c cleaning 15997 clauses out of 32017 with flag 1038000/1823267
506.82/505.33	c cleaning 15999 clauses out of 32020 with flag 1054000/1839267
511.32/509.81	c cleaning 15997 clauses out of 32022 with flag 1070001/1855268
515.53/514.01	c cleaning 16004 clauses out of 32024 with flag 1086000/1871267
519.65/518.18	c cleaning 16003 clauses out of 32020 with flag 1102000/1887267
524.05/522.54	c cleaning 15992 clauses out of 32017 with flag 1118000/1903267
528.23/526.77	c cleaning 16006 clauses out of 32025 with flag 1134000/1919267
532.63/531.17	c cleaning 15993 clauses out of 32020 with flag 1150001/1935268
537.43/535.93	c cleaning 15998 clauses out of 32026 with flag 1166000/1951267
541.83/540.33	c cleaning 16006 clauses out of 32029 with flag 1182001/1967268
546.34/544.89	c cleaning 16003 clauses out of 32023 with flag 1198001/1983268
550.55/549.06	c cleaning 16006 clauses out of 32019 with flag 1214000/1999267
554.87/553.34	c cleaning 15999 clauses out of 32013 with flag 1230000/2015267
559.35/557.89	c cleaning 16000 clauses out of 32014 with flag 1246000/2031267
563.95/562.50	c cleaning 15997 clauses out of 32014 with flag 1262000/2047267
568.65/567.17	c cleaning 16001 clauses out of 32017 with flag 1278000/2063267
573.47/571.95	c cleaning 16007 clauses out of 32017 with flag 1294001/2079268
577.87/576.36	c cleaning 15997 clauses out of 32009 with flag 1310000/2095267
582.16/580.65	c cleaning 15998 clauses out of 32012 with flag 1326000/2111267
586.86/585.38	c cleaning 15996 clauses out of 32014 with flag 1342000/2127267
591.36/589.81	c cleaning 15989 clauses out of 32018 with flag 1358000/2143267
596.06/594.51	c cleaning 16005 clauses out of 32029 with flag 1374000/2159267
600.87/599.35	c cleaning 16004 clauses out of 32024 with flag 1390000/2175267
605.49/603.99	c cleaning 16006 clauses out of 32022 with flag 1406002/2191269
609.68/608.21	c cleaning 16003 clauses out of 32015 with flag 1422001/2207268
613.98/612.41	c cleaning 15993 clauses out of 32011 with flag 1438000/2223267
618.18/616.64	c cleaning 15998 clauses out of 32018 with flag 1454000/2239267
622.38/620.83	c cleaning 15992 clauses out of 32020 with flag 1470000/2255267
626.58/625.04	c cleaning 16005 clauses out of 32029 with flag 1486001/2271268
630.88/629.39	c cleaning 16007 clauses out of 32023 with flag 1502000/2287267
635.10/633.60	c cleaning 15996 clauses out of 32016 with flag 1518000/2303267
639.69/638.17	c cleaning 16001 clauses out of 32020 with flag 1534000/2319267
643.79/642.25	c cleaning 16004 clauses out of 32019 with flag 1550000/2335267
648.69/647.17	c cleaning 15996 clauses out of 32015 with flag 1566000/2351267
653.00/651.42	c cleaning 16002 clauses out of 32020 with flag 1582001/2367268
656.90/655.37	c cleaning 15995 clauses out of 32019 with flag 1598002/2383269
661.00/659.47	c cleaning 16002 clauses out of 32022 with flag 1614000/2399267
665.30/663.76	c cleaning 15997 clauses out of 32020 with flag 1630000/2415267
669.40/667.88	c cleaning 15999 clauses out of 32024 with flag 1646001/2431268
673.20/671.67	c cleaning 16004 clauses out of 32025 with flag 1662001/2447268
677.51/675.97	c cleaning 16000 clauses out of 32020 with flag 1678000/2463267
681.91/680.33	c cleaning 15998 clauses out of 32020 with flag 1694000/2479267
686.31/684.78	c cleaning 15999 clauses out of 32022 with flag 1710000/2495267
691.23/689.64	c cleaning 16002 clauses out of 32023 with flag 1726000/2511267
695.63/694.03	c cleaning 16001 clauses out of 32021 with flag 1742000/2527267
700.14/698.53	c cleaning 15997 clauses out of 32020 with flag 1758000/2543267
704.72/703.12	c cleaning 15999 clauses out of 32023 with flag 1774000/2559267
709.13/707.53	c cleaning 16000 clauses out of 32024 with flag 1790000/2575267
713.62/712.04	c cleaning 16000 clauses out of 32024 with flag 1806000/2591267
718.23/716.61	c cleaning 15993 clauses out of 32024 with flag 1822000/2607267
722.73/721.16	c cleaning 16010 clauses out of 32031 with flag 1838000/2623267
727.23/725.63	c cleaning 16000 clauses out of 32021 with flag 1854000/2639267
731.83/730.28	c cleaning 15997 clauses out of 32021 with flag 1870000/2655267
736.24/734.66	c cleaning 16009 clauses out of 32024 with flag 1886000/2671267
740.54/738.90	c cleaning 16002 clauses out of 32016 with flag 1902001/2687268
744.95/743.38	c cleaning 15995 clauses out of 32013 with flag 1918000/2703267
749.57/747.94	c cleaning 15996 clauses out of 32018 with flag 1934000/2719267
754.07/752.46	c cleaning 16003 clauses out of 32022 with flag 1950000/2735267
758.47/756.82	c cleaning 15998 clauses out of 32019 with flag 1966000/2751267
762.96/761.35	c cleaning 15999 clauses out of 32023 with flag 1982002/2767269
767.36/765.72	c cleaning 15998 clauses out of 32022 with flag 1998000/2783267
772.16/770.50	c cleaning 15994 clauses out of 32024 with flag 2014000/2799267
776.56/774.96	c cleaning 16006 clauses out of 32030 with flag 2030000/2815267
780.97/779.37	c cleaning 15998 clauses out of 32024 with flag 2046000/2831267
785.67/784.03	c cleaning 16000 clauses out of 32026 with flag 2062000/2847267
790.06/788.46	c cleaning 16002 clauses out of 32026 with flag 2078000/2863267
794.37/792.70	c cleaning 16001 clauses out of 32026 with flag 2094002/2879269
798.47/796.89	c cleaning 16006 clauses out of 32023 with flag 2110000/2895267
802.77/801.17	c cleaning 16001 clauses out of 32017 with flag 2126000/2911267
807.27/805.65	c cleaning 15992 clauses out of 32016 with flag 2142000/2927267
811.47/809.87	c cleaning 15997 clauses out of 32024 with flag 2158000/2943267
815.97/814.35	c cleaning 16006 clauses out of 32028 with flag 2174001/2959268
820.58/818.98	c cleaning 15988 clauses out of 32021 with flag 2190000/2975267
825.08/823.40	c cleaning 16010 clauses out of 32033 with flag 2206000/2991267
828.90/827.27	c cleaning 16005 clauses out of 32023 with flag 2222000/3007267
832.78/831.16	c cleaning 16003 clauses out of 32018 with flag 2238000/3023267
837.39/835.70	c cleaning 16000 clauses out of 32015 with flag 2254000/3039267
842.01/840.34	c cleaning 16000 clauses out of 32015 with flag 2270000/3055267
846.41/844.78	c cleaning 15999 clauses out of 32016 with flag 2286001/3071268
850.60/848.98	c cleaning 16004 clauses out of 32017 with flag 2302001/3087268
854.81/853.16	c cleaning 15998 clauses out of 32013 with flag 2318001/3103268
859.21/857.52	c cleaning 15998 clauses out of 32014 with flag 2334000/3119267
863.61/861.91	c cleaning 16002 clauses out of 32017 with flag 2350001/3135268
867.91/866.29	c cleaning 16002 clauses out of 32015 with flag 2366001/3151268
872.52/870.83	c cleaning 15993 clauses out of 32012 with flag 2382000/3167267
876.82/875.10	c cleaning 16003 clauses out of 32019 with flag 2398000/3183267
881.02/879.34	c cleaning 16002 clauses out of 32016 with flag 2414000/3199267
885.22/883.51	c cleaning 15996 clauses out of 32014 with flag 2430000/3215267
889.34/887.70	c cleaning 16002 clauses out of 32020 with flag 2446002/3231269
893.53/891.89	c cleaning 16000 clauses out of 32016 with flag 2462000/3247267
897.83/896.12	c cleaning 15997 clauses out of 32016 with flag 2478000/3263267
902.23/900.52	c cleaning 16000 clauses out of 32019 with flag 2494000/3279267
906.33/904.62	c cleaning 16000 clauses out of 32019 with flag 2510000/3295267
910.43/908.71	c cleaning 16006 clauses out of 32021 with flag 2526002/3311269
914.53/912.84	c cleaning 15998 clauses out of 32014 with flag 2542001/3327268
918.84/917.11	c cleaning 15996 clauses out of 32015 with flag 2558000/3343267
922.84/921.14	c cleaning 16001 clauses out of 32019 with flag 2574000/3359267
927.04/925.36	c cleaning 16000 clauses out of 32018 with flag 2590000/3375267
931.25/929.56	c cleaning 16001 clauses out of 32018 with flag 2606000/3391267
935.55/933.87	c cleaning 16002 clauses out of 32018 with flag 2622001/3407268
939.54/937.85	c cleaning 15998 clauses out of 32015 with flag 2638000/3423267
943.54/941.86	c cleaning 15999 clauses out of 32017 with flag 2654000/3439267
947.66/945.94	c cleaning 15998 clauses out of 32018 with flag 2670000/3455267
951.85/950.13	c cleaning 15998 clauses out of 32020 with flag 2686000/3471267
955.95/954.26	c cleaning 16003 clauses out of 32022 with flag 2702000/3487267
960.35/958.65	c cleaning 15990 clauses out of 32019 with flag 2718000/3503267
964.75/963.00	c cleaning 15994 clauses out of 32029 with flag 2734000/3519267
968.86/967.17	c cleaning 16007 clauses out of 32035 with flag 2750000/3535267
973.08/971.34	c cleaning 15995 clauses out of 32028 with flag 2766000/3551267
977.26/975.56	c cleaning 15995 clauses out of 32033 with flag 2782000/3567267
981.46/979.72	c cleaning 16008 clauses out of 32038 with flag 2798000/3583267
985.76/984.01	c cleaning 16001 clauses out of 32030 with flag 2814000/3599267
990.07/988.34	c cleaning 15998 clauses out of 32030 with flag 2830001/3615268
994.37/992.65	c cleaning 15998 clauses out of 32031 with flag 2846000/3631267
998.67/996.90	c cleaning 16008 clauses out of 32033 with flag 2862000/3647267
1002.69/1001.01	c cleaning 16001 clauses out of 32025 with flag 2878000/3663267
1006.98/1005.24	c cleaning 16009 clauses out of 32027 with flag 2894003/3679270
1011.38/1009.61	c cleaning 15999 clauses out of 32015 with flag 2910000/3695267
1015.58/1013.88	c cleaning 15993 clauses out of 32016 with flag 2926000/3711267
1019.98/1018.24	c cleaning 16004 clauses out of 32023 with flag 2942000/3727267
1024.28/1022.56	c cleaning 16001 clauses out of 32020 with flag 2958001/3743268
1028.58/1026.88	c cleaning 15997 clauses out of 32018 with flag 2974000/3759267
1032.79/1031.09	c cleaning 16003 clauses out of 32021 with flag 2990000/3775267
1037.19/1035.49	c cleaning 15998 clauses out of 32018 with flag 3006000/3791267
1041.31/1039.52	c cleaning 15999 clauses out of 32021 with flag 3022001/3807268
1045.20/1043.50	c cleaning 16001 clauses out of 32021 with flag 3038000/3823267
1049.30/1047.53	c cleaning 15994 clauses out of 32020 with flag 3054000/3839267
1053.50/1051.74	c cleaning 16004 clauses out of 32026 with flag 3070000/3855267
1057.72/1055.94	c cleaning 16004 clauses out of 32022 with flag 3086000/3871267
1061.91/1060.10	c cleaning 15998 clauses out of 32018 with flag 3102000/3887267
1066.01/1064.29	c cleaning 16002 clauses out of 32021 with flag 3118001/3903268
1070.41/1068.60	c cleaning 16005 clauses out of 32019 with flag 3134001/3919268
1074.41/1072.69	c cleaning 15999 clauses out of 32014 with flag 3150001/3935268
1078.51/1076.73	c cleaning 15993 clauses out of 32014 with flag 3166000/3951267
1082.42/1080.70	c cleaning 16003 clauses out of 32021 with flag 3182000/3967267
1086.72/1084.90	c cleaning 16000 clauses out of 32018 with flag 3198000/3983267
1091.02/1089.20	c cleaning 16007 clauses out of 32021 with flag 3214003/3999270
1095.42/1093.63	c cleaning 15987 clauses out of 32011 with flag 3230000/4015267
1099.82/1098.06	c cleaning 16004 clauses out of 32024 with flag 3246000/4031267
1104.22/1102.48	c cleaning 16005 clauses out of 32021 with flag 3262001/4047268
1108.82/1107.08	c cleaning 16002 clauses out of 32017 with flag 3278002/4063269
1113.33/1111.56	c cleaning 15996 clauses out of 32014 with flag 3294001/4079268
1118.03/1116.26	c cleaning 15996 clauses out of 32017 with flag 3310000/4095267
1122.76/1120.96	c cleaning 15998 clauses out of 32021 with flag 3326000/4111267
1127.54/1125.74	c cleaning 16002 clauses out of 32024 with flag 3342001/4127268
1132.15/1130.36	c cleaning 16001 clauses out of 32021 with flag 3358000/4143267
1137.15/1135.36	c cleaning 16004 clauses out of 32020 with flag 3374000/4159267
1141.85/1140.09	c cleaning 15999 clauses out of 32016 with flag 3390000/4175267
1146.45/1144.68	c cleaning 15999 clauses out of 32023 with flag 3406006/4191273
1151.27/1149.46	c cleaning 16000 clauses out of 32019 with flag 3422001/4207268
1155.95/1154.10	c cleaning 16005 clauses out of 32019 with flag 3438001/4223268
1160.75/1158.93	c cleaning 15998 clauses out of 32013 with flag 3454000/4239267
1165.45/1163.60	c cleaning 16000 clauses out of 32015 with flag 3470000/4255267
1170.35/1168.56	c cleaning 15997 clauses out of 32015 with flag 3486000/4271267
1175.05/1173.25	c cleaning 15990 clauses out of 32018 with flag 3502000/4287267
1179.76/1177.98	c cleaning 16007 clauses out of 32028 with flag 3518000/4303267
1184.66/1182.84	c cleaning 16001 clauses out of 32021 with flag 3534000/4319267
1189.26/1187.46	c cleaning 15999 clauses out of 32020 with flag 3550000/4335267
1194.28/1192.42	c cleaning 16001 clauses out of 32022 with flag 3566001/4351268
1198.87/1197.00	c cleaning 15998 clauses out of 32020 with flag 3582000/4367267
1203.37/1201.52	c cleaning 15997 clauses out of 32023 with flag 3598001/4383268
1207.97/1206.10	c cleaning 16001 clauses out of 32025 with flag 3614000/4399267
1212.67/1210.88	c cleaning 16006 clauses out of 32025 with flag 3630001/4415268
1217.07/1215.25	c cleaning 16001 clauses out of 32018 with flag 3646000/4431267
1221.28/1219.46	c cleaning 15998 clauses out of 32018 with flag 3662001/4447268
1225.68/1223.88	c cleaning 16002 clauses out of 32022 with flag 3678003/4463270
1230.08/1228.22	c cleaning 15996 clauses out of 32017 with flag 3694000/4479267
1234.18/1232.32	c cleaning 16005 clauses out of 32021 with flag 3710000/4495267
1238.20/1236.32	c cleaning 16007 clauses out of 32018 with flag 3726002/4511269
1242.49/1240.68	c cleaning 16000 clauses out of 32009 with flag 3742000/4527267
1246.50/1244.60	c cleaning 15998 clauses out of 32009 with flag 3758000/4543267
1250.80/1248.92	c cleaning 15997 clauses out of 32011 with flag 3774000/4559267
1255.11/1253.23	c cleaning 16000 clauses out of 32014 with flag 3790000/4575267
1260.01/1258.13	c cleaning 15992 clauses out of 32015 with flag 3806001/4591268
1264.91/1263.09	c cleaning 16002 clauses out of 32022 with flag 3822000/4607267
1269.61/1267.77	c cleaning 15998 clauses out of 32020 with flag 3838000/4623267
1273.72/1271.86	c cleaning 16001 clauses out of 32023 with flag 3854001/4639268
1277.83/1275.98	c cleaning 16003 clauses out of 32021 with flag 3870000/4655267
1281.82/1279.98	c cleaning 15999 clauses out of 32019 with flag 3886001/4671268
1285.92/1284.07	c cleaning 16006 clauses out of 32019 with flag 3902000/4687267
1290.13/1288.22	c cleaning 16002 clauses out of 32013 with flag 3918000/4703267
1294.23/1292.35	c cleaning 15990 clauses out of 32011 with flag 3934000/4719267
1298.53/1296.61	c cleaning 15998 clauses out of 32021 with flag 3950000/4735267
1302.63/1300.75	c cleaning 16007 clauses out of 32025 with flag 3966002/4751269
1306.84/1304.97	c cleaning 16001 clauses out of 32017 with flag 3982001/4767268
1311.04/1309.15	c cleaning 16000 clauses out of 32015 with flag 3998000/4783267
1314.74/1312.82	c cleaning 16000 clauses out of 32015 with flag 4014000/4799267
1318.55/1316.64	c cleaning 15999 clauses out of 32015 with flag 4030000/4815267
1322.34/1320.42	c cleaning 15993 clauses out of 32016 with flag 4046000/4831267
1326.14/1324.24	c cleaning 16006 clauses out of 32023 with flag 4062000/4847267
1329.75/1327.86	c cleaning 16002 clauses out of 32017 with flag 4078000/4863267
1333.55/1331.67	c cleaning 16006 clauses out of 32015 with flag 4094000/4879267
1337.37/1335.48	c cleaning 15997 clauses out of 32009 with flag 4110000/4895267
1341.35/1339.41	c cleaning 15995 clauses out of 32012 with flag 4126000/4911267
1345.07/1343.14	c cleaning 16005 clauses out of 32018 with flag 4142001/4927268
1349.47/1347.56	c cleaning 15999 clauses out of 32012 with flag 4158000/4943267
1353.95/1352.06	c cleaning 15995 clauses out of 32014 with flag 4174001/4959268
1358.36/1356.43	c cleaning 16000 clauses out of 32018 with flag 4190000/4975267
1362.96/1361.05	c cleaning 16001 clauses out of 32019 with flag 4206001/4991268
1367.56/1365.68	c cleaning 15995 clauses out of 32017 with flag 4222000/5007267
1372.27/1370.34	c cleaning 16003 clauses out of 32023 with flag 4238001/5023268
1376.89/1375.00	c cleaning 16002 clauses out of 32020 with flag 4254001/5039268
1381.58/1379.61	c cleaning 15996 clauses out of 32017 with flag 4270000/5055267
1385.98/1384.02	c cleaning 15996 clauses out of 32021 with flag 4286000/5071267
1390.58/1388.61	c cleaning 16003 clauses out of 32025 with flag 4302000/5087267
1395.08/1393.12	c cleaning 16002 clauses out of 32024 with flag 4318002/5103269
1399.38/1397.49	c cleaning 16006 clauses out of 32022 with flag 4334002/5119269
1403.79/1401.89	c cleaning 15997 clauses out of 32015 with flag 4350001/5135268
1408.19/1406.29	c cleaning 15996 clauses out of 32018 with flag 4366001/5151268
1412.10/1410.17	c cleaning 16000 clauses out of 32021 with flag 4382000/5167267
1416.09/1414.13	c cleaning 16000 clauses out of 32022 with flag 4398001/5183268
1419.99/1418.03	c cleaning 16004 clauses out of 32022 with flag 4414001/5199268
1424.31/1422.38	c cleaning 16004 clauses out of 32017 with flag 4430000/5215267
1428.61/1426.62	c cleaning 15995 clauses out of 32013 with flag 4446000/5231267
1432.80/1430.86	c cleaning 16005 clauses out of 32019 with flag 4462001/5247268
1437.10/1435.15	c cleaning 15997 clauses out of 32014 with flag 4478001/5263268
1441.70/1439.78	c cleaning 15998 clauses out of 32016 with flag 4494000/5279267
1446.10/1444.14	c cleaning 15995 clauses out of 32018 with flag 4510000/5295267
1450.20/1448.22	c cleaning 16007 clauses out of 32024 with flag 4526001/5311268
1454.11/1452.12	c cleaning 15999 clauses out of 32016 with flag 4542000/5327267
1458.32/1456.32	c cleaning 15999 clauses out of 32017 with flag 4558000/5343267
1462.21/1460.28	c cleaning 15995 clauses out of 32022 with flag 4574004/5359271
1466.61/1464.62	c cleaning 16004 clauses out of 32024 with flag 4590001/5375268
1470.71/1468.80	c cleaning 16000 clauses out of 32019 with flag 4606000/5391267
1474.71/1472.72	c cleaning 16003 clauses out of 32019 with flag 4622000/5407267
1478.61/1476.65	c cleaning 15999 clauses out of 32016 with flag 4638000/5423267
1482.72/1480.72	c cleaning 15996 clauses out of 32017 with flag 4654000/5439267
1486.93/1484.95	c cleaning 16004 clauses out of 32023 with flag 4670002/5455269
1490.82/1488.84	c cleaning 15998 clauses out of 32017 with flag 4686000/5471267
1495.32/1493.33	c cleaning 16003 clauses out of 32019 with flag 4702000/5487267
1500.63/1498.69	c cleaning 16001 clauses out of 32017 with flag 4718001/5503268
1506.43/1504.43	c cleaning 16000 clauses out of 32015 with flag 4734000/5519267
1511.74/1509.78	c cleaning 16000 clauses out of 32015 with flag 4750000/5535267
1516.76/1514.77	c cleaning 15999 clauses out of 32015 with flag 4766000/5551267
1521.54/1519.50	c cleaning 15995 clauses out of 32016 with flag 4782000/5567267
1526.24/1524.28	c cleaning 16003 clauses out of 32021 with flag 4798000/5583267
1531.24/1529.26	c cleaning 15996 clauses out of 32019 with flag 4814001/5599268
1536.57/1534.54	c cleaning 15999 clauses out of 32022 with flag 4830000/5615267
1541.85/1539.87	c cleaning 16000 clauses out of 32023 with flag 4846000/5631267
1547.15/1545.18	c cleaning 16000 clauses out of 32024 with flag 4862001/5647268
1552.26/1550.29	c cleaning 16000 clauses out of 32027 with flag 4878004/5663271
1557.76/1555.77	c cleaning 16002 clauses out of 32024 with flag 4894001/5679268
1562.98/1560.97	c cleaning 16003 clauses out of 32023 with flag 4910002/5695269
1567.96/1565.98	c cleaning 15998 clauses out of 32018 with flag 4926000/5711267
1573.27/1571.27	c cleaning 15999 clauses out of 32020 with flag 4942000/5727267
1578.47/1576.50	c cleaning 15994 clauses out of 32023 with flag 4958002/5743269
1584.27/1582.25	c cleaning 16007 clauses out of 32028 with flag 4974001/5759268
1589.57/1587.59	c cleaning 16000 clauses out of 32020 with flag 4990000/5775267
1594.90/1592.87	c cleaning 16000 clauses out of 32020 with flag 5006000/5791267
1600.29/1598.22	c cleaning 15994 clauses out of 32020 with flag 5022000/5807267
1605.48/1603.40	c cleaning 16010 clauses out of 32031 with flag 5038005/5823272
1610.59/1608.53	c cleaning 15995 clauses out of 32016 with flag 5054000/5839267
1615.70/1613.65	c cleaning 15998 clauses out of 32021 with flag 5070000/5855267
1620.79/1618.75	c cleaning 16002 clauses out of 32024 with flag 5086001/5871268
1625.89/1623.89	c cleaning 15998 clauses out of 32021 with flag 5102000/5887267
1630.90/1628.83	c cleaning 15998 clauses out of 32023 with flag 5118000/5903267
1635.70/1633.65	c cleaning 16005 clauses out of 32026 with flag 5134001/5919268
1640.60/1638.54	c cleaning 16002 clauses out of 32021 with flag 5150001/5935268
1645.60/1643.59	c cleaning 15997 clauses out of 32018 with flag 5166000/5951267
1650.60/1648.53	c cleaning 15999 clauses out of 32021 with flag 5182000/5967267
1655.60/1653.52	c cleaning 15997 clauses out of 32022 with flag 5198000/5983267
1659.72/1657.64	c cleaning 16009 clauses out of 32025 with flag 5214000/5999267
1663.91/1661.84	c cleaning 16004 clauses out of 32017 with flag 5230001/6015268
1668.01/1665.94	c cleaning 15999 clauses out of 32013 with flag 5246001/6031268
1672.31/1670.21	c cleaning 16002 clauses out of 32015 with flag 5262002/6047269
1676.71/1674.68	c cleaning 15999 clauses out of 32011 with flag 5278000/6063267
1681.11/1679.08	c cleaning 16000 clauses out of 32012 with flag 5294000/6079267
1685.51/1683.48	c cleaning 15997 clauses out of 32014 with flag 5310002/6095269
1689.91/1687.88	c cleaning 15999 clauses out of 32016 with flag 5326001/6111268
1694.21/1692.16	c cleaning 15995 clauses out of 32016 with flag 5342000/6127267
1698.72/1696.63	c cleaning 16000 clauses out of 32021 with flag 5358000/6143267
1703.22/1701.11	c cleaning 15998 clauses out of 32021 with flag 5374000/6159267
1707.62/1705.53	c cleaning 15997 clauses out of 32023 with flag 5390000/6175267
1712.12/1710.05	c cleaning 16001 clauses out of 32026 with flag 5406000/6191267
1716.53/1714.46	c cleaning 16007 clauses out of 32031 with flag 5422006/6207273
1720.93/1718.80	c cleaning 15993 clauses out of 32018 with flag 5438000/6223267
1725.13/1723.05	c cleaning 16004 clauses out of 32025 with flag 5454000/6239267
1729.43/1727.40	c cleaning 15992 clauses out of 32021 with flag 5470000/6255267
1733.55/1731.46	c cleaning 16007 clauses out of 32029 with flag 5486000/6271267
1737.43/1735.37	c cleaning 15995 clauses out of 32022 with flag 5502000/6287267
1741.54/1739.49	c cleaning 16001 clauses out of 32027 with flag 5518000/6303267
1745.75/1743.68	c cleaning 15998 clauses out of 32026 with flag 5534000/6319267
1749.96/1747.85	c cleaning 16000 clauses out of 32028 with flag 5550000/6335267
1754.15/1752.04	c cleaning 16009 clauses out of 32029 with flag 5566001/6351268
1758.25/1756.18	c cleaning 15983 clauses out of 32019 with flag 5582000/6367267
1762.66/1760.53	c cleaning 16008 clauses out of 32037 with flag 5598001/6383268
1766.86/1764.74	c cleaning 16004 clauses out of 32028 with flag 5614000/6399267
1771.06/1768.98	c cleaning 16003 clauses out of 32024 with flag 5630000/6415267
1775.16/1773.06	c cleaning 16003 clauses out of 32023 with flag 5646002/6431269
1779.46/1777.37	c cleaning 15999 clauses out of 32019 with flag 5662001/6447268
1783.96/1781.82	c cleaning 15998 clauses out of 32019 with flag 5678000/6463267
1787.97/1785.89	c cleaning 15998 clauses out of 32021 with flag 5694000/6479267
1792.37/1790.20	c cleaning 16004 clauses out of 32025 with flag 5710002/6495269
1796.77/1794.63	c cleaning 15997 clauses out of 32019 with flag 5726000/6511267
1800.09/1797.92	c starts		: 284
1800.09/1797.92	c conflicts		: 6523121
1800.09/1797.92	c decisions		: 23938391
1800.09/1797.92	c propagations		: 7713110300
1800.09/1797.92	c inspects		: 8800782226
1800.09/1797.92	c shortcuts		: 0
1800.09/1797.92	c learnt literals	: 0
1800.09/1797.92	c learnt binary clauses	: 0
1800.09/1797.92	c learnt ternary clauses	: 2
1800.09/1797.92	c learnt constraints	: 6523120
1800.09/1797.92	c ignored constraints	: 0
1800.09/1797.92	c root simplifications	: 0
1800.09/1797.92	c removed literals (reason simplification)	: 12062921
1800.09/1797.92	c reason swapping (by a shorter reason)	: 0
1800.09/1797.92	c Calls to reduceDB	: 420
1800.09/1797.92	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.92	c number of learned constraints concerned by reduction	: 0
1800.09/1797.92	c number of learning phase by resolution	: 0
1800.09/1797.92	c number of learning phase by cutting planes	: 0
1800.09/1797.92	c speed (assignments/second)	: 4873901.713266011
1800.09/1797.92	c non guided choices	21058
1800.09/1797.95	c learnt constraints type 
1800.09/1797.95	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27988
1800.09/1797.95	c constraints type 
1800.09/1797.95	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2734
1800.09/1797.95	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.09/1797.95	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12658
1800.09/1797.95	s SATISFIABLE
1800.09/1797.97	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 x189 -x190 -x191 x192 x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 x4347 x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 x4355 x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 x4387 x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 x4997 x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 x5055 x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 x5069 x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 x5253 x5254 x5255 x5256 
1800.09/1797.98	c objective function=29
1800.09/1797.98	c Total wall clock time (in seconds): 1797.863

Verifier Data 

OK	29

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458497-1307156588/watcher-3458497-1307156588 -o /tmp/evaluation-result-3458497-1307156588/solver-3458497-1307156588 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458497-1307156588.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: 1.56 1.91 1.96 3/486 27181
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 2106 0 1 0 0 0 0 0 22 0 2 0 827257343 13833195520 1809 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3377245 1822 906 9 0 3368401 0
[pid=27181/tid=27184] ppid=27178 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 3477 0 1 0 0 0 0 0 17 0 2 0 827257344 13850947584 4293 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.064202 s]
/proc/loadavg: 1.56 1.91 1.96 3/486 27181
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13549616 CPUtime=0.05 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 13997 0 1 0 3 2 0 0 22 0 13 0 827257343 13874806784 13695 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3387404 13695 1685 9 0 3378152 0
[pid=27181/tid=27184] ppid=27178 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 12851 0 1 0 3 1 0 0 22 0 13 0 827257344 13874806784 13695 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 47864682244115 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616

[startup+0.100191 s]
/proc/loadavg: 1.56 1.91 1.96 3/486 27181
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13622396 CPUtime=0.1 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 15414 0 1 0 8 2 0 0 22 0 18 0 827257343 13949333504 15112 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3405599 15112 2092 9 0 3396333 0
[pid=27181/tid=27184] ppid=27178 vsize=13622396 CPUtime=0.07 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 13510 0 1 0 6 1 0 0 18 0 18 0 827257344 13949333504 15112 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 47864684342099 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622396

[startup+0.312557 s]
/proc/loadavg: 1.56 1.91 1.96 3/486 27181
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13624076 CPUtime=0.53 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 19451 0 1 0 51 2 0 0 22 0 18 0 827257343 13951053824 18493 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3406019 18494 2201 9 0 3396753 0
[pid=27181/tid=27184] ppid=27178 vsize=13624076 CPUtime=0.29 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 16038 0 1 0 27 2 0 0 18 0 18 0 827257344 13951053824 18495 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 46912505585098 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13624076

[startup+0.701111 s]
/proc/loadavg: 1.56 1.91 1.96 3/486 27181
/proc/meminfo: memFree=27195280/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13628208 CPUtime=1.57 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 30425 0 1 0 153 4 0 0 22 0 19 0 827257343 13955284992 26137 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3407052 26137 2236 9 0 3397786 0
[pid=27181/tid=27184] ppid=27178 vsize=13628208 CPUtime=0.68 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 22012 0 1 0 65 3 0 0 19 0 19 0 827257344 13955284992 26137 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 46912505795975 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 13628208

[startup+1.50102 s]
/proc/loadavg: 1.68 1.93 1.97 4/526 27221
/proc/meminfo: memFree=26980844/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13628208 CPUtime=2.54 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 31166 0 1 0 250 4 0 0 22 0 19 0 827257343 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3407052 26878 2238 9 0 3397786 0
[pid=27181/tid=27184] ppid=27178 vsize=13628208 CPUtime=1.48 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 22727 0 1 0 145 3 0 0 20 0 19 0 827257344 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 46912505924103 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27181/tid=27188] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27188/stat : 27188 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27189] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27189/stat : 27189 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27190] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27190/stat : 27190 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27191] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27191/stat : 27191 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27192] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27192/stat : 27192 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27193] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27193/stat : 27193 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27194] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27194/stat : 27194 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27195] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27195/stat : 27195 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 827257346 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27204] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27204/stat : 27204 (java) S 27178 27181 23523 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 827257347 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 0 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27206] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27206/stat : 27206 (java) S 27178 27181 23523 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 827257348 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27207] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27207/stat : 27207 (java) S 27178 27181 23523 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 827257348 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27210] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27210/stat : 27210 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827257350 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216470961 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27211] ppid=27178 vsize=13628208 CPUtime=0.51 cores=0,2,4,6
/proc/27181/task/27211/stat : 27211 (java) S 27178 27181 23523 0 -1 4202560 2823 0 0 0 51 0 0 0 22 0 19 0 827257350 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27213] ppid=27178 vsize=13628208 CPUtime=0.54 cores=0,2,4,6
/proc/27181/task/27213/stat : 27213 (java) S 27178 27181 23523 0 -1 4202560 4457 0 0 0 54 0 0 0 16 0 19 0 827257350 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27215] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27215/stat : 27215 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827257350 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27218] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27218/stat : 27218 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257350 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27220] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27220/stat : 27220 (java) S 27178 27181 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257388 13955284992 26878 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 13628208

[startup+3.10074 s]
/proc/loadavg: 1.68 1.93 1.97 3/526 27221
/proc/meminfo: memFree=26977260/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13628208 CPUtime=4.18 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 33066 0 1 0 413 5 0 0 22 0 19 0 827257343 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3407052 28770 2264 9 0 3397786 0
[pid=27181/tid=27184] ppid=27178 vsize=13628208 CPUtime=3.05 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 22964 0 1 0 302 3 0 0 25 0 19 0 827257344 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 46912505924505 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27181/tid=27188] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27188/stat : 27188 (java) S 27178 27181 23523 0 -1 4202560 315 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27189] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27189/stat : 27189 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27190] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27190/stat : 27190 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27191] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27191/stat : 27191 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27192] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27192/stat : 27192 (java) S 27178 27181 23523 0 -1 4202560 383 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27193] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27193/stat : 27193 (java) S 27178 27181 23523 0 -1 4202560 130 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27194] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27194/stat : 27194 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27195] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27195/stat : 27195 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827257346 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27204] ppid=27178 vsize=13628208 CPUtime=0.01 cores=0,2,4,6
/proc/27181/task/27204/stat : 27204 (java) S 27178 27181 23523 0 -1 4202560 829 0 0 0 1 0 0 0 16 0 19 0 827257347 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 0 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27206] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27206/stat : 27206 (java) S 27178 27181 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27207] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27207/stat : 27207 (java) S 27178 27181 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27210] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27210/stat : 27210 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827257350 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216470961 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27211] ppid=27178 vsize=13628208 CPUtime=0.52 cores=0,2,4,6
/proc/27181/task/27211/stat : 27211 (java) S 27178 27181 23523 0 -1 4202560 2830 0 0 0 52 0 0 0 15 0 19 0 827257350 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27213] ppid=27178 vsize=13628208 CPUtime=0.55 cores=0,2,4,6
/proc/27181/task/27213/stat : 27213 (java) S 27178 27181 23523 0 -1 4202560 4461 0 0 0 55 0 0 0 15 0 19 0 827257350 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27215] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27215/stat : 27215 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827257350 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27218] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27218/stat : 27218 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257350 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27220] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27220/stat : 27220 (java) S 27178 27181 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257388 13955284992 28770 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 13628208

[startup+6.30123 s]
/proc/loadavg: 1.70 1.93 1.97 4/526 27221
/proc/meminfo: memFree=26958536/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13628208 CPUtime=7.43 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 33718 0 1 0 738 5 0 0 22 0 19 0 827257343 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3407052 29410 2264 9 0 3397786 0
[pid=27181/tid=27184] ppid=27178 vsize=13628208 CPUtime=6.21 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 22969 0 1 0 618 3 0 0 25 0 19 0 827257344 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 46912505924098 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27181/tid=27188] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27188/stat : 27188 (java) S 27178 27181 23523 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 827257346 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27189] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27189/stat : 27189 (java) S 27178 27181 23523 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 827257346 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27190] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27190/stat : 27190 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257346 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27191] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27191/stat : 27191 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257346 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27192] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27192/stat : 27192 (java) S 27178 27181 23523 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 19 0 827257346 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27193] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27193/stat : 27193 (java) S 27178 27181 23523 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 827257346 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27194] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27194/stat : 27194 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827257346 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27195] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27195/stat : 27195 (java) S 27178 27181 23523 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 827257346 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27204] ppid=27178 vsize=13628208 CPUtime=0.05 cores=0,2,4,6
/proc/27181/task/27204/stat : 27204 (java) S 27178 27181 23523 0 -1 4202560 1092 0 0 0 5 0 0 0 16 0 19 0 827257347 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 0 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27206] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27206/stat : 27206 (java) S 27178 27181 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27207] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27207/stat : 27207 (java) S 27178 27181 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27210] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27210/stat : 27210 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827257350 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216470961 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27211] ppid=27178 vsize=13628208 CPUtime=0.55 cores=0,2,4,6
/proc/27181/task/27211/stat : 27211 (java) S 27178 27181 23523 0 -1 4202560 2834 0 0 0 55 0 0 0 15 0 19 0 827257350 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27213] ppid=27178 vsize=13628208 CPUtime=0.57 cores=0,2,4,6
/proc/27181/task/27213/stat : 27213 (java) S 27178 27181 23523 0 -1 4202560 4466 0 0 0 57 0 0 0 15 0 19 0 827257350 13955284992 29410 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0

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

[pid=27181/tid=27193] ppid=27178 vsize=13628208 CPUtime=0.23 cores=0,2,4,6
/proc/27181/task/27193/stat : 27193 (java) S 27178 27181 23523 0 -1 4202560 227 0 0 0 23 0 0 0 15 0 19 0 827257346 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27194] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27194/stat : 27194 (java) S 27178 27181 23523 0 -1 4202560 288 0 0 0 26 0 0 0 15 0 19 0 827257346 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27195] ppid=27178 vsize=13628208 CPUtime=0.2 cores=0,2,4,6
/proc/27181/task/27195/stat : 27195 (java) S 27178 27181 23523 0 -1 4202560 508 0 0 0 20 0 0 0 16 0 19 0 827257346 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27204] ppid=27178 vsize=13628208 CPUtime=10.89 cores=0,2,4,6
/proc/27181/task/27204/stat : 27204 (java) S 27178 27181 23523 0 -1 4202560 4364 0 0 0 1080 9 0 0 15 0 19 0 827257347 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 0 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27206] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27206/stat : 27206 (java) S 27178 27181 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27207] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27207/stat : 27207 (java) S 27178 27181 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27210] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27210/stat : 27210 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827257350 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216470961 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27211] ppid=27178 vsize=13628208 CPUtime=0.61 cores=0,2,4,6
/proc/27181/task/27211/stat : 27211 (java) S 27178 27181 23523 0 -1 4202560 3096 0 0 0 61 0 0 0 15 0 19 0 827257350 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27213] ppid=27178 vsize=13628208 CPUtime=0.58 cores=0,2,4,6
/proc/27181/task/27213/stat : 27213 (java) S 27178 27181 23523 0 -1 4202560 4466 0 0 0 58 0 0 0 15 0 19 0 827257350 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27215] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27215/stat : 27215 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827257350 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27218] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27218/stat : 27218 (java) S 27178 27181 23523 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827257350 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27220] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27220/stat : 27220 (java) S 27178 27181 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257388 13955284992 33888 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.43
Current children cumulated vsize (KiB) 13628208

[startup+1782.3 s]
/proc/loadavg: 2.19 2.06 2.02 4/526 27272
/proc/meminfo: memFree=26910204/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13628208 CPUtime=1784.47 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 39116 0 1 0 178428 19 0 0 22 0 19 0 827257343 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3407052 33941 2265 9 0 3397786 0
[pid=27181/tid=27184] ppid=27178 vsize=13628208 CPUtime=1769.91 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 23383 0 1 0 176984 7 0 0 25 0 19 0 827257344 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 46912505868443 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27181/tid=27188] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27188/stat : 27188 (java) S 27178 27181 23523 0 -1 4202560 376 0 0 0 24 0 0 0 15 0 19 0 827257346 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27189] ppid=27178 vsize=13628208 CPUtime=0.25 cores=0,2,4,6
/proc/27181/task/27189/stat : 27189 (java) S 27178 27181 23523 0 -1 4202560 279 0 0 0 25 0 0 0 15 0 19 0 827257346 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27190] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27190/stat : 27190 (java) S 27178 27181 23523 0 -1 4202560 48 0 0 0 26 0 0 0 15 0 19 0 827257346 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27191] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27191/stat : 27191 (java) S 27178 27181 23523 0 -1 4202560 332 0 0 0 24 0 0 0 16 0 19 0 827257346 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27192] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27192/stat : 27192 (java) S 27178 27181 23523 0 -1 4202560 444 0 0 0 24 0 0 0 15 0 19 0 827257346 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27193] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27193/stat : 27193 (java) S 27178 27181 23523 0 -1 4202560 227 0 0 0 24 0 0 0 15 0 19 0 827257346 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27194] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27194/stat : 27194 (java) S 27178 27181 23523 0 -1 4202560 288 0 0 0 26 0 0 0 16 0 19 0 827257346 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27195] ppid=27178 vsize=13628208 CPUtime=0.21 cores=0,2,4,6
/proc/27181/task/27195/stat : 27195 (java) S 27178 27181 23523 0 -1 4202560 508 0 0 0 21 0 0 0 16 0 19 0 827257346 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27204] ppid=27178 vsize=13628208 CPUtime=11.32 cores=0,2,4,6
/proc/27181/task/27204/stat : 27204 (java) S 27178 27181 23523 0 -1 4202560 4419 0 0 0 1123 9 0 0 15 0 19 0 827257347 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 0 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27206] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27206/stat : 27206 (java) S 27178 27181 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27207] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27207/stat : 27207 (java) S 27178 27181 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27210] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27210/stat : 27210 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827257350 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216470961 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27211] ppid=27178 vsize=13628208 CPUtime=0.61 cores=0,2,4,6
/proc/27181/task/27211/stat : 27211 (java) S 27178 27181 23523 0 -1 4202560 3096 0 0 0 61 0 0 0 15 0 19 0 827257350 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27213] ppid=27178 vsize=13628208 CPUtime=0.58 cores=0,2,4,6
/proc/27181/task/27213/stat : 27213 (java) S 27178 27181 23523 0 -1 4202560 4466 0 0 0 58 0 0 0 15 0 19 0 827257350 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27215] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27215/stat : 27215 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827257350 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27218] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27218/stat : 27218 (java) S 27178 27181 23523 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 827257350 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27220] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27220/stat : 27220 (java) S 27178 27181 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257388 13955284992 33941 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (KiB) 13628208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.9 s]
/proc/loadavg: 2.14 2.05 2.01 3/526 27272
/proc/meminfo: memFree=26910432/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13628208 CPUtime=1800.09 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 39134 0 1 0 179990 19 0 0 22 0 19 0 827257343 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3407052 33952 2265 9 0 3397786 0
[pid=27181/tid=27184] ppid=27178 vsize=13628208 CPUtime=1785.43 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 23386 0 1 0 178536 7 0 0 25 0 19 0 827257344 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 46912505992080 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27181/tid=27188] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27188/stat : 27188 (java) S 27178 27181 23523 0 -1 4202560 376 0 0 0 24 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27189] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27189/stat : 27189 (java) S 27178 27181 23523 0 -1 4202560 279 0 0 0 26 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27190] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27190/stat : 27190 (java) S 27178 27181 23523 0 -1 4202560 48 0 0 0 26 0 0 0 16 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27191] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27191/stat : 27191 (java) S 27178 27181 23523 0 -1 4202560 332 0 0 0 24 0 0 0 16 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27192] ppid=27178 vsize=13628208 CPUtime=0.25 cores=0,2,4,6
/proc/27181/task/27192/stat : 27192 (java) S 27178 27181 23523 0 -1 4202560 444 0 0 0 25 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27193] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27193/stat : 27193 (java) S 27178 27181 23523 0 -1 4202560 227 0 0 0 24 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27194] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27194/stat : 27194 (java) S 27178 27181 23523 0 -1 4202560 288 0 0 0 26 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27195] ppid=27178 vsize=13628208 CPUtime=0.21 cores=0,2,4,6
/proc/27181/task/27195/stat : 27195 (java) S 27178 27181 23523 0 -1 4202560 508 0 0 0 21 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27204] ppid=27178 vsize=13628208 CPUtime=11.41 cores=0,2,4,6
/proc/27181/task/27204/stat : 27204 (java) S 27178 27181 23523 0 -1 4202560 4432 0 0 0 1132 9 0 0 15 0 19 0 827257347 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 0 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27206] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27206/stat : 27206 (java) S 27178 27181 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27207] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27207/stat : 27207 (java) S 27178 27181 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27210] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27210/stat : 27210 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216470961 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27211] ppid=27178 vsize=13628208 CPUtime=0.61 cores=0,2,4,6
/proc/27181/task/27211/stat : 27211 (java) S 27178 27181 23523 0 -1 4202560 3096 0 0 0 61 0 0 0 15 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27213] ppid=27178 vsize=13628208 CPUtime=0.58 cores=0,2,4,6
/proc/27181/task/27213/stat : 27213 (java) S 27178 27181 23523 0 -1 4202560 4466 0 0 0 58 0 0 0 15 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27215] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27215/stat : 27215 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27218] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27218/stat : 27218 (java) S 27178 27181 23523 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27220] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27220/stat : 27220 (java) S 27178 27181 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257388 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628208

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

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

[startup+1797.9 s]
/proc/loadavg: 2.14 2.05 2.01 3/526 27272
/proc/meminfo: memFree=26910432/32951124 swapFree=63649284/67111528
[pid=27181] ppid=27178 vsize=13628208 CPUtime=1800.09 cores=0,2,4,6
/proc/27181/stat : 27181 (java) S 27178 27181 23523 0 -1 4202496 39134 0 1 0 179990 19 0 0 22 0 19 0 827257343 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27181/statm: 3407052 33952 2265 9 0 3397786 0
[pid=27181/tid=27184] ppid=27178 vsize=13628208 CPUtime=1785.43 cores=0,2,4,6
/proc/27181/task/27184/stat : 27184 (java) R 27178 27181 23523 0 -1 4202560 23386 0 1 0 178536 7 0 0 25 0 19 0 827257344 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 46912505992080 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27181/tid=27188] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27188/stat : 27188 (java) S 27178 27181 23523 0 -1 4202560 376 0 0 0 24 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27189] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27189/stat : 27189 (java) S 27178 27181 23523 0 -1 4202560 279 0 0 0 26 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27190] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27190/stat : 27190 (java) S 27178 27181 23523 0 -1 4202560 48 0 0 0 26 0 0 0 16 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27191] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27191/stat : 27191 (java) S 27178 27181 23523 0 -1 4202560 332 0 0 0 24 0 0 0 16 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27192] ppid=27178 vsize=13628208 CPUtime=0.25 cores=0,2,4,6
/proc/27181/task/27192/stat : 27192 (java) S 27178 27181 23523 0 -1 4202560 444 0 0 0 25 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27193] ppid=27178 vsize=13628208 CPUtime=0.24 cores=0,2,4,6
/proc/27181/task/27193/stat : 27193 (java) S 27178 27181 23523 0 -1 4202560 227 0 0 0 24 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27194] ppid=27178 vsize=13628208 CPUtime=0.26 cores=0,2,4,6
/proc/27181/task/27194/stat : 27194 (java) S 27178 27181 23523 0 -1 4202560 288 0 0 0 26 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27195] ppid=27178 vsize=13628208 CPUtime=0.21 cores=0,2,4,6
/proc/27181/task/27195/stat : 27195 (java) S 27178 27181 23523 0 -1 4202560 508 0 0 0 21 0 0 0 15 0 19 0 827257346 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27204] ppid=27178 vsize=13628208 CPUtime=11.41 cores=0,2,4,6
/proc/27181/task/27204/stat : 27204 (java) S 27178 27181 23523 0 -1 4202560 4432 0 0 0 1132 9 0 0 15 0 19 0 827257347 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 0 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27206] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27206/stat : 27206 (java) S 27178 27181 23523 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27207] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27207/stat : 27207 (java) S 27178 27181 23523 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 827257348 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27210] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27210/stat : 27210 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216470961 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27211] ppid=27178 vsize=13628208 CPUtime=0.61 cores=0,2,4,6
/proc/27181/task/27211/stat : 27211 (java) S 27178 27181 23523 0 -1 4202560 3096 0 0 0 61 0 0 0 15 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 4 0 0 0
[pid=27181/tid=27213] ppid=27178 vsize=13628208 CPUtime=0.58 cores=0,2,4,6
/proc/27181/task/27213/stat : 27213 (java) S 27178 27181 23523 0 -1 4202560 4466 0 0 0 58 0 0 0 15 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 6 0 0 0
[pid=27181/tid=27215] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27215/stat : 27215 (java) S 27178 27181 23523 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463257 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
[pid=27181/tid=27218] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27218/stat : 27218 (java) S 27178 27181 23523 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827257350 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 0 0 0 0
[pid=27181/tid=27220] ppid=27178 vsize=13628208 CPUtime=0 cores=0,2,4,6
/proc/27181/task/27220/stat : 27220 (java) S 27178 27181 23523 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827257388 13955284992 33952 33554432000 1073741824 1073778376 140735355624016 18446744073709551615 210216463872 0 4 0 16800975 18446604444951466944 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628208

Child status: 143
Real time (s): 1797.99
CPU time (s): 1800.23
CPU user time (s): 1800.03
CPU system time (s): 0.201969
CPU usage (%): 100.124
Max. virtual memory (cumulated for all children) (KiB): 13628208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39244
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47956
involuntary context switches= 29523

runsolver used 9.49756 second user time and 20.9358 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-04 05:03:08
IDJOB=3458497
IDBENCH=24999
IDSOLVER=1952
FILE ID=node130/3458497-1307156588
RUNJOBID= node130-1307156588-27164
PBS_JOBID= 13508786
Free space on /tmp= 73856 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458497-1307156588/watcher-3458497-1307156588 -o /tmp/evaluation-result-3458497-1307156588/solver-3458497-1307156588 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458497-1307156588.opb

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=973926254

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27195592 kB
Buffers:        273704 kB
Cached:         420044 kB
SwapCached:       9700 kB
Active:        5101200 kB
Inactive:       372236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27195592 kB
SwapTotal:    67111528 kB
SwapFree:     63649284 kB
Dirty:            1980 kB
Writeback:          12 kB
AnonPages:     4777696 kB
Mapped:          30072 kB
Slab:           158072 kB
PageTables:      53680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145067800 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73852 MiB
End job on node130 at 2011-06-04 05:33:08