Trace number 3744414

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO) 1800.13 933.168

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

0.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.12	c version 2.3.1.v20110525
0.06/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.12	c java.vm.version	19.1-b02
0.06/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.12	c sun.arch.data.model	64
0.06/0.12	c java.version		1.6.0_24
0.06/0.12	c os.name		Linux
0.06/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.12	c os.arch		amd64
0.06/0.12	c Free memory 		9996466904
0.06/0.12	c Max memory 		10048897024
0.06/0.12	c Total memory 		10048897024
0.06/0.12	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization
0.06/0.14	c ManyCore solver with 2 solvers running in parallel
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.14	c No reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3744414-1338806219.opb
0.06/0.14	c reading problem ... 
1.35/0.64	c ... done. Wall clock time 0.498s.
1.35/0.64	c #vars     5100
1.35/0.64	c #constraints  12610
1.35/0.64	c constraints type 
1.35/0.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1.35/0.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.35/0.64	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.35/0.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1.35/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
1.35/0.64	c constraints type 
1.35/0.64	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1.35/0.64	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1.35/0.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.35/0.64	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1.35/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1375
3.69/1.27	c  And the winner is Resolution
4.02/1.66	c SATISFIABLE
4.02/1.66	c OPTIMIZING...
4.02/1.66	c Got one! Elapsed wall clock time (in seconds):1.516
4.02/1.66	o 4768555
10.14/4.50	c cleaning 2630 clauses out of 5266 with flag 5000/5266
17.45/8.03	c cleaning 4309 clauses out of 8636 with flag 11000/11266
23.61/11.16	c cleaning 5663 clauses out of 11327 with flag 18000/18266
27.57/13.11	c  And the winner is Resolution
27.59/13.25	c Got one! Elapsed wall clock time (in seconds):13.107
27.59/13.25	o 4767255
28.65/13.63	c cleaning 5666 clauses out of 11368 with flag 1001/23970
32.80/15.60	c cleaning 5843 clauses out of 11702 with flag 7001/29970
36.93/17.76	c cleaning 6422 clauses out of 12858 with flag 14000/36969
40.87/19.77	c cleaning 7216 clauses out of 14437 with flag 22001/44970
47.19/22.92	c cleaning 8105 clauses out of 16221 with flag 31001/53970
51.49/25.15	c cleaning 9050 clauses out of 18116 with flag 41001/63970
52.41/25.69	c  And the winner is Resolution
52.90/26.07	c Got one! Elapsed wall clock time (in seconds):25.925
52.90/26.07	o 4611743
54.22/26.75	c cleaning 7259 clauses out of 14552 with flag 3001/69456
56.76/28.05	c cleaning 6640 clauses out of 13292 with flag 9000/75455
60.88/30.16	c cleaning 6809 clauses out of 13652 with flag 16000/82455
67.17/33.34	c cleaning 7421 clauses out of 14843 with flag 24000/90455
73.11/36.32	c cleaning 8194 clauses out of 16423 with flag 33001/99456
77.02/38.40	c cleaning 9105 clauses out of 18228 with flag 43000/109455
79.74/39.72	c  And the winner is Resolution
80.15/40.15	c Got one! Elapsed wall clock time (in seconds):40.007
80.15/40.15	o 4307507
84.08/42.13	c cleaning 9669 clauses out of 19347 with flag 5001/119679
87.36/43.90	c cleaning 7834 clauses out of 15678 with flag 11001/125679
94.90/47.67	c cleaning 7412 clauses out of 14844 with flag 18001/132679
98.22/49.37	c cleaning 7710 clauses out of 15432 with flag 26001/140679
103.96/52.28	c cleaning 8354 clauses out of 16722 with flag 35001/149679
111.23/55.96	c cleaning 9178 clauses out of 18368 with flag 45001/159679
115.54/58.18	c cleaning 10090 clauses out of 20190 with flag 56001/170679
123.25/62.03	c cleaning 11043 clauses out of 22100 with flag 68001/182679
129.16/65.05	c cleaning 12023 clauses out of 24056 with flag 81000/195678
135.05/68.09	c cleaning 12502 clauses out of 25033 with flag 94000/208678
140.37/70.78	c cleaning 12757 clauses out of 25531 with flag 107000/221678
145.67/73.42	c cleaning 12879 clauses out of 25775 with flag 120001/234679
150.77/76.09	c cleaning 12940 clauses out of 25895 with flag 133000/247678
156.84/79.20	c cleaning 12974 clauses out of 25957 with flag 146002/260680
163.74/82.64	c cleaning 12978 clauses out of 25981 with flag 159000/273678
169.86/85.73	c cleaning 12999 clauses out of 26004 with flag 172001/286679
175.35/88.55	c cleaning 12991 clauses out of 26004 with flag 185000/299678
180.41/91.17	c cleaning 12996 clauses out of 26013 with flag 198000/312678
186.30/94.17	c cleaning 13002 clauses out of 26018 with flag 211001/325679
193.01/97.53	c cleaning 13001 clauses out of 26016 with flag 224001/338679
201.31/101.71	c cleaning 13001 clauses out of 26014 with flag 237000/351678
208.98/105.66	c cleaning 12997 clauses out of 26014 with flag 250001/364679
214.25/108.37	c cleaning 13000 clauses out of 26018 with flag 263002/377680
219.55/111.05	c cleaning 13008 clauses out of 26016 with flag 276000/390678
226.83/114.79	c cleaning 12998 clauses out of 26009 with flag 289001/403679
233.86/118.34	c cleaning 13002 clauses out of 26010 with flag 302000/416678
240.55/121.71	c cleaning 13004 clauses out of 26008 with flag 315000/429678
247.66/125.38	c cleaning 12985 clauses out of 26004 with flag 328000/442678
252.73/127.99	c cleaning 12983 clauses out of 26019 with flag 341000/455678
257.16/130.29	c cleaning 12997 clauses out of 26036 with flag 354000/468678
262.26/132.85	c cleaning 13012 clauses out of 26040 with flag 367001/481679
267.54/135.57	c cleaning 12987 clauses out of 26028 with flag 380001/494679
272.63/138.16	c cleaning 12998 clauses out of 26040 with flag 393000/507678
277.88/140.86	c cleaning 12997 clauses out of 26042 with flag 406000/520678
283.35/143.68	c cleaning 13012 clauses out of 26046 with flag 419001/533679
287.83/145.95	c cleaning 13009 clauses out of 26034 with flag 432001/546679
292.31/148.28	c cleaning 13000 clauses out of 26024 with flag 445000/559678
297.13/150.71	c cleaning 13003 clauses out of 26025 with flag 458001/572679
302.00/153.26	c cleaning 13001 clauses out of 26021 with flag 471000/585678
308.88/156.75	c cleaning 12993 clauses out of 26020 with flag 484000/598678
314.17/159.42	c cleaning 12995 clauses out of 26027 with flag 497000/611678
318.97/161.97	c cleaning 13007 clauses out of 26032 with flag 510000/624678
324.25/164.69	c cleaning 13001 clauses out of 26025 with flag 523000/637678
331.34/168.28	c cleaning 13008 clauses out of 26025 with flag 536001/650679
337.40/171.31	c cleaning 12998 clauses out of 26016 with flag 549000/663678
343.19/174.36	c cleaning 12996 clauses out of 26018 with flag 562000/676678
348.47/177.07	c cleaning 12996 clauses out of 26023 with flag 575001/689679
353.72/179.78	c cleaning 13001 clauses out of 26026 with flag 588000/702678
359.05/182.50	c cleaning 13002 clauses out of 26025 with flag 601000/715678
364.05/185.06	c cleaning 13002 clauses out of 26023 with flag 614000/728678
368.72/187.50	c cleaning 12997 clauses out of 26022 with flag 627001/741679
373.60/189.91	c cleaning 12998 clauses out of 26024 with flag 640000/754678
378.27/192.35	c cleaning 13002 clauses out of 26026 with flag 653000/767678
383.07/194.89	c cleaning 12999 clauses out of 26025 with flag 666001/780679
388.15/197.48	c cleaning 12996 clauses out of 26025 with flag 679000/793678
393.42/200.19	c cleaning 13001 clauses out of 26030 with flag 692001/806679
398.87/202.96	c cleaning 13004 clauses out of 26029 with flag 705001/819679
404.27/205.79	c cleaning 12993 clauses out of 26024 with flag 718000/832678
409.91/208.60	c cleaning 13003 clauses out of 26032 with flag 731001/845679
415.38/211.40	c cleaning 12998 clauses out of 26028 with flag 744000/858678
420.84/214.22	c cleaning 13001 clauses out of 26030 with flag 757000/871678
427.02/217.43	c cleaning 13005 clauses out of 26030 with flag 770001/884679
434.47/221.28	c cleaning 13006 clauses out of 26024 with flag 783000/897678
439.73/223.94	c cleaning 12997 clauses out of 26018 with flag 796000/910678
445.78/227.03	c cleaning 12999 clauses out of 26021 with flag 809000/923678
452.35/230.48	c cleaning 13000 clauses out of 26023 with flag 822001/936679
458.79/233.79	c cleaning 12998 clauses out of 26022 with flag 835000/949678
463.84/236.36	c cleaning 12998 clauses out of 26024 with flag 848000/962678
469.30/239.19	c cleaning 13004 clauses out of 26026 with flag 861000/975678
475.49/242.32	c cleaning 13000 clauses out of 26022 with flag 874000/988678
481.54/245.44	c cleaning 12998 clauses out of 26022 with flag 887000/1001678
487.38/248.49	c cleaning 13001 clauses out of 26024 with flag 900000/1014678
493.64/251.60	c cleaning 12994 clauses out of 26023 with flag 913000/1027678
499.80/254.81	c cleaning 13002 clauses out of 26030 with flag 926001/1040679
505.85/257.94	c cleaning 12998 clauses out of 26027 with flag 939000/1053678
511.89/261.09	c cleaning 13000 clauses out of 26031 with flag 952002/1066680
518.14/264.23	c cleaning 13000 clauses out of 26030 with flag 965001/1079679
523.70/267.17	c cleaning 13008 clauses out of 26029 with flag 978000/1092678
528.93/269.87	c cleaning 12996 clauses out of 26021 with flag 991000/1105678
534.18/272.53	c cleaning 13002 clauses out of 26025 with flag 1004000/1118678
539.42/275.21	c cleaning 13004 clauses out of 26024 with flag 1017001/1131679
544.58/277.94	c cleaning 12992 clauses out of 26019 with flag 1030000/1144678
549.83/280.64	c cleaning 13002 clauses out of 26027 with flag 1043000/1157678
555.07/283.35	c cleaning 13002 clauses out of 26026 with flag 1056001/1170679
560.11/286.00	c cleaning 13004 clauses out of 26024 with flag 1069001/1183679
565.64/288.87	c cleaning 13000 clauses out of 26019 with flag 1082000/1196678
571.27/291.76	c cleaning 12999 clauses out of 26019 with flag 1095000/1209678
576.70/294.50	c cleaning 13000 clauses out of 26020 with flag 1108000/1222678
581.56/297.09	c cleaning 13002 clauses out of 26021 with flag 1121001/1235679
586.69/299.77	c cleaning 13000 clauses out of 26019 with flag 1134001/1248679
592.32/302.66	c cleaning 12998 clauses out of 26018 with flag 1147000/1261678
597.35/305.28	c cleaning 13003 clauses out of 26021 with flag 1160001/1274679
602.58/307.98	c cleaning 12999 clauses out of 26018 with flag 1173001/1287679
607.50/310.55	c cleaning 12999 clauses out of 26018 with flag 1186000/1300678
612.12/312.90	c cleaning 12999 clauses out of 26019 with flag 1199000/1313678
616.75/315.35	c cleaning 13005 clauses out of 26020 with flag 1212000/1326678
623.58/318.80	c cleaning 12997 clauses out of 26015 with flag 1225000/1339678
629.72/322.08	c cleaning 13003 clauses out of 26018 with flag 1238000/1352678
635.16/324.87	c cleaning 12996 clauses out of 26016 with flag 1251001/1365679
640.58/327.64	c cleaning 12998 clauses out of 26020 with flag 1264001/1378679
646.41/330.60	c cleaning 12970 clauses out of 26022 with flag 1277001/1391679
652.14/333.64	c cleaning 12997 clauses out of 26051 with flag 1290000/1404678
657.56/336.46	c cleaning 13016 clauses out of 26054 with flag 1303000/1417678
662.58/339.03	c cleaning 13007 clauses out of 26039 with flag 1316001/1430679
668.79/342.23	c cleaning 13009 clauses out of 26031 with flag 1329000/1443678
674.52/345.29	c cleaning 13004 clauses out of 26022 with flag 1342000/1456678
683.77/349.92	c cleaning 12996 clauses out of 26018 with flag 1355001/1469679
692.59/354.40	c cleaning 12999 clauses out of 26021 with flag 1368000/1482678
700.81/358.66	c cleaning 13003 clauses out of 26023 with flag 1381001/1495679
709.11/362.96	c cleaning 12997 clauses out of 26020 with flag 1394001/1508679
717.11/367.09	c cleaning 13000 clauses out of 26023 with flag 1407001/1521679
722.69/369.93	c cleaning 13002 clauses out of 26022 with flag 1420000/1534678
727.90/372.60	c cleaning 13002 clauses out of 26021 with flag 1433001/1547679
732.80/375.28	c cleaning 13002 clauses out of 26019 with flag 1446001/1560679
737.61/377.80	c cleaning 12999 clauses out of 26016 with flag 1459000/1573678
742.39/380.24	c cleaning 13001 clauses out of 26018 with flag 1472001/1586679
747.20/382.79	c cleaning 12999 clauses out of 26016 with flag 1485000/1599678
752.48/385.50	c cleaning 13001 clauses out of 26018 with flag 1498001/1612679
757.47/388.14	c cleaning 12996 clauses out of 26017 with flag 1511001/1625679
763.06/391.02	c cleaning 12997 clauses out of 26021 with flag 1524001/1638679
768.47/393.88	c cleaning 12999 clauses out of 26023 with flag 1537000/1651678
774.14/396.84	c cleaning 13000 clauses out of 26024 with flag 1550000/1664678
779.53/399.68	c cleaning 12999 clauses out of 26024 with flag 1563000/1677678
785.13/402.54	c cleaning 13004 clauses out of 26026 with flag 1576001/1690679
790.51/405.37	c cleaning 12997 clauses out of 26021 with flag 1589000/1703678
796.00/408.25	c cleaning 13000 clauses out of 26024 with flag 1602000/1716678
801.38/411.01	c cleaning 13000 clauses out of 26024 with flag 1615000/1729678
806.77/413.87	c cleaning 13004 clauses out of 26024 with flag 1628000/1742678
812.36/416.78	c cleaning 12993 clauses out of 26020 with flag 1641000/1755678
818.04/419.73	c cleaning 12994 clauses out of 26027 with flag 1654000/1768678
823.63/422.67	c cleaning 13006 clauses out of 26034 with flag 1667001/1781679
829.44/425.64	c cleaning 13003 clauses out of 26027 with flag 1680000/1794678
835.21/428.67	c cleaning 13001 clauses out of 26024 with flag 1693000/1807678
841.10/431.79	c cleaning 13002 clauses out of 26024 with flag 1706001/1820679
846.68/434.68	c cleaning 12999 clauses out of 26021 with flag 1719000/1833678
852.48/437.65	c cleaning 13001 clauses out of 26023 with flag 1732001/1846679
857.86/440.40	c cleaning 13000 clauses out of 26021 with flag 1745000/1859678
863.55/443.41	c cleaning 12999 clauses out of 26022 with flag 1758001/1872679
869.33/446.43	c cleaning 13001 clauses out of 26023 with flag 1771001/1885679
875.32/449.52	c cleaning 13001 clauses out of 26022 with flag 1784001/1898679
881.11/452.51	c cleaning 13000 clauses out of 26021 with flag 1797001/1911679
885.81/455.01	c cleaning 12998 clauses out of 26020 with flag 1810000/1924678
890.20/457.35	c cleaning 13001 clauses out of 26023 with flag 1823001/1937679
894.59/459.69	c cleaning 12996 clauses out of 26021 with flag 1836000/1950678
899.57/462.22	c cleaning 13007 clauses out of 26025 with flag 1849000/1963678
904.25/464.71	c cleaning 12997 clauses out of 26018 with flag 1862000/1976678
908.83/467.12	c cleaning 13001 clauses out of 26021 with flag 1875000/1989678
914.43/470.03	c cleaning 12998 clauses out of 26018 with flag 1888000/2002678
919.82/472.88	c cleaning 12995 clauses out of 26020 with flag 1901000/2015678
926.70/476.46	c cleaning 13003 clauses out of 26025 with flag 1914000/2028678
933.70/480.07	c cleaning 13002 clauses out of 26022 with flag 1927000/2041678
941.30/484.00	c cleaning 13001 clauses out of 26021 with flag 1940001/2054679
949.08/487.91	c cleaning 12999 clauses out of 26021 with flag 1953002/2067680
956.36/491.75	c cleaning 13000 clauses out of 26019 with flag 1966000/2080678
962.35/494.80	c cleaning 13000 clauses out of 26020 with flag 1979001/2093679
968.16/497.81	c cleaning 13001 clauses out of 26020 with flag 1992001/2106679
973.95/500.86	c cleaning 12999 clauses out of 26019 with flag 2005001/2119679
981.64/504.82	c cleaning 12999 clauses out of 26019 with flag 2018000/2132678
987.81/508.07	c cleaning 12999 clauses out of 26020 with flag 2031000/2145678
994.21/511.38	c cleaning 12999 clauses out of 26021 with flag 2044000/2158678
1000.58/514.65	c cleaning 12997 clauses out of 26022 with flag 2057000/2171678
1006.85/517.94	c cleaning 13003 clauses out of 26025 with flag 2070000/2184678
1013.04/521.12	c cleaning 13000 clauses out of 26022 with flag 2083000/2197678
1018.43/523.94	c cleaning 13002 clauses out of 26022 with flag 2096000/2210678
1024.03/526.81	c cleaning 12997 clauses out of 26020 with flag 2109000/2223678
1029.48/529.75	c cleaning 13002 clauses out of 26023 with flag 2122000/2236678
1035.05/532.62	c cleaning 12997 clauses out of 26021 with flag 2135000/2249678
1040.42/535.47	c cleaning 13001 clauses out of 26024 with flag 2148000/2262678
1045.79/538.30	c cleaning 13004 clauses out of 26024 with flag 2161001/2275679
1051.85/541.40	c cleaning 13000 clauses out of 26019 with flag 2174000/2288678
1059.04/545.13	c cleaning 13002 clauses out of 26020 with flag 2187001/2301679
1066.43/548.90	c cleaning 12998 clauses out of 26017 with flag 2200000/2314678
1073.61/552.67	c cleaning 12999 clauses out of 26019 with flag 2213000/2327678
1081.09/556.59	c cleaning 12997 clauses out of 26020 with flag 2226000/2340678
1088.45/560.37	c cleaning 13003 clauses out of 26023 with flag 2239000/2353678
1095.83/564.16	c cleaning 13004 clauses out of 26020 with flag 2252000/2366678
1103.20/567.97	c cleaning 12997 clauses out of 26016 with flag 2265000/2379678
1111.06/572.00	c cleaning 13001 clauses out of 26019 with flag 2278000/2392678
1118.21/575.78	c cleaning 13002 clauses out of 26019 with flag 2291001/2405679
1125.80/579.61	c cleaning 12998 clauses out of 26016 with flag 2304000/2418678
1132.95/583.39	c cleaning 13001 clauses out of 26019 with flag 2317001/2431679
1139.59/586.87	c cleaning 12998 clauses out of 26018 with flag 2330001/2444679
1145.96/590.19	c cleaning 12998 clauses out of 26019 with flag 2343000/2457678
1153.33/593.97	c cleaning 13002 clauses out of 26021 with flag 2356000/2470678
1159.68/597.26	c cleaning 13000 clauses out of 26019 with flag 2369000/2483678
1166.11/600.62	c cleaning 13000 clauses out of 26019 with flag 2382000/2496678
1171.06/603.27	c cleaning 12997 clauses out of 26019 with flag 2395000/2509678
1175.64/605.66	c cleaning 13002 clauses out of 26022 with flag 2408000/2522678
1180.99/608.41	c cleaning 13004 clauses out of 26021 with flag 2421001/2535679
1188.00/612.18	c cleaning 12996 clauses out of 26016 with flag 2434000/2548678
1195.14/615.84	c cleaning 12999 clauses out of 26020 with flag 2447000/2561678
1201.29/619.08	c cleaning 13000 clauses out of 26021 with flag 2460000/2574678
1207.04/622.04	c cleaning 12985 clauses out of 26021 with flag 2473000/2587678
1212.47/624.99	c cleaning 13004 clauses out of 26037 with flag 2486001/2600679
1217.43/627.57	c cleaning 13003 clauses out of 26033 with flag 2499001/2613679
1222.61/630.27	c cleaning 12998 clauses out of 26029 with flag 2512000/2626678
1227.94/633.00	c cleaning 12993 clauses out of 26032 with flag 2525001/2639679
1233.17/635.86	c cleaning 13001 clauses out of 26038 with flag 2538000/2652678
1238.31/638.57	c cleaning 13009 clauses out of 26038 with flag 2551001/2665679
1243.46/641.27	c cleaning 13006 clauses out of 26030 with flag 2564002/2678680
1248.61/643.94	c cleaning 13000 clauses out of 26022 with flag 2577000/2691678
1253.62/646.63	c cleaning 13000 clauses out of 26023 with flag 2590001/2704679
1258.36/649.17	c cleaning 13003 clauses out of 26023 with flag 2603001/2717679
1263.71/651.95	c cleaning 12998 clauses out of 26019 with flag 2616000/2730678
1268.28/654.40	c cleaning 12999 clauses out of 26021 with flag 2629000/2743678
1273.08/656.97	c cleaning 13003 clauses out of 26022 with flag 2642000/2756678
1278.04/659.50	c cleaning 13002 clauses out of 26020 with flag 2655001/2769679
1282.59/661.97	c cleaning 12998 clauses out of 26018 with flag 2668001/2782679
1287.33/664.46	c cleaning 13002 clauses out of 26019 with flag 2681000/2795678
1292.54/667.25	c cleaning 13001 clauses out of 26018 with flag 2694001/2808679
1297.29/669.79	c cleaning 12998 clauses out of 26016 with flag 2707000/2821678
1301.84/672.10	c cleaning 13001 clauses out of 26019 with flag 2720001/2834679
1306.38/674.51	c cleaning 12998 clauses out of 26018 with flag 2733001/2847679
1311.38/677.21	c cleaning 12999 clauses out of 26019 with flag 2746000/2860678
1316.15/679.72	c cleaning 13001 clauses out of 26021 with flag 2759001/2873679
1321.07/682.34	c cleaning 13005 clauses out of 26020 with flag 2772001/2886679
1325.81/684.85	c cleaning 13000 clauses out of 26015 with flag 2785001/2899679
1330.62/687.44	c cleaning 12994 clauses out of 26014 with flag 2798000/2912678
1335.35/689.90	c cleaning 13003 clauses out of 26021 with flag 2811001/2925679
1340.09/692.49	c cleaning 12998 clauses out of 26017 with flag 2824000/2938678
1345.02/695.03	c cleaning 13001 clauses out of 26019 with flag 2837000/2951678
1350.04/697.74	c cleaning 13001 clauses out of 26018 with flag 2850000/2964678
1354.97/700.30	c cleaning 13000 clauses out of 26017 with flag 2863000/2977678
1360.70/703.34	c cleaning 12997 clauses out of 26017 with flag 2876000/2990678
1367.44/706.88	c cleaning 13001 clauses out of 26020 with flag 2889000/3003678
1373.84/710.29	c cleaning 12984 clauses out of 26019 with flag 2902000/3016678
1380.37/713.69	c cleaning 13007 clauses out of 26034 with flag 2915000/3029678
1385.52/716.31	c cleaning 12997 clauses out of 26027 with flag 2928000/3042678
1395.67/721.54	c cleaning 13007 clauses out of 26036 with flag 2941006/3055684
1407.42/727.67	c cleaning 13004 clauses out of 26024 with flag 2954001/3068679
1416.15/732.16	c cleaning 12998 clauses out of 26020 with flag 2967001/3081679
1421.89/735.11	c cleaning 12997 clauses out of 26021 with flag 2980000/3094678
1427.63/738.18	c cleaning 13001 clauses out of 26025 with flag 2993001/3107679
1433.61/741.33	c cleaning 13006 clauses out of 26024 with flag 3006001/3120679
1442.93/746.12	c cleaning 13001 clauses out of 26018 with flag 3019001/3133679
1451.45/750.55	c cleaning 13003 clauses out of 26017 with flag 3032001/3146679
1458.98/754.42	c cleaning 12997 clauses out of 26014 with flag 3045001/3159679
1465.54/757.98	c cleaning 12999 clauses out of 26016 with flag 3058000/3172678
1472.06/761.37	c cleaning 13004 clauses out of 26017 with flag 3071001/3185679
1480.40/765.64	c cleaning 13001 clauses out of 26013 with flag 3084001/3198679
1488.92/770.08	c cleaning 12998 clauses out of 26012 with flag 3097001/3211679
1497.46/774.57	c cleaning 13000 clauses out of 26014 with flag 3110001/3224679
1505.80/778.89	c cleaning 12999 clauses out of 26013 with flag 3123000/3237678
1514.31/783.24	c cleaning 12998 clauses out of 26014 with flag 3136000/3250678
1522.82/787.62	c cleaning 13002 clauses out of 26017 with flag 3149001/3263679
1531.17/792.01	c cleaning 12999 clauses out of 26015 with flag 3162001/3276679
1543.47/798.32	c cleaning 12995 clauses out of 26015 with flag 3175000/3289678
1551.18/802.35	c cleaning 13000 clauses out of 26021 with flag 3188001/3302679
1558.91/806.31	c cleaning 13007 clauses out of 26021 with flag 3201001/3315679
1566.63/810.42	c cleaning 12993 clauses out of 26014 with flag 3214001/3328679
1573.94/814.27	c cleaning 12999 clauses out of 26020 with flag 3227000/3341678
1581.24/818.06	c cleaning 12999 clauses out of 26021 with flag 3240000/3354678
1589.36/822.29	c cleaning 13004 clauses out of 26023 with flag 3253001/3367679
1597.69/826.70	c cleaning 12999 clauses out of 26019 with flag 3266001/3380679
1605.98/830.96	c cleaning 12996 clauses out of 26019 with flag 3279000/3393678
1614.47/835.32	c cleaning 13003 clauses out of 26024 with flag 3292001/3406679
1622.56/839.57	c cleaning 13006 clauses out of 26021 with flag 3305001/3419679
1630.50/843.74	c cleaning 13001 clauses out of 26015 with flag 3318001/3432679
1635.98/846.60	c cleaning 13000 clauses out of 26014 with flag 3331001/3445679
1641.26/849.47	c cleaning 12996 clauses out of 26013 with flag 3344000/3458678
1646.97/852.49	c cleaning 13005 clauses out of 26018 with flag 3357001/3471679
1653.46/855.94	c cleaning 12995 clauses out of 26012 with flag 3370000/3484678
1659.16/859.00	c cleaning 13000 clauses out of 26018 with flag 3383001/3497679
1665.25/862.12	c cleaning 13000 clauses out of 26017 with flag 3396000/3510678
1671.54/865.42	c cleaning 13001 clauses out of 26017 with flag 3409000/3523678
1677.68/868.74	c cleaning 12999 clauses out of 26016 with flag 3422000/3536678
1683.77/871.97	c cleaning 13004 clauses out of 26018 with flag 3435001/3549679
1689.86/875.12	c cleaning 12995 clauses out of 26013 with flag 3448000/3562678
1695.55/878.14	c cleaning 13000 clauses out of 26019 with flag 3461001/3575679
1700.27/880.71	c cleaning 13003 clauses out of 26018 with flag 3474000/3588678
1704.56/883.05	c cleaning 13000 clauses out of 26016 with flag 3487001/3601679
1708.85/885.36	c cleaning 12999 clauses out of 26016 with flag 3500001/3614679
1713.14/887.62	c cleaning 13000 clauses out of 26017 with flag 3513001/3627679
1717.44/890.06	c cleaning 13001 clauses out of 26017 with flag 3526001/3640679
1721.93/892.47	c cleaning 13003 clauses out of 26016 with flag 3539001/3653679
1731.62/897.45	c cleaning 12995 clauses out of 26012 with flag 3552000/3666678
1741.50/902.53	c cleaning 13000 clauses out of 26018 with flag 3565001/3679679
1751.04/907.53	c cleaning 13003 clauses out of 26017 with flag 3578000/3692678
1760.13/912.27	c cleaning 13000 clauses out of 26015 with flag 3591001/3705679
1769.80/917.21	c cleaning 13000 clauses out of 26015 with flag 3604001/3718679
1778.68/921.84	c cleaning 13001 clauses out of 26015 with flag 3617001/3731679
1788.17/926.82	c cleaning 12997 clauses out of 26014 with flag 3630001/3744679
1797.66/931.75	c cleaning 12997 clauses out of 26016 with flag 3643000/3757678
1800.13/933.11	c starts		: 256
1800.13/933.11	c conflicts		: 3760636
1800.13/933.11	c decisions		: 4272624
1800.13/933.11	c propagations		: 72275440
1800.13/933.11	c inspects		: 986598190
1800.13/933.11	c shortcuts		: 0
1800.13/933.11	c learnt literals	: 6
1800.13/933.11	c learnt binary clauses	: 386
1800.13/933.11	c learnt ternary clauses	: 7743
1800.13/933.11	c learnt constraints	: 3760629
1800.13/933.11	c ignored constraints	: 0
1800.13/933.11	c root simplifications	: 0
1800.13/933.11	c removed literals (reason simplification)	: 322687713
1800.13/933.11	c reason swapping (by a shorter reason)	: 0
1800.13/933.11	c Calls to reduceDB	: 298
1800.13/933.11	c number of reductions to clauses (during analyze)	: 0
1800.13/933.11	c number of learned constraints concerned by reduction	: 0
1800.13/933.11	c number of learning phase by resolution	: 0
1800.13/933.11	c number of learning phase by cutting planes	: 0
1800.13/933.11	c speed (assignments/second)	: 80940.17799448794
1800.13/933.11	c non guided choices	1657
1800.13/933.12	c learnt constraints type 
1800.13/933.12	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 386
1800.13/933.12	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15608
1800.13/933.12	c constraints type 
1800.13/933.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1276
1800.13/933.12	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.13/933.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.13/933.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9850
1800.13/933.12	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1376
1800.13/933.12	c constraints type 
1800.13/933.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
1800.13/933.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
1800.13/933.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1800.13/933.12	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
1800.13/933.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1376
1800.13/933.12	s SATISFIABLE
1800.13/933.13	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 -x1209 -x1210 x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 x1219 x1220 -x1221 -x1222 -x1223 x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 -x1240 x1241 x1242 x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 x1554 x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 x1564 -x1565 x1566 x1567 x1568 -x1569 -x1570 -x1571 x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 x1594 x1595 x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 x1606 x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 x1626 x1627 x1628 x1629 x1630 -x1631 x1632 -x1633 x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 x4838 x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 
1800.13/933.14	c objective function=4307507
1800.13/933.14	c Total wall clock time (in seconds): 932.992

