Trace number 3458494

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)27 1800.18 1798.17

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
MD5SUMd6135de924aeb400fc0f7d1c419e5860
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark8.94364
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6080
Total number of constraints18113
Number of constraints which are clauses18113
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 constraint125
Number of terms in the objective function 2975
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 2975
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 2975
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.09/0.09	c version 2.3.1.v20110525
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		12995394264
0.09/0.09	c Max memory 		13063553024
0.09/0.09	c Total memory 		13063553024
0.09/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@13d4c61c
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-3458494-1307156522.opb
0.10/0.11	c reading problem ... 
0.72/0.42	c ... done. Wall clock time 0.312s.
0.72/0.42	c #vars     6080
0.72/0.42	c #constraints  18113
0.72/0.42	c constraints type 
0.72/0.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114
0.72/0.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512
1.00/0.52	c SATISFIABLE
1.00/0.52	c OPTIMIZING...
1.00/0.52	c Got one! Elapsed wall clock time (in seconds):0.411
1.00/0.52	o 37
1.00/0.58	c Got one! Elapsed wall clock time (in seconds):0.468
1.00/0.58	o 36
1.25/0.68	c Got one! Elapsed wall clock time (in seconds):0.569
1.25/0.68	o 33
1.50/0.73	c Got one! Elapsed wall clock time (in seconds):0.616
1.50/0.73	o 32
1.50/0.77	c Got one! Elapsed wall clock time (in seconds):0.663
1.50/0.77	o 30
1.69/0.82	c Got one! Elapsed wall clock time (in seconds):0.713
1.69/0.82	o 29
2.62/1.70	c Got one! Elapsed wall clock time (in seconds):1.595
2.62/1.70	o 28
3.62/2.77	c cleaning 3129 clauses out of 6262 with flag 3001/6262
5.48/4.59	c cleaning 4564 clauses out of 9132 with flag 9000/12261
7.60/6.65	c cleaning 5775 clauses out of 11568 with flag 16000/19261
10.09/9.14	c cleaning 6888 clauses out of 13793 with flag 24000/27261
12.74/11.73	c cleaning 7947 clauses out of 15905 with flag 33000/36261
14.84/13.83	c Got one! Elapsed wall clock time (in seconds):13.718
14.84/13.83	o 27
15.84/14.83	c cleaning 10291 clauses out of 20592 with flag 5001/48895
17.35/16.37	c cleaning 8142 clauses out of 16300 with flag 11000/54894
19.25/18.25	c cleaning 7575 clauses out of 15159 with flag 18001/61895
21.35/20.33	c cleaning 7788 clauses out of 15583 with flag 26000/69894
23.85/22.82	c cleaning 8393 clauses out of 16795 with flag 35000/78894
26.75/25.76	c cleaning 9196 clauses out of 18402 with flag 45000/88894
29.96/28.92	c cleaning 10092 clauses out of 20206 with flag 56000/99894
33.86/32.85	c cleaning 11049 clauses out of 22115 with flag 68001/111895
37.56/36.55	c cleaning 12025 clauses out of 24065 with flag 81000/124894
41.78/40.74	c cleaning 13011 clauses out of 26041 with flag 95001/138895
45.67/44.69	c cleaning 14008 clauses out of 28029 with flag 110000/153894
50.77/49.78	c cleaning 15004 clauses out of 30021 with flag 126000/169894
55.87/54.89	c cleaning 16006 clauses out of 32019 with flag 143002/186896
60.97/59.92	c cleaning 16998 clauses out of 34012 with flag 161001/204895
66.27/65.28	c cleaning 17499 clauses out of 35014 with flag 179001/222895
71.68/70.64	c cleaning 17752 clauses out of 35515 with flag 197001/240895
76.68/75.67	c cleaning 17871 clauses out of 35763 with flag 215001/258895
81.99/80.96	c cleaning 17944 clauses out of 35892 with flag 233001/276895
87.59/86.52	c cleaning 17965 clauses out of 35948 with flag 251001/294895
93.09/92.02	c cleaning 17982 clauses out of 35983 with flag 269001/312895
98.79/97.72	c cleaning 17992 clauses out of 36000 with flag 287000/330894
104.81/103.73	c cleaning 17997 clauses out of 36009 with flag 305001/348895
109.71/108.69	c cleaning 17998 clauses out of 36011 with flag 323000/366894
115.12/114.04	c cleaning 17999 clauses out of 36013 with flag 341000/384894
120.32/119.27	c cleaning 18000 clauses out of 36014 with flag 359000/402894
125.72/124.61	c cleaning 18004 clauses out of 36014 with flag 377000/420894
130.73/129.70	c cleaning 17999 clauses out of 36010 with flag 395000/438894
135.93/134.82	c cleaning 18000 clauses out of 36012 with flag 413001/456895
141.73/140.64	c cleaning 17994 clauses out of 36011 with flag 431000/474894
146.73/145.61	c cleaning 18004 clauses out of 36018 with flag 449001/492895
151.54/150.47	c cleaning 17998 clauses out of 36014 with flag 467001/510895
156.54/155.45	c cleaning 18002 clauses out of 36015 with flag 485000/528894
162.34/161.20	c cleaning 17996 clauses out of 36013 with flag 503000/546894
168.25/167.18	c cleaning 18000 clauses out of 36017 with flag 521000/564894
173.95/172.87	c cleaning 17998 clauses out of 36018 with flag 539001/582895
179.16/178.06	c cleaning 18003 clauses out of 36019 with flag 557000/600894
184.06/182.93	c cleaning 18000 clauses out of 36016 with flag 575000/618894
189.66/188.52	c cleaning 17998 clauses out of 36016 with flag 593000/636894
195.17/194.07	c cleaning 18004 clauses out of 36019 with flag 611001/654895
200.18/199.10	c cleaning 18001 clauses out of 36014 with flag 629000/672894
205.87/204.77	c cleaning 18001 clauses out of 36013 with flag 647000/690894
211.77/210.64	c cleaning 18000 clauses out of 36013 with flag 665001/708895
217.08/215.95	c cleaning 17998 clauses out of 36012 with flag 683000/726894
221.88/220.77	c cleaning 17999 clauses out of 36014 with flag 701000/744894
226.98/225.88	c cleaning 17996 clauses out of 36015 with flag 719000/762894
232.21/231.05	c cleaning 17999 clauses out of 36019 with flag 737000/780894
237.99/236.81	c cleaning 18005 clauses out of 36020 with flag 755000/798894
244.09/242.93	c cleaning 18002 clauses out of 36016 with flag 773001/816895
250.50/249.39	c cleaning 18001 clauses out of 36014 with flag 791001/834895
256.50/255.33	c cleaning 17995 clauses out of 36012 with flag 809000/852894
262.31/261.12	c cleaning 17992 clauses out of 36017 with flag 827000/870894
267.91/266.75	c cleaning 18009 clauses out of 36025 with flag 845000/888894
273.01/271.84	c cleaning 18001 clauses out of 36016 with flag 863000/906894
278.02/276.87	c cleaning 18002 clauses out of 36018 with flag 881003/924897
282.43/281.28	c cleaning 17998 clauses out of 36013 with flag 899000/942894
287.43/286.23	c cleaning 18001 clauses out of 36016 with flag 917001/960895
292.54/291.40	c cleaning 17999 clauses out of 36014 with flag 935000/978894
298.05/296.84	c cleaning 18004 clauses out of 36015 with flag 953000/996894
303.66/302.50	c cleaning 17997 clauses out of 36011 with flag 971000/1014894
309.17/307.93	c cleaning 18005 clauses out of 36015 with flag 989001/1032895
314.78/313.55	c cleaning 17998 clauses out of 36009 with flag 1007000/1050894
319.86/318.70	c cleaning 17996 clauses out of 36011 with flag 1025000/1068894
325.17/323.95	c cleaning 17998 clauses out of 36015 with flag 1043000/1086894
329.97/328.77	c cleaning 18003 clauses out of 36018 with flag 1061001/1104895
334.59/333.39	c cleaning 17997 clauses out of 36015 with flag 1079001/1122895
339.38/338.17	c cleaning 18002 clauses out of 36017 with flag 1097000/1140894
344.28/343.08	c cleaning 17999 clauses out of 36015 with flag 1115000/1158894
349.28/348.03	c cleaning 17994 clauses out of 36016 with flag 1133000/1176894
354.48/353.29	c cleaning 18004 clauses out of 36022 with flag 1151000/1194894
359.68/358.51	c cleaning 17998 clauses out of 36019 with flag 1169001/1212895
365.09/363.86	c cleaning 18001 clauses out of 36023 with flag 1187003/1230897
370.49/369.25	c cleaning 18003 clauses out of 36019 with flag 1205000/1248894
375.89/374.68	c cleaning 17992 clauses out of 36016 with flag 1223000/1266894
381.59/380.38	c cleaning 18003 clauses out of 36024 with flag 1241000/1284894
387.30/386.06	c cleaning 18000 clauses out of 36023 with flag 1259002/1302896
392.92/391.66	c cleaning 18001 clauses out of 36022 with flag 1277001/1320895
398.20/397.00	c cleaning 17996 clauses out of 36020 with flag 1295000/1338894
403.40/402.16	c cleaning 18002 clauses out of 36024 with flag 1313000/1356894
408.32/407.04	c cleaning 18007 clauses out of 36022 with flag 1331000/1374894
413.11/411.86	c cleaning 18001 clauses out of 36015 with flag 1349000/1392894
417.91/416.69	c cleaning 17992 clauses out of 36014 with flag 1367000/1410894
423.51/422.23	c cleaning 18003 clauses out of 36023 with flag 1385001/1428895
429.23/427.95	c cleaning 18003 clauses out of 36020 with flag 1403001/1446895
434.82/433.54	c cleaning 17989 clauses out of 36016 with flag 1421000/1464894
440.82/439.51	c cleaning 18006 clauses out of 36027 with flag 1439000/1482894
446.43/445.17	c cleaning 18001 clauses out of 36021 with flag 1457000/1500894
451.93/450.68	c cleaning 17986 clauses out of 36020 with flag 1475000/1518894
457.53/456.22	c cleaning 18006 clauses out of 36034 with flag 1493000/1536894
463.35/462.06	c cleaning 18001 clauses out of 36028 with flag 1511000/1554894
468.93/467.66	c cleaning 18006 clauses out of 36027 with flag 1529000/1572894
474.54/473.27	c cleaning 18003 clauses out of 36021 with flag 1547000/1590894
480.34/479.08	c cleaning 18004 clauses out of 36018 with flag 1565000/1608894
485.65/484.33	c cleaning 17999 clauses out of 36014 with flag 1583000/1626894
490.05/488.75	c cleaning 17998 clauses out of 36015 with flag 1601000/1644894
494.75/493.46	c cleaning 18003 clauses out of 36017 with flag 1619000/1662894
499.67/498.32	c cleaning 18001 clauses out of 36014 with flag 1637000/1680894
504.35/503.05	c cleaning 17997 clauses out of 36013 with flag 1655000/1698894
509.26/507.94	c cleaning 18000 clauses out of 36016 with flag 1673000/1716894
514.26/512.93	c cleaning 17999 clauses out of 36017 with flag 1691001/1734895
519.37/518.04	c cleaning 18001 clauses out of 36017 with flag 1709000/1752894
524.36/523.01	c cleaning 17993 clauses out of 36016 with flag 1727000/1770894
529.56/528.28	c cleaning 18004 clauses out of 36023 with flag 1745000/1788894
535.17/533.85	c cleaning 18002 clauses out of 36019 with flag 1763000/1806894
540.47/539.17	c cleaning 18000 clauses out of 36018 with flag 1781001/1824895
545.89/544.59	c cleaning 17997 clauses out of 36018 with flag 1799001/1842895
551.18/549.90	c cleaning 18004 clauses out of 36021 with flag 1817001/1860895
556.68/555.33	c cleaning 17994 clauses out of 36016 with flag 1835000/1878894
562.08/560.73	c cleaning 18004 clauses out of 36023 with flag 1853001/1896895
567.38/566.00	c cleaning 18004 clauses out of 36022 with flag 1871004/1914898
572.68/571.34	c cleaning 18003 clauses out of 36015 with flag 1889001/1932895
578.08/576.75	c cleaning 17991 clauses out of 36011 with flag 1907000/1950894
583.48/582.13	c cleaning 18001 clauses out of 36022 with flag 1925002/1968896
588.88/587.54	c cleaning 18001 clauses out of 36019 with flag 1943000/1986894
593.99/592.67	c cleaning 18005 clauses out of 36018 with flag 1961000/2004894
599.30/597.93	c cleaning 18000 clauses out of 36013 with flag 1979000/2022894
604.70/603.37	c cleaning 18000 clauses out of 36016 with flag 1997003/2040897
610.41/609.08	c cleaning 17998 clauses out of 36013 with flag 2015000/2058894
616.51/615.15	c cleaning 17999 clauses out of 36015 with flag 2033000/2076894
621.91/620.59	c cleaning 17999 clauses out of 36016 with flag 2051000/2094894
627.33/625.95	c cleaning 18004 clauses out of 36019 with flag 2069002/2112896
632.72/631.38	c cleaning 17998 clauses out of 36013 with flag 2087000/2130894
638.12/636.73	c cleaning 18001 clauses out of 36015 with flag 2105000/2148894
643.52/642.11	c cleaning 18000 clauses out of 36015 with flag 2123001/2166895
649.12/647.79	c cleaning 17996 clauses out of 36015 with flag 2141001/2184895
654.52/653.19	c cleaning 17999 clauses out of 36019 with flag 2159001/2202895
659.83/658.47	c cleaning 17996 clauses out of 36019 with flag 2177000/2220894
665.32/663.90	c cleaning 18004 clauses out of 36023 with flag 2195000/2238894
670.73/669.34	c cleaning 18003 clauses out of 36020 with flag 2213001/2256895
675.64/674.30	c cleaning 18001 clauses out of 36018 with flag 2231002/2274896
680.94/679.54	c cleaning 17992 clauses out of 36015 with flag 2249000/2292894
686.84/685.48	c cleaning 18001 clauses out of 36023 with flag 2267000/2310894
692.64/691.27	c cleaning 17994 clauses out of 36022 with flag 2285000/2328894
698.65/697.30	c cleaning 17994 clauses out of 36028 with flag 2303000/2346894
704.85/703.42	c cleaning 18002 clauses out of 36034 with flag 2321000/2364894
710.96/709.57	c cleaning 18012 clauses out of 36032 with flag 2339000/2382894
717.15/715.77	c cleaning 18004 clauses out of 36021 with flag 2357001/2400895
723.65/722.21	c cleaning 17993 clauses out of 36016 with flag 2375000/2418894
729.75/728.37	c cleaning 17999 clauses out of 36023 with flag 2393000/2436894
735.25/733.84	c cleaning 18005 clauses out of 36025 with flag 2411001/2454895
740.56/739.14	c cleaning 18000 clauses out of 36019 with flag 2429000/2472894
745.86/744.44	c cleaning 18000 clauses out of 36019 with flag 2447000/2490894
751.16/749.77	c cleaning 18002 clauses out of 36021 with flag 2465002/2508896
756.66/755.20	c cleaning 17996 clauses out of 36017 with flag 2483000/2526894
762.16/760.72	c cleaning 17999 clauses out of 36021 with flag 2501000/2544894
767.46/766.03	c cleaning 18005 clauses out of 36022 with flag 2519000/2562894
773.27/771.86	c cleaning 18000 clauses out of 36018 with flag 2537001/2580895
779.28/777.85	c cleaning 17996 clauses out of 36017 with flag 2555000/2598894
784.98/783.56	c cleaning 18002 clauses out of 36022 with flag 2573001/2616895
790.58/789.20	c cleaning 17998 clauses out of 36019 with flag 2591000/2634894
796.18/794.75	c cleaning 17999 clauses out of 36021 with flag 2609000/2652894
801.79/800.33	c cleaning 18007 clauses out of 36022 with flag 2627000/2670894
807.29/805.85	c cleaning 17990 clauses out of 36015 with flag 2645000/2688894
812.78/811.34	c cleaning 18003 clauses out of 36025 with flag 2663000/2706894
818.49/817.05	c cleaning 18001 clauses out of 36023 with flag 2681001/2724895
824.19/822.78	c cleaning 18002 clauses out of 36023 with flag 2699002/2742896
829.81/828.33	c cleaning 17999 clauses out of 36020 with flag 2717001/2760895
835.49/834.05	c cleaning 18004 clauses out of 36020 with flag 2735000/2778894
841.00/839.57	c cleaning 18000 clauses out of 36016 with flag 2753000/2796894
846.70/845.29	c cleaning 17998 clauses out of 36016 with flag 2771000/2814894
852.50/851.07	c cleaning 18003 clauses out of 36019 with flag 2789001/2832895
858.10/856.60	c cleaning 18001 clauses out of 36015 with flag 2807000/2850894
863.41/861.97	c cleaning 18000 clauses out of 36015 with flag 2825001/2868895
869.21/867.75	c cleaning 18000 clauses out of 36015 with flag 2843001/2886895
875.11/873.66	c cleaning 18002 clauses out of 36015 with flag 2861001/2904895
881.22/879.76	c cleaning 17993 clauses out of 36012 with flag 2879000/2922894
887.04/885.56	c cleaning 17998 clauses out of 36019 with flag 2897000/2940894
892.72/891.20	c cleaning 18003 clauses out of 36021 with flag 2915000/2958894
898.42/896.92	c cleaning 17998 clauses out of 36020 with flag 2933002/2976896
903.82/902.36	c cleaning 18004 clauses out of 36020 with flag 2951000/2994894
909.43/907.92	c cleaning 18000 clauses out of 36016 with flag 2969000/3012894
914.93/913.47	c cleaning 17996 clauses out of 36016 with flag 2987000/3030894
920.24/918.78	c cleaning 18002 clauses out of 36020 with flag 3005000/3048894
926.34/924.82	c cleaning 18001 clauses out of 36019 with flag 3023001/3066895
931.74/930.29	c cleaning 17996 clauses out of 36017 with flag 3041000/3084894
937.44/936.00	c cleaning 18003 clauses out of 36023 with flag 3059002/3102896
942.94/941.41	c cleaning 18003 clauses out of 36018 with flag 3077000/3120894
948.55/947.03	c cleaning 17992 clauses out of 36015 with flag 3095000/3138894
954.45/952.91	c cleaning 17997 clauses out of 36023 with flag 3113000/3156894
960.15/958.65	c cleaning 18005 clauses out of 36027 with flag 3131001/3174895
965.76/964.27	c cleaning 18005 clauses out of 36021 with flag 3149000/3192894
971.36/969.81	c cleaning 17997 clauses out of 36016 with flag 3167000/3210894
976.96/975.43	c cleaning 17997 clauses out of 36019 with flag 3185000/3228894
982.26/980.78	c cleaning 18000 clauses out of 36022 with flag 3203000/3246894
987.87/986.32	c cleaning 18003 clauses out of 36023 with flag 3221001/3264895
993.17/991.62	c cleaning 17998 clauses out of 36019 with flag 3239000/3282894
999.77/998.29	c cleaning 18007 clauses out of 36024 with flag 3257003/3300897
1007.08/1005.56	c cleaning 17998 clauses out of 36014 with flag 3275000/3318894
1014.48/1012.99	c cleaning 17998 clauses out of 36016 with flag 3293000/3336894
1021.98/1020.48	c cleaning 17999 clauses out of 36018 with flag 3311000/3354894
1029.39/1027.88	c cleaning 18002 clauses out of 36019 with flag 3329000/3372894
1036.89/1035.38	c cleaning 17999 clauses out of 36017 with flag 3347000/3390894
1044.49/1042.94	c cleaning 18002 clauses out of 36019 with flag 3365001/3408895
1052.00/1050.48	c cleaning 17999 clauses out of 36018 with flag 3383002/3426896
1057.61/1056.03	c cleaning 18003 clauses out of 36018 with flag 3401001/3444895
1062.50/1060.90	c cleaning 17994 clauses out of 36014 with flag 3419000/3462894
1067.52/1065.99	c cleaning 18006 clauses out of 36021 with flag 3437001/3480895
1072.71/1071.14	c cleaning 18002 clauses out of 36015 with flag 3455001/3498895
1078.11/1076.52	c cleaning 18002 clauses out of 36012 with flag 3473000/3516894
1083.41/1081.85	c cleaning 17996 clauses out of 36011 with flag 3491001/3534895
1088.92/1087.30	c cleaning 17992 clauses out of 36014 with flag 3509000/3552894
1094.72/1093.18	c cleaning 18003 clauses out of 36022 with flag 3527000/3570894
1100.12/1098.59	c cleaning 17999 clauses out of 36019 with flag 3545000/3588894
1105.43/1103.81	c cleaning 18002 clauses out of 36022 with flag 3563002/3606896
1110.53/1108.99	c cleaning 18000 clauses out of 36018 with flag 3581000/3624894
1115.73/1114.16	c cleaning 18002 clauses out of 36019 with flag 3599001/3642895
1121.03/1119.47	c cleaning 17997 clauses out of 36016 with flag 3617000/3660894
1126.73/1125.10	c cleaning 18003 clauses out of 36022 with flag 3635003/3678897
1132.54/1130.90	c cleaning 17992 clauses out of 36016 with flag 3653000/3696894
1138.04/1136.43	c cleaning 18003 clauses out of 36024 with flag 3671000/3714894
1143.54/1141.92	c cleaning 17998 clauses out of 36021 with flag 3689000/3732894
1149.15/1147.58	c cleaning 18006 clauses out of 36023 with flag 3707000/3750894
1154.95/1153.34	c cleaning 17992 clauses out of 36017 with flag 3725000/3768894
1160.65/1159.01	c cleaning 18004 clauses out of 36025 with flag 3743000/3786894
1166.25/1164.64	c cleaning 18001 clauses out of 36021 with flag 3761000/3804894
1171.76/1170.15	c cleaning 17998 clauses out of 36020 with flag 3779000/3822894
1177.36/1175.78	c cleaning 18001 clauses out of 36023 with flag 3797001/3840895
1183.16/1181.57	c cleaning 17999 clauses out of 36023 with flag 3815002/3858896
1188.87/1187.21	c cleaning 18002 clauses out of 36022 with flag 3833000/3876894
1194.57/1192.90	c cleaning 17999 clauses out of 36023 with flag 3851003/3894897
1200.27/1198.68	c cleaning 18001 clauses out of 36021 with flag 3869000/3912894
1206.19/1204.57	c cleaning 17993 clauses out of 36020 with flag 3887000/3930894
1211.87/1210.29	c cleaning 18006 clauses out of 36028 with flag 3905001/3948895
1217.68/1216.06	c cleaning 17999 clauses out of 36023 with flag 3923002/3966896
1223.80/1222.15	c cleaning 18001 clauses out of 36023 with flag 3941001/3984895
1229.30/1227.67	c cleaning 18002 clauses out of 36021 with flag 3959000/4002894
1235.29/1233.61	c cleaning 17996 clauses out of 36019 with flag 3977000/4020894
1240.89/1239.25	c cleaning 18001 clauses out of 36023 with flag 3995000/4038894
1246.39/1244.77	c cleaning 17992 clauses out of 36022 with flag 4013000/4056894
1251.90/1250.29	c cleaning 18009 clauses out of 36030 with flag 4031000/4074894
1257.40/1255.76	c cleaning 18000 clauses out of 36021 with flag 4049000/4092894
1263.10/1261.40	c cleaning 18006 clauses out of 36021 with flag 4067000/4110894
1268.81/1267.16	c cleaning 18000 clauses out of 36016 with flag 4085001/4128895
1274.61/1272.92	c cleaning 17989 clauses out of 36015 with flag 4103000/4146894
1280.31/1278.65	c cleaning 17995 clauses out of 36026 with flag 4121000/4164894
1285.81/1284.10	c cleaning 18007 clauses out of 36031 with flag 4139000/4182894
1290.93/1289.22	c cleaning 18002 clauses out of 36025 with flag 4157001/4200895
1296.32/1294.64	c cleaning 17991 clauses out of 36022 with flag 4175000/4218894
1301.72/1300.08	c cleaning 18006 clauses out of 36031 with flag 4193000/4236894
1307.33/1305.70	c cleaning 18008 clauses out of 36025 with flag 4211000/4254894
1312.32/1310.66	c cleaning 17999 clauses out of 36017 with flag 4229000/4272894
1317.23/1315.59	c cleaning 18002 clauses out of 36019 with flag 4247001/4290895
1322.73/1321.05	c cleaning 17994 clauses out of 36016 with flag 4265000/4308894
1328.53/1326.83	c cleaning 18001 clauses out of 36022 with flag 4283000/4326894
1334.53/1332.84	c cleaning 18006 clauses out of 36022 with flag 4301001/4344895
1340.23/1338.51	c cleaning 17998 clauses out of 36015 with flag 4319000/4362894
1346.03/1344.32	c cleaning 18000 clauses out of 36017 with flag 4337000/4380894
1351.63/1349.94	c cleaning 17997 clauses out of 36018 with flag 4355001/4398895
1357.24/1355.53	c cleaning 17998 clauses out of 36020 with flag 4373000/4416894
1362.84/1361.16	c cleaning 17995 clauses out of 36023 with flag 4391001/4434895
1368.74/1367.00	c cleaning 18000 clauses out of 36028 with flag 4409001/4452895
1374.56/1372.82	c cleaning 17990 clauses out of 36028 with flag 4427001/4470895
1380.14/1378.43	c cleaning 18013 clauses out of 36038 with flag 4445001/4488895
1385.45/1383.74	c cleaning 18007 clauses out of 36025 with flag 4463001/4506895
1390.35/1388.62	c cleaning 18002 clauses out of 36017 with flag 4481000/4524894
1395.65/1393.93	c cleaning 17997 clauses out of 36015 with flag 4499000/4542894
1400.47/1398.75	c cleaning 18003 clauses out of 36020 with flag 4517002/4560896
1405.77/1404.04	c cleaning 17997 clauses out of 36016 with flag 4535001/4578895
1411.67/1409.97	c cleaning 18003 clauses out of 36019 with flag 4553001/4596895
1417.67/1415.92	c cleaning 17998 clauses out of 36015 with flag 4571000/4614894
1422.78/1421.03	c cleaning 18004 clauses out of 36019 with flag 4589002/4632896
1427.88/1426.19	c cleaning 18002 clauses out of 36013 with flag 4607000/4650894
1433.09/1431.32	c cleaning 17997 clauses out of 36011 with flag 4625000/4668894
1438.29/1436.52	c cleaning 18001 clauses out of 36014 with flag 4643000/4686894
1443.80/1442.01	c cleaning 18002 clauses out of 36014 with flag 4661001/4704895
1449.30/1447.55	c cleaning 18000 clauses out of 36012 with flag 4679001/4722895
1455.10/1453.32	c cleaning 17997 clauses out of 36012 with flag 4697001/4740895
1460.70/1458.97	c cleaning 18001 clauses out of 36015 with flag 4715001/4758895
1466.50/1464.75	c cleaning 17995 clauses out of 36014 with flag 4733001/4776895
1471.51/1469.75	c cleaning 17998 clauses out of 36018 with flag 4751000/4794894
1476.82/1475.04	c cleaning 18004 clauses out of 36021 with flag 4769001/4812895
1482.11/1480.33	c cleaning 18000 clauses out of 36017 with flag 4787001/4830895
1487.41/1485.68	c cleaning 17999 clauses out of 36018 with flag 4805002/4848896
1492.42/1490.65	c cleaning 18003 clauses out of 36018 with flag 4823001/4866895
1497.62/1495.87	c cleaning 17996 clauses out of 36014 with flag 4841000/4884894
1503.02/1501.25	c cleaning 17998 clauses out of 36018 with flag 4859000/4902894
1508.52/1506.71	c cleaning 18003 clauses out of 36021 with flag 4877001/4920895
1513.62/1511.84	c cleaning 17995 clauses out of 36017 with flag 4895000/4938894
1518.92/1517.14	c cleaning 18004 clauses out of 36023 with flag 4913001/4956895
1523.92/1522.13	c cleaning 17998 clauses out of 36018 with flag 4931000/4974894
1529.03/1527.22	c cleaning 17996 clauses out of 36020 with flag 4949000/4992894
1534.04/1532.27	c cleaning 18005 clauses out of 36024 with flag 4967000/5010894
1539.14/1537.31	c cleaning 18000 clauses out of 36019 with flag 4985000/5028894
1544.24/1542.43	c cleaning 17992 clauses out of 36019 with flag 5003000/5046894
1549.34/1547.56	c cleaning 18001 clauses out of 36027 with flag 5021000/5064894
1554.34/1552.60	c cleaning 18004 clauses out of 36026 with flag 5039000/5082894
1559.46/1557.63	c cleaning 18003 clauses out of 36022 with flag 5057000/5100894
1564.34/1562.56	c cleaning 17996 clauses out of 36019 with flag 5075000/5118894
1569.36/1567.56	c cleaning 18001 clauses out of 36024 with flag 5093001/5136895
1574.25/1572.48	c cleaning 18003 clauses out of 36022 with flag 5111000/5154894
1579.35/1577.59	c cleaning 17997 clauses out of 36019 with flag 5129000/5172894
1584.66/1582.87	c cleaning 17996 clauses out of 36022 with flag 5147000/5190894
1590.06/1588.21	c cleaning 18007 clauses out of 36026 with flag 5165000/5208894
1595.16/1593.39	c cleaning 18001 clauses out of 36022 with flag 5183003/5226897
1600.46/1598.66	c cleaning 17997 clauses out of 36018 with flag 5201000/5244894
1605.57/1603.77	c cleaning 18000 clauses out of 36021 with flag 5219000/5262894
1610.66/1608.83	c cleaning 18000 clauses out of 36021 with flag 5237000/5280894
1616.07/1614.29	c cleaning 18001 clauses out of 36021 with flag 5255000/5298894
1621.27/1619.49	c cleaning 17998 clauses out of 36020 with flag 5273000/5316894
1626.77/1625.00	c cleaning 18001 clauses out of 36023 with flag 5291001/5334895
1632.47/1630.63	c cleaning 18000 clauses out of 36021 with flag 5309000/5352894
1637.98/1636.15	c cleaning 17996 clauses out of 36022 with flag 5327001/5370895
1643.18/1641.38	c cleaning 18001 clauses out of 36027 with flag 5345002/5388896
1648.48/1646.66	c cleaning 18009 clauses out of 36027 with flag 5363003/5406897
1653.88/1652.04	c cleaning 17992 clauses out of 36016 with flag 5381001/5424895
1659.28/1657.46	c cleaning 17995 clauses out of 36023 with flag 5399000/5442894
1664.59/1662.74	c cleaning 18002 clauses out of 36029 with flag 5417001/5460895
1669.79/1667.97	c cleaning 18008 clauses out of 36026 with flag 5435000/5478894
1675.89/1674.03	c cleaning 18005 clauses out of 36018 with flag 5453000/5496894
1681.79/1679.98	c cleaning 17993 clauses out of 36013 with flag 5471000/5514894
1687.81/1685.93	c cleaning 18003 clauses out of 36020 with flag 5489000/5532894
1693.91/1692.07	c cleaning 18000 clauses out of 36017 with flag 5507000/5550894
1699.71/1697.82	c cleaning 17999 clauses out of 36019 with flag 5525002/5568896
1705.72/1703.88	c cleaning 18003 clauses out of 36023 with flag 5543005/5586899
1711.92/1710.02	c cleaning 17997 clauses out of 36015 with flag 5561000/5604894
1718.12/1716.26	c cleaning 17997 clauses out of 36020 with flag 5579002/5622896
1724.54/1722.65	c cleaning 18000 clauses out of 36021 with flag 5597000/5640894
1730.72/1728.84	c cleaning 17995 clauses out of 36021 with flag 5615000/5658894
1736.92/1735.09	c cleaning 18006 clauses out of 36030 with flag 5633004/5676898
1743.13/1741.24	c cleaning 17998 clauses out of 36021 with flag 5651001/5694895
1749.63/1747.73	c cleaning 18001 clauses out of 36023 with flag 5669001/5712895
1756.03/1754.12	c cleaning 18000 clauses out of 36021 with flag 5687000/5730894
1762.34/1760.44	c cleaning 18003 clauses out of 36023 with flag 5705002/5748896
1768.56/1766.63	c cleaning 18000 clauses out of 36018 with flag 5723000/5766894
1774.74/1772.88	c cleaning 17998 clauses out of 36018 with flag 5741000/5784894
1781.05/1779.15	c cleaning 18002 clauses out of 36021 with flag 5759001/5802895
1787.55/1785.60	c cleaning 18005 clauses out of 36019 with flag 5777001/5820895
1793.55/1791.65	c cleaning 17995 clauses out of 36015 with flag 5795002/5838896
1799.45/1797.55	c cleaning 18003 clauses out of 36019 with flag 5813001/5856895
1800.06/1798.12	c starts		: 283
1800.06/1798.12	c conflicts		: 5858580
1800.06/1798.12	c decisions		: 19889333
1800.06/1798.12	c propagations		: 8055710901
1800.06/1798.12	c inspects		: 9011378927
1800.06/1798.12	c shortcuts		: 0
1800.06/1798.12	c learnt literals	: 0
1800.06/1798.12	c learnt binary clauses	: 0
1800.06/1798.12	c learnt ternary clauses	: 1
1800.06/1798.12	c learnt constraints	: 5858579
1800.06/1798.12	c ignored constraints	: 0
1800.06/1798.12	c root simplifications	: 0
1800.06/1798.12	c removed literals (reason simplification)	: 9534387
1800.06/1798.12	c reason swapping (by a shorter reason)	: 0
1800.06/1798.12	c Calls to reduceDB	: 333
1800.06/1798.12	c number of reductions to clauses (during analyze)	: 0
1800.06/1798.12	c number of learned constraints concerned by reduction	: 0
1800.06/1798.12	c number of learning phase by resolution	: 0
1800.06/1798.12	c number of learning phase by cutting planes	: 0
1800.06/1798.12	c speed (assignments/second)	: 4514794.04772313
1800.06/1798.12	c non guided choices	23080
1800.06/1798.13	c learnt constraints type 
1800.06/1798.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19727
1800.06/1798.13	c constraints type 
1800.06/1798.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3114
1800.06/1798.13	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1798.13	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14512
1800.06/1798.13	s SATISFIABLE
1800.06/1798.14	v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 x4900 x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 x4993 x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 x5364 x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 x5447 x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 x5670 x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 x5751 x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 x5908 x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 x6077 x6078 x6079 x6080 
1800.06/1798.15	c objective function=27
1800.06/1798.15	c Total wall clock time (in seconds): 1798.04

