Trace number 3736037

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)20 1800.07 973.659

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark60.8677
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
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.07/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.11	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.12	c Number of processors 	8
0.07/0.14	c Pseudo Boolean Optimization
0.07/0.14	c ManyCore solver with 2 solvers running in parallel
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.14	c Expensive reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.14	c --- Begin Solver configuration ---
0.07/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.14	c Learn all clauses as in MiniSAT
0.07/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.14	c No reason simplification
0.07/0.14	c Armin Biere (Picosat) restarts strategy
0.07/0.14	c Glucose learned constraints deletion strategy
0.07/0.14	c timeout=2147483s
0.07/0.14	c DB Simplification allowed=false
0.07/0.14	c --- End Solver configuration ---
0.07/0.14	c solving HOME/instance-3736037-1338714822.opb
0.07/0.14	c reading problem ... 
0.70/0.49	c ... done. Wall clock time 0.348s.
0.70/0.49	c #vars     4318
0.70/0.49	c #constraints  15120
0.70/0.49	c constraints type 
0.70/0.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827
0.70/0.49	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
0.70/0.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287
0.70/0.49	c constraints type 
0.70/0.49	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287
0.70/0.49	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827
0.70/0.49	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.00/0.54	c  And the winner is Resolution
1.30/1.00	c SATISFIABLE
1.30/1.00	c OPTIMIZING...
1.30/1.00	c Got one! Elapsed wall clock time (in seconds):0.855
1.30/1.00	o 24
3.59/1.76	c cleaning 2495 clauses out of 5005 with flag 5000/5005
4.45/2.15	c  And the winner is Resolution
4.59/2.50	c Got one! Elapsed wall clock time (in seconds):2.361
4.59/2.50	o 23
5.01/2.77	c cleaning 3949 clauses out of 7905 with flag 2000/10400
6.63/3.58	c cleaning 4971 clauses out of 9957 with flag 8001/16401
8.64/4.52	c cleaning 5985 clauses out of 11986 with flag 15001/23401
10.26/5.40	c cleaning 6991 clauses out of 14002 with flag 23002/31402
12.44/6.46	c cleaning 7987 clauses out of 16009 with flag 32000/40400
14.60/7.51	c cleaning 9005 clauses out of 18024 with flag 42002/50402
16.99/8.71	c cleaning 10003 clauses out of 20017 with flag 53000/61400
19.13/9.84	c cleaning 11001 clauses out of 22016 with flag 65002/73402
20.87/10.78	c  And the winner is Resolution
21.05/11.01	c Got one! Elapsed wall clock time (in seconds):10.867
21.05/11.01	o 22
22.90/11.96	c cleaning 11992 clauses out of 24005 with flag 5000/86392
24.25/12.68	c cleaning 8997 clauses out of 18014 with flag 11001/92393
26.00/13.59	c cleaning 7992 clauses out of 16016 with flag 18000/99392
28.02/14.51	c cleaning 7993 clauses out of 16024 with flag 26000/107392
29.79/15.43	c cleaning 8509 clauses out of 17031 with flag 35000/116392
32.74/16.96	c cleaning 9250 clauses out of 18522 with flag 45000/126392
36.09/18.65	c cleaning 10124 clauses out of 20273 with flag 56001/137393
38.41/19.85	c cleaning 11062 clauses out of 22148 with flag 68000/149392
41.73/21.60	c cleaning 12035 clauses out of 24086 with flag 81000/162392
46.46/23.98	c cleaning 13016 clauses out of 26054 with flag 95003/176395
50.61/26.01	c cleaning 14001 clauses out of 28036 with flag 110001/191393
54.91/28.28	c cleaning 15006 clauses out of 30035 with flag 126001/207393
60.24/30.94	c cleaning 15504 clauses out of 31028 with flag 142000/223392
64.96/33.33	c cleaning 15754 clauses out of 31525 with flag 158001/239393
67.88/34.80	c cleaning 15873 clauses out of 31770 with flag 174000/255392
71.73/36.84	c cleaning 15944 clauses out of 31901 with flag 190004/271396
76.24/39.10	c cleaning 15964 clauses out of 31954 with flag 206001/287393
81.58/41.85	c cleaning 15976 clauses out of 31989 with flag 222000/303392
85.45/43.87	c cleaning 15999 clauses out of 32014 with flag 238001/319393
92.08/47.24	c cleaning 16000 clauses out of 32015 with flag 254001/335393
97.15/49.84	c cleaning 15990 clauses out of 32015 with flag 270001/351393
101.23/51.92	c cleaning 15998 clauses out of 32026 with flag 286002/367394
101.72/52.29	c  And the winner is CuttingPlanes
101.72/52.73	c Got one! Elapsed wall clock time (in seconds):52.594
101.72/52.73	o 21
102.48/53.19	c cleaning 10506 clauses out of 21039 with flag 3001/372405
104.28/54.13	c cleaning 8233 clauses out of 16533 with flag 9001/378405
106.15/55.18	c cleaning 7638 clauses out of 15300 with flag 16001/385405
108.61/56.45	c cleaning 7814 clauses out of 15662 with flag 24001/393405
111.08/57.77	c cleaning 8415 clauses out of 16848 with flag 33001/402405
114.28/59.43	c cleaning 9212 clauses out of 18432 with flag 43000/412404
117.94/61.30	c cleaning 10093 clauses out of 20220 with flag 54000/423404
121.61/63.25	c cleaning 11050 clauses out of 22127 with flag 66000/435404
125.06/65.04	c cleaning 12031 clauses out of 24077 with flag 79000/448404
129.24/67.27	c cleaning 13007 clauses out of 26046 with flag 93000/462404
134.09/69.74	c cleaning 14011 clauses out of 28040 with flag 108001/477405
139.33/72.43	c cleaning 14998 clauses out of 30029 with flag 124001/493405
144.00/74.83	c cleaning 15501 clauses out of 31031 with flag 140001/509405
148.53/77.27	c cleaning 15754 clauses out of 31529 with flag 156000/525404
155.95/81.03	c cleaning 15881 clauses out of 31775 with flag 172000/541404
159.99/83.18	c cleaning 15928 clauses out of 31896 with flag 188002/557406
164.64/85.60	c cleaning 15962 clauses out of 31967 with flag 204001/573405
169.57/88.16	c cleaning 15982 clauses out of 32005 with flag 220001/589405
174.58/90.70	c cleaning 15999 clauses out of 32023 with flag 236001/605405
177.62/92.31	c cleaning 15997 clauses out of 32024 with flag 252001/621405
181.27/94.27	c cleaning 16003 clauses out of 32028 with flag 268002/637406
185.60/96.59	c cleaning 15998 clauses out of 32025 with flag 284002/653406
191.81/99.79	c cleaning 15999 clauses out of 32025 with flag 300000/669404
195.64/101.75	c cleaning 15998 clauses out of 32027 with flag 316001/685405
201.44/104.74	c cleaning 16004 clauses out of 32029 with flag 332001/701405
207.94/108.12	c cleaning 15997 clauses out of 32024 with flag 348000/717404
212.15/110.39	c cleaning 15996 clauses out of 32027 with flag 364000/733404
216.36/112.55	c cleaning 16005 clauses out of 32033 with flag 380002/749406
220.56/114.74	c cleaning 15999 clauses out of 32026 with flag 396000/765404
225.04/117.18	c cleaning 16002 clauses out of 32027 with flag 412000/781404
229.24/119.37	c cleaning 16002 clauses out of 32029 with flag 428004/797408
235.24/122.45	c cleaning 16002 clauses out of 32023 with flag 444000/813404
241.03/125.47	c cleaning 16001 clauses out of 32021 with flag 460000/829404
246.88/128.57	c cleaning 16003 clauses out of 32022 with flag 476002/845406
251.07/130.74	c cleaning 16000 clauses out of 32019 with flag 492002/861406
255.25/132.94	c cleaning 15996 clauses out of 32017 with flag 508000/877404
260.22/135.54	c cleaning 15999 clauses out of 32021 with flag 524000/893404
264.85/138.01	c cleaning 15993 clauses out of 32022 with flag 540000/909404
269.01/140.22	c cleaning 16002 clauses out of 32029 with flag 556000/925404
273.39/142.57	c cleaning 15996 clauses out of 32027 with flag 572000/941404
277.16/144.57	c cleaning 16005 clauses out of 32031 with flag 588000/957404
281.80/147.07	c cleaning 15999 clauses out of 32026 with flag 604000/973404
286.37/149.42	c cleaning 16002 clauses out of 32028 with flag 620001/989405
291.13/151.98	c cleaning 16005 clauses out of 32027 with flag 636002/1005406
295.88/154.48	c cleaning 15996 clauses out of 32020 with flag 652000/1021404
300.31/156.80	c cleaning 15997 clauses out of 32025 with flag 668001/1037405
305.49/159.52	c cleaning 16001 clauses out of 32027 with flag 684000/1053404
311.44/162.61	c cleaning 15997 clauses out of 32026 with flag 700000/1069404
317.82/165.91	c cleaning 16005 clauses out of 32030 with flag 716001/1085405
322.02/168.29	c cleaning 16001 clauses out of 32026 with flag 732002/1101406
326.56/170.68	c cleaning 16001 clauses out of 32025 with flag 748002/1117406
331.71/173.37	c cleaning 16004 clauses out of 32024 with flag 764002/1133406
337.28/176.21	c cleaning 16002 clauses out of 32021 with flag 780003/1149407
341.91/178.77	c cleaning 15995 clauses out of 32017 with flag 796001/1165405
346.45/181.18	c cleaning 15999 clauses out of 32023 with flag 812002/1181406
351.03/183.53	c cleaning 15998 clauses out of 32022 with flag 828000/1197404
355.61/185.99	c cleaning 16000 clauses out of 32024 with flag 844000/1213404
360.41/188.59	c cleaning 15999 clauses out of 32024 with flag 860000/1229404
364.96/190.95	c cleaning 16003 clauses out of 32025 with flag 876000/1245404
369.51/193.38	c cleaning 15994 clauses out of 32024 with flag 892002/1261406
374.28/195.89	c cleaning 15991 clauses out of 32028 with flag 908000/1277404
378.09/197.97	c cleaning 16009 clauses out of 32040 with flag 924003/1293407
385.43/201.74	c cleaning 16001 clauses out of 32028 with flag 940000/1309404
389.60/203.90	c cleaning 16007 clauses out of 32027 with flag 956000/1325404
393.55/206.06	c cleaning 16001 clauses out of 32021 with flag 972001/1341405
400.95/209.91	c cleaning 15999 clauses out of 32021 with flag 988002/1357406
406.50/212.85	c cleaning 15997 clauses out of 32021 with flag 1004001/1373405
411.87/215.64	c cleaning 16003 clauses out of 32025 with flag 1020002/1389406
417.60/218.69	c cleaning 15999 clauses out of 32024 with flag 1036004/1405408
422.99/221.55	c cleaning 16000 clauses out of 32021 with flag 1052000/1421404
428.14/224.21	c cleaning 16001 clauses out of 32021 with flag 1068000/1437404
433.29/226.93	c cleaning 15982 clauses out of 32022 with flag 1084002/1453406
438.65/229.70	c cleaning 16006 clauses out of 32042 with flag 1100004/1469408
444.48/232.80	c cleaning 16009 clauses out of 32033 with flag 1116001/1485405
450.03/235.72	c cleaning 16001 clauses out of 32026 with flag 1132003/1501407
457.37/239.56	c cleaning 15985 clauses out of 32024 with flag 1148002/1517406
463.12/242.55	c cleaning 16008 clauses out of 32038 with flag 1164001/1533405
468.72/245.52	c cleaning 15988 clauses out of 32029 with flag 1180000/1549404
472.06/247.40	c cleaning 15990 clauses out of 32041 with flag 1196000/1565404
475.63/249.22	c cleaning 15997 clauses out of 32051 with flag 1212000/1581404
479.18/251.11	c cleaning 15994 clauses out of 32054 with flag 1228000/1597404
482.78/253.10	c cleaning 15997 clauses out of 32062 with flag 1244002/1613406
486.57/255.12	c cleaning 16003 clauses out of 32064 with flag 1260001/1629405
489.70/256.88	c cleaning 15999 clauses out of 32062 with flag 1276002/1645406
493.04/258.68	c cleaning 16004 clauses out of 32062 with flag 1292001/1661405
496.86/260.79	c cleaning 15999 clauses out of 32057 with flag 1308000/1677404
500.39/262.61	c cleaning 16000 clauses out of 32058 with flag 1324000/1693404
504.75/264.92	c cleaning 16014 clauses out of 32058 with flag 1340000/1709404
509.12/267.27	c cleaning 16006 clauses out of 32046 with flag 1356002/1725406
513.32/269.59	c cleaning 16005 clauses out of 32039 with flag 1372001/1741405
518.46/272.20	c cleaning 16004 clauses out of 32033 with flag 1388000/1757404
524.41/275.30	c cleaning 16002 clauses out of 32030 with flag 1404001/1773405
529.17/277.89	c cleaning 16001 clauses out of 32027 with flag 1420000/1789404
534.18/280.58	c cleaning 15993 clauses out of 32026 with flag 1436000/1805404
539.11/283.16	c cleaning 16005 clauses out of 32033 with flag 1452000/1821404
542.87/285.18	c cleaning 15999 clauses out of 32030 with flag 1468002/1837406
546.64/287.15	c cleaning 15997 clauses out of 32031 with flag 1484002/1853406
550.45/289.22	c cleaning 15999 clauses out of 32033 with flag 1500001/1869405
554.21/291.21	c cleaning 16001 clauses out of 32033 with flag 1516000/1885404
559.56/294.02	c cleaning 15994 clauses out of 32034 with flag 1532002/1901406
566.90/297.83	c cleaning 15999 clauses out of 32038 with flag 1548000/1917404
574.12/301.60	c cleaning 15997 clauses out of 32041 with flag 1564002/1933406
581.28/305.35	c cleaning 15998 clauses out of 32044 with flag 1580002/1949406
588.02/308.85	c cleaning 16010 clauses out of 32047 with flag 1596003/1965407
595.36/312.63	c cleaning 16000 clauses out of 32034 with flag 1612000/1981404
600.32/315.31	c cleaning 15998 clauses out of 32034 with flag 1628000/1997404
603.88/317.23	c cleaning 16003 clauses out of 32037 with flag 1644001/2013405
607.62/319.23	c cleaning 15999 clauses out of 32034 with flag 1660001/2029405
611.36/321.24	c cleaning 15999 clauses out of 32034 with flag 1676000/2045404
615.13/323.39	c cleaning 16001 clauses out of 32036 with flag 1692001/2061405
618.65/325.28	c cleaning 15994 clauses out of 32035 with flag 1708001/2077405
622.35/327.29	c cleaning 16003 clauses out of 32040 with flag 1724000/2093404
626.28/329.33	c cleaning 16000 clauses out of 32037 with flag 1740000/2109404
630.07/331.44	c cleaning 16000 clauses out of 32037 with flag 1756000/2125404
633.99/333.57	c cleaning 16007 clauses out of 32037 with flag 1772000/2141404
640.10/336.70	c cleaning 16002 clauses out of 32031 with flag 1788001/2157405
645.82/339.71	c cleaning 16002 clauses out of 32028 with flag 1804000/2173404
651.96/343.01	c cleaning 15999 clauses out of 32026 with flag 1820000/2189404
657.87/346.12	c cleaning 15998 clauses out of 32027 with flag 1836000/2205404
663.77/349.22	c cleaning 15996 clauses out of 32029 with flag 1852000/2221404
669.49/352.28	c cleaning 16000 clauses out of 32034 with flag 1868001/2237405
676.00/355.70	c cleaning 16005 clauses out of 32033 with flag 1884000/2253404
681.91/358.85	c cleaning 15998 clauses out of 32028 with flag 1900000/2269404
688.19/362.13	c cleaning 16002 clauses out of 32031 with flag 1916001/2285405
694.07/365.26	c cleaning 16005 clauses out of 32032 with flag 1932004/2301408
700.34/368.66	c cleaning 16001 clauses out of 32026 with flag 1948003/2317407
706.23/371.76	c cleaning 16000 clauses out of 32025 with flag 1964003/2333407
712.09/374.85	c cleaning 16002 clauses out of 32023 with flag 1980001/2349405
717.78/377.85	c cleaning 15999 clauses out of 32021 with flag 1996001/2365405
722.86/380.66	c cleaning 15994 clauses out of 32021 with flag 2012000/2381404
728.31/383.52	c cleaning 15999 clauses out of 32027 with flag 2028000/2397404
734.16/386.66	c cleaning 16005 clauses out of 32029 with flag 2044001/2413405
738.23/388.84	c cleaning 16004 clauses out of 32027 with flag 2060004/2429408
742.46/391.21	c cleaning 15998 clauses out of 32019 with flag 2076000/2445404
748.72/394.55	c cleaning 15995 clauses out of 32021 with flag 2092000/2461404
755.60/398.16	c cleaning 15994 clauses out of 32026 with flag 2108000/2477404
762.06/401.55	c cleaning 16007 clauses out of 32033 with flag 2124001/2493405
766.70/404.17	c cleaning 16001 clauses out of 32026 with flag 2140001/2509405
771.15/406.56	c cleaning 15999 clauses out of 32024 with flag 2156000/2525404
775.20/408.71	c cleaning 16002 clauses out of 32025 with flag 2172000/2541404
779.43/411.03	c cleaning 15996 clauses out of 32023 with flag 2188000/2557404
784.27/413.79	c cleaning 15997 clauses out of 32028 with flag 2204001/2573405
789.71/416.65	c cleaning 15997 clauses out of 32031 with flag 2220001/2589405
794.95/419.47	c cleaning 15994 clauses out of 32033 with flag 2236000/2605404
800.19/422.24	c cleaning 16000 clauses out of 32040 with flag 2252001/2621405
805.37/425.18	c cleaning 16001 clauses out of 32039 with flag 2268000/2637404
810.59/427.92	c cleaning 16001 clauses out of 32039 with flag 2284001/2653405
816.42/431.10	c cleaning 16004 clauses out of 32038 with flag 2300001/2669405
822.86/434.43	c cleaning 16002 clauses out of 32034 with flag 2316001/2685405
828.67/437.68	c cleaning 16004 clauses out of 32031 with flag 2332000/2701404
834.48/440.70	c cleaning 16001 clauses out of 32028 with flag 2348001/2717405
840.12/443.77	c cleaning 16003 clauses out of 32028 with flag 2364002/2733406
845.96/446.82	c cleaning 15992 clauses out of 32025 with flag 2380002/2749406
849.54/448.96	c  And the winner is CuttingPlanes
847.98/449.00	c Got one! Elapsed wall clock time (in seconds):448.863
847.98/449.00	o 20
849.37/449.78	c cleaning 14976 clauses out of 29965 with flag 5001/2763338
851.59/451.04	c cleaning 10473 clauses out of 20990 with flag 11002/2769339
854.01/452.43	c cleaning 8742 clauses out of 17515 with flag 18000/2776337
857.04/454.11	c cleaning 8368 clauses out of 16775 with flag 26002/2784339
859.81/455.89	c cleaning 8687 clauses out of 17405 with flag 35000/2793337
863.23/457.70	c cleaning 9346 clauses out of 18719 with flag 45001/2803338
867.66/460.12	c cleaning 10172 clauses out of 20372 with flag 56000/2814337
870.67/461.89	c cleaning 11089 clauses out of 22201 with flag 68001/2826338
875.25/464.45	c cleaning 12053 clauses out of 24116 with flag 81005/2839342
880.66/467.40	c cleaning 13016 clauses out of 26058 with flag 95000/2853337
887.08/470.74	c cleaning 14011 clauses out of 28042 with flag 110000/2868337
892.48/473.60	c cleaning 15012 clauses out of 30031 with flag 126000/2884337
898.23/476.83	c cleaning 15499 clauses out of 31019 with flag 142000/2900337
904.44/480.14	c cleaning 15751 clauses out of 31520 with flag 158000/2916337
912.05/484.19	c cleaning 15873 clauses out of 31769 with flag 174000/2932337
917.64/487.17	c cleaning 15942 clauses out of 31896 with flag 190000/2948337
924.56/490.99	c cleaning 15963 clauses out of 31954 with flag 206000/2964337
930.97/494.37	c cleaning 15984 clauses out of 31992 with flag 222001/2980338
935.96/497.09	c cleaning 15991 clauses out of 32008 with flag 238001/2996338
941.91/500.27	c cleaning 15998 clauses out of 32017 with flag 254001/3012338
947.61/503.48	c cleaning 15997 clauses out of 32018 with flag 270000/3028337
952.18/505.95	c cleaning 15992 clauses out of 32021 with flag 286000/3044337
958.35/509.24	c cleaning 16004 clauses out of 32030 with flag 302001/3060338
965.29/512.95	c cleaning 15999 clauses out of 32025 with flag 318000/3076337
971.38/516.38	c cleaning 15999 clauses out of 32027 with flag 334001/3092338
976.97/519.31	c cleaning 16001 clauses out of 32028 with flag 350001/3108338
983.14/522.67	c cleaning 15993 clauses out of 32026 with flag 366000/3124337
990.30/526.42	c cleaning 16007 clauses out of 32035 with flag 382002/3140339
996.59/529.95	c cleaning 16000 clauses out of 32026 with flag 398000/3156337
1001.35/532.59	c cleaning 16000 clauses out of 32028 with flag 414002/3172339
1005.30/534.75	c cleaning 16002 clauses out of 32026 with flag 430000/3188337
1011.05/537.88	c cleaning 16002 clauses out of 32024 with flag 446000/3204337
1016.90/541.17	c cleaning 15988 clauses out of 32022 with flag 462000/3220337
1021.42/543.69	c cleaning 16010 clauses out of 32035 with flag 478001/3236338
1028.96/547.66	c cleaning 16003 clauses out of 32024 with flag 494000/3252337
1036.69/551.71	c cleaning 15999 clauses out of 32021 with flag 510000/3268337
1043.13/555.40	c cleaning 15997 clauses out of 32024 with flag 526002/3284339
1049.48/558.74	c cleaning 15994 clauses out of 32025 with flag 542000/3300337
1055.61/562.06	c cleaning 15991 clauses out of 32032 with flag 558001/3316338
1060.52/564.70	c cleaning 15998 clauses out of 32040 with flag 574000/3332337
1065.60/567.63	c cleaning 15998 clauses out of 32042 with flag 590000/3348337
1070.96/570.56	c cleaning 15997 clauses out of 32045 with flag 606001/3364338
1076.52/573.54	c cleaning 15995 clauses out of 32048 with flag 622001/3380338
1081.22/576.12	c cleaning 16007 clauses out of 32053 with flag 638001/3396338
1089.46/580.65	c cleaning 16010 clauses out of 32047 with flag 654002/3412339
1097.18/584.75	c cleaning 16004 clauses out of 32036 with flag 670001/3428338
1102.29/587.53	c cleaning 16005 clauses out of 32033 with flag 686002/3444339
1106.43/589.82	c cleaning 15998 clauses out of 32030 with flag 702004/3460341
1110.84/592.49	c cleaning 16003 clauses out of 32028 with flag 718000/3476337
1117.79/596.20	c cleaning 15987 clauses out of 32026 with flag 734001/3492338
1123.51/599.26	c cleaning 16008 clauses out of 32039 with flag 750001/3508338
1128.22/601.89	c cleaning 16004 clauses out of 32030 with flag 766000/3524337
1133.67/604.99	c cleaning 16002 clauses out of 32026 with flag 782000/3540337
1135.18/605.96	c cleaning 0 clauses out of 5923 with flag 0/5923
1139.35/608.19	c cleaning 16003 clauses out of 32025 with flag 798001/3556338
1144.83/611.07	c cleaning 15996 clauses out of 32021 with flag 814000/3572337
1151.68/614.81	c cleaning 15998 clauses out of 32026 with flag 830001/3588338
1157.99/618.21	c cleaning 16002 clauses out of 32027 with flag 846000/3604337
1164.29/621.62	c cleaning 16000 clauses out of 32026 with flag 862001/3620338
1170.62/625.00	c cleaning 16001 clauses out of 32027 with flag 878002/3636339
1176.03/628.18	c cleaning 15997 clauses out of 32024 with flag 894000/3652337
1181.14/630.95	c cleaning 15997 clauses out of 32028 with flag 910001/3668338
1186.27/633.78	c cleaning 16005 clauses out of 32030 with flag 926000/3684337
1190.79/636.27	c cleaning 15992 clauses out of 32025 with flag 942000/3700337
1196.80/639.67	c cleaning 15992 clauses out of 32033 with flag 958000/3716337
1202.32/642.61	c cleaning 16006 clauses out of 32041 with flag 974000/3732337
1206.63/645.05	c cleaning 16001 clauses out of 32036 with flag 990001/3748338
1211.37/647.63	c cleaning 16007 clauses out of 32035 with flag 1006001/3764338
1217.16/650.92	c cleaning 15986 clauses out of 32027 with flag 1022000/3780337
1223.70/654.43	c cleaning 16001 clauses out of 32043 with flag 1038002/3796339
1228.77/657.28	c cleaning 15997 clauses out of 32040 with flag 1054000/3812337
1235.28/660.74	c cleaning 16001 clauses out of 32043 with flag 1070000/3828337
1240.23/663.63	c cleaning 16012 clauses out of 32042 with flag 1086000/3844337
1244.55/666.07	c cleaning 15999 clauses out of 32030 with flag 1102000/3860337
1248.83/668.42	c cleaning 16001 clauses out of 32033 with flag 1118002/3876339
1252.73/670.67	c cleaning 15998 clauses out of 32031 with flag 1134001/3892338
1257.30/673.33	c cleaning 15996 clauses out of 32032 with flag 1150000/3908337
1261.79/675.82	c cleaning 16002 clauses out of 32036 with flag 1166000/3924337
1266.91/678.66	c cleaning 15981 clauses out of 32034 with flag 1182000/3940337
1273.80/682.35	c cleaning 16004 clauses out of 32054 with flag 1198001/3956338
1281.54/686.69	c cleaning 16015 clauses out of 32049 with flag 1214000/3972337
1288.64/690.46	c cleaning 15988 clauses out of 32036 with flag 1230002/3988339
1296.13/694.48	c cleaning 16005 clauses out of 32046 with flag 1246000/4004337
1302.40/697.80	c cleaning 16017 clauses out of 32045 with flag 1262004/4020341
1309.55/701.86	c cleaning 16001 clauses out of 32025 with flag 1278001/4036338
1316.44/705.56	c cleaning 16001 clauses out of 32025 with flag 1294002/4052339
1322.72/708.91	c cleaning 16003 clauses out of 32024 with flag 1310002/4068339
1328.98/712.31	c cleaning 16001 clauses out of 32019 with flag 1326000/4084337
1334.71/715.68	c cleaning 15988 clauses out of 32018 with flag 1342000/4100337
1341.56/719.39	c cleaning 16007 clauses out of 32031 with flag 1358001/4116338
1348.41/723.00	c cleaning 15992 clauses out of 32023 with flag 1374000/4132337
1353.48/725.83	c cleaning 15994 clauses out of 32031 with flag 1390000/4148337
1358.63/728.82	c cleaning 16002 clauses out of 32038 with flag 1406001/4164338
1365.11/732.30	c cleaning 16007 clauses out of 32036 with flag 1422001/4180338
1372.38/736.28	c cleaning 16004 clauses out of 32028 with flag 1438000/4196337
1380.45/740.58	c cleaning 16006 clauses out of 32030 with flag 1454006/4212343
1389.53/745.54	c cleaning 15979 clauses out of 32020 with flag 1470002/4228339
1397.37/749.73	c cleaning 16003 clauses out of 32039 with flag 1486000/4244337
1403.60/753.10	c cleaning 16004 clauses out of 32040 with flag 1502004/4260341
1410.02/756.67	c cleaning 15986 clauses out of 32032 with flag 1518000/4276337
1415.32/759.75	c cleaning 16011 clauses out of 32047 with flag 1534001/4292338
1420.96/762.84	c cleaning 16000 clauses out of 32035 with flag 1550000/4308337
1427.42/766.35	c cleaning 15996 clauses out of 32038 with flag 1566003/4324340
1434.28/770.08	c cleaning 16006 clauses out of 32040 with flag 1582001/4340338
1440.29/773.53	c cleaning 16006 clauses out of 32034 with flag 1598001/4356338
1446.12/776.71	c cleaning 15994 clauses out of 32027 with flag 1614000/4372337
1450.92/779.49	c cleaning 15993 clauses out of 32034 with flag 1630001/4388338
1455.54/782.00	c cleaning 16001 clauses out of 32040 with flag 1646000/4404337
1460.16/784.89	c cleaning 15991 clauses out of 32039 with flag 1662000/4420337
1464.78/787.45	c cleaning 16005 clauses out of 32051 with flag 1678003/4436340
1469.39/790.05	c cleaning 16005 clauses out of 32044 with flag 1694001/4452338
1474.63/792.93	c cleaning 16000 clauses out of 32040 with flag 1710002/4468339
1480.09/796.16	c cleaning 15999 clauses out of 32039 with flag 1726001/4484338
1484.92/798.87	c cleaning 15999 clauses out of 32041 with flag 1742002/4500339
1490.18/801.72	c cleaning 16001 clauses out of 32040 with flag 1758000/4516337
1495.03/804.43	c cleaning 15996 clauses out of 32039 with flag 1774000/4532337
1501.14/807.96	c cleaning 16009 clauses out of 32048 with flag 1790005/4548342
1506.78/811.02	c cleaning 16007 clauses out of 32034 with flag 1806000/4564337
1512.43/814.14	c cleaning 15997 clauses out of 32028 with flag 1822001/4580338
1517.86/817.14	c cleaning 16006 clauses out of 32032 with flag 1838002/4596339
1523.95/820.70	c cleaning 16002 clauses out of 32025 with flag 1854001/4612338
1529.59/823.76	c cleaning 16000 clauses out of 32024 with flag 1870002/4628339
1535.42/826.99	c cleaning 15995 clauses out of 32024 with flag 1886002/4644339
1541.67/830.32	c cleaning 16004 clauses out of 32027 with flag 1902000/4660337
1548.32/834.20	c cleaning 16000 clauses out of 32024 with flag 1918001/4676338
1554.95/837.75	c cleaning 15994 clauses out of 32023 with flag 1934000/4692337
1561.98/841.52	c cleaning 16003 clauses out of 32029 with flag 1950000/4708337
1568.58/845.12	c cleaning 16001 clauses out of 32028 with flag 1966002/4724339
1575.41/849.09	c cleaning 15997 clauses out of 32025 with flag 1982000/4740337
1582.03/852.67	c cleaning 16004 clauses out of 32031 with flag 1998003/4756340
1587.24/855.57	c cleaning 16001 clauses out of 32024 with flag 2014000/4772337
1594.09/859.20	c cleaning 15998 clauses out of 32023 with flag 2030000/4788337
1598.57/861.97	c cleaning 15997 clauses out of 32025 with flag 2046000/4804337
1603.79/864.89	c cleaning 16002 clauses out of 32028 with flag 2062000/4820337
1609.81/868.19	c cleaning 16000 clauses out of 32027 with flag 2078001/4836338
1615.01/871.10	c cleaning 15999 clauses out of 32026 with flag 2094000/4852337
1621.39/874.78	c cleaning 16009 clauses out of 32030 with flag 2110003/4868340
1627.61/878.16	c cleaning 15996 clauses out of 32020 with flag 2126002/4884339
1633.63/881.43	c cleaning 15991 clauses out of 32025 with flag 2142003/4900340
1642.86/886.36	c cleaning 15987 clauses out of 32031 with flag 2158000/4916337
1648.73/889.75	c cleaning 16006 clauses out of 32047 with flag 2174003/4932340
1654.12/892.78	c cleaning 16002 clauses out of 32038 with flag 2190000/4948337
1660.13/896.09	c cleaning 16001 clauses out of 32037 with flag 2206001/4964338
1666.13/899.37	c cleaning 15997 clauses out of 32036 with flag 2222001/4980338
1672.36/902.93	c cleaning 15996 clauses out of 32038 with flag 2238000/4996337
1678.36/906.26	c cleaning 15999 clauses out of 32043 with flag 2254001/5012338
1684.98/909.83	c cleaning 16002 clauses out of 32044 with flag 2270001/5028338
1690.81/913.06	c cleaning 16000 clauses out of 32042 with flag 2286001/5044338
1695.84/916.10	c cleaning 16007 clauses out of 32041 with flag 2302000/5060337
1701.67/919.28	c cleaning 16006 clauses out of 32036 with flag 2318002/5076339
1708.08/922.78	c cleaning 16001 clauses out of 32030 with flag 2334002/5092339
1713.31/925.68	c cleaning 15999 clauses out of 32028 with flag 2350001/5108338
1719.38/929.19	c cleaning 15993 clauses out of 32028 with flag 2366000/5124337
1725.19/932.31	c cleaning 15997 clauses out of 32038 with flag 2382003/5140340
1731.24/935.69	c cleaning 15997 clauses out of 32038 with flag 2398000/5156337
1738.67/939.63	c cleaning 15992 clauses out of 32041 with flag 2414000/5172337
1746.54/944.08	c cleaning 16008 clauses out of 32051 with flag 2430002/5188339
1751.76/946.93	c cleaning 16001 clauses out of 32042 with flag 2446001/5204338
1756.35/949.58	c cleaning 15998 clauses out of 32040 with flag 2462000/5220337
1761.33/952.30	c cleaning 15997 clauses out of 32042 with flag 2478000/5236337
1766.91/955.60	c cleaning 15998 clauses out of 32045 with flag 2494000/5252337
1771.11/958.06	c cleaning 16000 clauses out of 32047 with flag 2510000/5268337
1775.71/960.63	c cleaning 15997 clauses out of 32048 with flag 2526001/5284338
1780.32/963.20	c cleaning 16002 clauses out of 32051 with flag 2542001/5300338
1785.58/966.32	c cleaning 16007 clauses out of 32048 with flag 2558000/5316337
1790.83/969.22	c cleaning 16001 clauses out of 32043 with flag 2574002/5332339
1795.26/971.78	c cleaning 16000 clauses out of 32043 with flag 2590003/5348340
1798.51/973.61	c starts		: 34
1798.51/973.61	c conflicts		: 7409
1798.51/973.61	c decisions		: 61575
1798.51/973.61	c propagations		: 1173446
1798.51/973.61	c inspects		: 309145989
1798.51/973.61	c shortcuts		: 0
1798.51/973.61	c learnt literals	: 0
1798.51/973.61	c learnt binary clauses	: 0
1798.51/973.61	c learnt ternary clauses	: 1
1798.51/973.61	c learnt constraints	: 7408
1798.51/973.61	c ignored constraints	: 0
1798.51/973.61	c root simplifications	: 0
1798.51/973.61	c removed literals (reason simplification)	: 0
1798.51/973.61	c reason swapping (by a shorter reason)	: 0
1798.51/973.61	c Calls to reduceDB	: 1
1798.51/973.61	c number of reductions to clauses (during analyze)	: 0
1798.51/973.61	c number of learned constraints concerned by reduction	: 0
1798.51/973.61	c number of learning phase by resolution	: 0
1798.51/973.61	c number of learning phase by cutting planes	: 0
1798.51/973.61	c speed (assignments/second)	: 2236.830969001262
1798.51/973.61	c non guided choices	0
1798.51/973.61	c learnt constraints type 
1798.51/973.61	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 84
1798.51/973.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 38
1798.51/973.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7286
1798.51/973.61	c constraints type 
1798.51/973.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827
1798.51/973.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1798.51/973.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287
1798.51/973.61	c constraints type 
1798.51/973.61	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287
1798.51/973.61	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827
1798.51/973.61	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1798.51/973.61	s SATISFIABLE
1798.51/973.62	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 
1798.51/973.63	c objective function=20
1798.51/973.63	c Total wall clock time (in seconds): 973.489

