Trace number 3736081

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)23 1800.8 959.564

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
MD5SUM130be24ef6faf784c5a8bf386cbf11b2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark47.4058
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables5499
Total number of constraints19319
Number of constraints which are clauses19312
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints6
Minimum length of a constraint1
Maximum length of a constraint613
Number of terms in the objective function 613
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 613
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 643
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c version 2.3.1.v20110525
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		9996466904
0.04/0.08	c Max memory 		10048897024
0.04/0.08	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3736081-1338714940.opb
0.09/0.11	c reading problem ... 
0.79/0.45	c ... done. Wall clock time 0.337s.
0.79/0.45	c #vars     5499
0.79/0.45	c #constraints  19319
0.79/0.45	c constraints type 
0.79/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885
0.79/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
0.79/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428
0.79/0.45	c constraints type 
0.79/0.45	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428
0.79/0.45	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885
0.79/0.45	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.08/0.50	c  And the winner is Resolution
1.21/0.95	c SATISFIABLE
1.21/0.95	c OPTIMIZING...
1.21/0.95	c Got one! Elapsed wall clock time (in seconds):0.845
1.21/0.95	o 27
1.21/0.97	c  And the winner is Resolution
1.28/1.46	c Got one! Elapsed wall clock time (in seconds):1.352
1.28/1.46	o 26
1.41/1.53	c  And the winner is Resolution
1.59/1.97	c Got one! Elapsed wall clock time (in seconds):1.857
1.59/1.97	o 25
3.92/2.79	c cleaning 2548 clauses out of 5107 with flag 5000/5107
6.04/3.75	c cleaning 4272 clauses out of 8559 with flag 11000/11107
8.42/4.91	c cleaning 5638 clauses out of 11287 with flag 18000/18107
10.79/6.20	c cleaning 6818 clauses out of 13651 with flag 26002/26109
14.03/7.77	c cleaning 7906 clauses out of 15831 with flag 35000/35107
16.62/9.09	c cleaning 8944 clauses out of 17925 with flag 45000/45107
20.00/10.76	c cleaning 9986 clauses out of 19981 with flag 56000/56107
23.37/12.48	c cleaning 10981 clauses out of 21995 with flag 68000/68107
27.72/14.66	c cleaning 11993 clauses out of 24014 with flag 81000/81107
32.16/16.87	c cleaning 12995 clauses out of 26023 with flag 95002/95109
36.71/19.15	c cleaning 14000 clauses out of 28031 with flag 110005/110112
38.46/20.01	c  And the winner is CuttingPlanes
38.50/20.47	c Got one! Elapsed wall clock time (in seconds):20.364
38.50/20.47	o 24
40.18/21.36	c cleaning 12598 clauses out of 25235 with flag 5000/121316
42.11/22.30	c cleaning 9287 clauses out of 18637 with flag 11000/127316
44.25/23.46	c cleaning 8157 clauses out of 16351 with flag 18001/134317
46.59/24.63	c cleaning 8084 clauses out of 16193 with flag 26000/142316
49.35/26.02	c cleaning 8546 clauses out of 17110 with flag 35001/151317
52.66/27.79	c cleaning 9260 clauses out of 18564 with flag 45001/161317
56.61/29.72	c cleaning 10136 clauses out of 20304 with flag 56001/172317
60.76/31.90	c cleaning 11072 clauses out of 22167 with flag 68000/184316
62.68/32.82	c  And the winner is Resolution
62.82/33.11	c Got one! Elapsed wall clock time (in seconds):33.006
62.82/33.11	o 23
64.41/34.00	c cleaning 11731 clauses out of 23491 with flag 5000/196712
66.72/35.14	c cleaning 8850 clauses out of 17760 with flag 11000/202712
69.64/36.64	c cleaning 7936 clauses out of 15911 with flag 18001/209713
71.58/37.62	c cleaning 7973 clauses out of 15974 with flag 26000/217712
75.34/39.51	c cleaning 8493 clauses out of 17001 with flag 35000/226712
78.62/41.23	c cleaning 9237 clauses out of 18508 with flag 45000/236712
81.77/42.81	c cleaning 10123 clauses out of 20271 with flag 56000/247712
85.88/44.97	c cleaning 11063 clauses out of 22148 with flag 68000/259712
90.21/47.19	c cleaning 12021 clauses out of 24085 with flag 81000/272712
97.49/50.80	c cleaning 13017 clauses out of 26066 with flag 95002/286714
102.61/53.47	c cleaning 14010 clauses out of 28047 with flag 110000/301712
107.95/56.15	c cleaning 15007 clauses out of 30037 with flag 126000/317712
114.05/59.24	c cleaning 16005 clauses out of 32030 with flag 143000/334712
120.09/62.34	c cleaning 17004 clauses out of 34025 with flag 161000/352712
129.59/67.19	c cleaning 18002 clauses out of 36021 with flag 180000/371712
136.89/70.88	c cleaning 18985 clauses out of 38020 with flag 200001/391713
142.78/73.84	c cleaning 19499 clauses out of 39036 with flag 220002/411714
151.20/78.12	c cleaning 19747 clauses out of 39535 with flag 240000/431712
156.89/81.03	c cleaning 19876 clauses out of 39789 with flag 260001/451713
164.19/84.71	c cleaning 19929 clauses out of 39912 with flag 280000/471712
174.85/90.13	c cleaning 19959 clauses out of 39983 with flag 300000/491712
183.85/94.73	c cleaning 19977 clauses out of 40025 with flag 320001/511713
192.12/99.00	c cleaning 20010 clauses out of 40047 with flag 340000/531712
198.77/102.39	c cleaning 20000 clauses out of 40039 with flag 360002/551714
206.20/106.10	c cleaning 19987 clauses out of 40037 with flag 380000/571712
211.15/108.79	c cleaning 19994 clauses out of 40050 with flag 400000/591712
218.78/112.68	c cleaning 19998 clauses out of 40056 with flag 420000/611712
228.03/117.37	c cleaning 20019 clauses out of 40065 with flag 440007/631719
234.71/120.70	c cleaning 20005 clauses out of 40039 with flag 460000/651712
240.22/123.65	c cleaning 19999 clauses out of 40034 with flag 480000/671712
245.65/126.47	c cleaning 19996 clauses out of 40035 with flag 500000/691712
252.06/129.71	c cleaning 19981 clauses out of 40039 with flag 520000/711712
258.85/133.23	c cleaning 20003 clauses out of 40058 with flag 540000/731712
267.15/137.55	c cleaning 20013 clauses out of 40058 with flag 560003/751715
275.34/141.74	c cleaning 20009 clauses out of 40043 with flag 580001/771713
282.54/145.42	c cleaning 20000 clauses out of 40033 with flag 600000/791712
290.33/149.40	c cleaning 19989 clauses out of 40035 with flag 620002/811714
298.39/153.69	c cleaning 19993 clauses out of 40044 with flag 640000/831712
303.97/156.54	c cleaning 19996 clauses out of 40051 with flag 660000/851712
310.34/159.80	c cleaning 20000 clauses out of 40056 with flag 680001/871713
316.12/162.85	c cleaning 19997 clauses out of 40057 with flag 700002/891714
321.95/165.90	c cleaning 20005 clauses out of 40058 with flag 720000/911712
327.50/168.89	c cleaning 20009 clauses out of 40054 with flag 740001/931713
333.67/172.09	c cleaning 20006 clauses out of 40045 with flag 760001/951713
339.63/175.19	c cleaning 20004 clauses out of 40039 with flag 780001/971713
346.62/178.89	c cleaning 20001 clauses out of 40035 with flag 800001/991713
353.19/182.22	c cleaning 19989 clauses out of 40039 with flag 820006/1011718
360.36/185.96	c cleaning 20011 clauses out of 40051 with flag 840007/1031719
367.71/189.78	c cleaning 19995 clauses out of 40034 with flag 860001/1051713
376.08/194.11	c cleaning 20004 clauses out of 40038 with flag 880000/1071712
383.84/198.18	c cleaning 19980 clauses out of 40034 with flag 900000/1091712
388.97/200.84	c cleaning 19994 clauses out of 40056 with flag 920002/1111714
394.30/203.67	c cleaning 20013 clauses out of 40060 with flag 940000/1131712
405.64/209.54	c cleaning 20006 clauses out of 40047 with flag 960000/1151712
416.96/215.32	c cleaning 20003 clauses out of 40042 with flag 980001/1171713
427.88/220.95	c cleaning 19994 clauses out of 40039 with flag 1000001/1191713
436.20/225.20	c cleaning 20013 clauses out of 40044 with flag 1020000/1211712
443.92/229.35	c cleaning 20006 clauses out of 40031 with flag 1040000/1231712
450.85/232.92	c cleaning 20003 clauses out of 40026 with flag 1060001/1251713
458.94/237.18	c cleaning 20005 clauses out of 40023 with flag 1080001/1271713
466.06/240.86	c cleaning 19996 clauses out of 40018 with flag 1100001/1291713
473.33/244.78	c cleaning 19992 clauses out of 40021 with flag 1120000/1311712
480.85/248.64	c cleaning 20000 clauses out of 40029 with flag 1140000/1331712
488.32/252.51	c cleaning 20000 clauses out of 40031 with flag 1160002/1351714
495.99/256.56	c cleaning 19996 clauses out of 40029 with flag 1180000/1371712
504.46/261.02	c cleaning 20002 clauses out of 40033 with flag 1200000/1391712
512.75/265.35	c cleaning 20001 clauses out of 40032 with flag 1220001/1411713
520.83/269.58	c cleaning 20004 clauses out of 40030 with flag 1240000/1431712
527.31/272.95	c cleaning 19989 clauses out of 40027 with flag 1260001/1451713
534.94/277.05	c cleaning 19990 clauses out of 40037 with flag 1280000/1471712
542.40/280.98	c cleaning 20010 clauses out of 40047 with flag 1300000/1491712
549.26/284.52	c cleaning 19998 clauses out of 40038 with flag 1320001/1511713
554.49/287.33	c cleaning 20008 clauses out of 40040 with flag 1340001/1531713
564.74/292.73	c cleaning 19998 clauses out of 40033 with flag 1360002/1551714
575.39/298.26	c cleaning 19998 clauses out of 40033 with flag 1380000/1571712
582.83/302.16	c cleaning 20003 clauses out of 40035 with flag 1400000/1591712
589.29/305.57	c cleaning 20000 clauses out of 40033 with flag 1420001/1611713
595.47/308.94	c cleaning 20000 clauses out of 40033 with flag 1440001/1631713
604.12/313.41	c cleaning 20002 clauses out of 40033 with flag 1460001/1651713
614.94/319.08	c cleaning 19996 clauses out of 40030 with flag 1480000/1671712
625.56/324.51	c cleaning 19999 clauses out of 40035 with flag 1500001/1691713
636.32/330.22	c cleaning 19999 clauses out of 40037 with flag 1520002/1711714
646.96/335.75	c cleaning 20001 clauses out of 40036 with flag 1540000/1731712
654.58/339.76	c cleaning 19998 clauses out of 40035 with flag 1560000/1751712
661.23/343.23	c cleaning 20003 clauses out of 40037 with flag 1580000/1771712
668.57/347.25	c cleaning 20006 clauses out of 40035 with flag 1600001/1791713
676.39/351.36	c cleaning 19993 clauses out of 40028 with flag 1620000/1811712
684.40/355.52	c cleaning 20004 clauses out of 40036 with flag 1640001/1831713
692.79/359.96	c cleaning 20008 clauses out of 40032 with flag 1660001/1851713
700.92/364.33	c cleaning 19996 clauses out of 40023 with flag 1680000/1871712
708.73/368.48	c cleaning 19998 clauses out of 40027 with flag 1700000/1891712
718.12/373.39	c cleaning 19998 clauses out of 40031 with flag 1720002/1911714
726.72/377.80	c cleaning 20001 clauses out of 40031 with flag 1740000/1931712
737.00/383.30	c cleaning 20003 clauses out of 40032 with flag 1760002/1951714
747.00/388.54	c cleaning 19998 clauses out of 40028 with flag 1780001/1971713
757.59/394.04	c cleaning 20000 clauses out of 40030 with flag 1800001/1991713
767.57/399.27	c cleaning 19995 clauses out of 40029 with flag 1820000/2011712
777.64/404.65	c cleaning 20003 clauses out of 40035 with flag 1840001/2031713
787.60/409.84	c cleaning 20006 clauses out of 40032 with flag 1860001/2051713
797.36/414.94	c cleaning 19997 clauses out of 40025 with flag 1880000/2071712
807.71/420.31	c cleaning 19999 clauses out of 40030 with flag 1900002/2091714
816.96/425.35	c cleaning 19994 clauses out of 40029 with flag 1920000/2111712
825.71/429.93	c cleaning 19987 clauses out of 40035 with flag 1940000/2131712
832.28/433.40	c cleaning 20005 clauses out of 40049 with flag 1960001/2151713
841.20/438.15	c cleaning 19996 clauses out of 40043 with flag 1980000/2171712
849.83/442.88	c cleaning 20004 clauses out of 40053 with flag 2000006/2191718
859.19/447.76	c cleaning 20015 clauses out of 40043 with flag 2020000/2211712
869.33/453.06	c cleaning 20006 clauses out of 40034 with flag 2040006/2231718
878.09/457.65	c cleaning 20005 clauses out of 40028 with flag 2060006/2251718
886.26/462.18	c cleaning 19994 clauses out of 40017 with flag 2080000/2271712
892.77/465.61	c cleaning 19997 clauses out of 40023 with flag 2100000/2291712
900.50/469.73	c cleaning 19990 clauses out of 40026 with flag 2120000/2311712
911.19/475.30	c cleaning 20011 clauses out of 40042 with flag 2140006/2331718
922.56/481.46	c cleaning 20000 clauses out of 40026 with flag 2160001/2351713
932.68/486.75	c cleaning 19997 clauses out of 40025 with flag 2180000/2371712
942.98/492.16	c cleaning 19992 clauses out of 40028 with flag 2200000/2391712
951.49/496.64	c cleaning 19994 clauses out of 40036 with flag 2220000/2411712
959.04/500.88	c cleaning 19995 clauses out of 40042 with flag 2240000/2431712
966.51/504.82	c cleaning 19999 clauses out of 40050 with flag 2260003/2451715
973.79/508.70	c cleaning 20000 clauses out of 40049 with flag 2280001/2471713
981.07/512.64	c cleaning 20003 clauses out of 40048 with flag 2300000/2491712
989.96/517.60	c cleaning 19999 clauses out of 40047 with flag 2320002/2511714
998.03/521.89	c cleaning 19999 clauses out of 40047 with flag 2340001/2531713
1005.92/526.05	c cleaning 20017 clauses out of 40047 with flag 2360000/2551712
1014.98/530.89	c cleaning 20004 clauses out of 40034 with flag 2380004/2571716
1024.88/536.28	c cleaning 20007 clauses out of 40026 with flag 2400000/2591712
1033.76/540.97	c cleaning 19986 clauses out of 40021 with flag 2420002/2611714
1042.02/545.33	c cleaning 19999 clauses out of 40033 with flag 2440000/2631712
1049.48/549.31	c cleaning 19988 clauses out of 40034 with flag 2460000/2651712
1057.53/553.83	c cleaning 19995 clauses out of 40046 with flag 2480000/2671712
1065.38/558.06	c cleaning 20011 clauses out of 40053 with flag 2500002/2691714
1073.62/562.46	c cleaning 19999 clauses out of 40040 with flag 2520000/2711712
1081.85/566.89	c cleaning 19999 clauses out of 40041 with flag 2540000/2731712
1090.90/571.82	c cleaning 20000 clauses out of 40042 with flag 2560000/2751712
1099.94/576.68	c cleaning 20009 clauses out of 40044 with flag 2580002/2771714
1108.74/581.30	c cleaning 20001 clauses out of 40034 with flag 2600001/2791713
1116.77/585.63	c cleaning 20005 clauses out of 40033 with flag 2620001/2811713
1126.00/590.77	c cleaning 19998 clauses out of 40027 with flag 2640000/2831712
1134.17/595.16	c cleaning 20000 clauses out of 40030 with flag 2660001/2851713
1142.96/599.87	c cleaning 19995 clauses out of 40029 with flag 2680000/2871712
1151.38/604.38	c cleaning 20007 clauses out of 40035 with flag 2700001/2891713
1160.37/609.35	c cleaning 20001 clauses out of 40027 with flag 2720000/2911712
1168.36/613.65	c cleaning 20001 clauses out of 40028 with flag 2740002/2931714
1176.16/617.83	c cleaning 20002 clauses out of 40026 with flag 2760001/2951713
1183.94/622.04	c cleaning 20002 clauses out of 40024 with flag 2780001/2971713
1187.08/624.17	c cleaning 0 clauses out of 5626 with flag 0/5628
1194.12/627.84	c cleaning 19994 clauses out of 40021 with flag 2800000/2991712
1202.38/632.20	c cleaning 19999 clauses out of 40028 with flag 2820001/3011713
1211.54/637.11	c cleaning 20001 clauses out of 40028 with flag 2840000/3031712
1220.07/641.98	c cleaning 20002 clauses out of 40027 with flag 2860000/3051712
1228.02/646.26	c cleaning 19996 clauses out of 40025 with flag 2880000/3071712
1235.81/650.44	c cleaning 20002 clauses out of 40031 with flag 2900002/3091714
1243.60/654.68	c cleaning 19991 clauses out of 40027 with flag 2920000/3111712
1251.90/659.33	c cleaning 20000 clauses out of 40037 with flag 2940001/3131713
1259.65/663.57	c cleaning 19998 clauses out of 40038 with flag 2960002/3151714
1266.61/667.31	c cleaning 20005 clauses out of 40040 with flag 2980002/3171714
1274.99/671.84	c cleaning 19999 clauses out of 40033 with flag 3000000/3191712
1282.69/676.27	c cleaning 20002 clauses out of 40035 with flag 3020001/3211713
1289.82/680.11	c cleaning 20004 clauses out of 40033 with flag 3040001/3231713
1298.37/684.74	c cleaning 19990 clauses out of 40028 with flag 3060000/3251712
1307.14/689.42	c cleaning 19986 clauses out of 40039 with flag 3080001/3271713
1315.62/694.28	c cleaning 19998 clauses out of 40052 with flag 3100000/3291712
1323.58/698.57	c cleaning 20012 clauses out of 40054 with flag 3120000/3311712
1331.11/702.65	c cleaning 20002 clauses out of 40042 with flag 3140000/3331712
1339.08/706.99	c cleaning 20003 clauses out of 40040 with flag 3160000/3351712
1347.99/711.90	c cleaning 19998 clauses out of 40038 with flag 3180001/3371713
1355.93/716.28	c cleaning 19998 clauses out of 40039 with flag 3200000/3391712
1364.47/720.87	c cleaning 19995 clauses out of 40041 with flag 3220000/3411712
1373.19/725.55	c cleaning 20006 clauses out of 40046 with flag 3240000/3431712
1383.23/731.14	c cleaning 19976 clauses out of 40040 with flag 3260000/3451712
1392.18/735.97	c cleaning 20008 clauses out of 40065 with flag 3280001/3471713
1401.90/741.10	c cleaning 20007 clauses out of 40057 with flag 3300001/3491713
1410.63/745.87	c cleaning 20001 clauses out of 40050 with flag 3320001/3511713
1421.45/751.81	c cleaning 20005 clauses out of 40048 with flag 3340000/3531712
1430.62/756.79	c cleaning 20006 clauses out of 40044 with flag 3360001/3551713
1437.14/760.34	c cleaning 19996 clauses out of 40037 with flag 3380000/3571712
1443.83/764.04	c cleaning 20001 clauses out of 40042 with flag 3400001/3591713
1451.26/768.39	c cleaning 19997 clauses out of 40040 with flag 3420000/3611712
1458.18/772.14	c cleaning 19996 clauses out of 40043 with flag 3440000/3631712
1464.87/775.86	c cleaning 20006 clauses out of 40049 with flag 3460002/3651714
1471.37/779.46	c cleaning 19998 clauses out of 40041 with flag 3480000/3671712
1478.35/783.52	c cleaning 20006 clauses out of 40045 with flag 3500002/3691714
1485.24/787.33	c cleaning 19999 clauses out of 40039 with flag 3520002/3711714
1492.07/791.13	c cleaning 19996 clauses out of 40038 with flag 3540000/3731712
1499.16/795.10	c cleaning 20004 clauses out of 40043 with flag 3560001/3751713
1506.74/799.49	c cleaning 20004 clauses out of 40040 with flag 3580002/3771714
1517.00/804.97	c cleaning 20001 clauses out of 40034 with flag 3600000/3791712
1527.05/810.34	c cleaning 19991 clauses out of 40034 with flag 3620001/3811713
1537.09/815.80	c cleaning 20000 clauses out of 40042 with flag 3640000/3831712
1548.82/822.26	c cleaning 20000 clauses out of 40045 with flag 3660003/3851715
1560.51/828.42	c cleaning 20001 clauses out of 40045 with flag 3680003/3871715
1571.98/834.53	c cleaning 19996 clauses out of 40042 with flag 3700001/3891713
1583.44/840.63	c cleaning 19996 clauses out of 40045 with flag 3720000/3911712
1595.56/847.33	c cleaning 20005 clauses out of 40049 with flag 3740000/3931712
1606.56/853.28	c cleaning 19998 clauses out of 40044 with flag 3760000/3951712
1617.00/858.89	c cleaning 20000 clauses out of 40048 with flag 3780002/3971714
1628.23/864.86	c cleaning 19994 clauses out of 40047 with flag 3800001/3991713
1641.30/872.04	c cleaning 20004 clauses out of 40055 with flag 3820003/4011715
1652.71/878.19	c cleaning 19997 clauses out of 40048 with flag 3840000/4031712
1663.09/883.74	c cleaning 20000 clauses out of 40051 with flag 3860000/4051712
1674.52/889.83	c cleaning 19998 clauses out of 40051 with flag 3880000/4071712
1685.52/896.08	c cleaning 20003 clauses out of 40054 with flag 3900001/4091713
1694.36/900.82	c cleaning 20011 clauses out of 40052 with flag 3920002/4111714
1702.12/905.12	c cleaning 20002 clauses out of 40041 with flag 3940002/4131714
1709.92/909.43	c cleaning 19997 clauses out of 40037 with flag 3960000/4151712
1718.73/914.55	c cleaning 20004 clauses out of 40042 with flag 3980002/4171714
1727.50/919.31	c cleaning 19997 clauses out of 40037 with flag 4000001/4191713
1735.88/923.92	c cleaning 19995 clauses out of 40039 with flag 4020000/4211712
1744.43/928.62	c cleaning 20011 clauses out of 40047 with flag 4040003/4231715
1754.65/934.47	c cleaning 19992 clauses out of 40034 with flag 4060001/4251713
1764.82/939.96	c cleaning 20003 clauses out of 40041 with flag 4080000/4271712
1774.77/945.36	c cleaning 20005 clauses out of 40043 with flag 4100005/4291717
1785.17/950.92	c cleaning 19999 clauses out of 40034 with flag 4120001/4311713
1794.75/956.46	c cleaning 19994 clauses out of 40035 with flag 4140001/4331713
1800.13/959.51	c starts		: 355
1800.13/959.51	c conflicts		: 4343785
1800.13/959.51	c decisions		: 13300491
1800.13/959.51	c propagations		: 1608618576
1800.13/959.51	c inspects		: 5427248227
1800.13/959.51	c shortcuts		: 0
1800.13/959.51	c learnt literals	: 0
1800.13/959.51	c learnt binary clauses	: 0
1800.13/959.51	c learnt ternary clauses	: 0
1800.13/959.51	c learnt constraints	: 4343786
1800.13/959.51	c ignored constraints	: 0
1800.13/959.51	c root simplifications	: 0
1800.13/959.51	c removed literals (reason simplification)	: 138804665
1800.13/959.51	c reason swapping (by a shorter reason)	: 0
1800.13/959.51	c Calls to reduceDB	: 232
1800.13/959.51	c number of reductions to clauses (during analyze)	: 0
1800.13/959.51	c number of learned constraints concerned by reduction	: 0
1800.13/959.51	c number of learning phase by resolution	: 0
1800.13/959.51	c number of learning phase by cutting planes	: 0
1800.13/959.51	c speed (assignments/second)	: 1736434.5428285217
1800.13/959.51	c non guided choices	32165
1800.13/959.53	c learnt constraints type 
1800.13/959.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32192
1800.13/959.53	c constraints type 
1800.13/959.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4885
1800.13/959.53	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1800.13/959.53	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 14428
1800.13/959.53	c constraints type 
1800.13/959.53	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 14428
1800.13/959.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4885
1800.13/959.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.13/959.53	s SATISFIABLE
1800.13/959.54	v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 x2287 -x2288 x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 x3951 x3952 x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 x4528 x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5041 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 x5229 x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 x5392 -x5393 -x5394 -x5395 x5396 x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 
1800.13/959.55	c objective function=23
1800.13/959.55	c Total wall clock time (in seconds): 959.439

