Trace number 3688443

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)12 1800.1 1796.07

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir03_area_delay.opb
MD5SUM2b747b2caed6577698c928a521fdc3c2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.094985
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables3540
Total number of constraints9890
Number of constraints which are clauses9890
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 1681
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 1681
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 1681
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.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688443-1337884202.opb
0.08/0.12	c reading problem ... 
0.49/0.38	c ... done. Wall clock time 0.254s.
0.49/0.38	c declared #vars     3540
0.49/0.38	c #constraints  9889
0.49/0.38	c constraints type 
0.49/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1864
0.49/0.38	c ignored satisfied constraints => 1
0.49/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 132
0.49/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7893
0.49/0.38	c 9890 constraints processed.
0.49/0.38	c objective function length is 1681 literals
0.74/0.44	c SATISFIABLE
0.74/0.44	c OPTIMIZING...
0.74/0.44	c Got one! Elapsed wall clock time (in seconds):0.312
0.74/0.44	o 16
0.74/0.47	c Got one! Elapsed wall clock time (in seconds):0.347
0.74/0.47	o 15
1.00/0.51	c Got one! Elapsed wall clock time (in seconds):0.388
1.00/0.51	o 14
2.89/2.11	c cleaning 2506 clauses out of 5014 with flag 5000/5014
4.70/3.80	c cleaning 4251 clauses out of 8509 with flag 11001/11015
6.81/5.78	c cleaning 5616 clauses out of 11257 with flag 18000/18014
9.43/7.96	c cleaning 6806 clauses out of 13642 with flag 26001/26015
11.99/10.47	c cleaning 7913 clauses out of 15836 with flag 35001/35015
14.79/13.28	c cleaning 8940 clauses out of 17922 with flag 45000/45014
15.90/14.33	c Got one! Elapsed wall clock time (in seconds):14.21
15.90/14.33	o 13
16.42/14.81	c cleaning 7391 clauses out of 14784 with flag 2002/50816
17.93/16.37	c cleaning 6690 clauses out of 13391 with flag 8000/56814
19.73/18.14	c cleaning 6838 clauses out of 13701 with flag 15000/63814
21.94/20.31	c cleaning 7410 clauses out of 14863 with flag 23000/71814
24.34/22.71	c cleaning 8220 clauses out of 16453 with flag 32000/80814
27.04/25.41	c cleaning 9109 clauses out of 18233 with flag 42000/90814
29.95/28.33	c cleaning 10062 clauses out of 20124 with flag 53000/101814
33.15/31.52	c cleaning 11011 clauses out of 22063 with flag 65001/113815
36.55/34.93	c cleaning 12015 clauses out of 24052 with flag 78001/126815
40.36/38.72	c cleaning 13003 clauses out of 26036 with flag 92000/140814
44.38/42.80	c cleaning 14012 clauses out of 28033 with flag 107000/155814
48.78/47.18	c cleaning 15007 clauses out of 30021 with flag 123000/171814
53.20/51.59	c cleaning 15988 clauses out of 32014 with flag 140000/188814
57.90/56.23	c cleaning 17006 clauses out of 34026 with flag 158000/206814
63.11/61.43	c cleaning 18007 clauses out of 36021 with flag 177001/225815
68.42/66.74	c cleaning 18984 clauses out of 38013 with flag 197000/245814
74.44/72.74	c cleaning 20011 clauses out of 40029 with flag 218000/266814
80.15/78.48	c cleaning 20997 clauses out of 42018 with flag 240000/288814
86.35/84.62	c cleaning 21995 clauses out of 44022 with flag 263001/311815
93.16/91.48	c cleaning 22998 clauses out of 46026 with flag 287000/335814
100.68/98.95	c cleaning 24010 clauses out of 48029 with flag 312001/360815
108.29/106.59	c cleaning 24986 clauses out of 50018 with flag 338000/386814
116.40/114.62	c cleaning 26011 clauses out of 52032 with flag 365000/413814
124.52/122.70	c cleaning 26980 clauses out of 54021 with flag 393000/441814
132.83/131.00	c cleaning 28017 clauses out of 56041 with flag 422000/470814
141.54/139.72	c cleaning 29001 clauses out of 58024 with flag 452000/500814
150.03/148.28	c cleaning 30005 clauses out of 60023 with flag 483000/531814
159.45/157.62	c cleaning 30997 clauses out of 62019 with flag 515001/563815
168.85/167.08	c cleaning 32002 clauses out of 64024 with flag 548003/596817
178.78/176.98	c cleaning 32996 clauses out of 66019 with flag 582000/630814
189.18/187.34	c cleaning 33991 clauses out of 68026 with flag 617003/665817
199.70/197.81	c cleaning 35005 clauses out of 70032 with flag 653000/701814
210.20/208.35	c cleaning 36005 clauses out of 72029 with flag 690002/738816
221.03/219.14	c cleaning 36991 clauses out of 74022 with flag 728000/776814
231.34/229.47	c cleaning 38001 clauses out of 76031 with flag 767000/815814
242.46/240.54	c cleaning 39015 clauses out of 78031 with flag 807001/855815
253.87/251.94	c cleaning 39995 clauses out of 80015 with flag 848000/896814
265.89/263.99	c cleaning 40998 clauses out of 82021 with flag 890001/938815
278.39/276.44	c cleaning 41994 clauses out of 84022 with flag 933000/981814
291.62/289.64	c cleaning 42988 clauses out of 86028 with flag 977000/1025814
304.74/302.75	c cleaning 44001 clauses out of 88040 with flag 1022000/1070814
318.35/316.35	c cleaning 44989 clauses out of 90039 with flag 1068000/1116814
331.80/329.71	c cleaning 45982 clauses out of 92050 with flag 1115000/1163814
346.00/343.97	c cleaning 47017 clauses out of 94070 with flag 1163002/1211816
360.40/358.39	c cleaning 48016 clauses out of 96054 with flag 1212003/1260817
374.76/372.62	c cleaning 49015 clauses out of 98036 with flag 1262001/1310815
389.58/387.44	c cleaning 49984 clauses out of 100020 with flag 1313000/1361814
404.71/402.51	c cleaning 50992 clauses out of 102036 with flag 1365000/1413814
420.31/418.18	c cleaning 51996 clauses out of 104044 with flag 1418000/1466814
436.63/434.48	c cleaning 53024 clauses out of 106048 with flag 1472000/1520814
452.73/450.58	c cleaning 53991 clauses out of 108025 with flag 1527001/1575815
468.83/466.61	c cleaning 55008 clauses out of 110034 with flag 1583001/1631815
485.56/483.30	c cleaning 56006 clauses out of 112025 with flag 1640000/1688814
502.38/500.17	c cleaning 56997 clauses out of 114019 with flag 1698000/1746814
519.41/517.14	c cleaning 57966 clauses out of 116022 with flag 1757000/1805814
536.63/534.35	c cleaning 59012 clauses out of 118056 with flag 1817000/1865814
554.87/552.52	c cleaning 60008 clauses out of 120044 with flag 1878000/1926814
573.69/571.31	c cleaning 60984 clauses out of 122036 with flag 1940000/1988814
593.12/590.71	c cleaning 62007 clauses out of 124052 with flag 2003000/2051814
613.34/610.92	c cleaning 63002 clauses out of 126046 with flag 2067001/2115815
632.96/630.57	c cleaning 63982 clauses out of 128043 with flag 2132000/2180814
653.79/651.35	c cleaning 65016 clauses out of 130062 with flag 2198001/2246815
675.05/672.56	c cleaning 66004 clauses out of 132045 with flag 2265000/2313814
696.08/693.53	c cleaning 66991 clauses out of 134043 with flag 2333002/2381816
717.62/715.01	c cleaning 67998 clauses out of 136050 with flag 2402000/2450814
739.66/737.08	c cleaning 68998 clauses out of 138052 with flag 2472000/2520814
761.69/759.09	c cleaning 70010 clauses out of 140054 with flag 2543000/2591814
783.50/780.81	c cleaning 71014 clauses out of 142046 with flag 2615002/2663816
805.52/802.81	c cleaning 72009 clauses out of 144034 with flag 2688004/2736818
814.86/812.17	c Got one! Elapsed wall clock time (in seconds):812.052
814.86/812.17	o 12
816.00/813.23	c cleaning 54512 clauses out of 109042 with flag 5000/2773835
817.00/814.24	c cleaning 30254 clauses out of 60530 with flag 11000/2779835
818.12/815.30	c cleaning 18628 clauses out of 37276 with flag 18000/2786835
819.33/816.53	c cleaning 13316 clauses out of 26649 with flag 26001/2794836
820.83/818.00	c cleaning 11154 clauses out of 22332 with flag 35000/2803835
822.44/819.62	c cleaning 10574 clauses out of 21178 with flag 45000/2813835
824.04/821.26	c cleaning 10794 clauses out of 21604 with flag 56000/2824835
825.84/823.02	c cleaning 11398 clauses out of 22811 with flag 68001/2836836
827.75/824.96	c cleaning 12193 clauses out of 24412 with flag 81000/2849835
830.06/827.21	c cleaning 13097 clauses out of 26220 with flag 95001/2863836
832.48/829.61	c cleaning 14045 clauses out of 28122 with flag 110000/2878835
835.09/832.29	c cleaning 15021 clauses out of 30077 with flag 126000/2894835
838.00/835.17	c cleaning 16014 clauses out of 32056 with flag 143000/2911835
840.90/838.02	c cleaning 17013 clauses out of 34042 with flag 161000/2929835
843.92/841.06	c cleaning 17998 clauses out of 36029 with flag 180000/2948835
847.14/844.29	c cleaning 19003 clauses out of 38031 with flag 200000/2968835
850.86/847.96	c cleaning 20004 clauses out of 40028 with flag 221000/2989835
857.05/854.13	c cleaning 20963 clauses out of 42025 with flag 243001/3011836
863.27/860.30	c cleaning 22018 clauses out of 44061 with flag 266000/3034835
870.19/867.24	c cleaning 23003 clauses out of 46043 with flag 290000/3058835
877.19/874.24	c cleaning 24001 clauses out of 48041 with flag 315001/3083836
884.60/881.67	c cleaning 24995 clauses out of 50039 with flag 341000/3109835
892.72/889.71	c cleaning 25998 clauses out of 52046 with flag 368002/3136837
901.42/898.45	c cleaning 27002 clauses out of 54046 with flag 396000/3164835
910.14/907.18	c cleaning 28009 clauses out of 56046 with flag 425002/3193837
919.06/916.06	c cleaning 28984 clauses out of 58035 with flag 455000/3223835
928.18/925.12	c cleaning 30006 clauses out of 60051 with flag 486000/3254835
936.90/933.81	c cleaning 31014 clauses out of 62045 with flag 518000/3286835
946.72/943.62	c cleaning 31992 clauses out of 64031 with flag 551000/3319835
957.32/954.26	c cleaning 32987 clauses out of 66040 with flag 585001/3353836
967.54/964.41	c cleaning 34016 clauses out of 68055 with flag 620003/3388838
978.07/974.96	c cleaning 34992 clauses out of 70037 with flag 656001/3424836
988.58/985.42	c cleaning 36000 clauses out of 72045 with flag 693001/3461836
999.71/996.53	c cleaning 36992 clauses out of 74044 with flag 731000/3499835
1010.93/1007.72	c cleaning 38011 clauses out of 76056 with flag 770004/3538839
1022.33/1019.18	c cleaning 39001 clauses out of 78041 with flag 810000/3578835
1034.74/1031.54	c cleaning 40008 clauses out of 80042 with flag 851002/3619837
1046.53/1043.31	c cleaning 41004 clauses out of 82035 with flag 893003/3661838
1059.15/1055.93	c cleaning 42004 clauses out of 84028 with flag 936000/3704835
1071.64/1068.40	c cleaning 42994 clauses out of 86024 with flag 980000/3748835
1084.35/1081.14	c cleaning 43996 clauses out of 88030 with flag 1025000/3793835
1097.26/1094.02	c cleaning 44999 clauses out of 90034 with flag 1071000/3839835
1110.46/1107.20	c cleaning 45992 clauses out of 92035 with flag 1118000/3886835
1123.79/1120.57	c cleaning 47002 clauses out of 94043 with flag 1166000/3934835
1137.82/1134.57	c cleaning 47976 clauses out of 96041 with flag 1215000/3983835
1152.34/1149.01	c cleaning 49025 clauses out of 98065 with flag 1265000/4033835
1166.65/1163.38	c cleaning 49992 clauses out of 100043 with flag 1316003/4084838
1181.36/1178.07	c cleaning 51010 clauses out of 102048 with flag 1368000/4136835
1196.26/1192.94	c cleaning 52009 clauses out of 104040 with flag 1421002/4189837
1211.39/1208.05	c cleaning 52986 clauses out of 106029 with flag 1475000/4243835
1226.71/1223.37	c cleaning 54017 clauses out of 108043 with flag 1530000/4298835
1242.63/1239.27	c cleaning 54998 clauses out of 110026 with flag 1586000/4354835
1258.84/1255.42	c cleaning 55997 clauses out of 112029 with flag 1643001/4411836
1274.98/1271.57	c cleaning 57003 clauses out of 114032 with flag 1701001/4469836
1291.78/1288.30	c cleaning 58005 clauses out of 116029 with flag 1760001/4528836
1309.20/1305.71	c cleaning 59010 clauses out of 118023 with flag 1820000/4588835
1326.60/1323.17	c cleaning 59990 clauses out of 120013 with flag 1881000/4649835
1345.12/1341.66	c cleaning 60999 clauses out of 122023 with flag 1943000/4711835
1363.84/1360.31	c cleaning 61986 clauses out of 124024 with flag 2006000/4774835
1382.27/1378.70	c cleaning 62998 clauses out of 126040 with flag 2070002/4838837
1400.80/1397.25	c cleaning 63996 clauses out of 128041 with flag 2135001/4903836
1419.82/1416.28	c cleaning 65005 clauses out of 130044 with flag 2201000/4969835
1440.25/1436.61	c cleaning 66003 clauses out of 132039 with flag 2268000/5036835
1460.57/1456.90	c cleaning 67015 clauses out of 134037 with flag 2336001/5104836
1481.31/1477.69	c cleaning 68004 clauses out of 136021 with flag 2405000/5173835
1502.33/1498.67	c cleaning 68990 clauses out of 138017 with flag 2475000/5243835
1523.87/1520.18	c cleaning 69990 clauses out of 140027 with flag 2546000/5314835
1546.01/1542.29	c cleaning 71002 clauses out of 142037 with flag 2618000/5386835
1568.13/1564.39	c cleaning 71993 clauses out of 144037 with flag 2691002/5459837
1589.95/1586.11	c cleaning 72994 clauses out of 146042 with flag 2765000/5533835
1611.58/1607.73	c cleaning 74005 clauses out of 148048 with flag 2840000/5608835
1634.01/1630.13	c cleaning 74999 clauses out of 150043 with flag 2916000/5684835
1655.33/1651.47	c cleaning 76010 clauses out of 152044 with flag 2993000/5761835
1677.06/1673.17	c cleaning 77003 clauses out of 154034 with flag 3071000/5839835
1699.17/1695.21	c cleaning 78012 clauses out of 156031 with flag 3150000/5918835
1721.39/1717.42	c cleaning 79006 clauses out of 158019 with flag 3230000/5998835
1744.43/1740.48	c cleaning 80001 clauses out of 160013 with flag 3311000/6079835
1768.47/1764.41	c cleaning 81002 clauses out of 162012 with flag 3393000/6161835
1791.87/1787.82	c cleaning 82001 clauses out of 164012 with flag 3476002/6244837
1800.10/1796.01	c starts		: 281
1800.10/1796.01	c conflicts		: 6275702
1800.10/1796.01	c decisions		: 28628555
1800.10/1796.01	c propagations		: 9409103864
1800.10/1796.01	c inspects		: 11325976104
1800.10/1796.01	c shortcuts		: 0
1800.10/1796.01	c learnt literals	: 0
1800.10/1796.01	c learnt binary clauses	: 23
1800.10/1796.01	c learnt ternary clauses	: 50
1800.10/1796.01	c learnt constraints	: 6275702
1800.10/1796.01	c ignored constraints	: 0
1800.10/1796.01	c root simplifications	: 0
1800.10/1796.01	c removed literals (reason simplification)	: 0
1800.10/1796.01	c reason swapping (by a shorter reason)	: 0
1800.10/1796.01	c Calls to reduceDB	: 154
1800.10/1796.01	c number of reductions to clauses (during analyze)	: 0
1800.10/1796.01	c number of learned constraints concerned by reduction	: 0
1800.10/1796.01	c number of learning phase by resolution	: 0
1800.10/1796.01	c number of learning phase by cutting planes	: 0
1800.10/1796.01	c speed (assignments/second)	: 5240048.685853418
1800.10/1796.01	c non guided choices	0
1800.10/1796.04	c learnt constraints type 
1800.10/1796.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 23
1800.10/1796.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 112938
1800.10/1796.04	c constraints type 
1800.10/1796.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1864
1800.10/1796.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.10/1796.04	c ignored satisfied constraints => 1
1800.10/1796.04	c org.sat4j.minisat.constraints.cnf.UnitClause => 132
1800.10/1796.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7893
1800.10/1796.04	c 9891 constraints processed.
1800.10/1796.04	s SATISFIABLE
1800.10/1796.05	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 
1800.10/1796.05	c objective function=12
1800.10/1796.05	c Total wall clock time (in seconds): 1795.93