Verifier Data 

OK	27

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

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

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


[startup+0 s]
/proc/loadavg: 1.09 1.63 1.85 3/468 11759
/proc/meminfo: memFree=24150532/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 1236 0 0 0 0 0 0 0 23 0 2 0 905882689 31260672 957 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 7632 957 730 9 0 383 0
[pid=11759/tid=11761] ppid=11757 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 5833 0 1 0 0 0 0 0 25 0 2 0 905882690 13850947584 6649 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0913779 s]
/proc/loadavg: 1.09 1.63 1.85 3/468 11759
/proc/meminfo: memFree=24150532/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13622128 CPUtime=0.09 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 15286 0 1 0 7 2 0 0 23 0 18 0 905882689 13949059072 14965 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3405532 14966 2053 9 0 3396266 0
[pid=11759/tid=11761] ppid=11757 vsize=13622128 CPUtime=0.07 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 13446 0 1 0 5 2 0 0 18 0 18 0 905882690 13949059072 14967 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 47771455506980 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622128

[startup+0.100377 s]
/proc/loadavg: 1.09 1.63 1.85 3/468 11759
/proc/meminfo: memFree=24150532/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13622276 CPUtime=0.1 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 15524 0 1 0 8 2 0 0 23 0 18 0 905882689 13949210624 15203 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3405569 15203 2092 9 0 3396303 0
[pid=11759/tid=11761] ppid=11757 vsize=13622276 CPUtime=0.08 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 13588 0 1 0 6 2 0 0 18 0 18 0 905882690 13949210624 15203 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 47771454229803 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622276

