Trace number 3744304

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO) 1800.54 914.063

General information on the benchmark

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

Solver Data 

0.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.05/0.09	c version 2.2.0.v20100531
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		1349517296
0.05/0.09	c Max memory 		1356595200
0.05/0.09	c Total memory 		1356595200
0.05/0.09	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c Stops conflict analysis at the first Unique Implication Point
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c Stops conflict analysis at the first Unique Implication Point
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	
0.07/0.13	c solving HOME/instance-3744304-1338806856.opb
0.07/0.13	c reading problem ... 
1.10/0.56	c ... done. Wall clock time 0.435s.
1.10/0.56	c #vars     5100
1.10/0.56	c #constraints  12608
1.10/0.56	c constraints type 
1.10/0.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1.10/0.56	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.10/0.56	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1.10/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
1.10/0.56	c constraints type 
1.10/0.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1.10/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1.10/0.56	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.10/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
2.63/0.90	c And the winner is Resolution
2.79/1.58	c SATISFIABLE
2.79/1.58	c OPTIMIZING...
2.79/1.58	c Got one! Elapsed wall clock time (in seconds):1.452
2.79/1.58	o 3841241
12.04/5.89	c cleaning 2498 clauses out of 5000 with flag 5000/5000
22.70/10.83	c cleaning 4250 clauses out of 8502 with flag 11000/11000
33.11/16.09	c cleaning 5619 clauses out of 11253 with flag 18001/18001
43.18/21.09	c cleaning 6804 clauses out of 13633 with flag 26001/26001
53.40/26.17	c cleaning 7908 clauses out of 15829 with flag 35001/35001
62.08/30.48	c cleaning 8951 clauses out of 17923 with flag 45003/45003
71.07/34.99	c cleaning 9978 clauses out of 19970 with flag 56001/56001
77.66/38.29	c cleaning 10991 clauses out of 21992 with flag 68001/68001
90.06/44.41	c cleaning 11998 clauses out of 24000 with flag 81000/81000
101.83/50.36	c cleaning 12501 clauses out of 25002 with flag 94000/94000
111.57/55.21	c cleaning 12735 clauses out of 25501 with flag 107000/107000
120.08/59.53	c cleaning 12875 clauses out of 25766 with flag 120000/120000
128.43/63.71	c cleaning 12930 clauses out of 25891 with flag 133000/133000
135.96/67.50	c cleaning 12971 clauses out of 25961 with flag 146000/146000
143.11/71.19	c cleaning 12988 clauses out of 25991 with flag 159001/159001
150.48/74.81	c cleaning 12995 clauses out of 26002 with flag 172000/172000
164.19/81.72	c cleaning 12997 clauses out of 26006 with flag 185000/185000
171.31/85.36	c cleaning 12997 clauses out of 26009 with flag 198000/198000
179.88/89.69	c cleaning 12997 clauses out of 26012 with flag 211000/211000
189.81/94.61	c cleaning 13001 clauses out of 26016 with flag 224001/224001
198.88/99.21	c cleaning 12991 clauses out of 26015 with flag 237001/237001
206.19/102.90	c cleaning 13000 clauses out of 26024 with flag 250001/250001
218.74/109.20	c cleaning 13012 clauses out of 26023 with flag 263000/263000
229.06/114.41	c cleaning 12999 clauses out of 26012 with flag 276001/276001
237.30/118.62	c cleaning 12996 clauses out of 26012 with flag 289000/289000
245.83/122.90	c cleaning 12999 clauses out of 26016 with flag 302000/302000
254.73/127.48	c cleaning 13005 clauses out of 26018 with flag 315001/315001
263.05/131.68	c cleaning 12995 clauses out of 26012 with flag 328000/328000
270.13/135.28	c cleaning 13001 clauses out of 26017 with flag 341000/341000
280.21/140.36	c cleaning 12994 clauses out of 26016 with flag 354000/354000
290.30/145.46	c cleaning 13005 clauses out of 26023 with flag 367001/367001
299.81/150.24	c cleaning 13002 clauses out of 26018 with flag 380001/380001
309.28/155.06	c cleaning 13004 clauses out of 26015 with flag 393000/393000
317.04/158.93	c cleaning 12991 clauses out of 26011 with flag 406000/406000
324.54/162.79	c cleaning 13000 clauses out of 26020 with flag 419000/419000
334.63/167.81	c cleaning 12996 clauses out of 26020 with flag 432000/432000
342.08/171.68	c cleaning 12999 clauses out of 26025 with flag 445001/445001
350.78/176.02	c cleaning 13000 clauses out of 26025 with flag 458000/458000
370.57/185.94	c cleaning 13007 clauses out of 26026 with flag 471001/471001
377.71/189.52	c cleaning 12999 clauses out of 26019 with flag 484001/484001
384.35/192.93	c cleaning 12998 clauses out of 26019 with flag 497000/497000
391.10/196.39	c cleaning 13000 clauses out of 26022 with flag 510001/510001
397.99/199.87	c cleaning 12995 clauses out of 26021 with flag 523000/523000
405.32/203.51	c cleaning 13003 clauses out of 26027 with flag 536001/536001
413.33/207.62	c cleaning 13000 clauses out of 26023 with flag 549000/549000
421.65/211.81	c cleaning 13005 clauses out of 26023 with flag 562000/562000
428.74/215.41	c cleaning 12998 clauses out of 26019 with flag 575001/575001
435.62/218.95	c cleaning 13004 clauses out of 26021 with flag 588001/588001
446.11/224.25	c cleaning 13004 clauses out of 26015 with flag 601000/601000
453.22/227.87	c cleaning 12989 clauses out of 26012 with flag 614001/614001
461.74/232.15	c cleaning 13003 clauses out of 26022 with flag 627000/627000
468.22/235.48	c cleaning 13001 clauses out of 26020 with flag 640001/640001
474.82/238.83	c cleaning 12999 clauses out of 26019 with flag 653001/653001
481.31/242.14	c cleaning 12999 clauses out of 26019 with flag 666000/666000
487.82/245.47	c cleaning 13004 clauses out of 26020 with flag 679001/679001
494.49/248.85	c cleaning 12995 clauses out of 26015 with flag 692000/692000
501.13/252.20	c cleaning 12997 clauses out of 26020 with flag 705000/705000
508.23/255.85	c cleaning 13002 clauses out of 26023 with flag 718000/718000
516.34/259.94	c cleaning 13002 clauses out of 26021 with flag 731000/731000
523.44/263.59	c cleaning 12999 clauses out of 26019 with flag 744000/744000
530.66/267.30	c cleaning 12998 clauses out of 26020 with flag 757000/757000
537.56/270.78	c cleaning 13004 clauses out of 26022 with flag 770000/770000
544.66/274.36	c cleaning 12998 clauses out of 26018 with flag 783000/783000
554.00/279.07	c cleaning 12999 clauses out of 26017 with flag 796000/796000
563.25/283.78	c cleaning 13001 clauses out of 26019 with flag 809001/809001
572.72/288.54	c cleaning 12997 clauses out of 26017 with flag 822000/822000
582.00/293.20	c cleaning 13003 clauses out of 26020 with flag 835000/835000
591.27/297.90	c cleaning 13003 clauses out of 26018 with flag 848001/848001
600.50/302.69	c cleaning 13000 clauses out of 26015 with flag 861001/861001
609.56/307.29	c cleaning 12991 clauses out of 26014 with flag 874000/874000
618.84/311.96	c cleaning 13002 clauses out of 26023 with flag 887000/887000
626.99/316.00	c cleaning 13001 clauses out of 26023 with flag 900002/900002
634.42/319.84	c cleaning 12990 clauses out of 26020 with flag 913000/913000
641.53/323.49	c cleaning 13002 clauses out of 26030 with flag 926000/926000
650.64/328.05	c cleaning 13010 clauses out of 26028 with flag 939000/939000
659.52/332.53	c cleaning 12998 clauses out of 26018 with flag 952000/952000
665.74/335.70	c cleaning 13000 clauses out of 26020 with flag 965000/965000
672.62/339.25	c cleaning 13002 clauses out of 26021 with flag 978001/978001
679.11/342.52	c cleaning 12999 clauses out of 26018 with flag 991000/991000
685.37/345.79	c cleaning 12998 clauses out of 26020 with flag 1004001/1004001
692.01/349.13	c cleaning 12991 clauses out of 26022 with flag 1017001/1017001
698.89/352.68	c cleaning 13006 clauses out of 26030 with flag 1030000/1030000
705.16/355.82	c cleaning 13001 clauses out of 26024 with flag 1043000/1043000
711.46/359.04	c cleaning 13006 clauses out of 26025 with flag 1056002/1056002
717.87/362.32	c cleaning 13000 clauses out of 26017 with flag 1069000/1069000
724.55/365.72	c cleaning 13003 clauses out of 26018 with flag 1082001/1082001
731.66/369.34	c cleaning 12998 clauses out of 26014 with flag 1095000/1095000
738.93/373.07	c cleaning 13001 clauses out of 26017 with flag 1108001/1108001
746.54/376.91	c cleaning 13000 clauses out of 26015 with flag 1121000/1121000
753.82/380.65	c cleaning 12998 clauses out of 26016 with flag 1134001/1134001
761.67/384.66	c cleaning 13001 clauses out of 26017 with flag 1147000/1147000
770.54/389.14	c cleaning 13001 clauses out of 26017 with flag 1160001/1160001
779.37/393.65	c cleaning 12995 clauses out of 26015 with flag 1173000/1173000
788.47/398.24	c cleaning 12999 clauses out of 26020 with flag 1186000/1186000
796.30/402.29	c cleaning 13000 clauses out of 26021 with flag 1199000/1199000
803.16/405.72	c cleaning 13000 clauses out of 26022 with flag 1212001/1212001
810.00/409.26	c cleaning 12998 clauses out of 26021 with flag 1225000/1225000
816.66/412.64	c cleaning 13003 clauses out of 26024 with flag 1238001/1238001
823.56/416.14	c cleaning 13001 clauses out of 26021 with flag 1251001/1251001
830.45/419.62	c cleaning 13000 clauses out of 26020 with flag 1264001/1264001
837.48/423.20	c cleaning 13000 clauses out of 26019 with flag 1277000/1277000
844.39/426.79	c cleaning 13000 clauses out of 26020 with flag 1290001/1290001
851.24/430.23	c cleaning 12999 clauses out of 26020 with flag 1303001/1303001
858.33/433.85	c cleaning 13002 clauses out of 26021 with flag 1316001/1316001
865.36/437.42	c cleaning 12998 clauses out of 26019 with flag 1329001/1329001
874.71/442.13	c cleaning 13001 clauses out of 26019 with flag 1342000/1342000
883.23/446.45	c cleaning 12998 clauses out of 26019 with flag 1355001/1355001
889.71/449.76	c cleaning 12996 clauses out of 26020 with flag 1368000/1368000
896.74/453.32	c cleaning 13001 clauses out of 26025 with flag 1381001/1381001
903.60/456.88	c cleaning 13007 clauses out of 26024 with flag 1394001/1394001
910.31/460.24	c cleaning 12999 clauses out of 26017 with flag 1407001/1407001
916.98/463.63	c cleaning 12996 clauses out of 26017 with flag 1420000/1420000
923.82/467.15	c cleaning 12992 clauses out of 26021 with flag 1433000/1433000
930.67/470.62	c cleaning 13006 clauses out of 26030 with flag 1446001/1446001
937.37/474.07	c cleaning 13002 clauses out of 26025 with flag 1459002/1459002
944.65/477.72	c cleaning 12998 clauses out of 26022 with flag 1472001/1472001
951.26/481.15	c cleaning 12997 clauses out of 26023 with flag 1485000/1485000
958.33/484.71	c cleaning 13011 clauses out of 26026 with flag 1498000/1498000
965.21/488.28	c cleaning 12998 clauses out of 26015 with flag 1511000/1511000
972.29/491.86	c cleaning 13001 clauses out of 26018 with flag 1524001/1524001
979.15/495.37	c cleaning 12996 clauses out of 26016 with flag 1537000/1537000
985.85/498.77	c cleaning 12996 clauses out of 26020 with flag 1550000/1550000
992.75/502.25	c cleaning 13004 clauses out of 26024 with flag 1563000/1563000
999.83/505.86	c cleaning 13005 clauses out of 26021 with flag 1576001/1576001
1006.84/509.49	c cleaning 12993 clauses out of 26015 with flag 1589000/1589000
1013.75/512.95	c cleaning 12998 clauses out of 26022 with flag 1602000/1602000
1020.65/516.48	c cleaning 13005 clauses out of 26024 with flag 1615000/1615000
1027.51/519.93	c cleaning 13000 clauses out of 26020 with flag 1628001/1628001
1034.33/523.48	c cleaning 13001 clauses out of 26020 with flag 1641001/1641001
1040.84/526.71	c cleaning 12998 clauses out of 26019 with flag 1654001/1654001
1047.38/530.06	c cleaning 13001 clauses out of 26021 with flag 1667001/1667001
1054.29/533.54	c cleaning 13001 clauses out of 26020 with flag 1680001/1680001
1061.31/537.15	c cleaning 12997 clauses out of 26018 with flag 1693000/1693000
1068.58/540.86	c cleaning 13001 clauses out of 26022 with flag 1706001/1706001
1075.25/544.27	c cleaning 12994 clauses out of 26022 with flag 1719002/1719002
1081.92/547.65	c cleaning 13000 clauses out of 26026 with flag 1732000/1732000
1088.51/551.09	c cleaning 13000 clauses out of 26026 with flag 1745000/1745000
1095.17/554.47	c cleaning 13003 clauses out of 26026 with flag 1758000/1758000
1101.82/557.82	c cleaning 12997 clauses out of 26024 with flag 1771001/1771001
1108.28/561.11	c cleaning 13009 clauses out of 26027 with flag 1784001/1784001
1114.86/564.60	c cleaning 13000 clauses out of 26018 with flag 1797001/1797001
1121.53/567.98	c cleaning 12999 clauses out of 26017 with flag 1810000/1810000
1128.39/571.42	c cleaning 13004 clauses out of 26019 with flag 1823001/1823001
1135.27/574.94	c cleaning 12997 clauses out of 26015 with flag 1836001/1836001
1142.29/578.51	c cleaning 13002 clauses out of 26017 with flag 1849000/1849000
1149.12/582.02	c cleaning 12996 clauses out of 26015 with flag 1862000/1862000
1155.79/585.49	c cleaning 13002 clauses out of 26019 with flag 1875000/1875000
1162.85/589.02	c cleaning 13000 clauses out of 26017 with flag 1888000/1888000
1169.66/592.59	c cleaning 12998 clauses out of 26017 with flag 1901000/1901000
1176.53/596.03	c cleaning 13003 clauses out of 26019 with flag 1914000/1914000
1183.39/599.54	c cleaning 13003 clauses out of 26017 with flag 1927001/1927001
1190.05/602.97	c cleaning 12997 clauses out of 26014 with flag 1940001/1940001
1196.84/606.43	c cleaning 12999 clauses out of 26017 with flag 1953001/1953001
1203.49/609.85	c cleaning 13001 clauses out of 26017 with flag 1966000/1966000
1210.15/613.28	c cleaning 13002 clauses out of 26017 with flag 1979001/1979001
1217.02/616.72	c cleaning 12999 clauses out of 26015 with flag 1992001/1992001
1225.07/620.81	c cleaning 12997 clauses out of 26016 with flag 2005001/2005001
1234.36/625.54	c cleaning 13002 clauses out of 26018 with flag 2018000/2018000
1244.40/630.65	c cleaning 13005 clauses out of 26017 with flag 2031001/2031001
1252.08/634.58	c cleaning 12982 clauses out of 26011 with flag 2044000/2044000
1259.88/638.51	c cleaning 13010 clauses out of 26029 with flag 2057000/2057000
1266.73/642.06	c cleaning 13002 clauses out of 26019 with flag 2070000/2070000
1273.40/645.47	c cleaning 13001 clauses out of 26017 with flag 2083000/2083000
1280.89/649.25	c cleaning 12998 clauses out of 26016 with flag 2096000/2096000
1288.11/652.94	c cleaning 13000 clauses out of 26018 with flag 2109000/2109000
1295.41/656.62	c cleaning 13004 clauses out of 26019 with flag 2122001/2122001
1303.25/660.67	c cleaning 12992 clauses out of 26014 with flag 2135000/2135000
1310.91/664.51	c cleaning 13004 clauses out of 26022 with flag 2148000/2148000
1317.33/667.85	c cleaning 12999 clauses out of 26019 with flag 2161001/2161001
1324.01/671.25	c cleaning 12997 clauses out of 26019 with flag 2174000/2174000
1330.69/674.67	c cleaning 13003 clauses out of 26022 with flag 2187000/2187000
1340.46/679.55	c cleaning 12999 clauses out of 26019 with flag 2200000/2200000
1349.22/684.02	c cleaning 13006 clauses out of 26020 with flag 2213000/2213000
1358.31/688.62	c cleaning 13001 clauses out of 26014 with flag 2226000/2226000
1366.79/692.97	c cleaning 12991 clauses out of 26014 with flag 2239001/2239001
1375.41/697.34	c cleaning 13006 clauses out of 26024 with flag 2252002/2252002
1383.98/701.79	c cleaning 13003 clauses out of 26017 with flag 2265001/2265001
1393.05/706.33	c cleaning 12998 clauses out of 26013 with flag 2278000/2278000
1402.55/711.14	c cleaning 12986 clauses out of 26016 with flag 2291001/2291001
1411.87/715.85	c cleaning 13008 clauses out of 26030 with flag 2304001/2304001
1418.69/719.38	c cleaning 12998 clauses out of 26021 with flag 2317000/2317000
1425.54/722.84	c cleaning 12997 clauses out of 26023 with flag 2330000/2330000
1431.98/726.16	c cleaning 13000 clauses out of 26027 with flag 2343001/2343001
1439.04/729.79	c cleaning 13001 clauses out of 26026 with flag 2356000/2356000
1448.07/734.31	c cleaning 13000 clauses out of 26025 with flag 2369000/2369000
1456.75/738.73	c cleaning 12999 clauses out of 26026 with flag 2382001/2382001
1465.58/743.24	c cleaning 13005 clauses out of 26027 with flag 2395001/2395001
1474.23/747.66	c cleaning 13000 clauses out of 26021 with flag 2408000/2408000
1483.00/752.17	c cleaning 12998 clauses out of 26021 with flag 2421000/2421000
1491.66/756.57	c cleaning 13006 clauses out of 26024 with flag 2434001/2434001
1501.51/761.59	c cleaning 12998 clauses out of 26017 with flag 2447000/2447000
1511.97/766.83	c cleaning 12997 clauses out of 26020 with flag 2460001/2460001
1522.58/772.28	c cleaning 12999 clauses out of 26022 with flag 2473000/2473000
1532.66/777.38	c cleaning 13002 clauses out of 26024 with flag 2486001/2486001
1542.92/782.56	c cleaning 12999 clauses out of 26022 with flag 2499001/2499001
1552.79/787.56	c cleaning 13001 clauses out of 26023 with flag 2512001/2512001
1562.33/792.47	c cleaning 13000 clauses out of 26021 with flag 2525000/2525000
1571.36/797.02	c cleaning 13000 clauses out of 26022 with flag 2538001/2538001
1580.57/801.77	c cleaning 13000 clauses out of 26021 with flag 2551000/2551000
1589.61/806.34	c cleaning 12999 clauses out of 26021 with flag 2564000/2564000
1598.75/811.03	c cleaning 13002 clauses out of 26023 with flag 2577001/2577001
1607.59/815.56	c cleaning 12999 clauses out of 26021 with flag 2590001/2590001
1616.62/820.18	c cleaning 13001 clauses out of 26021 with flag 2603000/2603000
1625.28/824.55	c cleaning 12997 clauses out of 26020 with flag 2616000/2616000
1633.62/828.89	c cleaning 13001 clauses out of 26023 with flag 2629000/2629000
1642.30/833.28	c cleaning 13001 clauses out of 26022 with flag 2642000/2642000
1650.97/837.65	c cleaning 12997 clauses out of 26021 with flag 2655000/2655000
1663.20/843.80	c cleaning 13006 clauses out of 26024 with flag 2668000/2668000
1673.57/849.11	c cleaning 13004 clauses out of 26019 with flag 2681001/2681001
1682.99/853.93	c cleaning 13000 clauses out of 26014 with flag 2694000/2694000
1692.79/858.97	c cleaning 13000 clauses out of 26014 with flag 2707000/2707000
1701.05/863.13	c cleaning 12991 clauses out of 26015 with flag 2720001/2720001
1708.93/867.23	c cleaning 12997 clauses out of 26023 with flag 2733000/2733000
1716.59/871.19	c cleaning 13001 clauses out of 26027 with flag 2746001/2746001
1724.20/875.09	c cleaning 12998 clauses out of 26025 with flag 2759000/2759000
1731.98/879.02	c cleaning 13000 clauses out of 26027 with flag 2772000/2772000
1739.70/883.02	c cleaning 13004 clauses out of 26028 with flag 2785001/2785001
1747.30/886.94	c cleaning 12996 clauses out of 26023 with flag 2798000/2798000
1754.92/890.85	c cleaning 12999 clauses out of 26027 with flag 2811000/2811000
1762.58/894.77	c cleaning 13001 clauses out of 26028 with flag 2824000/2824000
1770.35/898.77	c cleaning 13003 clauses out of 26027 with flag 2837000/2837000
1777.94/902.64	c cleaning 12996 clauses out of 26025 with flag 2850001/2850001
1785.74/906.61	c cleaning 13002 clauses out of 26028 with flag 2863000/2863000
1793.34/910.59	c cleaning 13001 clauses out of 26027 with flag 2876001/2876001
1800.06/914.02	c starts		: 232
1800.06/914.02	c conflicts		: 2886744
1800.06/914.02	c decisions		: 3361242
1800.06/914.02	c propagations		: 59950021
1800.06/914.02	c inspects		: 528405273
1800.06/914.02	c learnt literals	: 8
1800.06/914.02	c learnt binary clauses	: 495
1800.06/914.02	c learnt ternary clauses	: 9410
1800.06/914.02	c learnt clauses	: 2886736
1800.06/914.02	c ignored clauses	: 0
1800.06/914.02	c root simplifications	: 0
1800.06/914.02	c removed literals (reason simplification)	: 230695891
1800.06/914.02	c reason swapping (by a shorter reason)	: 0
1800.06/914.02	c Calls to reduceDB	: 224
1800.06/914.02	c number of reductions to clauses (during analyze)	: 0
1800.06/914.02	c number of learned constraints concerned by reduction	: 0
1800.06/914.02	c number of learning phase by resolution	: 0
1800.06/914.02	c number of learning phase by cutting planes	: 0
1800.06/914.02	c speed (assignments/second)	: 65703.84293336023
1800.06/914.02	c non guided choices	1136
1800.06/914.03	c learnt constraints type 
1800.06/914.03	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 23309
1800.06/914.03	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 495
1800.06/914.03	c constraints type 
1800.06/914.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.06/914.03	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.06/914.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.06/914.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376
1800.06/914.03	c constraints type 
1800.06/914.03	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1800.06/914.03	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1800.06/914.03	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1800.06/914.03	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376
1800.06/914.03	s SATISFIABLE
1800.06/914.05	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 x363 -x364 x365 -x366 -x367 -x368 x369 -x370 x371 x372 -x373 -x374 -x375 x376 x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 x1620 -x1621 -x1622 x1623 x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 x1643 -x1644 -x1645 x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 x2251 -x2252 x2253 x2254 x2255 x2256 -x2257 -x2258 -x2259 x2260 -x2261 x2262 -x2263 x2264 -x2265 -x2266 x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 x2282 x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 x4839 -x4840 -x4841 x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.06/914.05	c objective function=3841241
1800.06/914.05	c Total wall clock time (in seconds): 913.925