Verifier Data 

OK	12

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-3688443-1337884202/watcher-3688443-1337884202 -o /tmp/evaluation-result-3688443-1337884202/solver-3688443-1337884202 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688443-1337884202.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: 1.98 2.00 2.00 3/197 23503
/proc/meminfo: memFree=29042776/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23503/stat : 23503 (java) D 23501 23503 21531 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 254545541 9515008 183 33554432000 1073741824 1073778376 140735989816976 140735989808008 273589026485 0 0 4096 0 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/23503/statm: 2323 183 140 9 0 71 0

[startup+0.0628971 s]
/proc/loadavg: 1.98 2.00 2.00 3/197 23503
/proc/meminfo: memFree=29042776/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 3077 0 1 0 3 1 0 0 20 0 13 0 254545541 9446973440 3775 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2306390 3775 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.100333 s]
/proc/loadavg: 1.98 2.00 2.00 3/197 23503
/proc/meminfo: memFree=29042776/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 4150 0 1 0 7 1 0 0 20 0 18 0 254545541 9787813888 5342 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2389603 5342 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300286 s]
/proc/loadavg: 1.98 2.00 2.00 3/197 23503
/proc/meminfo: memFree=29042776/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 5961 0 1 0 48 1 0 0 20 0 18 0 254545541 9787813888 8634 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2389603 8634 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700295 s]
/proc/loadavg: 1.98 2.00 2.00 3/197 23503
/proc/meminfo: memFree=29042776/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 9686 0 1 0 142 2 0 0 20 0 19 0 254545541 9855975424 13866 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2406244 13866 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9624976