Verifier Data 

OK	20

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-3736037-1338714822/watcher-3736037-1338714822 -o /tmp/evaluation-result-3736037-1338714822/solver-3736037-1338714822 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736037-1338714822.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.51 3.63 3.16 4/199 31463
/proc/meminfo: memFree=24495800/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/31463/stat : 31463 (java) R 31461 31463 30903 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 337607612 3653632 49 33554432000 1073741824 1073778376 140735948163776 140735948160904 273896533287 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31463/statm: 892 49 38 9 0 30 0

[startup+0.086 s]
/proc/loadavg: 3.51 3.63 3.16 4/199 31463
/proc/meminfo: memFree=24495800/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11253516 CPUtime=0.05 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 4832 0 1 0 4 1 0 0 20 0 13 0 337607612 11523600384 12685 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2813379 12685 1715 9 0 2804080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11253516

[startup+0.100263 s]
/proc/loadavg: 3.51 3.63 3.16 4/199 31463
/proc/meminfo: memFree=24495800/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 4951 0 1 0 5 2 0 0 20 0 18 0 337607612 11864465408 12804 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2896598 12804 1766 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.30022 s]
/proc/loadavg: 3.51 3.63 3.16 4/199 31463
/proc/meminfo: memFree=24495800/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11586392 CPUtime=0.43 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 6577 0 1 0 41 2 0 0 20 0 18 0 337607612 11864465408 15773 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2896598 15773 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 11586392

