Trace number 3458508

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)16 1800.22 1797.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
MD5SUM21fb64899a6dc4867ccfcbb30d44d536
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.804876
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables5537
Total number of constraints15855
Number of constraints which are clauses15855
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 constraint127
Number of terms in the objective function 2646
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 2646
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 2646
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.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.1.v20110525
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.18-164.el5
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		12995394264
0.06/0.09	c Max memory 		13063553024
0.06/0.09	c Total memory 		13063553024
0.06/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458508-1307157081.opb
0.10/0.11	c reading problem ... 
0.77/0.43	c ... done. Wall clock time 0.313s.
0.77/0.43	c #vars     5537
0.77/0.43	c #constraints  15665
0.77/0.43	c constraints type 
0.77/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2886
0.77/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12523
1.04/0.54	c SATISFIABLE
1.04/0.54	c OPTIMIZING...
1.04/0.54	c Got one! Elapsed wall clock time (in seconds):0.428
1.04/0.54	o 20
1.04/0.58	c Got one! Elapsed wall clock time (in seconds):0.471
1.04/0.58	o 19
1.80/0.94	c Got one! Elapsed wall clock time (in seconds):0.823
1.80/0.94	o 18
1.80/1.00	c Got one! Elapsed wall clock time (in seconds):0.884
1.80/1.00	o 17
4.18/3.29	c cleaning 2879 clauses out of 5761 with flag 5001/5761
6.32/5.37	c Got one! Elapsed wall clock time (in seconds):5.256
6.32/5.37	o 16
7.96/6.99	c cleaning 6454 clauses out of 12912 with flag 5002/15791
10.37/9.31	c cleaning 6222 clauses out of 12457 with flag 11001/21790
13.37/12.25	c cleaning 6614 clauses out of 13234 with flag 18000/28789
16.42/15.28	c cleaning 7305 clauses out of 14621 with flag 26001/36790
20.12/18.92	c cleaning 8141 clauses out of 16315 with flag 35000/45789
24.23/23.06	c cleaning 9081 clauses out of 18175 with flag 45001/55790
28.64/27.43	c cleaning 10043 clauses out of 20093 with flag 56000/66789
33.62/32.47	c cleaning 11009 clauses out of 22050 with flag 68000/78789
38.93/37.77	c cleaning 12013 clauses out of 24041 with flag 81000/91789
44.63/43.44	c cleaning 13009 clauses out of 26028 with flag 95000/105789
50.95/49.73	c cleaning 14008 clauses out of 28019 with flag 110000/120789
57.36/56.15	c cleaning 14996 clauses out of 30011 with flag 126000/136789
64.05/62.87	c cleaning 15497 clauses out of 31015 with flag 142000/152789
70.36/69.16	c cleaning 15754 clauses out of 31519 with flag 158001/168790
76.86/75.61	c cleaning 15880 clauses out of 31765 with flag 174001/184790
83.25/82.06	c cleaning 15937 clauses out of 31884 with flag 190000/200789
89.96/88.72	c cleaning 15967 clauses out of 31947 with flag 206000/216789
96.26/95.01	c cleaning 15983 clauses out of 31980 with flag 222000/232789
102.77/101.53	c cleaning 15995 clauses out of 31999 with flag 238002/248791
109.17/107.96	c cleaning 15997 clauses out of 32002 with flag 254000/264789
115.47/114.22	c cleaning 15998 clauses out of 32008 with flag 270003/280792
121.67/120.49	c cleaning 15995 clauses out of 32008 with flag 286001/296790
128.48/127.20	c cleaning 16001 clauses out of 32013 with flag 302001/312790
134.78/133.51	c cleaning 16000 clauses out of 32011 with flag 318000/328789
141.00/139.73	c cleaning 15994 clauses out of 32011 with flag 334000/344789
146.78/145.57	c cleaning 16003 clauses out of 32018 with flag 350001/360790
152.89/151.62	c cleaning 15998 clauses out of 32014 with flag 366000/376789
159.19/158.00	c cleaning 16001 clauses out of 32016 with flag 382000/392789
165.50/164.20	c cleaning 15997 clauses out of 32015 with flag 398000/408789
172.00/170.79	c cleaning 16000 clauses out of 32018 with flag 414000/424789
178.60/177.34	c cleaning 15999 clauses out of 32018 with flag 430000/440789
184.81/183.59	c cleaning 16002 clauses out of 32019 with flag 446000/456789
191.31/190.08	c cleaning 16001 clauses out of 32018 with flag 462001/472790
198.32/197.01	c cleaning 16001 clauses out of 32017 with flag 478001/488790
205.02/203.73	c cleaning 15996 clauses out of 32016 with flag 494001/504790
211.62/210.36	c cleaning 16003 clauses out of 32020 with flag 510001/520790
217.93/216.65	c cleaning 16002 clauses out of 32016 with flag 526000/536789
224.12/222.81	c cleaning 16001 clauses out of 32015 with flag 542001/552790
230.33/229.09	c cleaning 16000 clauses out of 32013 with flag 558000/568789
236.53/235.26	c cleaning 16001 clauses out of 32014 with flag 574001/584790
242.83/241.51	c cleaning 15993 clauses out of 32014 with flag 590002/600791
249.24/247.93	c cleaning 16000 clauses out of 32021 with flag 606002/616791
256.35/255.02	c cleaning 15995 clauses out of 32019 with flag 622000/632789
262.85/261.54	c cleaning 15999 clauses out of 32025 with flag 638001/648790
269.55/268.27	c cleaning 15999 clauses out of 32026 with flag 654001/664790
276.27/274.93	c cleaning 16007 clauses out of 32027 with flag 670001/680790
282.56/281.24	c cleaning 15995 clauses out of 32019 with flag 686000/696789
289.06/287.70	c cleaning 16001 clauses out of 32024 with flag 702000/712789
295.87/294.53	c cleaning 16004 clauses out of 32023 with flag 718000/728789
302.68/301.41	c cleaning 16007 clauses out of 32020 with flag 734001/744790
309.57/308.27	c cleaning 16001 clauses out of 32013 with flag 750001/760790
316.28/314.96	c cleaning 15998 clauses out of 32012 with flag 766001/776790
322.98/321.69	c cleaning 16000 clauses out of 32013 with flag 782000/792789
329.58/328.22	c cleaning 15999 clauses out of 32015 with flag 798002/808791
336.18/334.82	c cleaning 15999 clauses out of 32014 with flag 814000/824789
342.59/341.23	c cleaning 15999 clauses out of 32015 with flag 830000/840789
348.79/347.49	c cleaning 15997 clauses out of 32016 with flag 846000/856789
355.29/353.92	c cleaning 15995 clauses out of 32021 with flag 862002/872791
361.80/360.45	c cleaning 15998 clauses out of 32024 with flag 878000/888789
368.20/366.89	c cleaning 16004 clauses out of 32026 with flag 894000/904789
374.90/373.56	c cleaning 16004 clauses out of 32023 with flag 910001/920790
381.20/379.87	c cleaning 15988 clauses out of 32018 with flag 926000/936789
387.90/386.50	c cleaning 16009 clauses out of 32031 with flag 942001/952790
395.22/393.87	c cleaning 16001 clauses out of 32025 with flag 958004/968793
402.03/400.64	c cleaning 16000 clauses out of 32020 with flag 974000/984789
408.93/407.53	c cleaning 16000 clauses out of 32020 with flag 990000/1000789
415.55/414.17	c cleaning 16005 clauses out of 32020 with flag 1006000/1016789
422.50/420.75	c cleaning 15991 clauses out of 32017 with flag 1022002/1032791
428.70/426.95	c cleaning 16008 clauses out of 32024 with flag 1038000/1048789
435.13/433.40	c cleaning 16002 clauses out of 32016 with flag 1054000/1064789
441.73/439.93	c cleaning 15992 clauses out of 32014 with flag 1070000/1080789
448.12/446.37	c cleaning 16002 clauses out of 32022 with flag 1086000/1096789
454.62/452.89	c cleaning 16004 clauses out of 32027 with flag 1102007/1112796
461.22/459.41	c cleaning 15993 clauses out of 32016 with flag 1118000/1128789
467.53/465.71	c cleaning 16001 clauses out of 32024 with flag 1134001/1144790
473.65/471.89	c cleaning 16005 clauses out of 32024 with flag 1150002/1160791
480.25/478.48	c cleaning 16003 clauses out of 32022 with flag 1166005/1176794
486.95/485.18	c cleaning 15992 clauses out of 32014 with flag 1182000/1192789
493.04/491.29	c cleaning 15991 clauses out of 32022 with flag 1198000/1208789
499.44/497.69	c cleaning 15994 clauses out of 32031 with flag 1214000/1224789
505.85/504.06	c cleaning 16014 clauses out of 32037 with flag 1230000/1240789
512.65/510.86	c cleaning 16006 clauses out of 32024 with flag 1246001/1256790
519.25/517.49	c cleaning 15989 clauses out of 32017 with flag 1262000/1272789
526.15/524.32	c cleaning 16005 clauses out of 32028 with flag 1278000/1288789
532.86/531.00	c cleaning 16005 clauses out of 32023 with flag 1294000/1304789
539.86/538.04	c cleaning 15983 clauses out of 32019 with flag 1310001/1320790
546.38/544.59	c cleaning 16002 clauses out of 32035 with flag 1326000/1336789
553.56/551.74	c cleaning 16009 clauses out of 32034 with flag 1342001/1352790
559.67/557.81	c cleaning 16002 clauses out of 32024 with flag 1358000/1368789
565.77/563.91	c cleaning 16004 clauses out of 32023 with flag 1374001/1384790
572.27/570.47	c cleaning 16002 clauses out of 32021 with flag 1390003/1400792
578.58/576.76	c cleaning 16001 clauses out of 32018 with flag 1406002/1416791
584.58/582.75	c cleaning 16003 clauses out of 32017 with flag 1422002/1432791
590.88/589.06	c cleaning 16000 clauses out of 32012 with flag 1438000/1448789
597.18/595.39	c cleaning 15996 clauses out of 32012 with flag 1454000/1464789
604.18/602.32	c cleaning 16003 clauses out of 32017 with flag 1470001/1480790
610.79/608.96	c cleaning 15993 clauses out of 32013 with flag 1486000/1496789
617.29/615.40	c cleaning 16001 clauses out of 32022 with flag 1502002/1512791
623.70/621.85	c cleaning 15995 clauses out of 32019 with flag 1518000/1528789
631.20/629.32	c cleaning 16002 clauses out of 32027 with flag 1534003/1544792
638.60/636.79	c cleaning 15990 clauses out of 32022 with flag 1550000/1560789
646.10/644.24	c cleaning 16008 clauses out of 32032 with flag 1566000/1576789
653.41/651.52	c cleaning 16003 clauses out of 32024 with flag 1582000/1592789
660.91/659.05	c cleaning 16007 clauses out of 32022 with flag 1598001/1608790
668.21/666.36	c cleaning 16002 clauses out of 32016 with flag 1614002/1624791
674.41/672.53	c cleaning 15997 clauses out of 32012 with flag 1630000/1640789
680.72/678.87	c cleaning 15998 clauses out of 32016 with flag 1646001/1656790
687.14/685.23	c cleaning 15999 clauses out of 32017 with flag 1662000/1672789
693.23/691.38	c cleaning 15999 clauses out of 32018 with flag 1678000/1688789
699.43/697.52	c cleaning 15999 clauses out of 32019 with flag 1694000/1704789
705.73/703.84	c cleaning 16002 clauses out of 32021 with flag 1710001/1720790
711.93/710.07	c cleaning 16006 clauses out of 32019 with flag 1726001/1736790
718.13/716.25	c cleaning 16001 clauses out of 32015 with flag 1742003/1752792
724.43/722.52	c cleaning 15995 clauses out of 32011 with flag 1758000/1768789
730.74/728.81	c cleaning 16003 clauses out of 32017 with flag 1774001/1784790
737.05/735.15	c cleaning 16002 clauses out of 32013 with flag 1790000/1800789
743.45/741.59	c cleaning 15999 clauses out of 32011 with flag 1806000/1816789
750.35/748.49	c cleaning 15995 clauses out of 32012 with flag 1822000/1832789
757.36/755.48	c cleaning 16000 clauses out of 32017 with flag 1838000/1848789
764.18/762.31	c cleaning 15999 clauses out of 32017 with flag 1854000/1864789
771.66/769.73	c cleaning 15991 clauses out of 32018 with flag 1870000/1880789
778.27/776.32	c cleaning 16005 clauses out of 32027 with flag 1886000/1896789
784.77/782.86	c cleaning 16001 clauses out of 32022 with flag 1902000/1912789
791.47/789.52	c cleaning 16003 clauses out of 32021 with flag 1918000/1928789
798.07/796.17	c cleaning 15996 clauses out of 32018 with flag 1934000/1944789
804.77/802.90	c cleaning 16000 clauses out of 32023 with flag 1950001/1960790
811.19/809.27	c cleaning 15999 clauses out of 32022 with flag 1966000/1976789
817.99/816.11	c cleaning 16007 clauses out of 32024 with flag 1982001/1992790
824.60/822.70	c cleaning 15995 clauses out of 32016 with flag 1998000/2008789
831.32/829.39	c cleaning 15999 clauses out of 32021 with flag 2014000/2024789
837.81/835.88	c cleaning 16002 clauses out of 32023 with flag 2030001/2040790
844.53/842.59	c cleaning 15998 clauses out of 32021 with flag 2046001/2056790
851.02/849.11	c cleaning 16002 clauses out of 32023 with flag 2062001/2072790
858.12/856.12	c cleaning 16001 clauses out of 32020 with flag 2078000/2088789
865.92/863.93	c cleaning 16002 clauses out of 32019 with flag 2094000/2104789
873.82/871.83	c cleaning 15992 clauses out of 32017 with flag 2110000/2120789
880.53/878.50	c cleaning 16002 clauses out of 32025 with flag 2126000/2136789
886.93/884.90	c cleaning 16005 clauses out of 32025 with flag 2142002/2152791
893.43/891.43	c cleaning 16000 clauses out of 32018 with flag 2158000/2168789
899.65/897.66	c cleaning 16001 clauses out of 32018 with flag 2174000/2184789
905.93/903.98	c cleaning 15997 clauses out of 32017 with flag 2190000/2200789
912.54/910.53	c cleaning 15995 clauses out of 32021 with flag 2206001/2216790
919.54/917.53	c cleaning 16003 clauses out of 32025 with flag 2222000/2232789
926.74/924.70	c cleaning 16008 clauses out of 32024 with flag 2238002/2248791
934.04/932.10	c cleaning 15995 clauses out of 32014 with flag 2254000/2264789
940.95/938.96	c cleaning 15994 clauses out of 32019 with flag 2270000/2280789
947.76/945.77	c cleaning 16003 clauses out of 32026 with flag 2286001/2296790
954.86/952.80	c cleaning 16002 clauses out of 32022 with flag 2302000/2312789
961.76/959.78	c cleaning 16001 clauses out of 32020 with flag 2318000/2328789
968.76/966.74	c cleaning 15996 clauses out of 32020 with flag 2334001/2344790
975.86/973.90	c cleaning 16001 clauses out of 32023 with flag 2350000/2360789
982.97/980.94	c cleaning 16004 clauses out of 32023 with flag 2366001/2376790
990.27/988.20	c cleaning 15998 clauses out of 32018 with flag 2382000/2392789
997.28/995.29	c cleaning 16002 clauses out of 32020 with flag 2398000/2408789
1004.38/1002.30	c cleaning 15998 clauses out of 32018 with flag 2414000/2424789
1010.87/1008.88	c cleaning 16000 clauses out of 32020 with flag 2430000/2440789
1017.30/1015.22	c cleaning 15994 clauses out of 32020 with flag 2446000/2456789
1023.69/1021.61	c cleaning 16001 clauses out of 32029 with flag 2462003/2472792
1029.89/1027.84	c cleaning 16006 clauses out of 32025 with flag 2478000/2488789
1036.49/1034.43	c cleaning 16002 clauses out of 32020 with flag 2494001/2504790
1043.10/1041.05	c cleaning 16005 clauses out of 32023 with flag 2510006/2520795
1049.80/1047.73	c cleaning 16001 clauses out of 32014 with flag 2526002/2536791
1056.92/1054.90	c cleaning 16001 clauses out of 32016 with flag 2542005/2552794
1064.11/1062.08	c cleaning 15992 clauses out of 32010 with flag 2558000/2568789
1070.51/1068.41	c cleaning 16001 clauses out of 32018 with flag 2574000/2584789
1077.01/1074.95	c cleaning 16001 clauses out of 32018 with flag 2590001/2600790
1083.33/1081.23	c cleaning 15997 clauses out of 32018 with flag 2606002/2616791
1089.71/1087.62	c cleaning 15996 clauses out of 32020 with flag 2622001/2632790
1096.22/1094.12	c cleaning 16001 clauses out of 32023 with flag 2638000/2648789
1102.52/1100.43	c cleaning 16003 clauses out of 32025 with flag 2654003/2664792
1108.32/1106.22	c cleaning 16003 clauses out of 32020 with flag 2670001/2680790
1114.33/1112.21	c cleaning 15998 clauses out of 32017 with flag 2686001/2696790
1120.43/1118.34	c cleaning 16000 clauses out of 32020 with flag 2702002/2712791
1126.73/1124.65	c cleaning 16001 clauses out of 32018 with flag 2718000/2728789
1132.85/1130.74	c cleaning 16003 clauses out of 32017 with flag 2734000/2744789
1138.74/1136.69	c cleaning 15998 clauses out of 32014 with flag 2750000/2760789
1144.84/1142.77	c cleaning 16002 clauses out of 32017 with flag 2766001/2776790
1150.74/1148.65	c cleaning 15999 clauses out of 32016 with flag 2782002/2792791
1156.24/1154.10	c cleaning 15998 clauses out of 32015 with flag 2798000/2808789
1161.94/1159.86	c cleaning 15998 clauses out of 32017 with flag 2814000/2824789
1167.74/1165.63	c cleaning 15991 clauses out of 32021 with flag 2830002/2840791
1173.45/1171.38	c cleaning 16005 clauses out of 32031 with flag 2846003/2856792
1179.25/1177.11	c cleaning 15992 clauses out of 32023 with flag 2862000/2872789
1185.05/1182.96	c cleaning 16003 clauses out of 32032 with flag 2878001/2888790
1190.75/1188.62	c cleaning 15999 clauses out of 32028 with flag 2894000/2904789
1196.77/1194.70	c cleaning 16007 clauses out of 32029 with flag 2910000/2920789
1202.46/1200.37	c cleaning 15995 clauses out of 32022 with flag 2926000/2936789
1208.07/1205.98	c cleaning 16007 clauses out of 32028 with flag 2942001/2952790
1214.07/1211.93	c cleaning 16002 clauses out of 32022 with flag 2958002/2968791
1220.27/1218.17	c cleaning 15999 clauses out of 32018 with flag 2974000/2984789
1226.88/1224.72	c cleaning 16000 clauses out of 32019 with flag 2990000/3000789
1233.28/1231.10	c cleaning 16003 clauses out of 32021 with flag 3006002/3016791
1239.78/1237.68	c cleaning 16001 clauses out of 32018 with flag 3022002/3032791
1246.30/1244.16	c cleaning 15998 clauses out of 32015 with flag 3038000/3048789
1252.58/1250.46	c cleaning 16003 clauses out of 32018 with flag 3054001/3064790
1259.18/1257.01	c cleaning 16002 clauses out of 32015 with flag 3070001/3080790
1265.69/1263.58	c cleaning 15999 clauses out of 32012 with flag 3086000/3096789
1272.39/1270.27	c cleaning 15986 clauses out of 32013 with flag 3102000/3112789
1278.69/1276.51	c cleaning 16006 clauses out of 32028 with flag 3118001/3128790
1284.39/1282.22	c cleaning 16002 clauses out of 32021 with flag 3134000/3144789
1290.10/1288.00	c cleaning 16001 clauses out of 32020 with flag 3150001/3160790
1296.30/1294.15	c cleaning 15997 clauses out of 32018 with flag 3166000/3176789
1302.50/1300.39	c cleaning 16004 clauses out of 32022 with flag 3182001/3192790
1309.30/1307.19	c cleaning 16002 clauses out of 32017 with flag 3198000/3208789
1316.01/1313.85	c cleaning 15999 clauses out of 32017 with flag 3214002/3224791
1323.01/1320.85	c cleaning 15999 clauses out of 32017 with flag 3230001/3240790
1330.01/1327.83	c cleaning 15994 clauses out of 32017 with flag 3246000/3256789
1337.21/1335.06	c cleaning 15997 clauses out of 32023 with flag 3262000/3272789
1344.02/1341.83	c cleaning 15998 clauses out of 32027 with flag 3278001/3288790
1350.73/1348.53	c cleaning 16006 clauses out of 32029 with flag 3294001/3304790
1357.22/1355.03	c cleaning 16004 clauses out of 32024 with flag 3310002/3320791
1363.94/1361.72	c cleaning 16003 clauses out of 32021 with flag 3326003/3336792
1370.02/1367.86	c cleaning 15997 clauses out of 32016 with flag 3342001/3352790
1376.73/1374.50	c cleaning 16002 clauses out of 32018 with flag 3358000/3368789
1383.53/1381.30	c cleaning 15999 clauses out of 32016 with flag 3374000/3384789
1390.03/1387.86	c cleaning 16002 clauses out of 32017 with flag 3390000/3400789
1396.43/1394.21	c cleaning 15997 clauses out of 32016 with flag 3406001/3416790
1403.33/1401.17	c cleaning 15998 clauses out of 32018 with flag 3422000/3432789
1410.25/1408.02	c cleaning 16000 clauses out of 32022 with flag 3438002/3448791
1416.75/1414.57	c cleaning 15998 clauses out of 32020 with flag 3454000/3464789
1423.45/1421.26	c cleaning 16001 clauses out of 32023 with flag 3470001/3480790
1430.06/1427.84	c cleaning 15996 clauses out of 32021 with flag 3486000/3496789
1436.45/1434.26	c cleaning 15997 clauses out of 32025 with flag 3502000/3512789
1443.05/1440.80	c cleaning 16005 clauses out of 32028 with flag 3518000/3528789
1449.95/1447.79	c cleaning 15998 clauses out of 32023 with flag 3534000/3544789
1456.65/1454.42	c cleaning 15993 clauses out of 32025 with flag 3550000/3560789
1463.45/1461.29	c cleaning 16007 clauses out of 32033 with flag 3566001/3576790
1470.67/1468.45	c cleaning 16000 clauses out of 32025 with flag 3582000/3592789
1477.66/1475.46	c cleaning 16002 clauses out of 32026 with flag 3598001/3608790
1484.66/1482.48	c cleaning 16005 clauses out of 32027 with flag 3614004/3624793
1491.17/1488.97	c cleaning 15995 clauses out of 32018 with flag 3630000/3640789
1497.67/1495.47	c cleaning 16000 clauses out of 32023 with flag 3646000/3656789
1504.57/1502.33	c cleaning 16007 clauses out of 32023 with flag 3662000/3672789
1511.18/1508.90	c cleaning 15989 clauses out of 32016 with flag 3678000/3688789
1518.10/1515.87	c cleaning 16008 clauses out of 32029 with flag 3694002/3704791
1525.58/1523.35	c cleaning 15994 clauses out of 32019 with flag 3710000/3720789
1532.68/1530.49	c cleaning 16002 clauses out of 32025 with flag 3726000/3736789
1539.39/1537.11	c cleaning 15999 clauses out of 32024 with flag 3742001/3752790
1546.09/1543.88	c cleaning 15999 clauses out of 32024 with flag 3758000/3768789
1553.09/1550.88	c cleaning 16004 clauses out of 32027 with flag 3774002/3784791
1559.81/1557.55	c cleaning 16000 clauses out of 32021 with flag 3790000/3800789
1566.80/1564.51	c cleaning 16005 clauses out of 32025 with flag 3806004/3816793
1574.00/1571.71	c cleaning 15992 clauses out of 32019 with flag 3822003/3832792
1580.91/1578.63	c cleaning 16004 clauses out of 32024 with flag 3838000/3848789
1587.72/1585.41	c cleaning 16003 clauses out of 32020 with flag 3854000/3864789
1594.62/1592.34	c cleaning 16002 clauses out of 32019 with flag 3870002/3880791
1601.42/1599.10	c cleaning 15999 clauses out of 32015 with flag 3886000/3896789
1608.42/1606.16	c cleaning 16004 clauses out of 32020 with flag 3902004/3912793
1615.63/1613.33	c cleaning 15993 clauses out of 32012 with flag 3918000/3928789
1622.83/1620.55	c cleaning 16001 clauses out of 32019 with flag 3934000/3944789
1630.25/1627.92	c cleaning 16001 clauses out of 32018 with flag 3950000/3960789
1637.33/1635.01	c cleaning 16003 clauses out of 32017 with flag 3966000/3976789
1643.55/1641.30	c cleaning 16001 clauses out of 32015 with flag 3982001/3992790
1649.94/1647.69	c cleaning 15996 clauses out of 32014 with flag 3998001/4008790
1656.14/1653.83	c cleaning 15995 clauses out of 32017 with flag 4014000/4024789
1662.44/1660.16	c cleaning 15998 clauses out of 32023 with flag 4030001/4040790
1668.76/1666.46	c cleaning 16002 clauses out of 32026 with flag 4046002/4056791
1674.75/1672.47	c cleaning 16003 clauses out of 32023 with flag 4062001/4072790
1680.86/1678.61	c cleaning 16002 clauses out of 32019 with flag 4078000/4088789
1686.95/1684.63	c cleaning 16001 clauses out of 32018 with flag 4094001/4104790
1692.85/1690.51	c cleaning 15998 clauses out of 32016 with flag 4110000/4120789
1699.15/1696.81	c cleaning 15994 clauses out of 32018 with flag 4126000/4136789
1705.25/1702.99	c cleaning 16001 clauses out of 32024 with flag 4142000/4152789
1711.46/1709.11	c cleaning 16003 clauses out of 32024 with flag 4158001/4168790
1717.66/1715.32	c cleaning 16003 clauses out of 32021 with flag 4174001/4184790
1723.78/1721.42	c cleaning 16000 clauses out of 32020 with flag 4190003/4200792
1729.66/1727.38	c cleaning 15997 clauses out of 32017 with flag 4206000/4216789
1736.07/1733.71	c cleaning 16001 clauses out of 32022 with flag 4222002/4232791
1742.07/1739.79	c cleaning 16001 clauses out of 32019 with flag 4238000/4248789
1748.37/1746.07	c cleaning 16006 clauses out of 32023 with flag 4254005/4264794
1754.77/1752.44	c cleaning 15994 clauses out of 32014 with flag 4270002/4280791
1761.19/1758.84	c cleaning 15998 clauses out of 32019 with flag 4286001/4296790
1767.37/1765.00	c cleaning 15996 clauses out of 32020 with flag 4302000/4312789
1773.47/1771.19	c cleaning 16001 clauses out of 32026 with flag 4318002/4328791
1779.89/1777.54	c cleaning 16001 clauses out of 32025 with flag 4334002/4344791
1785.98/1783.66	c cleaning 15997 clauses out of 32024 with flag 4350002/4360791
1791.78/1789.41	c cleaning 16003 clauses out of 32028 with flag 4366003/4376792
1797.88/1795.50	c cleaning 16000 clauses out of 32022 with flag 4382000/4392789
1800.10/1797.72	c starts		: 258
1800.10/1797.72	c conflicts		: 4398763
1800.10/1797.72	c decisions		: 14826445
1800.10/1797.72	c propagations		: 8224351660
1800.10/1797.72	c inspects		: 9041754395
1800.10/1797.72	c shortcuts		: 0
1800.10/1797.72	c learnt literals	: 0
1800.10/1797.72	c learnt binary clauses	: 1
1800.10/1797.72	c learnt ternary clauses	: 9
1800.10/1797.72	c learnt constraints	: 4398763
1800.10/1797.72	c ignored constraints	: 0
1800.10/1797.72	c root simplifications	: 0
1800.10/1797.72	c removed literals (reason simplification)	: 16872903
1800.10/1797.72	c reason swapping (by a shorter reason)	: 0
1800.10/1797.72	c Calls to reduceDB	: 279
1800.10/1797.72	c number of reductions to clauses (during analyze)	: 0
1800.10/1797.72	c number of learned constraints concerned by reduction	: 0
1800.10/1797.72	c number of learning phase by resolution	: 0
1800.10/1797.72	c number of learning phase by cutting planes	: 0
1800.10/1797.72	c speed (assignments/second)	: 4588590.941044931
1800.10/1797.72	c non guided choices	5323
1800.10/1797.75	c learnt constraints type 
1800.10/1797.75	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.10/1797.75	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 22019
1800.10/1797.75	c constraints type 
1800.10/1797.75	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2886
1800.10/1797.75	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1797.75	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 12523
1800.10/1797.75	s SATISFIABLE
1800.10/1797.75	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 x29 -x30 x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 x147 x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 -x186 -x187 -x188 x189 -x190 x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210 -x211 x212 -x213 -x214 -x215 x216 x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 x247 x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 x270 -x271 -x272 x273 -x274 x275 x276 -x277 x278 -x279 x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x300 x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 x2739 x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 x4433 x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 
1800.10/1797.75	c objective function=16
1800.10/1797.75	c Total wall clock time (in seconds): 1797.635