[startup+1.50064 s]
/proc/loadavg: 1.98 2.00 2.00 3/216 23522
/proc/meminfo: memFree=28993736/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9624976 CPUtime=2.27 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 9693 0 1 0 225 2 0 0 20 0 19 0 254545541 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2406244 14383 2252 9 0 2396937 0
[pid=23503/tid=23505] ppid=23501 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/23503/task/23505/stat : 23505 (java) R 23501 23503 21531 0 -1 4202560 2466 0 1 0 146 0 0 0 20 0 19 0 254545542 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639615941088 140639459822596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23506] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23506/stat : 23506 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639459076264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23507] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23507/stat : 23507 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639458023720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23508] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23508/stat : 23508 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639456971176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23509] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23509/stat : 23509 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639455918632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23510] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23510/stat : 23510 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639454866088 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23511] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23511/stat : 23511 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639453813544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23512] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23512/stat : 23512 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639452761000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23513] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23513/stat : 23513 (java) S 23501 23503 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140639451708456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23514] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23514/stat : 23514 (java) S 23501 23503 21531 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638969378920 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23515] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23515/stat : 23515 (java) S 23501 23503 21531 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638968325240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23516] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23516/stat : 23516 (java) S 23501 23503 21531 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638967272584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23517] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23517/stat : 23517 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638966221328 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23518] ppid=23501 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/23503/task/23518/stat : 23518 (java) S 23501 23503 21531 0 -1 4202560 3517 0 0 0 41 0 0 0 20 0 19 0 254545548 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638965168696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23519] ppid=23501 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/23503/task/23519/stat : 23519 (java) S 23501 23503 21531 0 -1 4202560 2511 0 0 0 35 0 0 0 20 0 19 0 254545548 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638964116152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23520] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23520/stat : 23520 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638963063800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23521] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23521/stat : 23521 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638962011464 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23522] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23522/stat : 23522 (java) S 23501 23503 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254545581 9855975424 14383 33554432000 1073741824 1073778376 140735604838384 140638960956200 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 1.98 2.00 2.00 5/216 23522
/proc/meminfo: memFree=28993108/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9624976 CPUtime=3.92 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 9747 0 1 0 390 2 0 0 20 0 19 0 254545541 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2406244 16988 2279 9 0 2396937 0
[pid=23503/tid=23505] ppid=23501 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/23503/task/23505/stat : 23505 (java) R 23501 23503 21531 0 -1 4202560 2472 0 1 0 303 0 0 0 20 0 19 0 254545542 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639615943128 140639459822555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23506] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23506/stat : 23506 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639459076264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23507] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23507/stat : 23507 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639458023720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23508] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23508/stat : 23508 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639456971176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23509] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23509/stat : 23509 (java) S 23501 23503 21531 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639455918632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23510] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23510/stat : 23510 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639454866088 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23511] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23511/stat : 23511 (java) S 23501 23503 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639453813544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23512] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23512/stat : 23512 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639452761000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23513] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23513/stat : 23513 (java) S 23501 23503 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140639451708456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23514] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23514/stat : 23514 (java) S 23501 23503 21531 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638969378920 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23515] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23515/stat : 23515 (java) S 23501 23503 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638968325240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23516] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23516/stat : 23516 (java) S 23501 23503 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638967272584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23517] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23517/stat : 23517 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638966221328 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23518] ppid=23501 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23503/task/23518/stat : 23518 (java) S 23501 23503 21531 0 -1 4202560 3521 0 0 0 43 0 0 0 20 0 19 0 254545548 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638965168696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23519] ppid=23501 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/23503/task/23519/stat : 23519 (java) S 23501 23503 21531 0 -1 4202560 2511 0 0 0 38 0 0 0 20 0 19 0 254545548 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638964116152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23520] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23520/stat : 23520 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638963063800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23521] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23521/stat : 23521 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638962011464 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23522] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23522/stat : 23522 (java) S 23501 23503 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254545581 9855975424 16988 33554432000 1073741824 1073778376 140735604838384 140638960956200 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 9624976