[startup+0.700277 s]
/proc/loadavg: 3.51 3.63 3.16 4/199 31463
/proc/meminfo: memFree=24495800/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 11132 0 1 0 124 6 0 0 20 0 19 0 337607612 12137111552 27645 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2963162 27645 2260 9 0 2953849 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 11852648

[startup+1.50067 s]
/proc/loadavg: 3.51 3.63 3.16 5/218 31485
/proc/meminfo: memFree=24394164/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11852648 CPUtime=3.16 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 16215 0 1 0 307 9 0 0 20 0 22 0 337607612 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2963162 54859 2268 9 0 2953849 0
[pid=31463/tid=31465] ppid=31461 vsize=11852648 CPUtime=0.46 cores=0,2,4,6
/proc/31463/task/31465/stat : 31465 (java) S 31461 31463 30903 0 -1 4202560 3911 0 1 0 43 3 0 0 20 0 22 0 337607613 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352847406232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31466/stat : 31466 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352822810792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31467/stat : 31467 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352821758248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31468/stat : 31468 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352682248616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31469/stat : 31469 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352681196072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31470/stat : 31470 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352680143528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31471] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31471/stat : 31471 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352679090984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31472] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31472/stat : 31472 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352678038440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31473] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31473/stat : 31473 (java) S 31461 31463 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352676985896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31474] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31474/stat : 31474 (java) S 31461 31463 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337607617 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352664787048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31475] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31475/stat : 31475 (java) S 31461 31463 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352663733368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31476] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31476/stat : 31476 (java) S 31461 31463 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352662680712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31477] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31477/stat : 31477 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352661629456 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31478] ppid=31461 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/31463/task/31478/stat : 31478 (java) S 31461 31463 30903 0 -1 4202560 5422 0 0 0 78 2 0 0 20 0 22 0 337607621 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352660576824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31479] ppid=31461 vsize=11852648 CPUtime=0.75 cores=0,2,4,6
/proc/31463/task/31479/stat : 31479 (java) S 31461 31463 30903 0 -1 4202560 5503 0 0 0 75 0 0 0 20 0 22 0 337607621 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352659524280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31480] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31480/stat : 31480 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352658471928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31481] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31481/stat : 31481 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352657419592 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31484] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31484/stat : 31484 (java) S 31461 31463 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337607663 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352654259240 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31486] ppid=31461 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/31463/task/31486/stat : 31486 (java) R 31461 31463 30903 0 -1 4202560 4 0 0 0 48 0 0 0 20 0 22 0 337607712 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352655311784 140352703634145 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31487] ppid=31461 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/31463/task/31487/stat : 31487 (java) R 31461 31463 30903 0 -1 4202560 74 0 0 0 46 2 0 0 20 0 22 0 337607712 12137111552 54859 33554432000 1073741824 1073778376 140733602731520 140352656363968 140352703809205 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 11852648

