Trace number 3735561

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31SAT (TO)29 1800.37 921.047

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.06/0.10	c version 2.2.0.v20100531
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		1349517296
0.06/0.10	c Max memory 		1356595200
0.06/0.10	c Total memory 		1356595200
0.06/0.10	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization
0.06/0.13	c ManyCore solver with 2 solvers running in parallel
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c Stops conflict analysis at the first Unique Implication Point
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c Expensive reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c Stops conflict analysis at the first Unique Implication Point
0.06/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Armin Biere (Picosat) restarts strategy
0.06/0.13	c Glucose learned constraints deletion strategy
0.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	
0.06/0.13	c solving HOME/instance-3735561-1338748905.opb
0.06/0.13	c reading problem ... 
1.06/0.52	c ... done. Wall clock time 0.39s.
1.06/0.52	c #vars     5828
1.06/0.52	c #constraints  17411
1.06/0.52	c constraints type 
1.06/0.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020
1.06/0.52	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108
1.06/0.52	c constraints type 
1.06/0.52	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108
1.06/0.52	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020
1.43/0.67	c And the winner is CuttingPlanes
1.86/1.53	c SATISFIABLE
1.86/1.53	c OPTIMIZING...
1.86/1.53	c Got one! Elapsed wall clock time (in seconds):1.404
1.86/1.53	o 39
2.09/1.64	c And the winner is Resolution
2.38/2.56	c Got one! Elapsed wall clock time (in seconds):2.427
2.38/2.56	o 38
2.53/2.62	c And the winner is Resolution
2.68/3.58	c Got one! Elapsed wall clock time (in seconds):3.449
2.68/3.58	o 37
2.76/3.64	c And the winner is Resolution
2.93/4.59	c Got one! Elapsed wall clock time (in seconds):4.462
2.93/4.59	o 35
2.95/4.67	c And the winner is Resolution
3.59/5.60	c Got one! Elapsed wall clock time (in seconds):5.473
3.59/5.60	o 33
3.85/5.77	c And the winner is Resolution
4.05/6.61	c Got one! Elapsed wall clock time (in seconds):6.483
4.05/6.61	o 32
6.92/8.09	c cleaning 2498 clauses out of 5000 with flag 5000/5000
7.33/8.26	c And the winner is Resolution
7.55/8.62	c Got one! Elapsed wall clock time (in seconds):8.492
7.55/8.62	o 31
11.23/10.44	c cleaning 4248 clauses out of 8503 with flag 11001/11001
15.90/12.75	c cleaning 5624 clauses out of 11255 with flag 18001/18001
20.89/15.28	c cleaning 6811 clauses out of 13631 with flag 26001/26001
26.46/18.08	c cleaning 7902 clauses out of 15821 with flag 35002/35002
32.88/21.20	c And the winner is Resolution
35.05/23.63	c Got one! Elapsed wall clock time (in seconds):23.503
35.05/23.63	o 30
35.05/23.67	c cleaning 8957 clauses out of 17918 with flag 45001/45001
41.40/26.80	c cleaning 9977 clauses out of 19961 with flag 56001/56001
49.62/30.94	c cleaning 10987 clauses out of 21984 with flag 68001/68001
58.35/35.30	c cleaning 11992 clauses out of 23997 with flag 81001/81001
66.74/39.60	c cleaning 12991 clauses out of 26004 with flag 95000/95000
76.28/44.34	c cleaning 13998 clauses out of 28013 with flag 110000/110000
86.06/49.22	c cleaning 15001 clauses out of 30017 with flag 126002/126002
97.68/55.17	c cleaning 15998 clauses out of 32014 with flag 143000/143000
108.51/60.59	c cleaning 17003 clauses out of 34016 with flag 161000/161000
119.81/66.26	c cleaning 17497 clauses out of 35013 with flag 179000/179000
131.58/72.13	c cleaning 17750 clauses out of 35516 with flag 197000/197000
144.50/78.66	c cleaning 17879 clauses out of 35766 with flag 215000/215000
155.87/84.31	c cleaning 17941 clauses out of 35887 with flag 233000/233000
169.49/91.12	c cleaning 17959 clauses out of 35946 with flag 251000/251000
182.68/97.77	c cleaning 17985 clauses out of 35987 with flag 269000/269000
195.18/104.09	c cleaning 17998 clauses out of 36003 with flag 287001/287001
207.75/110.31	c cleaning 17983 clauses out of 36005 with flag 305001/305001
219.47/116.27	c cleaning 18007 clauses out of 36022 with flag 323001/323001
231.62/122.34	c cleaning 18003 clauses out of 36015 with flag 341001/341001
243.94/128.51	c cleaning 18001 clauses out of 36011 with flag 359000/359000
256.10/134.63	c cleaning 17999 clauses out of 36011 with flag 377001/377001
269.05/141.16	c cleaning 18003 clauses out of 36011 with flag 395000/395000
280.96/147.13	c cleaning 17999 clauses out of 36009 with flag 413001/413001
292.61/153.03	c cleaning 17999 clauses out of 36009 with flag 431000/431000
306.34/159.93	c cleaning 17997 clauses out of 36012 with flag 449002/449002
318.50/166.05	c cleaning 17997 clauses out of 36013 with flag 467000/467000
331.02/172.39	c cleaning 18002 clauses out of 36016 with flag 485000/485000
345.46/179.65	c cleaning 18004 clauses out of 36014 with flag 503000/503000
359.02/186.45	c cleaning 17993 clauses out of 36010 with flag 521000/521000
371.57/192.78	c cleaning 18001 clauses out of 36017 with flag 539000/539000
384.30/199.16	c cleaning 18002 clauses out of 36016 with flag 557000/557000
397.50/205.87	c cleaning 18003 clauses out of 36014 with flag 575000/575000
410.22/212.22	c cleaning 17996 clauses out of 36011 with flag 593000/593000
422.10/218.23	c cleaning 17993 clauses out of 36015 with flag 611000/611000
435.02/224.72	c cleaning 18006 clauses out of 36023 with flag 629001/629001
446.97/230.83	c cleaning 18003 clauses out of 36016 with flag 647000/647000
459.64/237.27	c cleaning 17997 clauses out of 36013 with flag 665000/665000
471.70/243.35	c cleaning 18000 clauses out of 36016 with flag 683000/683000
482.37/248.74	c cleaning 17999 clauses out of 36016 with flag 701000/701000
492.30/253.89	c cleaning 17999 clauses out of 36017 with flag 719000/719000
503.94/259.79	c cleaning 18003 clauses out of 36019 with flag 737001/737001
515.59/265.64	c cleaning 18002 clauses out of 36016 with flag 755001/755001
528.07/271.91	c cleaning 17990 clauses out of 36013 with flag 773000/773000
539.88/277.97	c cleaning 17997 clauses out of 36023 with flag 791000/791000
551.35/283.80	c cleaning 18007 clauses out of 36027 with flag 809001/809001
562.75/289.53	c cleaning 17996 clauses out of 36019 with flag 827000/827000
573.77/295.19	c cleaning 18003 clauses out of 36024 with flag 845001/845001
585.49/301.18	c cleaning 18001 clauses out of 36021 with flag 863001/863001
596.75/306.88	c cleaning 18002 clauses out of 36019 with flag 881000/881000
607.85/312.47	c cleaning 18001 clauses out of 36018 with flag 899001/899001
619.51/318.37	c cleaning 17998 clauses out of 36016 with flag 917000/917000
630.68/324.10	c cleaning 17993 clauses out of 36018 with flag 935000/935000
641.75/329.65	c cleaning 18001 clauses out of 36025 with flag 953000/953000
653.98/335.86	c cleaning 18004 clauses out of 36024 with flag 971000/971000
665.24/341.52	c cleaning 17997 clauses out of 36020 with flag 989000/989000
675.96/347.08	c cleaning 18004 clauses out of 36023 with flag 1007000/1007000
687.84/353.08	c cleaning 18003 clauses out of 36019 with flag 1025000/1025000
700.23/359.37	c cleaning 17993 clauses out of 36017 with flag 1043001/1043001
713.07/365.81	c cleaning 18000 clauses out of 36023 with flag 1061000/1061000
725.43/372.18	c cleaning 18001 clauses out of 36023 with flag 1079000/1079000
737.52/378.30	c cleaning 18005 clauses out of 36023 with flag 1097001/1097001
749.13/384.19	c cleaning 18003 clauses out of 36017 with flag 1115000/1115000
760.76/390.07	c cleaning 17994 clauses out of 36015 with flag 1133001/1133001
772.51/396.07	c cleaning 18001 clauses out of 36021 with flag 1151001/1151001
784.18/401.99	c cleaning 17998 clauses out of 36019 with flag 1169000/1169000
796.60/408.22	c cleaning 18000 clauses out of 36021 with flag 1187000/1187000
809.03/414.52	c cleaning 18004 clauses out of 36022 with flag 1205001/1205001
821.38/420.85	c cleaning 18004 clauses out of 36017 with flag 1223000/1223000
833.86/427.19	c cleaning 17996 clauses out of 36013 with flag 1241000/1241000
846.30/433.46	c cleaning 17996 clauses out of 36017 with flag 1259000/1259000
859.07/439.86	c cleaning 18004 clauses out of 36021 with flag 1277000/1277000
871.53/446.28	c cleaning 17996 clauses out of 36018 with flag 1295001/1295001
883.59/452.35	c cleaning 18001 clauses out of 36021 with flag 1313000/1313000
896.05/458.68	c cleaning 18006 clauses out of 36020 with flag 1331000/1331000
908.32/464.86	c cleaning 18002 clauses out of 36014 with flag 1349000/1349000
920.01/470.87	c cleaning 17988 clauses out of 36012 with flag 1367000/1367000
933.86/477.84	c cleaning 18003 clauses out of 36027 with flag 1385003/1385003
945.12/483.58	c cleaning 18003 clauses out of 36021 with flag 1403000/1403000
956.38/489.26	c cleaning 17999 clauses out of 36018 with flag 1421000/1421000
970.07/496.20	c cleaning 17997 clauses out of 36019 with flag 1439000/1439000
982.70/502.63	c cleaning 18000 clauses out of 36022 with flag 1457000/1457000
994.36/508.55	c cleaning 18007 clauses out of 36022 with flag 1475000/1475000
1005.60/514.28	c cleaning 17997 clauses out of 36015 with flag 1493000/1493000
1017.50/520.32	c cleaning 17990 clauses out of 36018 with flag 1511000/1511000
1029.91/526.62	c cleaning 18009 clauses out of 36031 with flag 1529003/1529003
1043.52/533.51	c cleaning 18006 clauses out of 36022 with flag 1547003/1547003
1057.99/540.83	c cleaning 18000 clauses out of 36014 with flag 1565001/1565001
1072.06/548.00	c cleaning 17998 clauses out of 36014 with flag 1583001/1583001
1085.89/555.10	c cleaning 17997 clauses out of 36015 with flag 1601000/1601000
1099.95/562.19	c cleaning 18002 clauses out of 36018 with flag 1619000/1619000
1112.39/568.44	c cleaning 18002 clauses out of 36017 with flag 1637001/1637001
1124.04/574.46	c cleaning 17999 clauses out of 36014 with flag 1655000/1655000
1136.25/580.65	c cleaning 18001 clauses out of 36015 with flag 1673000/1673000
1148.47/586.81	c cleaning 17998 clauses out of 36014 with flag 1691000/1691000
1159.89/592.66	c cleaning 17996 clauses out of 36018 with flag 1709002/1709002
1171.75/598.75	c cleaning 18000 clauses out of 36020 with flag 1727000/1727000
1182.71/604.33	c cleaning 17994 clauses out of 36020 with flag 1745000/1745000
1194.94/610.56	c cleaning 18005 clauses out of 36027 with flag 1763001/1763001
1207.95/617.12	c cleaning 18007 clauses out of 36023 with flag 1781002/1781002
1222.48/624.65	c cleaning 17991 clauses out of 36014 with flag 1799000/1799000
1237.93/632.43	c cleaning 18001 clauses out of 36023 with flag 1817000/1817000
1253.54/640.33	c cleaning 17997 clauses out of 36022 with flag 1835000/1835000
1269.75/648.56	c cleaning 18007 clauses out of 36026 with flag 1853001/1853001
1285.59/656.63	c cleaning 17999 clauses out of 36018 with flag 1871000/1871000
1300.82/664.31	c cleaning 17995 clauses out of 36020 with flag 1889001/1889001
1316.41/672.24	c cleaning 18001 clauses out of 36024 with flag 1907000/1907000
1331.79/680.00	c cleaning 17998 clauses out of 36023 with flag 1925000/1925000
1347.38/688.04	c cleaning 17994 clauses out of 36025 with flag 1943000/1943000
1362.57/695.79	c cleaning 18001 clauses out of 36031 with flag 1961000/1961000
1377.35/703.28	c cleaning 18002 clauses out of 36030 with flag 1979000/1979000
1391.89/710.68	c cleaning 18007 clauses out of 36028 with flag 1997000/1997000
1404.39/717.12	c cleaning 18004 clauses out of 36021 with flag 2015000/2015000
1416.27/723.26	c cleaning 18002 clauses out of 36017 with flag 2033000/2033000
1430.39/730.41	c cleaning 18000 clauses out of 36015 with flag 2051000/2051000
1443.55/737.11	c cleaning 17998 clauses out of 36015 with flag 2069000/2069000
1456.25/743.77	c cleaning 18004 clauses out of 36019 with flag 2087002/2087002
1469.53/750.59	c cleaning 18003 clauses out of 36014 with flag 2105001/2105001
1482.86/757.33	c cleaning 17991 clauses out of 36010 with flag 2123000/2123000
1493.52/762.81	c cleaning 18005 clauses out of 36019 with flag 2141000/2141000
1505.22/768.93	c cleaning 17997 clauses out of 36014 with flag 2159000/2159000
1517.10/775.04	c cleaning 17993 clauses out of 36017 with flag 2177000/2177000
1530.06/781.68	c cleaning 18006 clauses out of 36024 with flag 2195000/2195000
1543.13/788.38	c cleaning 18003 clauses out of 36018 with flag 2213000/2213000
1557.04/795.58	c cleaning 17997 clauses out of 36015 with flag 2231000/2231000
1570.58/802.40	c cleaning 18006 clauses out of 36019 with flag 2249001/2249001
1583.66/809.12	c cleaning 18000 clauses out of 36013 with flag 2267001/2267001
1597.17/816.05	c cleaning 17994 clauses out of 36012 with flag 2285000/2285000
1610.27/822.88	c cleaning 17998 clauses out of 36018 with flag 2303000/2303000
1624.18/829.90	c cleaning 17997 clauses out of 36020 with flag 2321000/2321000
1638.16/837.07	c cleaning 18003 clauses out of 36023 with flag 2339000/2339000
1652.93/844.56	c cleaning 17999 clauses out of 36020 with flag 2357000/2357000
1668.61/852.66	c cleaning 18004 clauses out of 36021 with flag 2375000/2375000
1683.53/860.26	c cleaning 18000 clauses out of 36017 with flag 2393000/2393000
1686.10/861.71	c And the winner is CuttingPlanes
1686.10/861.75	c Got one! Elapsed wall clock time (in seconds):861.623
1686.10/861.75	o 29
1690.20/865.60	c cleaning 18000 clauses out of 36018 with flag 2411001/2411001
1700.46/870.82	c cleaning 18000 clauses out of 36018 with flag 2429001/2429001
1710.89/876.36	c cleaning 18001 clauses out of 36017 with flag 2447000/2447000
1721.17/881.63	c cleaning 17997 clauses out of 36016 with flag 2465000/2465000
1731.03/886.73	c cleaning 17997 clauses out of 36019 with flag 2483000/2483000
1740.93/891.89	c cleaning 18003 clauses out of 36023 with flag 2501001/2501001
1751.35/897.30	c cleaning 17989 clauses out of 36019 with flag 2519000/2519000
1761.24/902.49	c cleaning 18009 clauses out of 36032 with flag 2537002/2537002
1771.28/907.66	c cleaning 18003 clauses out of 36022 with flag 2555001/2555001
1781.34/912.82	c cleaning 17998 clauses out of 36018 with flag 2573000/2573000
1791.50/918.26	c cleaning 18001 clauses out of 36024 with flag 2591004/2591004
1796.71/921.01	c starts		: 17
1796.71/921.01	c conflicts		: 1803
1796.71/921.01	c decisions		: 202910
1796.71/921.01	c propagations		: 1100113
1796.71/921.01	c inspects		: 11373479
1796.71/921.01	c learnt literals	: 0
1796.71/921.01	c learnt binary clauses	: 0
1796.71/921.01	c learnt ternary clauses	: 0
1796.71/921.01	c learnt clauses	: 1802
1796.71/921.01	c ignored clauses	: 0
1796.71/921.01	c root simplifications	: 0
1796.71/921.01	c removed literals (reason simplification)	: 0
1796.71/921.01	c reason swapping (by a shorter reason)	: 0
1796.71/921.01	c Calls to reduceDB	: 0
1796.71/921.01	c number of reductions to clauses (during analyze)	: 0
1796.71/921.01	c number of learned constraints concerned by reduction	: 0
1796.71/921.01	c number of learning phase by resolution	: 0
1796.71/921.01	c number of learning phase by cutting planes	: 0
1796.71/921.01	c speed (assignments/second)	: 18566.367947614468
1796.71/921.01	c non guided choices	0
1796.71/921.01	c learnt constraints type 
1796.71/921.01	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 17
1796.71/921.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40
1796.71/921.01	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1745
1796.71/921.01	c constraints type 
1796.71/921.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3020
1796.71/921.01	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1796.71/921.01	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14108
1796.71/921.01	c constraints type 
1796.71/921.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14108
1796.71/921.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3020
1796.71/921.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1796.71/921.01	s SATISFIABLE
1796.71/921.03	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 x3448 x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 x3484 x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 x4529 x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 x5677 x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 x5825 x5826 x5827 x5828 
1796.71/921.03	c objective function=29
1796.71/921.03	c Total wall clock time (in seconds): 920.903