Verifier Data 

OK	16

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-3458508-1307157081/watcher-3458508-1307157081 -o /tmp/evaluation-result-3458508-1307157081/solver-3458508-1307157081 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458508-1307157081.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.87 3/447 31774
/proc/meminfo: memFree=28993912/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 3841 0 1 0 0 0 0 0 25 0 2 0 827308574 13850947584 3543 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3381579 3555 917 9 0 3372735 0
[pid=31774/tid=31775] ppid=31772 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 2783 0 1 0 0 0 0 0 25 0 2 0 827308575 13850947584 3599 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244446639163 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0750241 s]
/proc/loadavg: 2.00 2.00 1.87 3/447 31774
/proc/meminfo: memFree=28993912/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 14302 0 1 0 4 2 0 0 25 0 18 0 827308574 13880410112 14000 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3388772 14000 1742 9 0 3379506 0
[pid=31774/tid=31775] ppid=31772 vsize=13555088 CPUtime=0.06 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 13129 0 1 0 4 2 0 0 25 0 18 0 827308575 13880410112 14000 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244446606021 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088

[startup+0.100978 s]
/proc/loadavg: 2.00 2.00 1.87 3/447 31774
/proc/meminfo: memFree=28993912/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13622012 CPUtime=0.1 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 15489 0 1 0 8 2 0 0 25 0 18 0 827308574 13948940288 15168 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3405503 15168 2093 9 0 3396237 0
[pid=31774/tid=31775] ppid=31772 vsize=13622012 CPUtime=0.08 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 13556 0 1 0 6 2 0 0 18 0 18 0 827308575 13948940288 15168 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505219208 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) 13622012

