Trace number 3710873

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)16 1800.6 1796.37

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
MD5SUMb0c7ff7d1fa11c8e15b9d528879223a9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark0.591909
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14
Optimality of the best value was proved YES
Number of variables3659
Total number of constraints9385
Number of constraints which are clauses9385
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 1787
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1787
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1787
Number of bits of the biggest sum of numbers11
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710873-1338160489.opb
0.09/0.12	c reading problem ... 
0.50/0.36	c ... done. Wall clock time 0.238s.
0.50/0.36	c declared #vars     3659
0.50/0.36	c #constraints  9382
0.50/0.36	c constraints type 
0.50/0.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893
0.50/0.36	c ignored satisfied constraints => 3
0.50/0.36	c org.sat4j.minisat.constraints.cnf.UnitClause => 99
0.50/0.36	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390
0.50/0.36	c 9385 constraints processed.
0.73/0.40	c SATISFIABLE
0.73/0.40	c OPTIMIZING...
0.73/0.40	c Got one! Elapsed wall clock time (in seconds):0.282
0.73/0.40	o 17
2.61/1.91	c cleaning 2495 clauses out of 5000 with flag 5000/5000
4.18/3.48	c cleaning 4244 clauses out of 8506 with flag 11001/11001
6.00/5.20	c cleaning 5625 clauses out of 11261 with flag 18000/18000
8.12/7.30	c cleaning 6812 clauses out of 13636 with flag 26000/26000
10.49/9.62	c cleaning 7907 clauses out of 15825 with flag 35001/35001
12.81/11.97	c cleaning 8952 clauses out of 17922 with flag 45005/45005
15.42/14.57	c cleaning 9979 clauses out of 19966 with flag 56001/56001
18.34/17.41	c cleaning 10985 clauses out of 21986 with flag 68000/68000
21.96/21.01	c cleaning 11997 clauses out of 24001 with flag 81000/81000
25.46/24.58	c cleaning 12992 clauses out of 26004 with flag 95000/95000
29.36/28.45	c cleaning 13997 clauses out of 28012 with flag 110000/110000
33.48/32.53	c cleaning 14999 clauses out of 30016 with flag 126001/126001
37.89/36.94	c cleaning 15989 clauses out of 32016 with flag 143000/143000
42.53/41.54	c cleaning 17000 clauses out of 34029 with flag 161002/161002
47.44/46.46	c cleaning 18008 clauses out of 36027 with flag 180000/180000
52.94/51.97	c cleaning 18994 clauses out of 38019 with flag 200000/200000
58.15/57.19	c cleaning 20003 clauses out of 40025 with flag 221000/221000
64.04/63.01	c cleaning 20989 clauses out of 42025 with flag 243003/243003
70.16/69.13	c cleaning 22013 clauses out of 44034 with flag 266001/266001
75.88/74.89	c cleaning 23003 clauses out of 46020 with flag 290000/290000
82.49/81.48	c cleaning 23988 clauses out of 48017 with flag 315000/315000
89.58/88.56	c cleaning 25006 clauses out of 50029 with flag 341000/341000
97.40/96.30	c cleaning 26002 clauses out of 52026 with flag 368003/368003
105.64/104.55	c cleaning 27005 clauses out of 54022 with flag 396001/396001
113.15/112.02	c cleaning 27997 clauses out of 56016 with flag 425000/425000
121.27/120.10	c cleaning 29006 clauses out of 58019 with flag 455000/455000
129.03/127.84	c cleaning 29985 clauses out of 60013 with flag 486000/486000
138.64/137.43	c cleaning 30990 clauses out of 62028 with flag 518000/518000
147.04/145.80	c cleaning 31994 clauses out of 64038 with flag 551000/551000
156.37/155.12	c cleaning 33015 clauses out of 66044 with flag 585000/585000
165.69/164.41	c cleaning 34012 clauses out of 68029 with flag 620000/620000
174.62/173.40	c cleaning 34999 clauses out of 70017 with flag 656000/656000
184.28/182.86	c cleaning 35997 clauses out of 72018 with flag 693000/693000
194.97/193.25	c cleaning 37003 clauses out of 74021 with flag 731000/731000
205.95/204.05	c cleaning 37990 clauses out of 76019 with flag 770001/770001
216.86/214.91	c cleaning 38998 clauses out of 78028 with flag 810000/810000
228.48/226.56	c cleaning 39994 clauses out of 80031 with flag 851001/851001
240.18/238.28	c cleaning 41014 clauses out of 82038 with flag 893002/893002
252.00/250.01	c cleaning 41989 clauses out of 84022 with flag 936000/936000
263.92/261.97	c cleaning 42984 clauses out of 86033 with flag 980000/980000
276.03/274.05	c cleaning 44020 clauses out of 88051 with flag 1025002/1025002
287.96/285.93	c cleaning 45003 clauses out of 90031 with flag 1071002/1071002
300.68/298.69	c cleaning 46005 clauses out of 92026 with flag 1118000/1118000
314.60/312.51	c cleaning 46994 clauses out of 94022 with flag 1166001/1166001
327.42/325.35	c cleaning 47999 clauses out of 96027 with flag 1215000/1215000
341.84/339.78	c cleaning 48995 clauses out of 98028 with flag 1265000/1265000
356.86/354.72	c cleaning 49990 clauses out of 100033 with flag 1316000/1316000
371.08/368.97	c cleaning 51009 clauses out of 102045 with flag 1368002/1368002
385.70/383.59	c cleaning 52010 clauses out of 104034 with flag 1421000/1421000
400.32/398.10	c cleaning 53007 clauses out of 106024 with flag 1475000/1475000
415.02/412.80	c cleaning 53999 clauses out of 108017 with flag 1530000/1530000
431.16/428.96	c cleaning 54985 clauses out of 110018 with flag 1586000/1586000
446.35/444.11	c cleaning 56008 clauses out of 112034 with flag 1643001/1643001
461.67/459.47	c cleaning 56998 clauses out of 114025 with flag 1701000/1701000
478.59/476.32	c cleaning 57992 clauses out of 116027 with flag 1760000/1760000
495.61/493.39	c cleaning 59012 clauses out of 118035 with flag 1820000/1820000
514.12/511.82	c cleaning 59983 clauses out of 120023 with flag 1881000/1881000
532.95/530.61	c cleaning 61011 clauses out of 122041 with flag 1943001/1943001
552.06/549.73	c cleaning 62008 clauses out of 124031 with flag 2006002/2006002
569.68/567.33	c cleaning 62999 clauses out of 126021 with flag 2070000/2070000
587.28/584.98	c cleaning 63986 clauses out of 128022 with flag 2135000/2135000
606.31/603.99	c cleaning 65008 clauses out of 130036 with flag 2201000/2201000
623.55/621.13	c cleaning 66005 clauses out of 132028 with flag 2268000/2268000
642.96/640.54	c cleaning 67000 clauses out of 134023 with flag 2336000/2336000
663.99/661.59	c cleaning 67987 clauses out of 136023 with flag 2405000/2405000
685.21/682.71	c cleaning 69007 clauses out of 138037 with flag 2475001/2475001
706.65/704.13	c cleaning 69993 clauses out of 140029 with flag 2546000/2546000
728.37/725.80	c cleaning 70985 clauses out of 142036 with flag 2618000/2618000
749.78/747.22	c cleaning 71988 clauses out of 144052 with flag 2691001/2691001
750.99/748.42	c Got one! Elapsed wall clock time (in seconds):748.297
750.99/748.42	o 16
751.49/748.99	c cleaning 38994 clauses out of 78020 with flag 2000/2696957
753.21/750.61	c cleaning 22506 clauses out of 45028 with flag 8002/2702959
755.03/752.44	c cleaning 14738 clauses out of 29520 with flag 15000/2709957
757.14/754.58	c cleaning 11378 clauses out of 22782 with flag 23000/2717957
759.54/756.91	c cleaning 10193 clauses out of 20404 with flag 32000/2726957
762.05/759.48	c cleaning 10100 clauses out of 20213 with flag 42002/2736959
764.87/762.24	c cleaning 10537 clauses out of 21111 with flag 53000/2747957
767.88/765.20	c cleaning 11279 clauses out of 22575 with flag 65001/2759958
771.08/768.49	c cleaning 12133 clauses out of 24295 with flag 78000/2772957
774.48/771.86	c cleaning 13065 clauses out of 26163 with flag 92001/2786958
777.99/775.38	c cleaning 14035 clauses out of 28097 with flag 107000/2801957
781.80/779.19	c cleaning 15016 clauses out of 30062 with flag 123000/2817957
786.01/783.38	c cleaning 16012 clauses out of 32046 with flag 140000/2834957
790.62/787.92	c cleaning 17002 clauses out of 34034 with flag 158000/2852957
795.34/792.68	c cleaning 18009 clauses out of 36035 with flag 177003/2871960
800.15/797.50	c cleaning 19001 clauses out of 38023 with flag 197000/2891957
805.15/802.45	c cleaning 19994 clauses out of 40022 with flag 218000/2912957
810.66/807.92	c cleaning 21005 clauses out of 42028 with flag 240000/2934957
816.68/813.91	c cleaning 22003 clauses out of 44034 with flag 263011/2957968
822.98/820.24	c cleaning 22990 clauses out of 46020 with flag 287000/2981957
829.40/826.62	c cleaning 24005 clauses out of 48030 with flag 312000/3006957
836.31/833.53	c cleaning 25005 clauses out of 50026 with flag 338001/3032958
843.43/840.64	c cleaning 25990 clauses out of 52020 with flag 365000/3059957
850.86/848.10	c cleaning 26998 clauses out of 54030 with flag 393000/3087957
858.06/855.26	c cleaning 28009 clauses out of 56033 with flag 422001/3116958
866.39/863.55	c cleaning 29001 clauses out of 58023 with flag 452000/3146957
874.89/872.06	c cleaning 29987 clauses out of 60024 with flag 483002/3177959
884.01/881.17	c cleaning 31010 clauses out of 62036 with flag 515001/3209958
893.92/891.03	c cleaning 31986 clauses out of 64025 with flag 548000/3242957
904.11/901.23	c cleaning 33006 clauses out of 66039 with flag 582000/3276957
913.75/910.83	c cleaning 34008 clauses out of 68033 with flag 617000/3311957
923.04/920.18	c cleaning 35000 clauses out of 70025 with flag 653000/3347957
932.45/929.59	c cleaning 35990 clauses out of 72025 with flag 690000/3384957
942.57/939.61	c cleaning 37002 clauses out of 74035 with flag 728000/3422957
952.69/949.71	c cleaning 38004 clauses out of 76033 with flag 767000/3461957
963.13/960.11	c cleaning 39007 clauses out of 78029 with flag 807000/3501957
973.63/970.68	c cleaning 39997 clauses out of 80022 with flag 848000/3542957
984.84/981.83	c cleaning 40980 clauses out of 82025 with flag 890000/3584957
997.25/994.24	c cleaning 42012 clauses out of 84045 with flag 933000/3627957
1008.66/1005.69	c cleaning 43008 clauses out of 86033 with flag 977000/3671957
1020.28/1017.20	c cleaning 43997 clauses out of 88025 with flag 1022000/3716957
1031.59/1028.51	c cleaning 44990 clauses out of 90028 with flag 1068000/3762957
1043.90/1040.84	c cleaning 46010 clauses out of 92041 with flag 1115003/3809960
1056.02/1052.97	c cleaning 46995 clauses out of 94029 with flag 1163001/3857958
1068.83/1065.79	c cleaning 47998 clauses out of 96033 with flag 1212000/3906957
1081.95/1078.85	c cleaning 49004 clauses out of 98037 with flag 1262002/3956959
1095.97/1092.88	c cleaning 50004 clauses out of 100031 with flag 1313000/4007957
1111.17/1108.01	c cleaning 50997 clauses out of 102027 with flag 1365000/4059957
1126.48/1123.32	c cleaning 51992 clauses out of 104030 with flag 1418000/4112957
1142.20/1139.02	c cleaning 53005 clauses out of 106038 with flag 1472000/4166957
1158.11/1154.98	c cleaning 53998 clauses out of 108035 with flag 1527002/4221959
1174.51/1171.32	c cleaning 54998 clauses out of 110035 with flag 1583000/4277957
1190.91/1187.72	c cleaning 56011 clauses out of 112038 with flag 1640001/4334958
1208.02/1204.82	c cleaning 56991 clauses out of 114026 with flag 1698000/4392957
1225.53/1222.39	c cleaning 58005 clauses out of 116035 with flag 1757000/4451957
1242.55/1239.39	c cleaning 59004 clauses out of 118030 with flag 1817000/4511957
1260.77/1257.53	c cleaning 59999 clauses out of 120026 with flag 1878000/4572957
1277.69/1274.49	c cleaning 61001 clauses out of 122027 with flag 1940000/4634957
1296.61/1293.36	c cleaning 61992 clauses out of 124028 with flag 2003002/4697959
1316.03/1312.71	c cleaning 63004 clauses out of 126034 with flag 2067000/4761957
1334.05/1330.71	c cleaning 64008 clauses out of 128030 with flag 2132000/4826957
1352.46/1349.15	c cleaning 65003 clauses out of 130022 with flag 2198000/4892957
1370.38/1367.02	c cleaning 66001 clauses out of 132019 with flag 2265000/4959957
1389.20/1385.82	c cleaning 66999 clauses out of 134019 with flag 2333001/5027958
1408.51/1405.14	c cleaning 67986 clauses out of 136019 with flag 2402000/5096957
1427.11/1423.72	c cleaning 69008 clauses out of 138035 with flag 2472002/5166959
1446.03/1442.63	c cleaning 70001 clauses out of 140025 with flag 2543000/5237957
1465.65/1462.25	c cleaning 71000 clauses out of 142024 with flag 2615000/5309957
1485.58/1482.14	c cleaning 72005 clauses out of 144024 with flag 2688000/5382957
1505.99/1502.56	c cleaning 72977 clauses out of 146019 with flag 2762000/5456957
1527.19/1523.74	c cleaning 74010 clauses out of 148043 with flag 2837001/5531958
1549.22/1545.72	c cleaning 74996 clauses out of 150032 with flag 2913000/5607957
1571.44/1567.93	c cleaning 76003 clauses out of 152037 with flag 2990001/5684958
1594.84/1591.33	c cleaning 76996 clauses out of 154033 with flag 3068000/5762957
1618.97/1615.47	c cleaning 77990 clauses out of 156037 with flag 3147000/5841957
1642.30/1638.74	c cleaning 79002 clauses out of 158049 with flag 3227002/5921959
1665.21/1661.67	c cleaning 80007 clauses out of 160046 with flag 3308001/6002958
1689.63/1686.03	c cleaning 80980 clauses out of 162038 with flag 3390000/6084957
1715.05/1711.42	c cleaning 82007 clauses out of 164058 with flag 3473000/6167957
1740.79/1737.14	c cleaning 83003 clauses out of 166053 with flag 3557002/6251959
1767.22/1763.55	c cleaning 84007 clauses out of 168048 with flag 3642000/6336957
1792.84/1789.18	c cleaning 84991 clauses out of 170041 with flag 3728000/6422957
1800.08/1796.31	c starts		: 278
1800.08/1796.31	c conflicts		: 6447350
1800.08/1796.31	c decisions		: 18638921
1800.08/1796.31	c propagations		: 9776293906
1800.08/1796.31	c inspects		: 11150543403
1800.08/1796.32	c shortcuts		: 0
1800.08/1796.32	c learnt literals	: 0
1800.08/1796.32	c learnt binary clauses	: 17
1800.08/1796.32	c learnt ternary clauses	: 32
1800.08/1796.32	c learnt constraints	: 6447351
1800.08/1796.32	c ignored constraints	: 0
1800.08/1796.32	c root simplifications	: 278
1800.08/1796.32	c removed literals (reason simplification)	: 20479932
1800.08/1796.32	c reason swapping (by a shorter reason)	: 0
1800.08/1796.32	c Calls to reduceDB	: 151
1800.08/1796.32	c number of reductions to clauses (during analyze)	: 0
1800.08/1796.32	c number of learned constraints concerned by reduction	: 0
1800.08/1796.32	c number of learning phase by resolution	: 0
1800.08/1796.32	c number of learning phase by cutting planes	: 0
1800.08/1796.32	c speed (assignments/second)	: 5443523.146524124
1800.08/1796.32	c non guided choices	2784
1800.08/1796.34	c learnt constraints type 
1800.08/1796.34	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17
1800.08/1796.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 109509
1800.08/1796.34	c constraints type 
1800.08/1796.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893
1800.08/1796.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1796.34	c ignored satisfied constraints => 3
1800.08/1796.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 99
1800.08/1796.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390
1800.08/1796.34	c 9386 constraints processed.
1800.08/1796.34	s SATISFIABLE
1800.08/1796.35	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 
1800.08/1796.35	c objective function=16
1800.08/1796.35	c Total wall clock time (in seconds): 1796.236