Verifier Data 

OK	29

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-3735561-1338748905/watcher-3735561-1338748905 -o /tmp/evaluation-result-3735561-1338748905/solver-3735561-1338748905 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735561-1338748905.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: 3.91 3.91 3.82 4/197 16553
/proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/16553/stat : 16553 (java6) D 16551 16553 13986 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341014907 2560000 46 33554432000 1073741824 1073778376 140736082133952 140736082131080 239228513575 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/16553/statm: 625 46 37 9 0 29 0

[startup+0.0465799 s]
/proc/loadavg: 3.91 3.91 3.82 4/197 16553
/proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2233952 CPUtime=0.02 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 3564 0 1 0 1 1 0 0 20 0 11 0 341014907 2287566848 4773 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 558488 4773 1591 9 0 549189 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2233952

[startup+0.100288 s]
/proc/loadavg: 3.91 3.91 3.82 4/197 16553
/proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 3898 0 1 0 5 1 0 0 20 0 18 0 341014907 2764726272 5616 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928

[startup+0.300262 s]
/proc/loadavg: 3.91 3.91 3.82 4/197 16553
/proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2699928 CPUtime=0.46 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 5952 0 1 0 44 2 0 0 20 0 18 0 341014907 2764726272 8735 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 674982 8735 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2699928