[startup+0.32147 s]
/proc/loadavg: 2.00 2.00 1.87 3/447 31774
/proc/meminfo: memFree=28993912/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13625192 CPUtime=0.6 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 21215 0 1 0 57 3 0 0 25 0 18 0 827308574 13952196608 19939 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3406298 19941 2207 9 0 3397032 0
[pid=31774/tid=31775] ppid=31772 vsize=13625192 CPUtime=0.31 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 16792 0 1 0 29 2 0 0 18 0 18 0 827308575 13952196608 19941 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505638450 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13625192

[startup+0.700968 s]
/proc/loadavg: 2.00 2.00 1.87 3/447 31774
/proc/meminfo: memFree=28993912/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13628660 CPUtime=1.55 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 28721 0 1 0 151 4 0 0 25 0 19 0 827308574 13955747840 26472 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3407165 26472 2236 9 0 3397899 0
[pid=31774/tid=31775] ppid=31772 vsize=13628660 CPUtime=0.67 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 22279 0 1 0 64 3 0 0 19 0 19 0 827308575 13955747840 26472 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505870479 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13628660

[startup+1.50081 s]
/proc/loadavg: 2.16 2.03 1.88 4/466 31793
/proc/meminfo: memFree=28894320/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13628660 CPUtime=2.46 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 29236 0 1 0 242 4 0 0 25 0 19 0 827308574 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3407165 26986 2239 9 0 3397899 0
[pid=31774/tid=31775] ppid=31772 vsize=13628660 CPUtime=1.47 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 22776 0 1 0 144 3 0 0 18 0 19 0 827308575 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505945294 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31774/tid=31777] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31777/stat : 31777 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31778] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31778/stat : 31778 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31779] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31779/stat : 31779 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31780] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31780/stat : 31780 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31781] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31781/stat : 31781 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31782] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31782/stat : 31782 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31783] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31783/stat : 31783 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31784] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31784/stat : 31784 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31785] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31785/stat : 31785 (java) S 31772 31774 28402 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827308578 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 0 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31786] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 28402 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827308578 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827308578 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31788/stat : 31788 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308580 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458768817 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=13628660 CPUtime=0.47 cores=0,2,4,6
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 28402 0 -1 4202560 2122 0 0 0 47 0 0 0 15 0 19 0 827308580 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=13628660 CPUtime=0.5 cores=0,2,4,6
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 28402 0 -1 4202560 3177 0 0 0 50 0 0 0 15 0 19 0 827308581 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31791] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31791/stat : 31791 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308581 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31792] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31792/stat : 31792 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827308581 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31793] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31793/stat : 31793 (java) S 31772 31774 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827308620 13955747840 26986 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13628660