[startup+3.10071 s]
/proc/loadavg: 3.51 3.63 3.16 6/221 31488
/proc/meminfo: memFree=24070812/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11852648 CPUtime=5.83 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 16883 0 1 0 566 17 0 0 20 0 22 0 337607612 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2963162 138898 2292 9 0 2953849 0
[pid=31463/tid=31465] ppid=31461 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/31463/task/31465/stat : 31465 (java) S 31461 31463 30903 0 -1 4202560 3911 0 1 0 44 3 0 0 20 0 22 0 337607613 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352847406232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31466/stat : 31466 (java) S 31461 31463 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352822810792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31467/stat : 31467 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352821758248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31468/stat : 31468 (java) S 31461 31463 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352682248616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31469/stat : 31469 (java) S 31461 31463 30903 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352681196072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31470/stat : 31470 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352680143528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31471] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31471/stat : 31471 (java) S 31461 31463 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352679090984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31472] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31472/stat : 31472 (java) S 31461 31463 30903 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352678038440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31473] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31473/stat : 31473 (java) S 31461 31463 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352676985896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31474] ppid=31461 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/31463/task/31474/stat : 31474 (java) S 31461 31463 30903 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 22 0 337607617 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352664787048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31475] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31475/stat : 31475 (java) S 31461 31463 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352663733368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31476] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31476/stat : 31476 (java) S 31461 31463 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352662680712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31477] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31477/stat : 31477 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352661629456 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31478] ppid=31461 vsize=11852648 CPUtime=0.95 cores=0,2,4,6
/proc/31463/task/31478/stat : 31478 (java) S 31461 31463 30903 0 -1 4202560 5447 0 0 0 93 2 0 0 20 0 22 0 337607621 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352660576824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31479] ppid=31461 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/31463/task/31479/stat : 31479 (java) S 31461 31463 30903 0 -1 4202560 5901 0 0 0 81 0 0 0 20 0 22 0 337607621 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352659524280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31480] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31480/stat : 31480 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352658471928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31481] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31481/stat : 31481 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352657419592 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31484] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31484/stat : 31484 (java) S 31461 31463 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337607663 12137111552 138898 33554432000 1073741824 1073778376 140733602731520 140352654259240 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 11852648