Verifier Data

OK	4307507

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

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

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


[startup+0 s]
/proc/loadavg: 3.74 3.36 2.92 4/197 1907
/proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/1907/stat : 1907 (java) D 1905 1907 32548 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 346746932 2560000 46 33554432000 1073741824 1073778376 140737417866080 140737417863208 227132140839 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/1907/statm: 625 46 37 9 0 29 0

[startup+0.076678 s]
/proc/loadavg: 3.74 3.36 2.92 4/197 1907
/proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11253516 CPUtime=0.04 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 4347 0 1 0 3 1 0 0 20 0 13 0 346746932 11523600384 11688 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2813379 11688 1705 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.100288 s]
/proc/loadavg: 3.74 3.36 2.92 4/197 1907
/proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 4475 0 1 0 5 1 0 0 20 0 18 0 346746932 11864465408 12327 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2896598 12327 1765 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.300252 s]
/proc/loadavg: 3.74 3.36 2.92 4/197 1907
/proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11586392 CPUtime=0.44 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 6418 0 1 0 43 1 0 0 20 0 18 0 346746932 11864465408 15610 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2896598 15610 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700205 s]
/proc/loadavg: 3.74 3.36 2.92 4/197 1907
/proc/meminfo: memFree=23628892/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11719520 CPUtime=1.7 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 22587 0 1 0 164 6 0 0 20 0 20 0 346746932 12000788480 32029 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2929880 32029 2247 9 0 2920567 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 11719520