Verifier Data

OK	23

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-3736081-1338714940/watcher-3736081-1338714940 -o /tmp/evaluation-result-3736081-1338714940/solver-3736081-1338714940 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736081-1338714940.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.93 3.77 2.95 5/193 12900
/proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/12900/stat : 12900 (runsolver) D 12898 12900 12644 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 337619446 12095488 51 33554432000 4194304 5436572 140733374597488 140733374593784 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/12900/statm: 2953 51 31 304 0 2645 0

[startup+0.059417 s]
/proc/loadavg: 3.93 3.77 2.95 5/193 12900
/proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 4826 0 1 0 3 1 0 0 20 0 13 0 337619446 11523600384 12678 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2813379 12678 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.100268 s]
/proc/loadavg: 3.93 3.77 2.95 5/193 12900
/proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11586392 CPUtime=0.09 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 5794 0 1 0 8 1 0 0 20 0 18 0 337619446 11864465408 13637 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2896598 13637 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300172 s]
/proc/loadavg: 3.93 3.77 2.95 5/193 12900
/proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11586392 CPUtime=0.5 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 7091 0 1 0 48 2 0 0 20 0 18 0 337619446 11864465408 17035 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2896598 17002 2225 9 0 2887285 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 11586392

[startup+0.700204 s]
/proc/loadavg: 3.93 3.77 2.95 5/193 12900
/proc/meminfo: memFree=26255688/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 11801 0 1 0 115 6 0 0 20 0 19 0 337619446 12137111552 29588 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2963162 29588 2257 9 0 2953849 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 11852648