[startup+6.3008 s]
/proc/loadavg: 1.98 2.00 2.00 3/216 23522
/proc/meminfo: memFree=28974008/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9624976 CPUtime=7.83 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 17535 0 1 0 779 4 0 0 20 0 19 0 254545541 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2406244 21179 2279 9 0 2396937 0
[pid=23503/tid=23505] ppid=23501 vsize=9624976 CPUtime=6.19 cores=1,3,5,7
/proc/23503/task/23505/stat : 23505 (java) R 23501 23503 21531 0 -1 4202560 2474 0 1 0 619 0 0 0 20 0 19 0 254545542 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639615942944 140639459847104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23506] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23506/stat : 23506 (java) S 23501 23503 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639459076264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23507] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23507/stat : 23507 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639458023720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23508] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23508/stat : 23508 (java) S 23501 23503 21531 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639456971176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23509] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23509/stat : 23509 (java) S 23501 23503 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639455918632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23510] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23510/stat : 23510 (java) S 23501 23503 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639454866088 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23511] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23511/stat : 23511 (java) S 23501 23503 21531 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639453813544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23512] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23512/stat : 23512 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639452761000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23513] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23513/stat : 23513 (java) S 23501 23503 21531 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254545543 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140639451708456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23514] ppid=23501 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/23503/task/23514/stat : 23514 (java) S 23501 23503 21531 0 -1 4202560 52 0 0 0 3 0 0 0 20 0 19 0 254545545 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638969378920 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23515] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23515/stat : 23515 (java) S 23501 23503 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638968325240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23516] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23516/stat : 23516 (java) S 23501 23503 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638967272584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23517] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23517/stat : 23517 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638966221328 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23518] ppid=23501 vsize=9624976 CPUtime=1.07 cores=1,3,5,7
/proc/23503/task/23518/stat : 23518 (java) S 23501 23503 21531 0 -1 4202560 11204 0 0 0 104 3 0 0 20 0 19 0 254545548 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638965168696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23519] ppid=23501 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/23503/task/23519/stat : 23519 (java) S 23501 23503 21531 0 -1 4202560 2585 0 0 0 44 0 0 0 20 0 19 0 254545548 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638964116152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23520] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23520/stat : 23520 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638963063800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23521] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23521/stat : 23521 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638962011464 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23522] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23522/stat : 23522 (java) S 23501 23503 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254545581 9855975424 21179 33554432000 1073741824 1073778376 140735604838384 140638960956200 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=23503/tid=23518] ppid=23501 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23503/task/23518/stat : 23518 (java) S 23501 23503 21531 0 -1 4202560 11215 0 0 0 118 3 0 0 20 0 19 0 254545548 9855975424 31220 33554432000 1073741824 1073778376 140735604838384 140638965168696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23519] ppid=23501 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23503/task/23519/stat : 23519 (java) S 23501 23503 21531 0 -1 4202560 2586 0 0 0 46 0 0 0 20 0 19 0 254545548 9855975424 31220 33554432000 1073741824 1073778376 140735604838384 140638964116152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23520] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23520/stat : 23520 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 31220 33554432000 1073741824 1073778376 140735604838384 140638963063800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23521] ppid=23501 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/23503/task/23521/stat : 23521 (java) S 23501 23503 21531 0 -1 4202560 97 0 0 0 13 19 0 0 20 0 19 0 254545548 9855975424 31220 33554432000 1073741824 1073778376 140735604838384 140638962011464 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23522] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23522/stat : 23522 (java) S 23501 23503 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254545581 9855975424 31220 33554432000 1073741824 1073778376 140735604838384 140638960956200 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.25
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 23650
/proc/meminfo: memFree=28802440/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9624976 CPUtime=1726.32 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 18411 0 1 0 172582 50 0 0 20 0 19 0 254545541 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2406244 31738 2280 9 0 2396937 0
[pid=23503/tid=23505] ppid=23501 vsize=9624976 CPUtime=1711.83 cores=1,3,5,7
/proc/23503/task/23505/stat : 23505 (java) R 23501 23503 21531 0 -1 4202560 2622 0 1 0 171155 28 0 0 20 0 19 0 254545542 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639615942944 140639459736504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23506] ppid=23501 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/23503/task/23506/stat : 23506 (java) S 23501 23503 21531 0 -1 4202560 45 0 0 0 39 0 0 0 20 0 19 0 254545543 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639459076264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23507] ppid=23501 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/23503/task/23507/stat : 23507 (java) S 23501 23503 21531 0 -1 4202560 112 0 0 0 39 2 0 0 20 0 19 0 254545543 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639458023720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23508] ppid=23501 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/23503/task/23508/stat : 23508 (java) S 23501 23503 21531 0 -1 4202560 63 0 0 0 41 0 0 0 20 0 19 0 254545543 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639456971176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23509] ppid=23501 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/23503/task/23509/stat : 23509 (java) S 23501 23503 21531 0 -1 4202560 48 0 0 0 37 0 0 0 20 0 19 0 254545543 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639455918632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23510] ppid=23501 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23503/task/23510/stat : 23510 (java) S 23501 23503 21531 0 -1 4202560 49 0 0 0 43 0 0 0 20 0 19 0 254545543 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639454866088 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23511] ppid=23501 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23503/task/23511/stat : 23511 (java) S 23501 23503 21531 0 -1 4202560 152 0 0 0 49 0 0 0 20 0 19 0 254545543 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639453813544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23512] ppid=23501 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/23503/task/23512/stat : 23512 (java) S 23501 23503 21531 0 -1 4202560 29 0 0 0 40 0 0 0 20 0 19 0 254545543 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639452761000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23513] ppid=23501 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23503/task/23513/stat : 23513 (java) S 23501 23503 21531 0 -1 4202560 44 0 0 0 42 1 0 0 20 0 19 0 254545543 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140639451708456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23514] ppid=23501 vsize=9624976 CPUtime=4.71 cores=1,3,5,7
/proc/23503/task/23514/stat : 23514 (java) S 23501 23503 21531 0 -1 4202560 160 0 0 0 468 3 0 0 20 0 19 0 254545545 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638969378920 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23515] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23515/stat : 23515 (java) S 23501 23503 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638968325240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23516] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23516/stat : 23516 (java) S 23501 23503 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638967272584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23517] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23517/stat : 23517 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638966221328 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23518] ppid=23501 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23503/task/23518/stat : 23518 (java) S 23501 23503 21531 0 -1 4202560 11215 0 0 0 118 3 0 0 20 0 19 0 254545548 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638965168696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23519] ppid=23501 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23503/task/23519/stat : 23519 (java) S 23501 23503 21531 0 -1 4202560 2586 0 0 0 46 0 0 0 20 0 19 0 254545548 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638964116152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23520] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23520/stat : 23520 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638963063800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23521] ppid=23501 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/23503/task/23521/stat : 23521 (java) S 23501 23503 21531 0 -1 4202560 101 0 0 0 13 20 0 0 20 0 19 0 254545548 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638962011464 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23522] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23522/stat : 23522 (java) S 23501 23503 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254545581 9855975424 31738 33554432000 1073741824 1073778376 140735604838384 140638960956200 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.32
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 23651
/proc/meminfo: memFree=28800144/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9624976 CPUtime=1786.37 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 18430 0 1 0 178585 52 0 0 20 0 19 0 254545541 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2406244 31749 2280 9 0 2396937 0
[pid=23503/tid=23505] ppid=23501 vsize=9624976 CPUtime=1771.55 cores=1,3,5,7
/proc/23503/task/23505/stat : 23505 (java) R 23501 23503 21531 0 -1 4202560 2624 0 1 0 177127 28 0 0 20 0 19 0 254545542 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639615942944 140639459846691 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23506] ppid=23501 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/23503/task/23506/stat : 23506 (java) S 23501 23503 21531 0 -1 4202560 45 0 0 0 39 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639459076264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23507] ppid=23501 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/23503/task/23507/stat : 23507 (java) S 23501 23503 21531 0 -1 4202560 112 0 0 0 39 2 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639458023720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23508] ppid=23501 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23503/task/23508/stat : 23508 (java) S 23501 23503 21531 0 -1 4202560 63 0 0 0 43 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639456971176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23509] ppid=23501 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/23503/task/23509/stat : 23509 (java) S 23501 23503 21531 0 -1 4202560 48 0 0 0 38 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639455918632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23510] ppid=23501 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/23503/task/23510/stat : 23510 (java) S 23501 23503 21531 0 -1 4202560 60 0 0 0 44 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639454866088 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23511] ppid=23501 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23503/task/23511/stat : 23511 (java) S 23501 23503 21531 0 -1 4202560 152 0 0 0 49 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639453813544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23512] ppid=23501 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/23503/task/23512/stat : 23512 (java) S 23501 23503 21531 0 -1 4202560 29 0 0 0 40 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639452761000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23513] ppid=23501 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23503/task/23513/stat : 23513 (java) S 23501 23503 21531 0 -1 4202560 44 0 0 0 42 1 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639451708456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23514] ppid=23501 vsize=9624976 CPUtime=4.81 cores=1,3,5,7
/proc/23503/task/23514/stat : 23514 (java) S 23501 23503 21531 0 -1 4202560 164 0 0 0 478 3 0 0 20 0 19 0 254545545 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638969378920 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23515] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23515/stat : 23515 (java) S 23501 23503 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638968325240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23516] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23516/stat : 23516 (java) S 23501 23503 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638967272584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23517] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23517/stat : 23517 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638966221328 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23518] ppid=23501 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23503/task/23518/stat : 23518 (java) S 23501 23503 21531 0 -1 4202560 11215 0 0 0 118 3 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638965168696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23519] ppid=23501 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23503/task/23519/stat : 23519 (java) S 23501 23503 21531 0 -1 4202560 2586 0 0 0 46 0 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638964116152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23520] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23520/stat : 23520 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638963063800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23521] ppid=23501 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/23503/task/23521/stat : 23521 (java) S 23501 23503 21531 0 -1 4202560 103 0 0 0 14 21 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638962011464 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23522] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23522/stat : 23522 (java) S 23501 23503 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254545581 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638960956200 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.37
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 4/215 23651
/proc/meminfo: memFree=28800144/32873844 swapFree=6584/6584
[pid=23503] ppid=23501 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/23503/stat : 23503 (java) S 23501 23503 21531 0 -1 4202496 18433 0 1 0 179957 53 0 0 20 0 19 0 254545541 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140735604829520 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23503/statm: 2406244 31749 2280 9 0 2396937 0
[pid=23503/tid=23505] ppid=23501 vsize=9624976 CPUtime=1785.17 cores=1,3,5,7
/proc/23503/task/23505/stat : 23505 (java) R 23501 23503 21531 0 -1 4202560 2625 0 1 0 178488 29 0 0 20 0 19 0 254545542 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639615942944 140639459846835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23506] ppid=23501 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/23503/task/23506/stat : 23506 (java) S 23501 23503 21531 0 -1 4202560 45 0 0 0 40 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639459076264 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23507] ppid=23501 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/23503/task/23507/stat : 23507 (java) S 23501 23503 21531 0 -1 4202560 112 0 0 0 39 2 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639458023720 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23508] ppid=23501 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23503/task/23508/stat : 23508 (java) S 23501 23503 21531 0 -1 4202560 63 0 0 0 43 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639456971176 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23509] ppid=23501 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/23503/task/23509/stat : 23509 (java) S 23501 23503 21531 0 -1 4202560 48 0 0 0 38 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639455918632 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23510] ppid=23501 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/23503/task/23510/stat : 23510 (java) S 23501 23503 21531 0 -1 4202560 60 0 0 0 44 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639454866088 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23511] ppid=23501 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/23503/task/23511/stat : 23511 (java) S 23501 23503 21531 0 -1 4202560 152 0 0 0 49 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639453813544 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23512] ppid=23501 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/23503/task/23512/stat : 23512 (java) S 23501 23503 21531 0 -1 4202560 29 0 0 0 40 0 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639452761000 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23513] ppid=23501 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/23503/task/23513/stat : 23513 (java) S 23501 23503 21531 0 -1 4202560 44 0 0 0 42 1 0 0 20 0 19 0 254545543 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140639451708456 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23503/tid=23514] ppid=23501 vsize=9624976 CPUtime=4.86 cores=1,3,5,7
/proc/23503/task/23514/stat : 23514 (java) S 23501 23503 21531 0 -1 4202560 164 0 0 0 482 4 0 0 20 0 19 0 254545545 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638969378920 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23515] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23515/stat : 23515 (java) S 23501 23503 21531 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638968325240 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23516] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23516/stat : 23516 (java) S 23501 23503 21531 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254545545 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638967272584 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23517] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23517/stat : 23517 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638966221328 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23518] ppid=23501 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/23503/task/23518/stat : 23518 (java) S 23501 23503 21531 0 -1 4202560 11215 0 0 0 118 3 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638965168696 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23519] ppid=23501 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/23503/task/23519/stat : 23519 (java) S 23501 23503 21531 0 -1 4202560 2586 0 0 0 46 0 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638964116152 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23503/tid=23520] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23520/stat : 23520 (java) S 23501 23503 21531 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638963063800 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23503/tid=23521] ppid=23501 vsize=9624976 CPUtime=0.35 cores=1,3,5,7
/proc/23503/task/23521/stat : 23521 (java) S 23501 23503 21531 0 -1 4202560 105 0 0 0 14 21 0 0 20 0 19 0 254545548 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638962011464 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23503/tid=23522] ppid=23501 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23503/task/23522/stat : 23522 (java) S 23501 23503 21531 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254545581 9855975424 31749 33554432000 1073741824 1073778376 140735604838384 140638960956200 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23503 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=70107
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=740887
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.07
CPU time (s): 1800.1
CPU user time (s): 1799.57
CPU system time (s): 0.53
CPU usage (%): 100.224
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.07
system time used= 0.740887
maximum resident set size= 127120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18468
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42303
involuntary context switches= 30420