[startup+1.50062 s]
/proc/loadavg: 3.74 3.36 2.92 7/219 1929
/proc/meminfo: memFree=23507336/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11852648 CPUtime=4.02 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 29005 0 1 0 392 10 0 0 20 0 19 0 346746932 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2963162 34941 2265 9 0 2953849 0
[pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3454 0 1 0 58 2 0 0 20 0 19 0 346746933 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140514084005016 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346746936 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346746938 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346746938 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346746938 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12319 0 0 0 104 3 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 11931 0 0 0 100 3 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346746941 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346747003 12137111552 34941 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 11852648

[startup+3.10076 s]
/proc/loadavg: 3.74 3.36 2.92 7/219 1932
/proc/meminfo: memFree=23429520/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11852648 CPUtime=7.31 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 29608 0 1 0 716 15 0 0 20 0 22 0 346746932 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2963162 92883 2268 9 0 2953849 0
[pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3455 0 1 0 60 3 0 0 20 0 22 0 346746933 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140514084005016 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12349 0 0 0 126 3 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 12379 0 0 0 122 3 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346747003 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1930] ppid=1905 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/1907/task/1930/stat : 1930 (java) R 1905 1907 32548 0 -1 4202560 7 0 0 0 140 0 0 0 20 0 22 0 346747099 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513892048696 140513957896284 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1931] ppid=1905 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/1907/task/1931/stat : 1931 (java) R 1905 1907 32548 0 -1 4202560 114 0 0 0 135 4 0 0 20 0 22 0 346747099 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513893101448 140513956681879 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1932] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1932/stat : 1932 (java) S 1905 1907 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346747100 12137111552 92883 33554432000 1073741824 1073778376 140736460268384 140513890997288 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 11852648