[startup+1.50058 s]
/proc/loadavg: 3.70 3.72 2.94 1/213 12929
/proc/meminfo: memFree=25759224/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11852648 CPUtime=1.41 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 12067 0 1 0 134 7 0 0 20 0 22 0 337619446 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2963162 32198 2259 9 0 2953849 0
[pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 3911 0 1 0 41 3 0 0 20 0 22 0 337619447 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133669651608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337619449 12137111552 32197 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 32198 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=0.39 cores=0,2,4,6
/proc/12900/task/12915/stat : 12915 (java) R 12898 12900 12644 0 -1 4202560 3554 0 0 0 39 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133482805416 140133673767376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/12900/task/12916/stat : 12916 (java) R 12898 12900 12644 0 -1 4202560 3302 0 0 0 35 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133481761312 140133673768369 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12921] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12921/stat : 12921 (java) S 12898 12900 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337619493 12137111552 32209 33554432000 1073741824 1073778376 140736892276544 140133476496296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 11852648

[startup+3.10073 s]
/proc/loadavg: 3.70 3.72 2.94 5/216 12941
/proc/meminfo: memFree=25687232/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11852648 CPUtime=4.78 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 22463 0 1 0 461 17 0 0 20 0 22 0 337619446 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2963162 134278 2290 9 0 2953849 0
[pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 3911 0 1 0 41 3 0 0 20 0 22 0 337619447 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133669651624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=0.02 cores=0,2,4,6
/proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 337619449 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11323 0 0 0 90 2 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5631 0 0 0 87 0 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12921] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12921/stat : 12921 (java) S 12898 12900 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337619493 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133476496296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12939] ppid=12898 vsize=11852648 CPUtime=1.07 cores=0,2,4,6
/proc/12900/task/12939/stat : 12939 (java) R 12898 12900 12644 0 -1 4202560 7 0 0 0 107 0 0 0 20 0 22 0 337619643 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133475442856 140133526128589 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12940] ppid=12898 vsize=11852648 CPUtime=1.07 cores=0,2,4,6
/proc/12900/task/12940/stat : 12940 (java) R 12898 12900 12644 0 -1 4202560 179 0 0 0 101 6 0 0 20 0 22 0 337619643 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133478600984 140133526236861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12941] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12941/stat : 12941 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337619643 12137111552 134278 33554432000 1073741824 1073778376 140736892276544 140133477549736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 11852648