[startup+0.700274 s]
/proc/loadavg: 3.91 3.91 3.82 4/197 16553
/proc/meminfo: memFree=28285196/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 15315 0 1 0 171 7 0 0 20 0 20 0 341014907 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 741546 25941 2259 9 0 732240 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 2966184

[startup+1.50068 s]
/proc/loadavg: 3.91 3.91 3.82 3/217 16575
/proc/meminfo: memFree=28190224/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2966184 CPUtime=1.86 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 15393 0 1 0 179 7 0 0 20 0 20 0 341014907 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 741546 25941 2259 9 0 732240 0
[pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2822 0 1 0 45 3 0 0 20 0 20 0 341014909 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5622 0 0 0 52 0 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=0.51 cores=1,3,5,7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 5697 0 0 0 50 1 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 25941 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 2966184

[startup+3.10073 s]
/proc/loadavg: 3.91 3.91 3.82 3/217 16577
/proc/meminfo: memFree=28174888/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2966184 CPUtime=2.68 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 15627 0 1 0 257 11 0 0 20 0 20 0 341014907 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 741546 32217 2262 9 0 732240 0
[pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2824 0 1 0 49 3 0 0 20 0 20 0 341014909 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=0.71 cores=1,3,5,7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5716 0 0 0 71 0 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=0.72 cores=1,3,5,7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 5761 0 0 0 71 1 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 32217 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 2966184

[startup+6.30073 s]
/proc/loadavg: 3.76 3.88 3.81 3/217 16583
/proc/meminfo: memFree=28142128/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2966184 CPUtime=4.05 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 20859 0 1 0 386 19 0 0 20 0 20 0 341014907 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 741546 41287 2264 9 0 732240 0
[pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2828 0 1 0 52 3 0 0 20 0 20 0 341014909 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341014911 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014912 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=0.93 cores=1,3,5,7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5729 0 0 0 93 0 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 10921 0 0 0 114 2 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341014915 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341014969 3037372416 41287 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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


[startup+861.801 s]
/proc/loadavg: 3.86 3.90 3.83 5/219 16673
/proc/meminfo: memFree=27510716/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2966184 CPUtime=1682.71 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 23994 0 1 0 168055 216 0 0 20 0 22 0 341014907 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 741546 207791 2289 9 0 732240 0
[pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2855 0 1 0 58 5 0 0 20 0 22 0 341014909 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=5.35 cores=1,3,5,7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 183 0 0 0 528 7 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=5.19 cores=1,3,5,7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 188 0 0 0 508 11 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=5.23 cores=1,3,5,7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 183 0 0 0 514 9 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=5.31 cores=1,3,5,7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 179 0 0 0 523 8 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=5.5 cores=1,3,5,7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 210 0 0 0 539 11 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=5.42 cores=1,3,5,7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 205 0 0 0 533 9 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=5.5 cores=1,3,5,7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 191 0 0 0 541 9 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=5.39 cores=1,3,5,7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 195 0 0 0 530 9 0 0 20 0 22 0 341014911 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=40.82 cores=1,3,5,7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 116 0 0 0 4016 66 0 0 20 0 22 0 341014912 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=1.29 cores=1,3,5,7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5737 0 0 0 129 0 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=1.5 cores=1,3,5,7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 10936 0 0 0 147 3 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 51 0 0 0 22 20 0 0 20 0 22 0 341014915 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 207791 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1682.71
Current children cumulated vsize (KiB) 2966184
#
############


[startup+882.301 s]
/proc/loadavg: 3.78 3.87 3.83 4/219 16675
/proc/meminfo: memFree=27504324/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2966184 CPUtime=1722.12 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 24067 0 1 0 171993 219 0 0 20 0 22 0 341014907 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 741546 209368 2289 9 0 732240 0
[pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2857 0 1 0 58 5 0 0 20 0 22 0 341014909 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=5.54 cores=1,3,5,7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 189 0 0 0 546 8 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=5.36 cores=1,3,5,7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 193 0 0 0 525 11 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=5.4 cores=1,3,5,7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 188 0 0 0 531 9 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=5.44 cores=1,3,5,7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 185 0 0 0 536 8 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=5.64 cores=1,3,5,7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 211 0 0 0 552 12 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=5.6 cores=1,3,5,7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 212 0 0 0 551 9 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=5.7 cores=1,3,5,7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 201 0 0 0 561 9 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=5.55 cores=1,3,5,7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 198 0 0 0 546 9 0 0 20 0 22 0 341014911 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=42.95 cores=1,3,5,7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 116 0 0 0 4228 67 0 0 20 0 22 0 341014912 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=1.29 cores=1,3,5,7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5737 0 0 0 129 0 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=1.5 cores=1,3,5,7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 10936 0 0 0 147 3 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 51 0 0 0 23 20 0 0 20 0 22 0 341014915 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16674] ppid=16551 vsize=2966184 CPUtime=17.94 cores=1,3,5,7
/proc/16553/task/16674/stat : 16674 (java) R 16551 16553 13986 0 -1 4202560 10 0 0 0 1794 0 0 0 20 0 22 0 341101084 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689790722344 140689791269152 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16675] ppid=16551 vsize=2966184 CPUtime=17.94 cores=1,3,5,7
/proc/16553/task/16675/stat : 16675 (java) R 16551 16553 13986 0 -1 4202560 22 0 0 0 1794 0 0 0 20 0 22 0 341101084 3037372416 209368 33554432000 1073741824 1073778376 140735091515216 140689909727680 140689791627922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 2966184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+921.001 s]
/proc/loadavg: 3.74 3.86 3.82 5/219 16675
/proc/meminfo: memFree=27491664/32873844 swapFree=7644/7644
[pid=16553] ppid=16551 vsize=2966184 CPUtime=1796.71 cores=1,3,5,7
/proc/16553/stat : 16553 (java) S 16551 16553 13986 0 -1 4202496 24204 0 1 0 179444 227 0 0 20 0 22 0 341014907 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140735091506352 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16553/statm: 741546 212509 2289 9 0 732240 0
[pid=16553/tid=16555] ppid=16551 vsize=2966184 CPUtime=0.63 cores=1,3,5,7
/proc/16553/task/16555/stat : 16555 (java) S 16551 16553 13986 0 -1 4202560 2863 0 1 0 58 5 0 0 20 0 22 0 341014909 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689953649816 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16556] ppid=16551 vsize=2966184 CPUtime=5.84 cores=1,3,5,7
/proc/16553/task/16556/stat : 16556 (java) S 16551 16553 13986 0 -1 4202560 207 0 0 0 576 8 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689937931176 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16557] ppid=16551 vsize=2966184 CPUtime=5.73 cores=1,3,5,7
/proc/16553/task/16557/stat : 16557 (java) S 16551 16553 13986 0 -1 4202560 204 0 0 0 562 11 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689936878632 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16558] ppid=16551 vsize=2966184 CPUtime=5.68 cores=1,3,5,7
/proc/16553/task/16558/stat : 16558 (java) S 16551 16553 13986 0 -1 4202560 198 0 0 0 559 9 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689935825576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16559] ppid=16551 vsize=2966184 CPUtime=5.76 cores=1,3,5,7
/proc/16553/task/16559/stat : 16559 (java) S 16551 16553 13986 0 -1 4202560 185 0 0 0 567 9 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689934773032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16560] ppid=16551 vsize=2966184 CPUtime=6 cores=1,3,5,7
/proc/16553/task/16560/stat : 16560 (java) S 16551 16553 13986 0 -1 4202560 222 0 0 0 588 12 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689933719976 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16561] ppid=16551 vsize=2966184 CPUtime=5.97 cores=1,3,5,7
/proc/16553/task/16561/stat : 16561 (java) S 16551 16553 13986 0 -1 4202560 225 0 0 0 587 10 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689932667432 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16562] ppid=16551 vsize=2966184 CPUtime=6.07 cores=1,3,5,7
/proc/16553/task/16562/stat : 16562 (java) S 16551 16553 13986 0 -1 4202560 213 0 0 0 597 10 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689931614376 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16553/tid=16563] ppid=16551 vsize=2966184 CPUtime=5.87 cores=1,3,5,7
/proc/16553/task/16563/stat : 16563 (java) S 16551 16553 13986 0 -1 4202560 207 0 0 0 578 9 0 0 20 0 22 0 341014911 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689930561832 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16564] ppid=16551 vsize=2966184 CPUtime=46.87 cores=1,3,5,7
/proc/16553/task/16564/stat : 16564 (java) S 16551 16553 13986 0 -1 4202560 118 0 0 0 4617 70 0 0 20 0 22 0 341014912 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689918151528 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16565] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16565/stat : 16565 (java) S 16551 16553 13986 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689917097848 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16566] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16566/stat : 16566 (java) S 16551 16553 13986 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341014912 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689916044680 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16567] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16567/stat : 16567 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689914993424 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16568] ppid=16551 vsize=2966184 CPUtime=1.29 cores=1,3,5,7
/proc/16553/task/16568/stat : 16568 (java) S 16551 16553 13986 0 -1 4202560 5737 0 0 0 129 0 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689913940280 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16569] ppid=16551 vsize=2966184 CPUtime=1.5 cores=1,3,5,7
/proc/16553/task/16569/stat : 16569 (java) S 16551 16553 13986 0 -1 4202560 10936 0 0 0 147 3 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689912887736 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16553/tid=16570] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16570/stat : 16570 (java) S 16551 16553 13986 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689911834872 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16571] ppid=16551 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/16553/task/16571/stat : 16571 (java) S 16551 16553 13986 0 -1 4202560 53 0 0 0 24 21 0 0 20 0 22 0 341014915 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689910782536 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16574] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16574/stat : 16574 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689789670696 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16575] ppid=16551 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/16553/task/16575/stat : 16575 (java) S 16551 16553 13986 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341014969 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689788618152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16553/tid=16674] ppid=16551 vsize=2966184 CPUtime=51.86 cores=1,3,5,7
/proc/16553/task/16674/stat : 16674 (java) R 16551 16553 13986 0 -1 4202560 32 0 0 0 5186 0 0 0 20 0 22 0 341101084 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689790720576 140689791680092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16553/tid=16675] ppid=16551 vsize=2966184 CPUtime=51.84 cores=1,3,5,7
/proc/16553/task/16675/stat : 16675 (java) R 16551 16553 13986 0 -1 4202560 43 0 0 0 5184 0 0 0 20 0 22 0 341101084 3037372416 212509 33554432000 1073741824 1073778376 140735091515216 140689909726432 140689791628060 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1796.71
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

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 3.42001
#  lost CPU user time (s): 3.64999
#  lost CPU system time (s): -0.23