[startup+6.30085 s]
/proc/loadavg: 3.76 3.37 2.92 5/219 1932
/proc/meminfo: memFree=22888840/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11852648 CPUtime=13.91 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 30003 0 1 0 1362 29 0 0 20 0 22 0 346746932 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2963162 249604 2292 9 0 2953849 0
[pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3455 0 1 0 60 3 0 0 20 0 22 0 346746933 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140514084005016 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 346746936 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=0.06 cores=1,3,5,7
/proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 22 0 346746938 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.33 cores=1,3,5,7
/proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12353 0 0 0 130 3 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 12393 0 0 0 142 3 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 249604 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

/proc/1907/statm: 2963162 936972 2293 9 0 2953849 0
[pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.74 cores=1,3,5,7
/proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3596 0 1 0 70 4 0 0 20 0 22 0 346746933 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140514084005032 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 115 0 0 0 95 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 86 0 0 0 95 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0.88 cores=1,3,5,7
/proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 47 0 0 0 86 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 93 0 0 0 97 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 98 0 0 0 96 0 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 109 0 0 0 97 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 90 0 0 0 99 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 87 0 0 0 96 2 0 0 20 0 22 0 346746936 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=65.29 cores=1,3,5,7
/proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 222 0 0 0 6520 9 0 0 20 0 22 0 346746938 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12358 0 0 0 153 3 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=2.27 cores=1,3,5,7
/proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 21433 0 0 0 222 5 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 51 0 0 0 24 16 0 0 20 0 22 0 346746941 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346747003 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1939] ppid=1905 vsize=11852648 CPUtime=773.54 cores=1,3,5,7
/proc/1907/task/1939/stat : 1939 (java) R 1905 1907 32548 0 -1 4202560 131 0 0 0 77341 13 0 0 20 0 22 0 346750948 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513893101760 140513957568182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1940] ppid=1905 vsize=11852648 CPUtime=773.36 cores=1,3,5,7
/proc/1907/task/1940/stat : 1940 (java) R 1905 1907 32548 0 -1 4202560 637 0 0 0 77306 30 0 0 20 0 22 0 346750948 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513892047072 140513957759774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1941] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1941/stat : 1941 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346750949 12137111552 936972 33554432000 1073741824 1073778376 140736460268384 140513890997416 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1703.16
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+933.101 s]
/proc/loadavg: 4.00 3.90 3.53 6/219 2036
/proc/meminfo: memFree=19826464/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 41553 0 1 0 179895 118 0 0 20 0 22 0 346746932 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2963162 939051 2293 9 0 2953849 0
[pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3605 0 1 0 71 4 0 0 20 0 22 0 346746933 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140514084005032 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 118 0 0 0 100 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 89 0 0 0 102 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 54 0 0 0 95 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 94 0 0 0 103 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 110 0 0 0 104 0 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 114 0 0 0 101 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 90 0 0 0 105 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 87 0 0 0 104 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=70.15 cores=1,3,5,7
/proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 230 0 0 0 7004 11 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12358 0 0 0 153 3 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=2.27 cores=1,3,5,7
/proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 21433 0 0 0 222 5 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 55 0 0 0 25 18 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346747003 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1939] ppid=1905 vsize=11852648 CPUtime=819.2 cores=1,3,5,7
/proc/1907/task/1939/stat : 1939 (java) R 1905 1907 32548 0 -1 4202560 133 0 0 0 81906 14 0 0 20 0 22 0 346750948 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513893101760 140513957211616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1940] ppid=1905 vsize=11852648 CPUtime=819.01 cores=1,3,5,7
/proc/1907/task/1940/stat : 1940 (java) R 1905 1907 32548 0 -1 4202560 639 0 0 0 81870 31 0 0 20 0 22 0 346750948 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513892046960 140513957741285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1941] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1941/stat : 1941 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346750949 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513890997416 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 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+933.101 s]
/proc/loadavg: 4.00 3.90 3.53 6/219 2036
/proc/meminfo: memFree=19826464/32873844 swapFree=7116/7116
[pid=1907] ppid=1905 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7
/proc/1907/stat : 1907 (java) S 1905 1907 32548 0 -1 4202496 41553 0 1 0 179895 118 0 0 20 0 22 0 346746932 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140736460259520 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1907/statm: 2963162 939051 2293 9 0 2953849 0
[pid=1907/tid=1909] ppid=1905 vsize=11852648 CPUtime=0.75 cores=1,3,5,7
/proc/1907/task/1909/stat : 1909 (java) S 1905 1907 32548 0 -1 4202560 3605 0 1 0 71 4 0 0 20 0 22 0 346746933 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140514084005032 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1910] ppid=1905 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/1907/task/1910/stat : 1910 (java) S 1905 1907 32548 0 -1 4202560 118 0 0 0 100 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513921305256 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1911] ppid=1905 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/1907/task/1911/stat : 1911 (java) S 1905 1907 32548 0 -1 4202560 89 0 0 0 102 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513920252712 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1912] ppid=1905 vsize=11852648 CPUtime=0.97 cores=1,3,5,7
/proc/1907/task/1912/stat : 1912 (java) S 1905 1907 32548 0 -1 4202560 54 0 0 0 95 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513919200168 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1913] ppid=1905 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/1907/task/1913/stat : 1913 (java) S 1905 1907 32548 0 -1 4202560 94 0 0 0 103 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513918147624 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1914] ppid=1905 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/1907/task/1914/stat : 1914 (java) S 1905 1907 32548 0 -1 4202560 110 0 0 0 104 0 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513917094056 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1915] ppid=1905 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/1907/task/1915/stat : 1915 (java) S 1905 1907 32548 0 -1 4202560 114 0 0 0 101 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513916041512 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1916] ppid=1905 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/1907/task/1916/stat : 1916 (java) S 1905 1907 32548 0 -1 4202560 90 0 0 0 105 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513914988968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1917] ppid=1905 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/1907/task/1917/stat : 1917 (java) S 1905 1907 32548 0 -1 4202560 87 0 0 0 104 2 0 0 20 0 22 0 346746936 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513913936424 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1918] ppid=1905 vsize=11852648 CPUtime=70.15 cores=1,3,5,7
/proc/1907/task/1918/stat : 1918 (java) S 1905 1907 32548 0 -1 4202560 230 0 0 0 7004 11 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513901525608 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1919] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1919/stat : 1919 (java) S 1905 1907 32548 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513900471928 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1907/tid=1920] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1920/stat : 1920 (java) S 1905 1907 32548 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 346746938 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513899419272 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1921] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1921/stat : 1921 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513898368016 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1907/tid=1922] ppid=1905 vsize=11852648 CPUtime=1.56 cores=1,3,5,7
/proc/1907/task/1922/stat : 1922 (java) S 1905 1907 32548 0 -1 4202560 12358 0 0 0 153 3 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513897314360 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1923] ppid=1905 vsize=11852648 CPUtime=2.27 cores=1,3,5,7
/proc/1907/task/1923/stat : 1923 (java) S 1905 1907 32548 0 -1 4202560 21433 0 0 0 222 5 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513896261816 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1924] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1924/stat : 1924 (java) S 1905 1907 32548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513895209464 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1925] ppid=1905 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/1907/task/1925/stat : 1925 (java) S 1905 1907 32548 0 -1 4202560 55 0 0 0 25 18 0 0 20 0 22 0 346746941 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513894157128 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=1907/tid=1929] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1929/stat : 1929 (java) S 1905 1907 32548 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 346747003 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513889945256 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1939] ppid=1905 vsize=11852648 CPUtime=819.2 cores=1,3,5,7
/proc/1907/task/1939/stat : 1939 (java) R 1905 1907 32548 0 -1 4202560 133 0 0 0 81906 14 0 0 20 0 22 0 346750948 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513893101760 140513957211616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1907/tid=1940] ppid=1905 vsize=11852648 CPUtime=819.01 cores=1,3,5,7
/proc/1907/task/1940/stat : 1940 (java) R 1905 1907 32548 0 -1 4202560 639 0 0 0 81870 31 0 0 20 0 22 0 346750948 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513892046960 140513957741285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1907/tid=1941] ppid=1905 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/1907/task/1941/stat : 1941 (java) S 1905 1907 32548 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 346750949 12137111552 939051 33554432000 1073741824 1073778376 140736460268384 140513890997416 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 11852648

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1907 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=618176
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=631751
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 933.168
CPU time (s): 1800.13
CPU user time (s): 1798.95
CPU system time (s): 1.18
CPU usage (%): 192.905
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.62
system time used= 1.63175
maximum resident set size= 3756332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41587
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= 30708
involuntary context switches= 29967