Verifier Data 

OK	3841241

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744304-1338806856/watcher-3744304-1338806856 -o /tmp/evaluation-result-3744304-1338806856/solver-3744304-1338806856 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744304-1338806856.opb 

running on 4 cores: 1,3,5,7

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: 4.05 4.13 3.95 4/197 17287
/proc/meminfo: memFree=30543136/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17287/stat : 17287 (java6) D 17285 17287 14772 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 346812535 9515008 182 33554432000 1073741824 1073778376 140735253842128 140735253833160 233411788469 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/17287/statm: 2323 182 140 9 0 71 0

[startup+0.0804049 s]
/proc/loadavg: 4.05 4.13 3.95 4/197 17287
/proc/meminfo: memFree=30543136/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 3895 0 1 0 4 1 0 0 20 0 18 0 346812535 2764726272 5103 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 674982 5103 1757 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928

[startup+0.100289 s]
/proc/loadavg: 4.05 4.13 3.95 4/197 17287
/proc/meminfo: memFree=30543136/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 3953 0 1 0 6 1 0 0 20 0 18 0 346812535 2764726272 5161 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 674982 5161 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2699928

[startup+0.300238 s]
/proc/loadavg: 4.05 4.13 3.95 4/197 17287
/proc/meminfo: memFree=30543136/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2699928 CPUtime=0.5 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 9685 0 1 0 47 3 0 0 20 0 18 0 346812535 2764726272 12668 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 674982 12673 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2699928