Verifier Data

OK	16

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-3710873-1338160489/watcher-3710873-1338160489 -o /tmp/evaluation-result-3710873-1338160489/solver-3710873-1338160489 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710873-1338160489.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: 2.00 2.00 2.00 3/194 23282
/proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23282/stat : 23282 (java) D 23280 23282 21838 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 282174802 9515008 182 33554432000 1073741824 1073778376 140736103261760 140736103252792 242167398069 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/23282/statm: 2323 182 140 9 0 71 0

[startup+0.0897349 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23282
/proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 3915 0 1 0 6 0 0 0 20 0 18 0 282174802 9787842560 4611 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2389610 4617 2043 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100179 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23282
/proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 4339 0 1 0 8 1 0 0 20 0 18 0 282174802 9787842560 5545 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2389610 5545 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300172 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23282
/proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9558440 CPUtime=0.5 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 6096 0 1 0 49 1 0 0 20 0 18 0 282174802 9787842560 8731 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2389610 8731 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558440

[startup+0.700186 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 23282
/proc/meminfo: memFree=30920432/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 9913 0 1 0 131 2 0 0 20 0 19 0 282174802 9856004096 13499 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2406251 13499 2258 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625004

[startup+1.50061 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 23301
/proc/meminfo: memFree=30874820/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9625004 CPUtime=2.21 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 9957 0 1 0 219 2 0 0 20 0 19 0 282174802 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2406251 13514 2261 9 0 2396937 0
[pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2565 0 1 0 144 2 0 0 20 0 19 0 282174803 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021363573128 140021303940038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2957 0 0 0 30 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 3239 0 0 0 40 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 13514 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625004

[startup+3.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23301
/proc/meminfo: memFree=30864324/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9625004 CPUtime=3.86 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 10061 0 1 0 384 2 0 0 20 0 19 0 282174802 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2406251 16125 2286 9 0 2396937 0
[pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=3.05 cores=1,3,5,7
/proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2568 0 1 0 303 2 0 0 20 0 19 0 282174803 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021363581592 140021303920513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2958 0 0 0 32 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 3294 0 0 0 44 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 16125 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625004

[startup+6.30061 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 23301
/proc/meminfo: memFree=30864208/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9625004 CPUtime=7.11 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 10084 0 1 0 709 2 0 0 20 0 19 0 282174802 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2406251 16129 2286 9 0 2396937 0
[pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=6.21 cores=1,3,5,7
/proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2570 0 1 0 619 2 0 0 20 0 19 0 282174803 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021363581448 140021303908205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 282174804 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 41 0 0 0 2 0 0 0 20 0 19 0 282174805 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2959 0 0 0 33 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=0.46 cores=1,3,5,7
/proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 3300 0 0 0 46 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 16129 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.11
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 96 0 0 0 42 0 0 0 20 0 19 0 282174804 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 102 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=3.81 cores=1,3,5,7
/proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 169 0 0 0 378 3 0 0 20 0 19 0 282174805 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2960 0 0 0 34 0 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 13471 0 0 0 113 2 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 99 0 0 0 8 15 0 0 20 0 19 0 282174808 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 27781 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.98
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/213 23377
/proc/meminfo: memFree=30866728/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9625004 CPUtime=1786.04 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 21147 0 1 0 178580 24 0 0 20 0 19 0 282174802 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2406251 28293 2287 9 0 2396937 0
[pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=1777.46 cores=1,3,5,7
/proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2717 0 1 0 177717 29 0 0 20 0 19 0 282174803 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021363581216 140021303944792 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 55 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 36 0 0 0 39 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 49 0 0 0 42 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 96 0 0 0 43 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 102 0 0 0 38 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=3.88 cores=1,3,5,7
/proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 172 0 0 0 385 3 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2960 0 0 0 34 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 13471 0 0 0 113 2 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 103 0 0 0 9 15 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.04
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 23377
/proc/meminfo: memFree=30866732/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 21150 0 1 0 179983 25 0 0 20 0 19 0 282174802 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2406251 28293 2287 9 0 2396937 0
[pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=1791.43 cores=1,3,5,7
/proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2718 0 1 0 179114 29 0 0 20 0 19 0 282174803 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021363581216 140021303929310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 55 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 36 0 0 0 40 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 49 0 0 0 42 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 96 0 0 0 44 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 102 0 0 0 38 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=3.92 cores=1,3,5,7
/proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 174 0 0 0 389 3 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2960 0 0 0 34 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 13471 0 0 0 113 2 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 103 0 0 0 9 15 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1796.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 23377
/proc/meminfo: memFree=30866732/32873648 swapFree=7112/7112
[pid=23282] ppid=23280 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/23282/stat : 23282 (java) S 23280 23282 21838 0 -1 4202496 21150 0 1 0 179983 25 0 0 20 0 19 0 282174802 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140736296125904 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23282/statm: 2406251 28293 2287 9 0 2396937 0
[pid=23282/tid=23284] ppid=23280 vsize=9625004 CPUtime=1791.43 cores=1,3,5,7
/proc/23282/task/23284/stat : 23284 (java) R 23280 23282 21838 0 -1 4202560 2718 0 1 0 179114 29 0 0 20 0 19 0 282174803 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021363581216 140021303929310 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23285] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23285/stat : 23285 (java) S 23280 23282 21838 0 -1 4202560 55 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021207087912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23286] ppid=23280 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/23282/task/23286/stat : 23286 (java) S 23280 23282 21838 0 -1 4202560 60 0 0 0 39 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021206035112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23287] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23287/stat : 23287 (java) S 23280 23282 21838 0 -1 4202560 37 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021204982824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23288] ppid=23280 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/23282/task/23288/stat : 23288 (java) S 23280 23282 21838 0 -1 4202560 36 0 0 0 40 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021203930024 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23289] ppid=23280 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/23282/task/23289/stat : 23289 (java) S 23280 23282 21838 0 -1 4202560 49 0 0 0 42 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021202876712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23282/tid=23290] ppid=23280 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/23282/task/23290/stat : 23290 (java) S 23280 23282 21838 0 -1 4202560 96 0 0 0 44 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021201823912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23291] ppid=23280 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/23282/task/23291/stat : 23291 (java) S 23280 23282 21838 0 -1 4202560 108 0 0 0 37 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021200771624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23282/tid=23292] ppid=23280 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/23282/task/23292/stat : 23292 (java) S 23280 23282 21838 0 -1 4202560 102 0 0 0 38 0 0 0 20 0 19 0 282174804 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021199718824 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23293] ppid=23280 vsize=9625004 CPUtime=3.92 cores=1,3,5,7
/proc/23282/task/23293/stat : 23293 (java) S 23280 23282 21838 0 -1 4202560 174 0 0 0 389 3 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021187521256 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23294] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23294/stat : 23294 (java) S 23280 23282 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021186467320 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23295] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23295/stat : 23295 (java) S 23280 23282 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 282174805 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021185414920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23296] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23296/stat : 23296 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021184363408 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23297] ppid=23280 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/23282/task/23297/stat : 23297 (java) S 23280 23282 21838 0 -1 4202560 2960 0 0 0 34 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021183310008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23282/tid=23298] ppid=23280 vsize=9625004 CPUtime=1.15 cores=1,3,5,7
/proc/23282/task/23298/stat : 23298 (java) S 23280 23282 21838 0 -1 4202560 13471 0 0 0 113 2 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021182257208 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23299] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23299/stat : 23299 (java) S 23280 23282 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021181205112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23300] ppid=23280 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/23282/task/23300/stat : 23300 (java) S 23280 23282 21838 0 -1 4202560 103 0 0 0 9 15 0 0 20 0 19 0 282174808 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021180152520 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23282/tid=23301] ppid=23280 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/23282/task/23301/stat : 23301 (java) S 23280 23282 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 282174839 9856004096 28293 33554432000 1073741824 1073778376 140736296134768 140021179098536 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1796.37
CPU time (s): 1800.6
CPU user time (s): 1799.97
CPU system time (s): 0.631903
CPU usage (%): 100.235
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.631903
maximum resident set size= 113292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21182
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42125
involuntary context switches= 11352

runsolver used 6.22105 second user time and 13.143 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-28 01:14:49
IDJOB=3710873
IDBENCH=25007
IDSOLVER=2289
FILE ID=node126/3710873-1338160489
RUNJOBID= node126-1338147557-21855
PBS_JOBID= 14624519
Free space on /tmp= 71356 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710873-1338160489/watcher-3710873-1338160489 -o /tmp/evaluation-result-3710873-1338160489/solver-3710873-1338160489 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710873-1338160489.opb

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

MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9
RANDOM SEED=1026539305

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30920696 kB
Buffers:          318192 kB
Cached:           587848 kB
SwapCached:        17756 kB
Active:           960376 kB
Inactive:         184588 kB
Active(anon):     220612 kB
Inactive(anon):    20452 kB
Active(file):     739764 kB
Inactive(file):   164136 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              1008 kB
Writeback:             0 kB
AnonPages:        228788 kB
Mapped:            18024 kB
Shmem:                 0 kB
Slab:             669008 kB
SReclaimable:     113160 kB
SUnreclaim:       555848 kB
KernelStack:        1592 kB
PageTables:         4280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     825880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71356 MiB
End job on node126 at 2012-05-28 01:44:47