runsolver used 3.39148 second user time and 9.1956 second system time

The end

Launcher Data

Begin job on node138 at 2012-06-04 12:36:59
IDJOB=3744414
IDBENCH=92748
IDSOLVER=2328
FILE ID=node138/3744414-1338806219
RUNJOBID= node138-1338804380-1576
PBS_JOBID= 14636830
Free space on /tmp= 70768 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744414-1338806219/watcher-3744414-1338806219 -o /tmp/evaluation-result-3744414-1338806219/solver-3744414-1338806219 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3744414-1338806219.opb

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

MD5SUM BENCH= 8a23e88f34ee33e636d3b24522832f27
RANDOM SEED=1407750103

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23628520 kB
Buffers:          730988 kB
Cached:          4036972 kB
SwapCached:          208 kB
Active:          5960620 kB
Inactive:        2365100 kB
Active(anon):    3541836 kB
Inactive(anon):    11376 kB
Active(file):    2418784 kB
Inactive(file):  2353724 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:               504 kB
Writeback:             0 kB
AnonPages:       3557860 kB
Mapped:            22552 kB
Shmem:               200 kB
Slab:             772496 kB
SReclaimable:     214544 kB
SUnreclaim:       557952 kB
KernelStack:        1632 kB
PageTables:        11168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3493888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70768 MiB
End job on node138 at 2012-06-04 12:52:34