[startup+0.700223 s]
/proc/loadavg: 4.05 4.13 3.95 4/197 17287
/proc/meminfo: memFree=30543136/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2833056 CPUtime=1.83 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 15252 0 1 0 178 5 0 0 20 0 20 0 346812535 2901049344 24720 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 708264 24720 2256 9 0 698958 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 2833056

[startup+1.50066 s]
/proc/loadavg: 4.05 4.13 3.95 3/217 17309
/proc/meminfo: memFree=30444416/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2966184 CPUtime=2.79 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 15910 0 1 0 272 7 0 0 20 0 20 0 346812535 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 741546 26918 2262 9 0 732240 0
[pid=17287/tid=17289] ppid=17285 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/17287/task/17289/stat : 17289 (java) S 17285 17287 14772 0 -1 4202560 2867 0 1 0 50 2 0 0 20 0 20 0 346812536 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694279017624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17290] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17290/stat : 17290 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812538 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694144997544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17291] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17291/stat : 17291 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812538 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694143945000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17292] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17292/stat : 17292 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812538 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694142892456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17293] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17293/stat : 17293 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812538 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694141839912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17294] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17294/stat : 17294 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812538 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694140787368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17295] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17295/stat : 17295 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812538 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694139734824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17296] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17296/stat : 17296 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812538 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694138682280 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17297] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17297/stat : 17297 (java) S 17285 17287 14772 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 346812538 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694137629736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17298] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17298/stat : 17298 (java) S 17285 17287 14772 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 346812539 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694125430888 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17299] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17299/stat : 17299 (java) S 17285 17287 14772 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 346812540 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694124377208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17300] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17300/stat : 17300 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346812540 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694123324552 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17301] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17301/stat : 17301 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812542 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694122273296 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17302] ppid=17285 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/17287/task/17302/stat : 17302 (java) S 17285 17287 14772 0 -1 4202560 6284 0 0 0 75 2 0 0 20 0 20 0 346812542 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694121220664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17303] ppid=17285 vsize=2966184 CPUtime=0.76 cores=1,3,5,7
/proc/17287/task/17303/stat : 17303 (java) S 17285 17287 14772 0 -1 4202560 5452 0 0 0 74 2 0 0 20 0 20 0 346812542 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694120168120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17304] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17304/stat : 17304 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812543 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694119115768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17305] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17305/stat : 17305 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346812543 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694118063432 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17308] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17308/stat : 17308 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346812608 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694114903080 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17309] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17309/stat : 17309 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 346812608 3037372416 26918 33554432000 1073741824 1073778376 140737046963856 139694113850536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 2966184