[startup+6.30082 s]
/proc/loadavg: 3.55 3.63 3.16 5/221 31491
/proc/meminfo: memFree=23889284/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11852648 CPUtime=12.24 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 17045 0 1 0 1205 19 0 0 20 0 22 0 337607612 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2963162 155278 2293 9 0 2953849 0
[pid=31463/tid=31465] ppid=31461 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/31463/task/31465/stat : 31465 (java) S 31461 31463 30903 0 -1 4202560 3911 0 1 0 44 3 0 0 20 0 22 0 337607613 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352847406232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31466/stat : 31466 (java) S 31461 31463 30903 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352822810792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31467/stat : 31467 (java) S 31461 31463 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352821758248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31468/stat : 31468 (java) S 31461 31463 30903 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352682248616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31469/stat : 31469 (java) S 31461 31463 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352681196072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31470/stat : 31470 (java) S 31461 31463 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352680143528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31471] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31471/stat : 31471 (java) S 31461 31463 30903 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352679090984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31472] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31472/stat : 31472 (java) S 31461 31463 30903 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352678038440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31473] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31473/stat : 31473 (java) S 31461 31463 30903 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337607616 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352676985896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31474] ppid=31461 vsize=11852648 CPUtime=0.15 cores=0,2,4,6
/proc/31463/task/31474/stat : 31474 (java) S 31461 31463 30903 0 -1 4202560 36 0 0 0 15 0 0 0 20 0 22 0 337607617 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352664787048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31475] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31475/stat : 31475 (java) S 31461 31463 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352663733368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31476] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31476/stat : 31476 (java) S 31461 31463 30903 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352662680712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31477] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31477/stat : 31477 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352661629456 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31478] ppid=31461 vsize=11852648 CPUtime=1.01 cores=0,2,4,6
/proc/31463/task/31478/stat : 31478 (java) S 31461 31463 30903 0 -1 4202560 5449 0 0 0 99 2 0 0 20 0 22 0 337607621 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352660576824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31479] ppid=31461 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/31463/task/31479/stat : 31479 (java) S 31461 31463 30903 0 -1 4202560 6013 0 0 0 86 0 0 0 20 0 22 0 337607621 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352659524280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31480] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31480/stat : 31480 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352658471928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31481] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31481/stat : 31481 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352657419592 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31484] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31484/stat : 31484 (java) S 31461 31463 30903 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337607663 12137111552 155278 33554432000 1073741824 1073778376 140733602731520 140352654259240 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=31463/tid=31469] ppid=31461 vsize=11852648 CPUtime=2.45 cores=0,2,4,6
/proc/31463/task/31469/stat : 31469 (java) S 31461 31463 30903 0 -1 4202560 106 0 0 0 245 0 0 0 20 0 22 0 337607616 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352681196072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=11852648 CPUtime=2.54 cores=0,2,4,6
/proc/31463/task/31470/stat : 31470 (java) S 31461 31463 30903 0 -1 4202560 116 0 0 0 252 2 0 0 20 0 22 0 337607616 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352680143528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31471] ppid=31461 vsize=11852648 CPUtime=2.58 cores=0,2,4,6
/proc/31463/task/31471/stat : 31471 (java) S 31461 31463 30903 0 -1 4202560 132 0 0 0 255 3 0 0 20 0 22 0 337607616 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352679090984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31472] ppid=31461 vsize=11852648 CPUtime=2.62 cores=0,2,4,6
/proc/31463/task/31472/stat : 31472 (java) S 31461 31463 30903 0 -1 4202560 112 0 0 0 260 2 0 0 20 0 22 0 337607616 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352678038440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31473] ppid=31461 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/31463/task/31473/stat : 31473 (java) S 31461 31463 30903 0 -1 4202560 98 0 0 0 257 2 0 0 20 0 22 0 337607616 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352676985896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31474] ppid=31461 vsize=11852648 CPUtime=135.31 cores=0,2,4,6
/proc/31463/task/31474/stat : 31474 (java) S 31461 31463 30903 0 -1 4202560 302 0 0 0 13518 13 0 0 20 0 22 0 337607617 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352664787048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31475] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31475/stat : 31475 (java) S 31461 31463 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352663733368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31476] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31476/stat : 31476 (java) S 31461 31463 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352662680712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31477] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31477/stat : 31477 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352661629456 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31478] ppid=31461 vsize=11852648 CPUtime=1.65 cores=0,2,4,6
/proc/31463/task/31478/stat : 31478 (java) S 31461 31463 30903 0 -1 4202560 8821 0 0 0 163 2 0 0 20 0 22 0 337607621 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352660576824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31479] ppid=31461 vsize=11852648 CPUtime=1.07 cores=0,2,4,6
/proc/31463/task/31479/stat : 31479 (java) S 31461 31463 30903 0 -1 4202560 6055 0 0 0 105 2 0 0 20 0 22 0 337607621 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352659524280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31480] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31480/stat : 31480 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352658471928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31481] ppid=31461 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/31463/task/31481/stat : 31481 (java) S 31461 31463 30903 0 -1 4202560 51 0 0 0 17 15 0 0 20 0 22 0 337607621 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352657419592 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31494] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31494/stat : 31494 (java) S 31461 31463 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337608713 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352653206824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31503] ppid=31461 vsize=11852648 CPUtime=343.53 cores=0,2,4,6
/proc/31463/task/31503/stat : 31503 (java) R 31461 31463 30903 0 -1 4202560 20 0 0 0 34348 5 0 0 20 0 22 0 337652513 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352655310888 140352703634613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31504] ppid=31461 vsize=11852648 CPUtime=343.51 cores=0,2,4,6
/proc/31463/task/31504/stat : 31504 (java) R 31461 31463 30903 0 -1 4202560 12 0 0 0 34345 6 0 0 20 0 22 0 337652513 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352656361648 140352703799443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31505] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31505/stat : 31505 (java) S 31461 31463 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337652513 12137111552 441525 33554432000 1073741824 1073778376 140733602731520 140352654259240 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1634.86
Current children cumulated vsize (KiB) 11852648