[startup+6.30075 s]
/proc/loadavg: 3.70 3.72 2.94 5/219 12944
/proc/meminfo: memFree=23744636/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11852648 CPUtime=11.18 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 22666 0 1 0 1095 23 0 0 20 0 22 0 337619446 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2963162 217830 2291 9 0 2953849 0
[pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.44 cores=0,2,4,6
/proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 3911 0 1 0 41 3 0 0 20 0 22 0 337619447 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133669651624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337619448 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=0.13 cores=0,2,4,6
/proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 46 0 0 0 13 0 0 0 20 0 22 0 337619449 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=0.95 cores=0,2,4,6
/proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11325 0 0 0 93 2 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5632 0 0 0 96 0 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 217830 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0

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

[pid=12900/tid=12948] ppid=12898 vsize=11852648 CPUtime=734.75 cores=0,2,4,6
/proc/12900/task/12948/stat : 12948 (java) R 12898 12900 12644 0 -1 4202560 48 0 0 0 73464 11 0 0 20 0 22 0 337622758 12137111552 776681 33554432000 1073741824 1073778376 140736892276544 140133476495824 140133526107014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12949] ppid=12898 vsize=11852648 CPUtime=734.75 cores=0,2,4,6
/proc/12900/task/12949/stat : 12949 (java) R 12898 12900 12644 0 -1 4202560 540 0 0 0 73444 31 0 0 20 0 22 0 337622758 12137111552 776681 33554432000 1073741824 1073778376 140736892276544 140133475441024 140133526014157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12950] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12950/stat : 12950 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337622758 12137111552 776681 33554432000 1073741824 1073778376 140736892276544 140133477548968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1660.29
Current children cumulated vsize (KiB) 11852648