runsolver used 6.79897 second user time and 13.7749 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-24 20:30:02
IDJOB=3688443
IDBENCH=25004
IDSOLVER=2269
FILE ID=node132/3688443-1337884202
RUNJOBID= node132-1337871880-21548
PBS_JOBID= 14620072
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir03_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688443-1337884202/watcher-3688443-1337884202 -o /tmp/evaluation-result-3688443-1337884202/solver-3688443-1337884202 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688443-1337884202.opb

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

MD5SUM BENCH= 2b747b2caed6577698c928a521fdc3c2
RANDOM SEED=186688073

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29043412 kB
Buffers:          217488 kB
Cached:          2707144 kB
SwapCached:            0 kB
Active:           799380 kB
Inactive:        2265536 kB
Active(anon):     142748 kB
Inactive(anon):        0 kB
Active(file):     656632 kB
Inactive(file):  2265536 kB
Unevictable:        6584 kB
Mlocked:            6584 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               720 kB
Writeback:             0 kB
AnonPages:        146364 kB
Mapped:            22704 kB
Shmem:               212 kB
Slab:             628224 kB
SReclaimable:      70632 kB
SUnreclaim:       557592 kB
KernelStack:        1616 kB
PageTables:         4456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     695460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node132 at 2012-05-24 21:00:00