[startup+3.10088 s]
/proc/loadavg: 4.05 4.13 3.95 5/219 17311
/proc/meminfo: memFree=30205360/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2966184 CPUtime=6.4 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 16789 0 1 0 622 18 0 0 20 0 22 0 346812535 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 741546 103825 2275 9 0 732240 0
[pid=17287/tid=17289] ppid=17285 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/17287/task/17289/stat : 17289 (java) S 17285 17287 14772 0 -1 4202560 2869 0 1 0 53 2 0 0 20 0 22 0 346812536 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694279017624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17290] ppid=17285 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/17287/task/17290/stat : 17290 (java) S 17285 17287 14772 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 346812538 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694144997544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17291] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17291/stat : 17291 (java) S 17285 17287 14772 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346812538 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694143945000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17292] ppid=17285 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/17287/task/17292/stat : 17292 (java) S 17285 17287 14772 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 346812538 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694142892456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17293] ppid=17285 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/17287/task/17293/stat : 17293 (java) S 17285 17287 14772 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 22 0 346812538 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694141839912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17294] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17294/stat : 17294 (java) S 17285 17287 14772 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346812538 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694140787368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17295] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17295/stat : 17295 (java) S 17285 17287 14772 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346812538 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694139734824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17296] ppid=17285 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/17287/task/17296/stat : 17296 (java) S 17285 17287 14772 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 346812538 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694138682280 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17297] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17297/stat : 17297 (java) S 17285 17287 14772 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346812538 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694137629736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17298] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17298/stat : 17298 (java) S 17285 17287 14772 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 346812539 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694125430888 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17299] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17299/stat : 17299 (java) S 17285 17287 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694124377208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17300] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17300/stat : 17300 (java) S 17285 17287 14772 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694123324552 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17301] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17301/stat : 17301 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812542 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694122273296 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17302] ppid=17285 vsize=2966184 CPUtime=1.01 cores=1,3,5,7
/proc/17287/task/17302/stat : 17302 (java) S 17285 17287 14772 0 -1 4202560 6892 0 0 0 99 2 0 0 20 0 22 0 346812542 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694121220664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17303] ppid=17285 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/17287/task/17303/stat : 17303 (java) S 17285 17287 14772 0 -1 4202560 5503 0 0 0 101 2 0 0 20 0 22 0 346812542 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694120168120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17304] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17304/stat : 17304 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812543 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694119115768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17305] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17305/stat : 17305 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812543 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694118063432 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17308] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17308/stat : 17308 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694114903080 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17309] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17309/stat : 17309 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694113850536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17310] ppid=17285 vsize=2966184 CPUtime=1.43 cores=1,3,5,7
/proc/17287/task/17310/stat : 17310 (java) R 17285 17287 14772 0 -1 4202560 33 0 0 0 143 0 0 0 20 0 22 0 346812695 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694115954256 139694219712106 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17311] ppid=17285 vsize=2966184 CPUtime=1.43 cores=1,3,5,7
/proc/17287/task/17311/stat : 17311 (java) R 17285 17287 14772 0 -1 4202560 116 0 0 0 137 6 0 0 20 0 22 0 346812695 3037372416 103825 33554432000 1073741824 1073778376 140737046963856 139694117005736 139694219761919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 2966184