[startup+942.301 s]
/proc/loadavg: 3.57 3.80 3.50 5/219 13048
/proc/meminfo: memFree=22778996/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11852648 CPUtime=1768.77 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 25273 0 1 0 176770 107 0 0 20 0 22 0 337619446 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2963162 781846 2292 9 0 2953849 0
[pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 4074 0 1 0 44 5 0 0 20 0 22 0 337619447 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133669651608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=2.48 cores=0,2,4,6
/proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 101 0 0 0 245 3 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=2.64 cores=0,2,4,6
/proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 121 0 0 0 262 2 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=2.43 cores=0,2,4,6
/proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 108 0 0 0 241 2 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=2.47 cores=0,2,4,6
/proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 114 0 0 0 246 1 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=2.42 cores=0,2,4,6
/proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 95 0 0 0 239 3 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=2.54 cores=0,2,4,6
/proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 126 0 0 0 251 3 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=2.52 cores=0,2,4,6
/proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 151 0 0 0 250 2 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=2.44 cores=0,2,4,6
/proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 93 0 0 0 242 2 0 0 20 0 22 0 337619448 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=122.77 cores=0,2,4,6
/proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 403 0 0 0 12262 15 0 0 20 0 22 0 337619449 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11623 0 0 0 142 2 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5641 0 0 0 122 0 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 55 0 0 0 13 18 0 0 20 0 22 0 337619452 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12947] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12947/stat : 12947 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337621494 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133478602024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12948] ppid=12898 vsize=11852648 CPUtime=782.06 cores=0,2,4,6
/proc/12900/task/12948/stat : 12948 (java) R 12898 12900 12644 0 -1 4202560 50 0 0 0 78195 11 0 0 20 0 22 0 337622758 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133476495824 140133526107333 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12949] ppid=12898 vsize=11852648 CPUtime=782.06 cores=0,2,4,6
/proc/12900/task/12949/stat : 12949 (java) R 12898 12900 12644 0 -1 4202560 540 0 0 0 78175 31 0 0 20 0 22 0 337622758 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133475441168 140133526236974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12950] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12950/stat : 12950 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337622758 12137111552 781846 33554432000 1073741824 1073778376 140736892276544 140133477548968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1768.77
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+959.501 s]
/proc/loadavg: 3.60 3.79 3.50 5/219 13048
/proc/meminfo: memFree=22762388/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11852648 CPUtime=1800.13 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 25300 0 1 0 179905 108 0 0 20 0 22 0 337619446 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2963162 784936 2292 9 0 2953849 0
[pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 4076 0 1 0 44 5 0 0 20 0 22 0 337619447 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133669651608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=2.53 cores=0,2,4,6
/proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 103 0 0 0 250 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=2.67 cores=0,2,4,6
/proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 121 0 0 0 265 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=2.46 cores=0,2,4,6
/proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 108 0 0 0 244 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=2.53 cores=0,2,4,6
/proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 116 0 0 0 252 1 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=2.48 cores=0,2,4,6
/proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 103 0 0 0 245 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=2.58 cores=0,2,4,6
/proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 126 0 0 0 255 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=2.61 cores=0,2,4,6
/proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 151 0 0 0 259 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=2.52 cores=0,2,4,6
/proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 99 0 0 0 250 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=126.04 cores=0,2,4,6
/proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 409 0 0 0 12589 15 0 0 20 0 22 0 337619449 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11623 0 0 0 142 2 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5641 0 0 0 122 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 55 0 0 0 13 18 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12947] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12947/stat : 12947 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337621494 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133478602024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12948] ppid=12898 vsize=11852648 CPUtime=795.88 cores=0,2,4,6
/proc/12900/task/12948/stat : 12948 (java) R 12898 12900 12644 0 -1 4202560 51 0 0 0 79576 12 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133476495824 140133526039622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12949] ppid=12898 vsize=11852648 CPUtime=795.88 cores=0,2,4,6
/proc/12900/task/12949/stat : 12949 (java) R 12898 12900 12644 0 -1 4202560 540 0 0 0 79556 32 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133475440816 140133525987820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12950] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12950/stat : 12950 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133477548968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
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