[startup+0.303349 s]
/proc/loadavg: 1.09 1.63 1.85 3/468 11759
/proc/meminfo: memFree=24150532/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13625192 CPUtime=0.53 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 19408 0 1 0 50 3 0 0 23 0 18 0 905882689 13952196608 18625 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3406298 18626 2201 9 0 3397032 0
[pid=11759/tid=11761] ppid=11757 vsize=13625192 CPUtime=0.28 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 16025 0 1 0 26 2 0 0 18 0 18 0 905882690 13952196608 18627 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 46912505614652 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13625192

[startup+0.700344 s]
/proc/loadavg: 1.09 1.63 1.85 3/468 11759
/proc/meminfo: memFree=24150532/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13629256 CPUtime=1.5 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 30537 0 1 0 146 4 0 0 23 0 19 0 905882689 13956358144 27526 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3407314 27526 2235 9 0 3398048 0
[pid=11759/tid=11761] ppid=11757 vsize=13629256 CPUtime=0.68 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 23364 0 1 0 64 4 0 0 19 0 19 0 905882690 13956358144 27526 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 46912505120858 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13629256

[startup+1.50115 s]
/proc/loadavg: 1.17 1.64 1.86 4/506 11797
/proc/meminfo: memFree=23960080/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13629256 CPUtime=2.42 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 31363 0 1 0 237 5 0 0 23 0 19 0 905882689 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3407314 28308 2237 9 0 3398048 0
[pid=11759/tid=11761] ppid=11757 vsize=13629256 CPUtime=1.48 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 24146 0 1 0 144 4 0 0 20 0 19 0 905882690 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 46912505892031 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11759/tid=11764] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11764/stat : 11764 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882692 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11765] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11765/stat : 11765 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882692 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11766] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11766/stat : 11766 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882692 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11767] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11767/stat : 11767 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882692 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11768] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11768/stat : 11768 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882692 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11769] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11769/stat : 11769 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882692 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11770] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11770/stat : 11770 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882692 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11771] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11771/stat : 11771 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882692 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11780] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11780/stat : 11780 (java) S 11757 11759 8699 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 905882693 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 0 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11782] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11782/stat : 11782 (java) S 11757 11759 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905882693 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11783] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11783/stat : 11783 (java) S 11757 11759 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905882693 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11786] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11786/stat : 11786 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469889457 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11787] ppid=11757 vsize=13629256 CPUtime=0.44 cores=0,2,4,6
/proc/11759/task/11787/stat : 11787 (java) S 11757 11759 8699 0 -1 4202560 3186 0 0 0 44 0 0 0 15 0 19 0 905882695 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11790] ppid=11757 vsize=13629256 CPUtime=0.47 cores=0,2,4,6
/proc/11759/task/11790/stat : 11790 (java) S 11757 11759 8699 0 -1 4202560 2872 0 0 0 47 0 0 0 16 0 19 0 905882695 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11791] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11791/stat : 11791 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11794] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11794/stat : 11794 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905882695 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11797] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11797/stat : 11797 (java) S 11757 11759 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905882736 13956358144 28308 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 13629256