[startup+3.10148 s]
/proc/loadavg: 2.16 2.03 1.88 3/466 31794
/proc/meminfo: memFree=28892208/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13628660 CPUtime=4.06 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 29443 0 1 0 402 4 0 0 25 0 19 0 827308574 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3407165 27193 2239 9 0 3397899 0
[pid=31774/tid=31775] ppid=31772 vsize=13628660 CPUtime=3.07 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 22983 0 1 0 304 3 0 0 20 0 19 0 827308575 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505878224 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31774/tid=31777] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31777/stat : 31777 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31778] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31778/stat : 31778 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31779] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31779/stat : 31779 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31780] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31780/stat : 31780 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31781] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31781/stat : 31781 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31782] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31782/stat : 31782 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31783] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31783/stat : 31783 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31784] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31784/stat : 31784 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308577 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31785] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31785/stat : 31785 (java) S 31772 31774 28402 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 827308578 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 0 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31786] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 28402 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827308578 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 28402 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827308578 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31788/stat : 31788 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308580 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458768817 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=13628660 CPUtime=0.47 cores=0,2,4,6
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 28402 0 -1 4202560 2122 0 0 0 47 0 0 0 15 0 19 0 827308580 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=13628660 CPUtime=0.5 cores=0,2,4,6
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 28402 0 -1 4202560 3177 0 0 0 50 0 0 0 15 0 19 0 827308581 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31791] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31791/stat : 31791 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308581 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31792] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31792/stat : 31792 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827308581 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31793] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31793/stat : 31793 (java) S 31772 31774 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827308620 13955747840 27193 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13628660