Real time (s): 921.047
CPU time (s): 1800.37
CPU user time (s): 1798.15
CPU system time (s): 2.22363
CPU usage (%): 195.47
Max. virtual memory (cumulated for all children) (KiB): 2966184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 2.45363
maximum resident set size= 850156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24235
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60290
involuntary context switches= 109951

runsolver used 4.50531 second user time and 8.07977 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-03 20:41:45
IDJOB=3735561
IDBENCH=24974
IDSOLVER=2324
FILE ID=node147/3735561-1338748905
RUNJOBID= node147-1338737348-14003
PBS_JOBID= 14636764
Free space on /tmp= 70772 MiB

SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb
COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735561-1338748905/watcher-3735561-1338748905 -o /tmp/evaluation-result-3735561-1338748905/solver-3735561-1338748905 -C 1800 -W 1900 -M 15500  java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735561-1338748905.opb

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

MD5SUM BENCH= 45c2f7ac01d7ade9fbe465857931ee2b
RANDOM SEED=486927169

node147.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.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
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.951
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.951
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.87
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.951
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.951
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.951
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.951
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.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28285096 kB
Buffers:          458608 kB
Cached:          2581004 kB
SwapCached:         3380 kB
Active:          2163656 kB
Inactive:        1558228 kB
Active(anon):     677712 kB
Inactive(anon):     5908 kB
Active(file):    1485944 kB
Inactive(file):  1552320 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:               516 kB
Writeback:             0 kB
AnonPages:        690260 kB
Mapped:            17732 kB
Shmem:                 0 kB
Slab:             722552 kB
SReclaimable:     163460 kB
SUnreclaim:       559092 kB
KernelStack:        1624 kB
PageTables:         4856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1573172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    636928 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= 70780 MiB
End job on node147 at 2012-06-03 20:57:08