[startup+3.10088 s]
/proc/loadavg: 1.17 1.64 1.86 4/506 11797
/proc/meminfo: memFree=23950160/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13629256 CPUtime=4.05 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 33704 0 1 0 400 5 0 0 23 0 19 0 905882689 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3407314 30642 2263 9 0 3398048 0
[pid=11759/tid=11761] ppid=11757 vsize=13629256 CPUtime=3.06 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 24621 0 1 0 302 4 0 0 25 0 19 0 905882690 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 46912505859136 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11759/tid=11764] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11764/stat : 11764 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11765] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11765/stat : 11765 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11766] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11766/stat : 11766 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11767] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11767/stat : 11767 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11768] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11768/stat : 11768 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11769] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11769/stat : 11769 (java) S 11757 11759 8699 0 -1 4202560 267 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11770] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11770/stat : 11770 (java) S 11757 11759 8699 0 -1 4202560 310 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11771] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11771/stat : 11771 (java) S 11757 11759 8699 0 -1 4202560 351 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11780] ppid=11757 vsize=13629256 CPUtime=0.01 cores=0,2,4,6
/proc/11759/task/11780/stat : 11780 (java) S 11757 11759 8699 0 -1 4202560 931 0 0 0 1 0 0 0 16 0 19 0 905882693 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 0 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11782] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11782/stat : 11782 (java) S 11757 11759 8699 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11783] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11783/stat : 11783 (java) S 11757 11759 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11786] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11786/stat : 11786 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469889457 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11787] ppid=11757 vsize=13629256 CPUtime=0.46 cores=0,2,4,6
/proc/11759/task/11787/stat : 11787 (java) S 11757 11759 8699 0 -1 4202560 3192 0 0 0 46 0 0 0 15 0 19 0 905882695 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11790] ppid=11757 vsize=13629256 CPUtime=0.48 cores=0,2,4,6
/proc/11759/task/11790/stat : 11790 (java) S 11757 11759 8699 0 -1 4202560 2878 0 0 0 48 0 0 0 15 0 19 0 905882695 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11791] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11791/stat : 11791 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11794] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11794/stat : 11794 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905882695 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11797] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11797/stat : 11797 (java) S 11757 11759 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905882736 13956358144 30642 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 13629256