[startup+6.3009 s]
/proc/loadavg: 2.16 2.03 1.88 3/466 31794
/proc/meminfo: memFree=28885136/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13628660 CPUtime=7.36 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 31146 0 1 0 731 5 0 0 25 0 19 0 827308574 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3407165 28653 2264 9 0 3397899 0
[pid=31774/tid=31775] ppid=31772 vsize=13628660 CPUtime=6.25 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 23011 0 1 0 622 3 0 0 21 0 19 0 827308575 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505870486 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31774/tid=31777] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31777/stat : 31777 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827308577 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31778] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31778/stat : 31778 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827308577 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31779] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31779/stat : 31779 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827308577 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31780] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31780/stat : 31780 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 827308577 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31781] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31781/stat : 31781 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827308577 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31782] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31782/stat : 31782 (java) S 31772 31774 28402 0 -1 4202560 109 0 0 0 0 0 0 0 18 0 19 0 827308577 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31783] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31783/stat : 31783 (java) S 31772 31774 28402 0 -1 4202560 380 0 0 0 0 0 0 0 18 0 19 0 827308577 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31784] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31784/stat : 31784 (java) S 31772 31774 28402 0 -1 4202560 342 0 0 0 0 0 0 0 18 0 19 0 827308577 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31785] ppid=31772 vsize=13628660 CPUtime=0.01 cores=0,2,4,6
/proc/31774/task/31785/stat : 31785 (java) S 31772 31774 28402 0 -1 4202560 829 0 0 0 1 0 0 0 15 0 19 0 827308578 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 0 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31786] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827308578 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827308578 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=13628660 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31788/stat : 31788 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308580 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458768817 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=13628660 CPUtime=0.51 cores=0,2,4,6
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 28402 0 -1 4202560 2136 0 0 0 51 0 0 0 16 0 19 0 827308580 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=13628660 CPUtime=0.55 cores=0,2,4,6
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 28402 0 -1 4202560 3183 0 0 0 55 0 0 0 15 0 19 0 827308581 13955747840 28653 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0

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