[startup+6.30081 s]
/proc/loadavg: 4.13 4.15 3.96 5/219 17311
/proc/meminfo: memFree=30039108/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2966184 CPUtime=13.41 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 21040 0 1 0 1313 28 0 0 20 0 22 0 346812535 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 741546 131783 2287 9 0 732240 0
[pid=17287/tid=17289] ppid=17285 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/17287/task/17289/stat : 17289 (java) S 17285 17287 14772 0 -1 4202560 2869 0 1 0 53 2 0 0 20 0 22 0 346812536 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694279017624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17290] ppid=17285 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/17287/task/17290/stat : 17290 (java) S 17285 17287 14772 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 22 0 346812538 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694144997544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17291] ppid=17285 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/17287/task/17291/stat : 17291 (java) S 17285 17287 14772 0 -1 4202560 18 0 0 0 2 2 0 0 20 0 22 0 346812538 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694143945000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17292] ppid=17285 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/17287/task/17292/stat : 17292 (java) S 17285 17287 14772 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 346812538 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694142892456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17293] ppid=17285 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/17287/task/17293/stat : 17293 (java) S 17285 17287 14772 0 -1 4202560 22 0 0 0 6 2 0 0 20 0 22 0 346812538 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694141839912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17294] ppid=17285 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/17287/task/17294/stat : 17294 (java) S 17285 17287 14772 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 22 0 346812538 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694140787368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17295] ppid=17285 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/17287/task/17295/stat : 17295 (java) S 17285 17287 14772 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 22 0 346812538 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694139734824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17296] ppid=17285 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/17287/task/17296/stat : 17296 (java) S 17285 17287 14772 0 -1 4202560 27 0 0 0 4 2 0 0 20 0 22 0 346812538 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694138682280 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17297] ppid=17285 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/17287/task/17297/stat : 17297 (java) S 17285 17287 14772 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 22 0 346812538 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694137629736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17298] ppid=17285 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/17287/task/17298/stat : 17298 (java) S 17285 17287 14772 0 -1 4202560 40 0 0 0 3 2 0 0 20 0 22 0 346812539 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694125430888 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17299] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17299/stat : 17299 (java) S 17285 17287 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694124377208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17300] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17300/stat : 17300 (java) S 17285 17287 14772 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694123324552 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17301] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17301/stat : 17301 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812542 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694122273296 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17302] ppid=17285 vsize=2966184 CPUtime=1.41 cores=1,3,5,7
/proc/17287/task/17302/stat : 17302 (java) R 17285 17287 14772 0 -1 4202560 10981 0 0 0 138 3 0 0 20 0 22 0 346812542 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694121207944 139694281624364 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17303] ppid=17285 vsize=2966184 CPUtime=1.2 cores=1,3,5,7
/proc/17287/task/17303/stat : 17303 (java) S 17285 17287 14772 0 -1 4202560 5514 0 0 0 118 2 0 0 20 0 22 0 346812542 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694120168120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17304] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17304/stat : 17304 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812543 3037372416 131783 33554432000 1073741824 1073778376 140737046963856 139694119115768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=17287/tid=17309] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17309/stat : 17309 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 161726 33554432000 1073741824 1073778376 140737046963856 139694113850536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17310] ppid=17285 vsize=2966184 CPUtime=725.26 cores=1,3,5,7
/proc/17287/task/17310/stat : 17310 (java) R 17285 17287 14772 0 -1 4202560 627 0 0 0 72510 16 0 0 20 0 22 0 346812695 3037372416 161726 33554432000 1073741824 1073778376 140737046963856 139694115955400 139694219836940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17311] ppid=17285 vsize=2966184 CPUtime=725.47 cores=1,3,5,7
/proc/17287/task/17311/stat : 17311 (java) R 17285 17287 14772 0 -1 4202560 624 0 0 0 72526 21 0 0 20 0 22 0 346812695 3037372416 161726 33554432000 1073741824 1073778376 140737046963856 139694117005856 139694219711968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1502.95
Current children cumulated vsize (KiB) 2966184