[startup+6.3013 s]
/proc/loadavg: 1.17 1.64 1.86 4/506 11797
/proc/meminfo: memFree=23937868/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13629256 CPUtime=7.29 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 34109 0 1 0 724 5 0 0 23 0 19 0 905882689 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3407314 31029 2263 9 0 3398048 0
[pid=11759/tid=11761] ppid=11757 vsize=13629256 CPUtime=6.24 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 24623 0 1 0 620 4 0 0 25 0 19 0 905882690 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 46912505842514 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11759/tid=11764] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11764/stat : 11764 (java) S 11757 11759 8699 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 905882692 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11765] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11765/stat : 11765 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905882692 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11766] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11766/stat : 11766 (java) S 11757 11759 8699 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 905882692 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11767] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11767/stat : 11767 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905882692 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11768] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11768/stat : 11768 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905882692 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11769] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11769/stat : 11769 (java) S 11757 11759 8699 0 -1 4202560 267 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11770] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11770/stat : 11770 (java) S 11757 11759 8699 0 -1 4202560 348 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11771] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11771/stat : 11771 (java) S 11757 11759 8699 0 -1 4202560 351 0 0 0 0 0 0 0 18 0 19 0 905882692 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11780] ppid=11757 vsize=13629256 CPUtime=0.03 cores=0,2,4,6
/proc/11759/task/11780/stat : 11780 (java) S 11757 11759 8699 0 -1 4202560 1067 0 0 0 3 0 0 0 15 0 19 0 905882693 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 0 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11782] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11782/stat : 11782 (java) S 11757 11759 8699 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11783] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11783/stat : 11783 (java) S 11757 11759 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11786] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11786/stat : 11786 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469889457 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11787] ppid=11757 vsize=13629256 CPUtime=0.48 cores=0,2,4,6
/proc/11759/task/11787/stat : 11787 (java) S 11757 11759 8699 0 -1 4202560 3194 0 0 0 48 0 0 0 16 0 19 0 905882695 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11790] ppid=11757 vsize=13629256 CPUtime=0.5 cores=0,2,4,6
/proc/11759/task/11790/stat : 11790 (java) S 11757 11759 8699 0 -1 4202560 2882 0 0 0 50 0 0 0 15 0 19 0 905882695 13956358144 31029 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0

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