[pid=31774/tid=31782] ppid=31772 vsize=13636520 CPUtime=0.14 cores=0,2,4,6
/proc/31774/task/31782/stat : 31782 (java) S 31772 31774 28402 0 -1 4202560 225 0 0 0 14 0 0 0 15 0 19 0 827308577 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31783] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31783/stat : 31783 (java) S 31772 31774 28402 0 -1 4202560 450 0 0 0 16 0 0 0 15 0 19 0 827308577 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31784] ppid=31772 vsize=13636520 CPUtime=0.17 cores=0,2,4,6
/proc/31774/task/31784/stat : 31784 (java) S 31772 31774 28402 0 -1 4202560 668 0 0 0 17 0 0 0 16 0 19 0 827308577 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31785] ppid=31772 vsize=13636520 CPUtime=6.6 cores=0,2,4,6
/proc/31774/task/31785/stat : 31785 (java) S 31772 31774 28402 0 -1 4202560 3214 0 0 0 656 4 0 0 16 0 19 0 827308578 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 0 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31786] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827308578 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827308578 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31788/stat : 31788 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308580 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458768817 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=13636520 CPUtime=0.83 cores=0,2,4,6
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 28402 0 -1 4202560 7274 0 0 0 82 1 0 0 15 0 19 0 827308580 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=13636520 CPUtime=0.75 cores=0,2,4,6
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 28402 0 -1 4202560 6050 0 0 0 75 0 0 0 15 0 19 0 827308581 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31791] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31791/stat : 31791 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308581 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31792] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31792/stat : 31792 (java) S 31772 31774 28402 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827308581 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31793] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31793/stat : 31793 (java) S 31772 31774 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827308620 13963796480 34120 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.66
Current children cumulated vsize (KiB) 13636520

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/466 32533
/proc/meminfo: memFree=28878188/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13636520 CPUtime=1784.68 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 43212 0 1 0 178454 14 0 0 25 0 19 0 827308574 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3409130 34236 2265 9 0 3399864 0
[pid=31774/tid=31775] ppid=31772 vsize=13636520 CPUtime=1774.88 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 23287 0 1 0 177482 6 0 0 25 0 19 0 827308575 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505870634 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31774/tid=31777] ppid=31772 vsize=13636520 CPUtime=0.15 cores=0,2,4,6
/proc/31774/task/31777/stat : 31777 (java) S 31772 31774 28402 0 -1 4202560 258 0 0 0 15 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31778] ppid=31772 vsize=13636520 CPUtime=0.18 cores=0,2,4,6
/proc/31774/task/31778/stat : 31778 (java) S 31772 31774 28402 0 -1 4202560 51 0 0 0 18 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31779] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31779/stat : 31779 (java) S 31772 31774 28402 0 -1 4202560 27 0 0 0 16 0 0 0 16 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31780] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31780/stat : 31780 (java) S 31772 31774 28402 0 -1 4202560 105 0 0 0 16 0 0 0 16 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31781] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31781/stat : 31781 (java) S 31772 31774 28402 0 -1 4202560 237 0 0 0 16 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31782] ppid=31772 vsize=13636520 CPUtime=0.14 cores=0,2,4,6
/proc/31774/task/31782/stat : 31782 (java) S 31772 31774 28402 0 -1 4202560 225 0 0 0 14 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31783] ppid=31772 vsize=13636520 CPUtime=0.17 cores=0,2,4,6
/proc/31774/task/31783/stat : 31783 (java) S 31772 31774 28402 0 -1 4202560 460 0 0 0 17 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31784] ppid=31772 vsize=13636520 CPUtime=0.17 cores=0,2,4,6
/proc/31774/task/31784/stat : 31784 (java) S 31772 31774 28402 0 -1 4202560 668 0 0 0 17 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31785] ppid=31772 vsize=13636520 CPUtime=6.83 cores=0,2,4,6
/proc/31774/task/31785/stat : 31785 (java) S 31772 31774 28402 0 -1 4202560 3317 0 0 0 679 4 0 0 15 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 0 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31786] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31788/stat : 31788 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308580 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458768817 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=13636520 CPUtime=0.83 cores=0,2,4,6
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 28402 0 -1 4202560 7274 0 0 0 82 1 0 0 15 0 19 0 827308580 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=13636520 CPUtime=0.75 cores=0,2,4,6
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 28402 0 -1 4202560 6050 0 0 0 75 0 0 0 15 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31791] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31791/stat : 31791 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31792] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31792/stat : 31792 (java) S 31772 31774 28402 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31793] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31793/stat : 31793 (java) S 31772 31774 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827308620 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.68
Current children cumulated vsize (KiB) 13636520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/466 32533
/proc/meminfo: memFree=28878304/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13636520 CPUtime=1800.1 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 43215 0 1 0 179996 14 0 0 25 0 19 0 827308574 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3409130 34236 2265 9 0 3399864 0
[pid=31774/tid=31775] ppid=31772 vsize=13636520 CPUtime=1790.22 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 23290 0 1 0 179016 6 0 0 25 0 19 0 827308575 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505821675 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31774/tid=31777] ppid=31772 vsize=13636520 CPUtime=0.15 cores=0,2,4,6
/proc/31774/task/31777/stat : 31777 (java) S 31772 31774 28402 0 -1 4202560 258 0 0 0 15 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31778] ppid=31772 vsize=13636520 CPUtime=0.18 cores=0,2,4,6
/proc/31774/task/31778/stat : 31778 (java) S 31772 31774 28402 0 -1 4202560 51 0 0 0 18 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31779] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31779/stat : 31779 (java) S 31772 31774 28402 0 -1 4202560 27 0 0 0 16 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31780] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31780/stat : 31780 (java) S 31772 31774 28402 0 -1 4202560 105 0 0 0 16 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31781] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31781/stat : 31781 (java) S 31772 31774 28402 0 -1 4202560 237 0 0 0 16 0 0 0 16 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31782] ppid=31772 vsize=13636520 CPUtime=0.15 cores=0,2,4,6
/proc/31774/task/31782/stat : 31782 (java) S 31772 31774 28402 0 -1 4202560 225 0 0 0 15 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31783] ppid=31772 vsize=13636520 CPUtime=0.17 cores=0,2,4,6
/proc/31774/task/31783/stat : 31783 (java) S 31772 31774 28402 0 -1 4202560 460 0 0 0 17 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31784] ppid=31772 vsize=13636520 CPUtime=0.17 cores=0,2,4,6
/proc/31774/task/31784/stat : 31784 (java) S 31772 31774 28402 0 -1 4202560 668 0 0 0 17 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31785] ppid=31772 vsize=13636520 CPUtime=6.9 cores=0,2,4,6
/proc/31774/task/31785/stat : 31785 (java) S 31772 31774 28402 0 -1 4202560 3317 0 0 0 686 4 0 0 15 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 0 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31786] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31788/stat : 31788 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308580 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458768817 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=13636520 CPUtime=0.83 cores=0,2,4,6
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 28402 0 -1 4202560 7274 0 0 0 82 1 0 0 15 0 19 0 827308580 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=13636520 CPUtime=0.75 cores=0,2,4,6
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 28402 0 -1 4202560 6050 0 0 0 75 0 0 0 15 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31791] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31791/stat : 31791 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31792] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31792/stat : 31792 (java) S 31772 31774 28402 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31793] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31793/stat : 31793 (java) S 31772 31774 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827308620 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13636520

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

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