[startup+822.301 s]
/proc/loadavg: 4.11 3.97 3.92 5/220 17413
/proc/meminfo: memFree=30469372/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2966184 CPUtime=1620.85 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 33263 0 1 0 161932 153 0 0 20 0 22 0 346812535 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 741546 164343 2289 9 0 732240 0
[pid=17287/tid=17289] ppid=17285 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/17287/task/17289/stat : 17289 (java) S 17285 17287 14772 0 -1 4202560 2897 0 1 0 55 3 0 0 20 0 22 0 346812536 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694279017624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17290] ppid=17285 vsize=2966184 CPUtime=2.59 cores=1,3,5,7
/proc/17287/task/17290/stat : 17290 (java) S 17285 17287 14772 0 -1 4202560 179 0 0 0 252 7 0 0 20 0 22 0 346812538 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694144997544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17291] ppid=17285 vsize=2966184 CPUtime=2.4 cores=1,3,5,7
/proc/17287/task/17291/stat : 17291 (java) S 17285 17287 14772 0 -1 4202560 166 0 0 0 235 5 0 0 20 0 22 0 346812538 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694143945000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17292] ppid=17285 vsize=2966184 CPUtime=2.52 cores=1,3,5,7
/proc/17287/task/17292/stat : 17292 (java) S 17285 17287 14772 0 -1 4202560 154 0 0 0 246 6 0 0 20 0 22 0 346812538 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694142892456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17293] ppid=17285 vsize=2966184 CPUtime=2.48 cores=1,3,5,7
/proc/17287/task/17293/stat : 17293 (java) S 17285 17287 14772 0 -1 4202560 188 0 0 0 241 7 0 0 20 0 22 0 346812538 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694141839912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17294] ppid=17285 vsize=2966184 CPUtime=2.45 cores=1,3,5,7
/proc/17287/task/17294/stat : 17294 (java) S 17285 17287 14772 0 -1 4202560 163 0 0 0 239 6 0 0 20 0 22 0 346812538 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694140787368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17295] ppid=17285 vsize=2966184 CPUtime=2.45 cores=1,3,5,7
/proc/17287/task/17295/stat : 17295 (java) S 17285 17287 14772 0 -1 4202560 127 0 0 0 241 4 0 0 20 0 22 0 346812538 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694139734824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17296] ppid=17285 vsize=2966184 CPUtime=2.59 cores=1,3,5,7
/proc/17287/task/17296/stat : 17296 (java) S 17285 17287 14772 0 -1 4202560 184 0 0 0 252 7 0 0 20 0 22 0 346812538 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694138682280 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17297] ppid=17285 vsize=2966184 CPUtime=2.45 cores=1,3,5,7
/proc/17287/task/17297/stat : 17297 (java) S 17285 17287 14772 0 -1 4202560 210 0 0 0 239 6 0 0 20 0 22 0 346812538 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694137629736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17298] ppid=17285 vsize=2966184 CPUtime=31.49 cores=1,3,5,7
/proc/17287/task/17298/stat : 17298 (java) S 17285 17287 14772 0 -1 4202560 8701 0 0 0 3085 64 0 0 20 0 22 0 346812539 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694125430888 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17299] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17299/stat : 17299 (java) S 17285 17287 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694124377208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17300] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17300/stat : 17300 (java) S 17285 17287 14772 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694123324552 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17301] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17301/stat : 17301 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812542 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694122273296 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17302] ppid=17285 vsize=2966184 CPUtime=1.86 cores=1,3,5,7
/proc/17287/task/17302/stat : 17302 (java) S 17285 17287 14772 0 -1 4202560 12123 0 0 0 183 3 0 0 20 0 22 0 346812542 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694121220664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17303] ppid=17285 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/17287/task/17303/stat : 17303 (java) S 17285 17287 14772 0 -1 4202560 5519 0 0 0 133 2 0 0 20 0 22 0 346812542 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694120168120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17304] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17304/stat : 17304 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812543 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694119115768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17305] ppid=17285 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/17287/task/17305/stat : 17305 (java) S 17285 17287 14772 0 -1 4202560 47 0 0 0 22 19 0 0 20 0 22 0 346812543 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694118063432 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17308] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17308/stat : 17308 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694114903080 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17309] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17309/stat : 17309 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694113850536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17310] ppid=17285 vsize=2966184 CPUtime=782.18 cores=1,3,5,7
/proc/17287/task/17310/stat : 17310 (java) R 17285 17287 14772 0 -1 4202560 659 0 0 0 78202 16 0 0 20 0 22 0 346812695 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694115954240 139694219287294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17311] ppid=17285 vsize=2966184 CPUtime=782.39 cores=1,3,5,7
/proc/17287/task/17311/stat : 17311 (java) R 17285 17287 14772 0 -1 4202560 652 0 0 0 78218 21 0 0 20 0 22 0 346812695 3037372416 164343 33554432000 1073741824 1073778376 140737046963856 139694117005824 139694219761874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1620.85
Current children cumulated vsize (KiB) 2966184