[startup+942.301 s]
/proc/loadavg: 3.65 3.73 3.54 4/221 31592
/proc/meminfo: memFree=25219828/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11852648 CPUtime=1743.14 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 22391 0 1 0 174221 93 0 0 20 0 22 0 337607612 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2963162 442092 2294 9 0 2953849 0
[pid=31463/tid=31465] ppid=31461 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/31463/task/31465/stat : 31465 (java) S 31461 31463 30903 0 -1 4202560 4146 0 1 0 47 5 0 0 20 0 22 0 337607613 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352847406232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=11852648 CPUtime=2.83 cores=0,2,4,6
/proc/31463/task/31466/stat : 31466 (java) S 31461 31463 30903 0 -1 4202560 121 0 0 0 280 3 0 0 20 0 22 0 337607616 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352822810792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=11852648 CPUtime=2.59 cores=0,2,4,6
/proc/31463/task/31467/stat : 31467 (java) S 31461 31463 30903 0 -1 4202560 107 0 0 0 258 1 0 0 20 0 22 0 337607616 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352821758248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=11852648 CPUtime=2.75 cores=0,2,4,6
/proc/31463/task/31468/stat : 31468 (java) S 31461 31463 30903 0 -1 4202560 120 0 0 0 272 3 0 0 20 0 22 0 337607616 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352682248616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=11852648 CPUtime=2.69 cores=0,2,4,6
/proc/31463/task/31469/stat : 31469 (java) S 31461 31463 30903 0 -1 4202560 114 0 0 0 268 1 0 0 20 0 22 0 337607616 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352681196072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=11852648 CPUtime=2.75 cores=0,2,4,6
/proc/31463/task/31470/stat : 31470 (java) S 31461 31463 30903 0 -1 4202560 128 0 0 0 273 2 0 0 20 0 22 0 337607616 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352680143528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31471] ppid=31461 vsize=11852648 CPUtime=2.82 cores=0,2,4,6
/proc/31463/task/31471/stat : 31471 (java) S 31461 31463 30903 0 -1 4202560 136 0 0 0 279 3 0 0 20 0 22 0 337607616 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352679090984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31472] ppid=31461 vsize=11852648 CPUtime=2.86 cores=0,2,4,6
/proc/31463/task/31472/stat : 31472 (java) S 31461 31463 30903 0 -1 4202560 115 0 0 0 284 2 0 0 20 0 22 0 337607616 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352678038440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31473] ppid=31461 vsize=11852648 CPUtime=2.8 cores=0,2,4,6
/proc/31463/task/31473/stat : 31473 (java) S 31461 31463 30903 0 -1 4202560 105 0 0 0 278 2 0 0 20 0 22 0 337607616 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352676985896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31474] ppid=31461 vsize=11852648 CPUtime=147.83 cores=0,2,4,6
/proc/31463/task/31474/stat : 31474 (java) S 31461 31463 30903 0 -1 4202560 307 0 0 0 14769 14 0 0 20 0 22 0 337607617 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352664787048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31475] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31475/stat : 31475 (java) S 31461 31463 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352663733368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31476] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31476/stat : 31476 (java) S 31461 31463 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352662680712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31477] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31477/stat : 31477 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352661629456 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31478] ppid=31461 vsize=11852648 CPUtime=1.65 cores=0,2,4,6
/proc/31463/task/31478/stat : 31478 (java) S 31461 31463 30903 0 -1 4202560 8821 0 0 0 163 2 0 0 20 0 22 0 337607621 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352660576824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31479] ppid=31461 vsize=11852648 CPUtime=1.07 cores=0,2,4,6
/proc/31463/task/31479/stat : 31479 (java) S 31461 31463 30903 0 -1 4202560 6055 0 0 0 105 2 0 0 20 0 22 0 337607621 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352659524280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31480] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31480/stat : 31480 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352658471928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31481] ppid=31461 vsize=11852648 CPUtime=0.34 cores=0,2,4,6
/proc/31463/task/31481/stat : 31481 (java) S 31461 31463 30903 0 -1 4202560 55 0 0 0 18 16 0 0 20 0 22 0 337607621 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352657419592 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31494] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31494/stat : 31494 (java) S 31461 31463 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337608713 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352653206824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31503] ppid=31461 vsize=11852648 CPUtime=390.37 cores=0,2,4,6
/proc/31463/task/31503/stat : 31503 (java) R 31461 31463 30903 0 -1 4202560 21 0 0 0 39032 5 0 0 20 0 22 0 337652513 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352655310928 140352703634999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31504] ppid=31461 vsize=11852648 CPUtime=390.33 cores=0,2,4,6
/proc/31463/task/31504/stat : 31504 (java) R 31461 31463 30903 0 -1 4202560 12 0 0 0 39027 6 0 0 20 0 22 0 337652513 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352656361648 140352703881143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31505] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31505/stat : 31505 (java) S 31461 31463 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337652513 12137111552 442092 33554432000 1073741824 1073778376 140733602731520 140352654259240 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1743.14
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+973.601 s]
/proc/loadavg: 3.66 3.73 3.55 5/221 31592
/proc/meminfo: memFree=25192956/32873844 swapFree=7124/7124
[pid=31463] ppid=31461 vsize=11852648 CPUtime=1798.51 cores=0,2,4,6
/proc/31463/stat : 31463 (java) S 31461 31463 30903 0 -1 4202496 22456 0 1 0 179757 94 0 0 20 0 22 0 337607612 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140733602722656 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31463/statm: 2963162 442653 2294 9 0 2953849 0
[pid=31463/tid=31465] ppid=31461 vsize=11852648 CPUtime=0.52 cores=0,2,4,6
/proc/31463/task/31465/stat : 31465 (java) S 31461 31463 30903 0 -1 4202560 4153 0 1 0 47 5 0 0 20 0 22 0 337607613 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352847406232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31466] ppid=31461 vsize=11852648 CPUtime=2.95 cores=0,2,4,6
/proc/31463/task/31466/stat : 31466 (java) S 31461 31463 30903 0 -1 4202560 129 0 0 0 292 3 0 0 20 0 22 0 337607616 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352822810792 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31467] ppid=31461 vsize=11852648 CPUtime=2.74 cores=0,2,4,6
/proc/31463/task/31467/stat : 31467 (java) S 31461 31463 30903 0 -1 4202560 111 0 0 0 273 1 0 0 20 0 22 0 337607616 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352821758248 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31468] ppid=31461 vsize=11852648 CPUtime=2.88 cores=0,2,4,6
/proc/31463/task/31468/stat : 31468 (java) S 31461 31463 30903 0 -1 4202560 127 0 0 0 285 3 0 0 20 0 22 0 337607616 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352682248616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31469] ppid=31461 vsize=11852648 CPUtime=2.86 cores=0,2,4,6
/proc/31463/task/31469/stat : 31469 (java) S 31461 31463 30903 0 -1 4202560 121 0 0 0 285 1 0 0 20 0 22 0 337607616 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352681196072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31470] ppid=31461 vsize=11852648 CPUtime=2.89 cores=0,2,4,6
/proc/31463/task/31470/stat : 31470 (java) S 31461 31463 30903 0 -1 4202560 128 0 0 0 287 2 0 0 20 0 22 0 337607616 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352680143528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31471] ppid=31461 vsize=11852648 CPUtime=2.94 cores=0,2,4,6
/proc/31463/task/31471/stat : 31471 (java) S 31461 31463 30903 0 -1 4202560 147 0 0 0 291 3 0 0 20 0 22 0 337607616 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352679090984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31472] ppid=31461 vsize=11852648 CPUtime=3.03 cores=0,2,4,6
/proc/31463/task/31472/stat : 31472 (java) S 31461 31463 30903 0 -1 4202560 121 0 0 0 300 3 0 0 20 0 22 0 337607616 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352678038440 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31473] ppid=31461 vsize=11852648 CPUtime=2.99 cores=0,2,4,6
/proc/31463/task/31473/stat : 31473 (java) S 31461 31463 30903 0 -1 4202560 111 0 0 0 297 2 0 0 20 0 22 0 337607616 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352676985896 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31474] ppid=31461 vsize=11852648 CPUtime=155.61 cores=0,2,4,6
/proc/31463/task/31474/stat : 31474 (java) S 31461 31463 30903 0 -1 4202560 310 0 0 0 15547 14 0 0 20 0 22 0 337607617 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352664787048 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31475] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31475/stat : 31475 (java) S 31461 31463 30903 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352663733368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31476] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31476/stat : 31476 (java) S 31461 31463 30903 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337607618 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352662680712 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31477] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31477/stat : 31477 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352661629456 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31463/tid=31478] ppid=31461 vsize=11852648 CPUtime=1.65 cores=0,2,4,6
/proc/31463/task/31478/stat : 31478 (java) S 31461 31463 30903 0 -1 4202560 8821 0 0 0 163 2 0 0 20 0 22 0 337607621 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352660576824 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31479] ppid=31461 vsize=11852648 CPUtime=1.07 cores=0,2,4,6
/proc/31463/task/31479/stat : 31479 (java) S 31461 31463 30903 0 -1 4202560 6055 0 0 0 105 2 0 0 20 0 22 0 337607621 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352659524280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31480] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31480/stat : 31480 (java) S 31461 31463 30903 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337607621 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352658471928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31481] ppid=31461 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/31463/task/31481/stat : 31481 (java) S 31461 31463 30903 0 -1 4202560 57 0 0 0 18 17 0 0 20 0 22 0 337607621 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352657419592 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31494] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31494/stat : 31494 (java) S 31461 31463 30903 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337608713 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352653206824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31463/tid=31503] ppid=31461 vsize=11852648 CPUtime=413.5 cores=0,2,4,6
/proc/31463/task/31503/stat : 31503 (java) R 31461 31463 30903 0 -1 4202560 25 0 0 0 41343 7 0 0 20 0 22 0 337652513 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352655310928 140352704238169 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=31463/tid=31504] ppid=31461 vsize=11852648 CPUtime=413.46 cores=0,2,4,6
/proc/31463/task/31504/stat : 31504 (java) R 31461 31463 30903 0 -1 4202560 12 0 0 0 41339 7 0 0 20 0 22 0 337652513 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352656361952 140352703799443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31463/tid=31505] ppid=31461 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/31463/task/31505/stat : 31505 (java) S 31461 31463 30903 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337652513 12137111552 442653 33554432000 1073741824 1073778376 140733602731520 140352654259240 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (KiB) 11852648

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:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31463 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=148096
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=284804
# CPU time returned by wait4() is 1796.43
# while last known CPU time is 1798.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# 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): 1.56
#  lost CPU user time (s): 1.67999
#  lost CPU system time (s): -0.12