[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/466 32533
/proc/meminfo: memFree=28878304/32951124 swapFree=43324008/67111528
[pid=31774] ppid=31772 vsize=13636520 CPUtime=1800.1 cores=0,2,4,6
/proc/31774/stat : 31774 (java) S 31772 31774 28402 0 -1 4202496 43215 0 1 0 179996 14 0 0 25 0 19 0 827308574 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31774/statm: 3409130 34236 2265 9 0 3399864 0
[pid=31774/tid=31775] ppid=31772 vsize=13636520 CPUtime=1790.22 cores=0,2,4,6
/proc/31774/task/31775/stat : 31775 (java) R 31772 31774 28402 0 -1 4202560 23290 0 1 0 179016 6 0 0 25 0 19 0 827308575 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 46912505821675 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31774/tid=31777] ppid=31772 vsize=13636520 CPUtime=0.15 cores=0,2,4,6
/proc/31774/task/31777/stat : 31777 (java) S 31772 31774 28402 0 -1 4202560 258 0 0 0 15 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31778] ppid=31772 vsize=13636520 CPUtime=0.18 cores=0,2,4,6
/proc/31774/task/31778/stat : 31778 (java) S 31772 31774 28402 0 -1 4202560 51 0 0 0 18 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31779] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31779/stat : 31779 (java) S 31772 31774 28402 0 -1 4202560 27 0 0 0 16 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31780] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31780/stat : 31780 (java) S 31772 31774 28402 0 -1 4202560 105 0 0 0 16 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31781] ppid=31772 vsize=13636520 CPUtime=0.16 cores=0,2,4,6
/proc/31774/task/31781/stat : 31781 (java) S 31772 31774 28402 0 -1 4202560 237 0 0 0 16 0 0 0 16 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31782] ppid=31772 vsize=13636520 CPUtime=0.15 cores=0,2,4,6
/proc/31774/task/31782/stat : 31782 (java) S 31772 31774 28402 0 -1 4202560 225 0 0 0 15 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31783] ppid=31772 vsize=13636520 CPUtime=0.17 cores=0,2,4,6
/proc/31774/task/31783/stat : 31783 (java) S 31772 31774 28402 0 -1 4202560 460 0 0 0 17 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31784] ppid=31772 vsize=13636520 CPUtime=0.17 cores=0,2,4,6
/proc/31774/task/31784/stat : 31784 (java) S 31772 31774 28402 0 -1 4202560 668 0 0 0 17 0 0 0 15 0 19 0 827308577 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 6 0 0 0
[pid=31774/tid=31785] ppid=31772 vsize=13636520 CPUtime=6.9 cores=0,2,4,6
/proc/31774/task/31785/stat : 31785 (java) S 31772 31774 28402 0 -1 4202560 3317 0 0 0 686 4 0 0 15 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 0 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31786] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31786/stat : 31786 (java) S 31772 31774 28402 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31787] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31787/stat : 31787 (java) S 31772 31774 28402 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827308578 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31788] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31788/stat : 31788 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308580 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458768817 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31789] ppid=31772 vsize=13636520 CPUtime=0.83 cores=0,2,4,6
/proc/31774/task/31789/stat : 31789 (java) S 31772 31774 28402 0 -1 4202560 7274 0 0 0 82 1 0 0 15 0 19 0 827308580 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 4 0 0 0
[pid=31774/tid=31790] ppid=31772 vsize=13636520 CPUtime=0.75 cores=0,2,4,6
/proc/31774/task/31790/stat : 31790 (java) S 31772 31774 28402 0 -1 4202560 6050 0 0 0 75 0 0 0 15 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31791] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31791/stat : 31791 (java) S 31772 31774 28402 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761113 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
[pid=31774/tid=31792] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31792/stat : 31792 (java) S 31772 31774 28402 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827308581 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 0 0 0 0
[pid=31774/tid=31793] ppid=31772 vsize=13636520 CPUtime=0 cores=0,2,4,6
/proc/31774/task/31793/stat : 31793 (java) S 31772 31774 28402 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827308620 13963796480 34236 33554432000 1073741824 1073778376 140735393935552 18446744073709551615 244458761728 0 4 0 16800975 18446604446575412160 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13636520