[startup+959.501 s]
/proc/loadavg: 3.60 3.79 3.50 5/219 13048
/proc/meminfo: memFree=22762388/32873648 swapFree=6864/6864
[pid=12900] ppid=12898 vsize=11852648 CPUtime=1800.13 cores=0,2,4,6
/proc/12900/stat : 12900 (java) S 12898 12900 12644 0 -1 4202496 25300 0 1 0 179905 108 0 0 20 0 22 0 337619446 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140736892267680 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12900/statm: 2963162 784936 2292 9 0 2953849 0
[pid=12900/tid=12902] ppid=12898 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/12900/task/12902/stat : 12902 (java) S 12898 12900 12644 0 -1 4202560 4076 0 1 0 44 5 0 0 20 0 22 0 337619447 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133669651608 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12903] ppid=12898 vsize=11852648 CPUtime=2.53 cores=0,2,4,6
/proc/12900/task/12903/stat : 12903 (java) S 12898 12900 12644 0 -1 4202560 103 0 0 0 250 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133645056552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12904] ppid=12898 vsize=11852648 CPUtime=2.67 cores=0,2,4,6
/proc/12900/task/12904/stat : 12904 (java) S 12898 12900 12644 0 -1 4202560 121 0 0 0 265 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133644003752 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12905] ppid=12898 vsize=11852648 CPUtime=2.46 cores=0,2,4,6
/proc/12900/task/12905/stat : 12905 (java) S 12898 12900 12644 0 -1 4202560 108 0 0 0 244 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133504698664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12906] ppid=12898 vsize=11852648 CPUtime=2.53 cores=0,2,4,6
/proc/12900/task/12906/stat : 12906 (java) S 12898 12900 12644 0 -1 4202560 116 0 0 0 252 1 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133503645864 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12907] ppid=12898 vsize=11852648 CPUtime=2.48 cores=0,2,4,6
/proc/12900/task/12907/stat : 12907 (java) S 12898 12900 12644 0 -1 4202560 103 0 0 0 245 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133502594088 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12908] ppid=12898 vsize=11852648 CPUtime=2.58 cores=0,2,4,6
/proc/12900/task/12908/stat : 12908 (java) S 12898 12900 12644 0 -1 4202560 126 0 0 0 255 3 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133501541288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12909] ppid=12898 vsize=11852648 CPUtime=2.61 cores=0,2,4,6
/proc/12900/task/12909/stat : 12909 (java) S 12898 12900 12644 0 -1 4202560 151 0 0 0 259 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133500488488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12910] ppid=12898 vsize=11852648 CPUtime=2.52 cores=0,2,4,6
/proc/12900/task/12910/stat : 12910 (java) S 12898 12900 12644 0 -1 4202560 99 0 0 0 250 2 0 0 20 0 22 0 337619448 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133499435688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12911] ppid=12898 vsize=11852648 CPUtime=126.04 cores=0,2,4,6
/proc/12900/task/12911/stat : 12911 (java) S 12898 12900 12644 0 -1 4202560 409 0 0 0 12589 15 0 0 20 0 22 0 337619449 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133487024616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12912] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12912/stat : 12912 (java) S 12898 12900 12644 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133485970680 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12913] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12913/stat : 12913 (java) S 12898 12900 12644 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337619450 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133484917768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12914] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12914/stat : 12914 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133483866256 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12915] ppid=12898 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/12900/task/12915/stat : 12915 (java) S 12898 12900 12644 0 -1 4202560 11623 0 0 0 142 2 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133482814392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12916] ppid=12898 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/12900/task/12916/stat : 12916 (java) S 12898 12900 12644 0 -1 4202560 5641 0 0 0 122 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133481761592 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12917] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12917/stat : 12917 (java) S 12898 12900 12644 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133480708984 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12900/tid=12918] ppid=12898 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/12900/task/12918/stat : 12918 (java) S 12898 12900 12644 0 -1 4202560 55 0 0 0 13 18 0 0 20 0 22 0 337619452 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133479656392 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12947] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12947/stat : 12947 (java) S 12898 12900 12644 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337621494 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133478602024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12900/tid=12948] ppid=12898 vsize=11852648 CPUtime=795.88 cores=0,2,4,6
/proc/12900/task/12948/stat : 12948 (java) R 12898 12900 12644 0 -1 4202560 51 0 0 0 79576 12 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133476495824 140133526039622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12900/tid=12949] ppid=12898 vsize=11852648 CPUtime=795.88 cores=0,2,4,6
/proc/12900/task/12949/stat : 12949 (java) R 12898 12900 12644 0 -1 4202560 540 0 0 0 79556 32 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133475440816 140133525987820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12900/tid=12950] ppid=12898 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/12900/task/12950/stat : 12950 (java) S 12898 12900 12644 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337622758 12137111552 784936 33554432000 1073741824 1073778376 140736892276544 140133477548968 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 11852648