[startup+882.301 s]
/proc/loadavg: 3.93 3.94 3.91 5/219 17413
/proc/meminfo: memFree=30440600/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2966184 CPUtime=1738.29 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 33430 0 1 0 173668 161 0 0 20 0 22 0 346812535 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 741546 167493 2289 9 0 732240 0
[pid=17287/tid=17289] ppid=17285 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/17287/task/17289/stat : 17289 (java) S 17285 17287 14772 0 -1 4202560 2901 0 1 0 55 3 0 0 20 0 22 0 346812536 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694279017624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17290] ppid=17285 vsize=2966184 CPUtime=2.82 cores=1,3,5,7
/proc/17287/task/17290/stat : 17290 (java) S 17285 17287 14772 0 -1 4202560 185 0 0 0 275 7 0 0 20 0 22 0 346812538 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694144997544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17291] ppid=17285 vsize=2966184 CPUtime=2.61 cores=1,3,5,7
/proc/17287/task/17291/stat : 17291 (java) S 17285 17287 14772 0 -1 4202560 178 0 0 0 256 5 0 0 20 0 22 0 346812538 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694143945000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17292] ppid=17285 vsize=2966184 CPUtime=2.74 cores=1,3,5,7
/proc/17287/task/17292/stat : 17292 (java) S 17285 17287 14772 0 -1 4202560 164 0 0 0 268 6 0 0 20 0 22 0 346812538 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694142892456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17293] ppid=17285 vsize=2966184 CPUtime=2.65 cores=1,3,5,7
/proc/17287/task/17293/stat : 17293 (java) S 17285 17287 14772 0 -1 4202560 201 0 0 0 257 8 0 0 20 0 22 0 346812538 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694141839912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17294] ppid=17285 vsize=2966184 CPUtime=2.66 cores=1,3,5,7
/proc/17287/task/17294/stat : 17294 (java) S 17285 17287 14772 0 -1 4202560 174 0 0 0 260 6 0 0 20 0 22 0 346812538 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694140787368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17295] ppid=17285 vsize=2966184 CPUtime=2.67 cores=1,3,5,7
/proc/17287/task/17295/stat : 17295 (java) S 17285 17287 14772 0 -1 4202560 137 0 0 0 262 5 0 0 20 0 22 0 346812538 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694139734824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17296] ppid=17285 vsize=2966184 CPUtime=2.79 cores=1,3,5,7
/proc/17287/task/17296/stat : 17296 (java) S 17285 17287 14772 0 -1 4202560 197 0 0 0 272 7 0 0 20 0 22 0 346812538 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694138682280 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17297] ppid=17285 vsize=2966184 CPUtime=2.66 cores=1,3,5,7
/proc/17287/task/17297/stat : 17297 (java) S 17285 17287 14772 0 -1 4202560 230 0 0 0 260 6 0 0 20 0 22 0 346812538 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694137629736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17298] ppid=17285 vsize=2966184 CPUtime=34.67 cores=1,3,5,7
/proc/17287/task/17298/stat : 17298 (java) S 17285 17287 14772 0 -1 4202560 8705 0 0 0 3401 66 0 0 20 0 22 0 346812539 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694125430888 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17299] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17299/stat : 17299 (java) S 17285 17287 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694124377208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17300] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17300/stat : 17300 (java) S 17285 17287 14772 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694123324552 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17301] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17301/stat : 17301 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812542 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694122273296 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17302] ppid=17285 vsize=2966184 CPUtime=1.86 cores=1,3,5,7
/proc/17287/task/17302/stat : 17302 (java) S 17285 17287 14772 0 -1 4202560 12123 0 0 0 183 3 0 0 20 0 22 0 346812542 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694121220664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17303] ppid=17285 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/17287/task/17303/stat : 17303 (java) S 17285 17287 14772 0 -1 4202560 5519 0 0 0 133 2 0 0 20 0 22 0 346812542 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694120168120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17304] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17304/stat : 17304 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812543 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694119115768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17305] ppid=17285 vsize=2966184 CPUtime=0.44 cores=1,3,5,7
/proc/17287/task/17305/stat : 17305 (java) S 17285 17287 14772 0 -1 4202560 51 0 0 0 23 21 0 0 20 0 22 0 346812543 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694118063432 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17308] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17308/stat : 17308 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694114903080 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17309] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17309/stat : 17309 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694113850536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17310] ppid=17285 vsize=2966184 CPUtime=838.43 cores=1,3,5,7
/proc/17287/task/17310/stat : 17310 (java) R 17285 17287 14772 0 -1 4202560 688 0 0 0 83825 18 0 0 20 0 22 0 346812695 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694115954376 139694219734864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17311] ppid=17285 vsize=2966184 CPUtime=838.68 cores=1,3,5,7
/proc/17287/task/17311/stat : 17311 (java) R 17285 17287 14772 0 -1 4202560 683 0 0 0 83845 23 0 0 20 0 22 0 346812695 3037372416 167493 33554432000 1073741824 1073778376 140737046963856 139694117005856 139694219767085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1738.29
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+914.001 s]
/proc/loadavg: 3.82 3.91 3.90 5/219 17413
/proc/meminfo: memFree=30433588/32873844 swapFree=7116/7116
[pid=17287] ppid=17285 vsize=2966184 CPUtime=1800.06 cores=1,3,5,7
/proc/17287/stat : 17287 (java) S 17285 17287 14772 0 -1 4202496 33833 0 1 0 179839 167 0 0 20 0 22 0 346812535 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 140737046954992 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/17287/statm: 741546 169053 2289 9 0 732240 0
[pid=17287/tid=17289] ppid=17285 vsize=2966184 CPUtime=0.58 cores=1,3,5,7
/proc/17287/task/17289/stat : 17289 (java) S 17285 17287 14772 0 -1 4202560 2902 0 1 0 55 3 0 0 20 0 22 0 346812536 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694279017624 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17290] ppid=17285 vsize=2966184 CPUtime=2.94 cores=1,3,5,7
/proc/17287/task/17290/stat : 17290 (java) S 17285 17287 14772 0 -1 4202560 186 0 0 0 287 7 0 0 20 0 22 0 346812538 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694144997544 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17291] ppid=17285 vsize=2966184 CPUtime=2.74 cores=1,3,5,7
/proc/17287/task/17291/stat : 17291 (java) S 17285 17287 14772 0 -1 4202560 179 0 0 0 269 5 0 0 20 0 22 0 346812538 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694143945000 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17292] ppid=17285 vsize=2966184 CPUtime=2.87 cores=1,3,5,7
/proc/17287/task/17292/stat : 17292 (java) S 17285 17287 14772 0 -1 4202560 166 0 0 0 281 6 0 0 20 0 22 0 346812538 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694142892456 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17293] ppid=17285 vsize=2966184 CPUtime=2.73 cores=1,3,5,7
/proc/17287/task/17293/stat : 17293 (java) S 17285 17287 14772 0 -1 4202560 206 0 0 0 265 8 0 0 20 0 22 0 346812538 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694141839912 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17294] ppid=17285 vsize=2966184 CPUtime=2.77 cores=1,3,5,7
/proc/17287/task/17294/stat : 17294 (java) S 17285 17287 14772 0 -1 4202560 178 0 0 0 271 6 0 0 20 0 22 0 346812538 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694140787368 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17295] ppid=17285 vsize=2966184 CPUtime=2.77 cores=1,3,5,7
/proc/17287/task/17295/stat : 17295 (java) S 17285 17287 14772 0 -1 4202560 150 0 0 0 272 5 0 0 20 0 22 0 346812538 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694139734824 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17296] ppid=17285 vsize=2966184 CPUtime=2.92 cores=1,3,5,7
/proc/17287/task/17296/stat : 17296 (java) S 17285 17287 14772 0 -1 4202560 199 0 0 0 285 7 0 0 20 0 22 0 346812538 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694138682280 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17297] ppid=17285 vsize=2966184 CPUtime=2.79 cores=1,3,5,7
/proc/17287/task/17297/stat : 17297 (java) S 17285 17287 14772 0 -1 4202560 235 0 0 0 272 7 0 0 20 0 22 0 346812538 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694137629736 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17298] ppid=17285 vsize=2966184 CPUtime=36.64 cores=1,3,5,7
/proc/17287/task/17298/stat : 17298 (java) S 17285 17287 14772 0 -1 4202560 9026 0 0 0 3595 69 0 0 20 0 22 0 346812539 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694125430888 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17299] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17299/stat : 17299 (java) S 17285 17287 14772 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694124377208 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17300] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17300/stat : 17300 (java) S 17285 17287 14772 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346812540 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694123324552 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17301] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17301/stat : 17301 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812542 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694122273296 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17302] ppid=17285 vsize=2966184 CPUtime=1.86 cores=1,3,5,7
/proc/17287/task/17302/stat : 17302 (java) S 17285 17287 14772 0 -1 4202560 12123 0 0 0 183 3 0 0 20 0 22 0 346812542 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694121220664 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17303] ppid=17285 vsize=2966184 CPUtime=1.35 cores=1,3,5,7
/proc/17287/task/17303/stat : 17303 (java) S 17285 17287 14772 0 -1 4202560 5519 0 0 0 133 2 0 0 20 0 22 0 346812542 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694120168120 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17304] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17304/stat : 17304 (java) S 17285 17287 14772 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346812543 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694119115768 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17305] ppid=17285 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/17287/task/17305/stat : 17305 (java) S 17285 17287 14772 0 -1 4202560 53 0 0 0 24 22 0 0 20 0 22 0 346812543 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694118063432 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17287/tid=17308] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17308/stat : 17308 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694114903080 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17287/tid=17309] ppid=17285 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17287/task/17309/stat : 17309 (java) S 17285 17287 14772 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346812608 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694113850536 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17287/tid=17310] ppid=17285 vsize=2966184 CPUtime=867.85 cores=1,3,5,7
/proc/17287/task/17310/stat : 17310 (java) R 17285 17287 14772 0 -1 4202560 717 0 0 0 86766 19 0 0 20 0 22 0 346812695 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694115955280 139694219712019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17287/tid=17311] ppid=17285 vsize=2966184 CPUtime=868.13 cores=1,3,5,7
/proc/17287/task/17311/stat : 17311 (java) R 17285 17287 14772 0 -1 4202560 700 0 0 0 86789 24 0 0 20 0 22 0 346812695 3037372416 169053 33554432000 1073741824 1073778376 140737046963856 139694117006304 139694219712188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2966184

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

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