Child status: 143
Real time (s): 1797.76
CPU time (s): 1800.22
CPU user time (s): 1800.07
CPU system time (s): 0.151976
CPU usage (%): 100.137
Max. virtual memory (cumulated for all children) (KiB): 13645544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43329
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= 44948
involuntary context switches= 9514

runsolver used 8.35073 second user time and 16.2425 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-04 05:11:21
IDJOB=3458508
IDBENCH=25010
IDSOLVER=1952
FILE ID=node105/3458508-1307157081
RUNJOBID= node105-1307155872-31370
PBS_JOBID= 13508811
Free space on /tmp= 73768 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_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-3458508-1307157081/watcher-3458508-1307157081 -o /tmp/evaluation-result-3458508-1307157081/solver-3458508-1307157081 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458508-1307157081.opb

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

MD5SUM BENCH= 21fb64899a6dc4867ccfcbb30d44d536
RANDOM SEED=1838042229

node105.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.825
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.65
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.825
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	: 5226.15
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.825
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.82
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.825
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.75
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.825
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	: 5410.70
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.825
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.74
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.825
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.82
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.825
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28994200 kB
Buffers:        323360 kB
Cached:         805588 kB
SwapCached:      20984 kB
Active:        2973468 kB
Inactive:       669588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28994200 kB
SwapTotal:    67111528 kB
SwapFree:     43324008 kB
Dirty:             876 kB
Writeback:           0 kB
AnonPages:     2511112 kB
Mapped:          27612 kB
Slab:           164920 kB
PageTables:      81336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 128305292 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= 73768 MiB
End job on node105 at 2011-06-04 05:41:21