[pid=11759/tid=11769] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11769/stat : 11769 (java) S 11757 11759 8699 0 -1 4202560 663 0 0 0 21 0 0 0 15 0 19 0 905882692 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11770] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11770/stat : 11770 (java) S 11757 11759 8699 0 -1 4202560 391 0 0 0 21 0 0 0 16 0 19 0 905882692 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11771] ppid=11757 vsize=13629256 CPUtime=0.2 cores=0,2,4,6
/proc/11759/task/11771/stat : 11771 (java) S 11757 11759 8699 0 -1 4202560 427 0 0 0 20 0 0 0 16 0 19 0 905882692 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11780] ppid=11757 vsize=13629256 CPUtime=8.88 cores=0,2,4,6
/proc/11759/task/11780/stat : 11780 (java) S 11757 11759 8699 0 -1 4202560 4399 0 0 0 883 5 0 0 15 0 19 0 905882693 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 0 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11782] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11782/stat : 11782 (java) S 11757 11759 8699 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11783] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11783/stat : 11783 (java) S 11757 11759 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11786] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11786/stat : 11786 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469889457 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11787] ppid=11757 vsize=13629256 CPUtime=0.55 cores=0,2,4,6
/proc/11759/task/11787/stat : 11787 (java) S 11757 11759 8699 0 -1 4202560 3217 0 0 0 55 0 0 0 15 0 19 0 905882695 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11790] ppid=11757 vsize=13629256 CPUtime=0.5 cores=0,2,4,6
/proc/11759/task/11790/stat : 11790 (java) S 11757 11759 8699 0 -1 4202560 2882 0 0 0 50 0 0 0 15 0 19 0 905882695 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11791] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11791/stat : 11791 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11794] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11794/stat : 11794 (java) S 11757 11759 8699 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 905882695 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11797] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11797/stat : 11797 (java) S 11757 11759 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905882736 13956358144 35568 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.22
Current children cumulated vsize (KiB) 13629256

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/506 11845
/proc/meminfo: memFree=23903992/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13629256 CPUtime=1784.25 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 39186 0 1 0 178412 13 0 0 23 0 19 0 905882689 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3407314 35573 2264 9 0 3398048 0
[pid=11759/tid=11761] ppid=11757 vsize=13629256 CPUtime=1772.31 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 24951 0 1 0 177226 5 0 0 25 0 19 0 905882690 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 46912505842533 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11759/tid=11764] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11764/stat : 11764 (java) S 11757 11759 8699 0 -1 4202560 296 0 0 0 21 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11765] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11765/stat : 11765 (java) S 11757 11759 8699 0 -1 4202560 72 0 0 0 21 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11766] ppid=11757 vsize=13629256 CPUtime=0.22 cores=0,2,4,6
/proc/11759/task/11766/stat : 11766 (java) S 11757 11759 8699 0 -1 4202560 162 0 0 0 22 0 0 0 16 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11767] ppid=11757 vsize=13629256 CPUtime=0.18 cores=0,2,4,6
/proc/11759/task/11767/stat : 11767 (java) S 11757 11759 8699 0 -1 4202560 224 0 0 0 18 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11768] ppid=11757 vsize=13629256 CPUtime=0.19 cores=0,2,4,6
/proc/11759/task/11768/stat : 11768 (java) S 11757 11759 8699 0 -1 4202560 249 0 0 0 19 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11769] ppid=11757 vsize=13629256 CPUtime=0.22 cores=0,2,4,6
/proc/11759/task/11769/stat : 11769 (java) S 11757 11759 8699 0 -1 4202560 663 0 0 0 22 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11770] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11770/stat : 11770 (java) S 11757 11759 8699 0 -1 4202560 391 0 0 0 21 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11771] ppid=11757 vsize=13629256 CPUtime=0.2 cores=0,2,4,6
/proc/11759/task/11771/stat : 11771 (java) S 11757 11759 8699 0 -1 4202560 427 0 0 0 20 0 0 0 16 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11780] ppid=11757 vsize=13629256 CPUtime=9.17 cores=0,2,4,6
/proc/11759/task/11780/stat : 11780 (java) S 11757 11759 8699 0 -1 4202560 4401 0 0 0 912 5 0 0 15 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 0 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11782] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11782/stat : 11782 (java) S 11757 11759 8699 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11783] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11783/stat : 11783 (java) S 11757 11759 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11786] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11786/stat : 11786 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469889457 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11787] ppid=11757 vsize=13629256 CPUtime=0.55 cores=0,2,4,6
/proc/11759/task/11787/stat : 11787 (java) S 11757 11759 8699 0 -1 4202560 3217 0 0 0 55 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11790] ppid=11757 vsize=13629256 CPUtime=0.5 cores=0,2,4,6
/proc/11759/task/11790/stat : 11790 (java) S 11757 11759 8699 0 -1 4202560 2882 0 0 0 50 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11791] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11791/stat : 11791 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11794] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11794/stat : 11794 (java) S 11757 11759 8699 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11797] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11797/stat : 11797 (java) S 11757 11759 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905882736 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.25
Current children cumulated vsize (KiB) 13629256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.1 s]
/proc/loadavg: 2.00 2.01 1.95 2/486 11848
/proc/meminfo: memFree=24005932/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13629256 CPUtime=1800.06 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 39193 0 1 0 179993 13 0 0 23 0 19 0 905882689 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3407314 35573 2264 9 0 3398048 0
[pid=11759/tid=11761] ppid=11757 vsize=13629256 CPUtime=1788.03 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 24954 0 1 0 178798 5 0 0 25 0 19 0 905882690 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 46912505842534 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11759/tid=11764] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11764/stat : 11764 (java) S 11757 11759 8699 0 -1 4202560 296 0 0 0 21 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11765] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11765/stat : 11765 (java) S 11757 11759 8699 0 -1 4202560 72 0 0 0 21 0 0 0 16 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11766] ppid=11757 vsize=13629256 CPUtime=0.22 cores=0,2,4,6
/proc/11759/task/11766/stat : 11766 (java) S 11757 11759 8699 0 -1 4202560 162 0 0 0 22 0 0 0 16 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11767] ppid=11757 vsize=13629256 CPUtime=0.18 cores=0,2,4,6
/proc/11759/task/11767/stat : 11767 (java) S 11757 11759 8699 0 -1 4202560 224 0 0 0 18 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11768] ppid=11757 vsize=13629256 CPUtime=0.19 cores=0,2,4,6
/proc/11759/task/11768/stat : 11768 (java) S 11757 11759 8699 0 -1 4202560 249 0 0 0 19 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11769] ppid=11757 vsize=13629256 CPUtime=0.22 cores=0,2,4,6
/proc/11759/task/11769/stat : 11769 (java) S 11757 11759 8699 0 -1 4202560 663 0 0 0 22 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11770] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11770/stat : 11770 (java) S 11757 11759 8699 0 -1 4202560 391 0 0 0 21 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11771] ppid=11757 vsize=13629256 CPUtime=0.2 cores=0,2,4,6
/proc/11759/task/11771/stat : 11771 (java) S 11757 11759 8699 0 -1 4202560 427 0 0 0 20 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11780] ppid=11757 vsize=13629256 CPUtime=9.26 cores=0,2,4,6
/proc/11759/task/11780/stat : 11780 (java) S 11757 11759 8699 0 -1 4202560 4403 0 0 0 921 5 0 0 15 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 0 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11782] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11782/stat : 11782 (java) S 11757 11759 8699 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11783] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11783/stat : 11783 (java) S 11757 11759 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11786] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11786/stat : 11786 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469889457 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11787] ppid=11757 vsize=13629256 CPUtime=0.55 cores=0,2,4,6
/proc/11759/task/11787/stat : 11787 (java) S 11757 11759 8699 0 -1 4202560 3217 0 0 0 55 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11790] ppid=11757 vsize=13629256 CPUtime=0.5 cores=0,2,4,6
/proc/11759/task/11790/stat : 11790 (java) S 11757 11759 8699 0 -1 4202560 2882 0 0 0 50 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11791] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11791/stat : 11791 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11794] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11794/stat : 11794 (java) R 11757 11759 8699 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11759/tid=11797] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11797/stat : 11797 (java) S 11757 11759 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905882736 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13629256

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

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