Child status: 143
Real time (s): 914.063
CPU time (s): 1800.54
CPU user time (s): 1798.42
CPU system time (s): 2.12368
CPU usage (%): 196.982
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 2.12368
maximum resident set size= 676704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33868
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56211
involuntary context switches= 73300

runsolver used 4.43233 second user time and 8.04178 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-04 12:47:36
IDJOB=3744304
IDBENCH=92722
IDSOLVER=2324
FILE ID=node111/3744304-1338806856
RUNJOBID= node111-1338803259-16612
PBS_JOBID= 14636821
Free space on /tmp= 67372 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_8.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744304-1338806856/watcher-3744304-1338806856 -o /tmp/evaluation-result-3744304-1338806856/solver-3744304-1338806856 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3744304-1338806856.opb

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

MD5SUM BENCH= 4bf433c60343e128a7fab53c33d88c45
RANDOM SEED=1438619473

node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30543408 kB
Buffers:           90508 kB
Cached:           171960 kB
SwapCached:         1404 kB
Active:          1466288 kB
Inactive:          70000 kB
Active(anon):    1271120 kB
Inactive(anon):     4836 kB
Active(file):     195168 kB
Inactive(file):    65164 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100152 kB
Dirty:               700 kB
Writeback:             0 kB
AnonPages:       1279496 kB
Mapped:            16156 kB
Shmem:                 0 kB
Slab:             650764 kB
SReclaimable:      92828 kB
SUnreclaim:       557936 kB
KernelStack:        1624 kB
PageTables:         6524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1573560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1222656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 67392 MiB
End job on node111 at 2012-06-04 13:02:52