Real time (s): 973.659
CPU time (s): 1800.07
CPU user time (s): 1799.25
CPU system time (s): 0.82
CPU usage (%): 184.877
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.15
system time used= 1.2848
maximum resident set size= 1770732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22488
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33409
involuntary context switches= 59820

runsolver used 4.36034 second user time and 7.77582 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-03 11:13:42
IDJOB=3736037
IDBENCH=25017
IDSOLVER=2328
FILE ID=node134/3736037-1338714822
RUNJOBID= node134-1338713778-30919
PBS_JOBID= 14636743
Free space on /tmp= 70356 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736037-1338714822/watcher-3736037-1338714822 -o /tmp/evaluation-result-3736037-1338714822/solver-3736037-1338714822 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736037-1338714822.opb

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=2043297370

node134.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		: 2667.278
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	: 5334.55
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		: 2667.278
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	: 5332.56
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.59
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.57
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		: 2667.278
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24495964 kB
Buffers:          480964 kB
Cached:          3303364 kB
SwapCached:           76 kB
Active:          5387912 kB
Inactive:        2045788 kB
Active(anon):    3640580 kB
Inactive(anon):    10496 kB
Active(file):    1747332 kB
Inactive(file):  2035292 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:               524 kB
Writeback:             0 kB
AnonPages:       3692280 kB
Mapped:            19332 kB
Shmem:                96 kB
Slab:             761220 kB
SReclaimable:     202728 kB
SUnreclaim:       558492 kB
KernelStack:        1648 kB
PageTables:        11844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3631104 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= 70360 MiB
End job on node134 at 2012-06-03 11:29:58