[startup+1798.1 s]
/proc/loadavg: 2.00 2.01 1.95 2/486 11848
/proc/meminfo: memFree=24005932/32951124 swapFree=56297244/67111528
[pid=11759] ppid=11757 vsize=13629256 CPUtime=1800.06 cores=0,2,4,6
/proc/11759/stat : 11759 (java) S 11757 11759 8699 0 -1 4202496 39193 0 1 0 179993 13 0 0 23 0 19 0 905882689 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11759/statm: 3407314 35573 2264 9 0 3398048 0
[pid=11759/tid=11761] ppid=11757 vsize=13629256 CPUtime=1788.03 cores=0,2,4,6
/proc/11759/task/11761/stat : 11761 (java) R 11757 11759 8699 0 -1 4202560 24954 0 1 0 178798 5 0 0 25 0 19 0 905882690 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 46912505842534 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11759/tid=11764] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11764/stat : 11764 (java) S 11757 11759 8699 0 -1 4202560 296 0 0 0 21 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11765] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11765/stat : 11765 (java) S 11757 11759 8699 0 -1 4202560 72 0 0 0 21 0 0 0 16 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11766] ppid=11757 vsize=13629256 CPUtime=0.22 cores=0,2,4,6
/proc/11759/task/11766/stat : 11766 (java) S 11757 11759 8699 0 -1 4202560 162 0 0 0 22 0 0 0 16 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 6 0 0 0
[pid=11759/tid=11767] ppid=11757 vsize=13629256 CPUtime=0.18 cores=0,2,4,6
/proc/11759/task/11767/stat : 11767 (java) S 11757 11759 8699 0 -1 4202560 224 0 0 0 18 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11768] ppid=11757 vsize=13629256 CPUtime=0.19 cores=0,2,4,6
/proc/11759/task/11768/stat : 11768 (java) S 11757 11759 8699 0 -1 4202560 249 0 0 0 19 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11769] ppid=11757 vsize=13629256 CPUtime=0.22 cores=0,2,4,6
/proc/11759/task/11769/stat : 11769 (java) S 11757 11759 8699 0 -1 4202560 663 0 0 0 22 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
[pid=11759/tid=11770] ppid=11757 vsize=13629256 CPUtime=0.21 cores=0,2,4,6
/proc/11759/task/11770/stat : 11770 (java) S 11757 11759 8699 0 -1 4202560 391 0 0 0 21 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11771] ppid=11757 vsize=13629256 CPUtime=0.2 cores=0,2,4,6
/proc/11759/task/11771/stat : 11771 (java) S 11757 11759 8699 0 -1 4202560 427 0 0 0 20 0 0 0 15 0 19 0 905882692 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11780] ppid=11757 vsize=13629256 CPUtime=9.26 cores=0,2,4,6
/proc/11759/task/11780/stat : 11780 (java) S 11757 11759 8699 0 -1 4202560 4403 0 0 0 921 5 0 0 15 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 0 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11782] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11782/stat : 11782 (java) S 11757 11759 8699 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11783] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11783/stat : 11783 (java) S 11757 11759 8699 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905882693 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11786] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11786/stat : 11786 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469889457 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11787] ppid=11757 vsize=13629256 CPUtime=0.55 cores=0,2,4,6
/proc/11759/task/11787/stat : 11787 (java) S 11757 11759 8699 0 -1 4202560 3217 0 0 0 55 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11790] ppid=11757 vsize=13629256 CPUtime=0.5 cores=0,2,4,6
/proc/11759/task/11790/stat : 11790 (java) S 11757 11759 8699 0 -1 4202560 2882 0 0 0 50 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 2 0 0 0
[pid=11759/tid=11791] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11791/stat : 11791 (java) S 11757 11759 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469881753 0 4 0 16800975 18446604444321692672 0 0 -1 4 0 0 0
[pid=11759/tid=11794] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11794/stat : 11794 (java) R 11757 11759 8699 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 905882695 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11759/tid=11797] ppid=11757 vsize=13629256 CPUtime=0 cores=0,2,4,6
/proc/11759/task/11797/stat : 11797 (java) S 11757 11759 8699 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 905882736 13956358144 35573 33554432000 1073741824 1073778376 140733431372256 18446744073709551615 252469882368 0 4 0 16800975 18446604444321692672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13629256

Child status: 143
Real time (s): 1798.17
CPU time (s): 1800.18
CPU user time (s): 1800.04
CPU system time (s): 0.139978
CPU usage (%): 100.112
Max. virtual memory (cumulated for all children) (KiB): 13630848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39314
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= 45603
involuntary context switches= 9773

runsolver used 8.81566 second user time and 18.9471 second system time

The end

Launcher Data 

Begin job on node111 at 2011-06-04 05:02:02
IDJOB=3458494
IDBENCH=24996
IDSOLVER=1952
FILE ID=node111/3458494-1307156522
RUNJOBID= node111-1307156522-11740
PBS_JOBID= 13508805
Free space on /tmp= 73868 MiB

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

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

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=1716051659

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.86
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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24150688 kB
Buffers:        310408 kB
Cached:         818936 kB
SwapCached:      11784 kB
Active:        7758088 kB
Inactive:       764832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24150688 kB
SwapTotal:    67111528 kB
SwapFree:     56297244 kB
Dirty:            1624 kB
Writeback:           0 kB
AnonPages:     7390224 kB
Mapped:          27824 kB
Slab:           143020 kB
PageTables:      66380 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 149075856 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= 73868 MiB
End job on node111 at 2011-06-04 05:32:02