Child status: 143
Real time (s): 959.564
CPU time (s): 1800.8
CPU user time (s): 1799.31
CPU system time (s): 1.49177
CPU usage (%): 187.669
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 1.49177
maximum resident set size= 3139864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25332
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29418
involuntary context switches= 48659

runsolver used 4.77227 second user time and 7.60384 second system time

The end

Launcher Data

Begin job on node125 at 2012-06-03 11:15:40
IDJOB=3736081
IDBENCH=25021
IDSOLVER=2328
FILE ID=node125/3736081-1338714940
RUNJOBID= node125-1338714015-12660
PBS_JOBID= 14636751
Free space on /tmp= 70436 MiB

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

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

MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2
RANDOM SEED=226807822

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26258292 kB
Buffers:          607976 kB
Cached:          5031512 kB
SwapCached:         2308 kB
Active:          2535308 kB
Inactive:        3166072 kB
Active(anon):      52400 kB
Inactive(anon):     9240 kB
Active(file):    2482908 kB
Inactive(file):  3156832 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:              5924 kB
Writeback:             0 kB
AnonPages:         29252 kB
Mapped:            22048 kB
Shmem:                96 kB
Slab:             767028 kB
SReclaimable:     210804 kB
SUnreclaim:       556224 kB
KernelStack:        1432 kB
PageTables:         4000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:   10452620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70440 MiB
End job on node125 at 2012-06-03 11:31:42