Trace number 4092253

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16MSAT (TO) 1800.07 1780.87

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM6dc14d51c0879b2054c8b72501c6facc
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints170
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 7974
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7973
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4092253-1466082170.wbo
0.11/0.11	c reading problem ... 
0.29/0.28	c ... done. Wall clock time 0.171s.
0.29/0.28	c declared #vars     3600
0.29/0.28	c internal #vars     3770
0.29/0.28	c #constraints  170
0.29/0.28	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
0.29/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80
0.29/0.28	c 170 constraints processed.
0.29/0.28	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 90
0.29/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPb => 80
0.29/0.28	c 170 constraints processed.
0.29/0.28	c objective function length is 170 literals
2.20/0.79	c And the winner is solver1
2.75/1.29	c SATISFIABLE
2.75/1.29	c OPTIMIZING...
2.75/1.30	c Got one! Elapsed wall clock time (in seconds):1.179
2.75/1.30	o 13
2.78/1.30	c And the winner is solver1
2.78/1.79	c Got one! Elapsed wall clock time (in seconds):1.683
2.78/1.79	o 4
2.78/1.80	c And the winner is solver1
3.14/2.13	c cleaning 2876 clauses out of 5783 with flag 27629/5783
3.59/2.59	c cleaning 4437 clauses out of 8908 with flag 64997/11784
4.29/3.27	c cleaning 5718 clauses out of 11472 with flag 112897/18785
5.40/4.32	c cleaning 6853 clauses out of 13752 with flag 173220/26783
6.64/5.56	c cleaning 7930 clauses out of 15900 with flag 235026/35784
7.53/6.43	c cleaning 8955 clauses out of 17969 with flag 299001/45783
8.93/7.85	c cleaning 9979 clauses out of 20018 with flag 368606/56787
10.84/9.70	c cleaning 10994 clauses out of 22038 with flag 447652/68786
12.93/11.85	c cleaning 11994 clauses out of 24044 with flag 537008/81786
14.68/13.55	c cleaning 12990 clauses out of 26049 with flag 637963/95785
16.79/15.61	c cleaning 13998 clauses out of 28059 with flag 747038/110785
18.19/17.07	c cleaning 14950 clauses out of 30059 with flag 853395/126783
20.09/18.94	c cleaning 16009 clauses out of 32110 with flag 963230/143784
23.09/22.00	c cleaning 17007 clauses out of 34100 with flag 1097016/161783
26.59/25.41	c cleaning 18002 clauses out of 36094 with flag 1239955/180784
30.67/29.41	c cleaning 18997 clauses out of 38092 with flag 1397404/200784
33.68/32.46	c cleaning 20021 clauses out of 40094 with flag 1551213/221783
37.97/36.71	c cleaning 21016 clauses out of 42073 with flag 1712520/243783
42.27/41.04	c cleaning 22009 clauses out of 44060 with flag 1878260/266786
47.17/45.98	c cleaning 23003 clauses out of 46049 with flag 2057080/290784
51.71/50.39	c cleaning 24008 clauses out of 48046 with flag 2244310/315784
56.01/54.60	c cleaning 25001 clauses out of 50037 with flag 2419087/341783
62.02/60.63	c cleaning 26006 clauses out of 52039 with flag 2601234/368786
68.81/67.46	c cleaning 26999 clauses out of 54030 with flag 2809548/396783
75.91/74.57	c cleaning 28000 clauses out of 56031 with flag 3011219/425783
83.34/81.83	c cleaning 28999 clauses out of 58033 with flag 3219970/455785
91.74/90.25	c cleaning 29997 clauses out of 60033 with flag 3440029/486784
95.94/94.47	c cleaning 30993 clauses out of 62036 with flag 3663698/518784
104.34/102.62	c cleaning 31993 clauses out of 64043 with flag 3876926/551784
112.24/110.56	c cleaning 33018 clauses out of 66054 with flag 4093751/585788
117.25/115.59	c cleaning 33993 clauses out of 68033 with flag 4338227/620785
125.35/123.43	c cleaning 35003 clauses out of 70038 with flag 4617013/656783
132.45/130.52	c cleaning 35969 clauses out of 72035 with flag 4873214/693783
142.64/140.74	c cleaning 36989 clauses out of 74067 with flag 5150444/731784
150.88/148.72	c cleaning 38011 clauses out of 76077 with flag 5471753/770783
157.28/155.20	c cleaning 38937 clauses out of 78067 with flag 5734620/810784
163.73/161.39	c cleaning 40052 clauses out of 80131 with flag 5992195/851785
172.70/170.05	c cleaning 41021 clauses out of 82083 with flag 6294453/893789
182.17/179.43	c cleaning 41861 clauses out of 84057 with flag 6641013/936784
191.87/189.06	c cleaning 43074 clauses out of 86196 with flag 6916909/980784
200.58/197.61	c cleaning 44024 clauses out of 88121 with flag 7230483/1025783
210.71/207.62	c cleaning 45029 clauses out of 90102 with flag 7590150/1071788
226.88/223.74	c cleaning 46019 clauses out of 92071 with flag 7945634/1118786
244.70/241.42	c cleaning 47005 clauses out of 94049 with flag 8351448/1166783
262.83/259.46	c cleaning 48001 clauses out of 96044 with flag 8783552/1215783
282.02/278.57	c cleaning 48997 clauses out of 98044 with flag 9182536/1265784
290.88/287.33	c cleaning 49969 clauses out of 100049 with flag 9507915/1316786
300.02/296.35	c cleaning 51010 clauses out of 102077 with flag 9861343/1368783
309.21/305.48	c cleaning 51999 clauses out of 104068 with flag 10205525/1421784
321.81/317.84	c cleaning 53013 clauses out of 106068 with flag 10704449/1475783
334.40/330.33	c cleaning 54018 clauses out of 108057 with flag 11118032/1530785
356.79/352.60	c cleaning 55000 clauses out of 110037 with flag 11535849/1586783
374.65/370.33	c cleaning 55994 clauses out of 112037 with flag 11997309/1643783
385.83/381.43	c cleaning 57013 clauses out of 114047 with flag 12398122/1701787
400.53/395.98	c cleaning 57990 clauses out of 116030 with flag 12789993/1760783
412.80/408.18	c cleaning 59010 clauses out of 118041 with flag 13196018/1820784
433.81/428.91	c cleaning 59973 clauses out of 120030 with flag 13634706/1881783
461.29/456.36	c cleaning 60990 clauses out of 122057 with flag 14165490/1943783
488.37/483.25	c cleaning 62003 clauses out of 124069 with flag 14679483/2006785
520.14/514.85	c cleaning 62998 clauses out of 126064 with flag 15179842/2070783
550.98/545.50	c cleaning 63996 clauses out of 128066 with flag 15679162/2135783
582.57/576.96	c cleaning 64993 clauses out of 130070 with flag 16195291/2201783
600.23/594.25	c cleaning 66015 clauses out of 132078 with flag 16723058/2268784
614.29/608.18	c cleaning 66998 clauses out of 134062 with flag 17164050/2336783
627.17/620.84	c cleaning 68012 clauses out of 136064 with flag 17629235/2405783
658.57/652.03	c cleaning 69012 clauses out of 138053 with flag 18170120/2475784
674.80/668.05	c cleaning 70001 clauses out of 140040 with flag 18674583/2546783
702.83/695.86	c cleaning 70989 clauses out of 142039 with flag 19198564/2618783
718.67/711.44	c cleaning 72015 clauses out of 144050 with flag 19669213/2691783
733.99/726.57	c cleaning 73007 clauses out of 146037 with flag 20205928/2765785
751.44/743.71	c cleaning 74002 clauses out of 148028 with flag 20706610/2840783
770.56/762.69	c cleaning 75003 clauses out of 150026 with flag 21221986/2916783
814.15/805.93	c cleaning 76002 clauses out of 152023 with flag 21808038/2993783
860.42/851.99	c cleaning 77003 clauses out of 154022 with flag 22419922/3071784
912.43/903.44	c cleaning 77996 clauses out of 156019 with flag 23127998/3150784
966.54/957.18	c cleaning 79004 clauses out of 158023 with flag 23847016/3230784
1022.77/1012.99	c cleaning 80000 clauses out of 160018 with flag 24531418/3311783
1077.61/1067.39	c cleaning 80997 clauses out of 162018 with flag 25196546/3393783
1141.25/1130.36	c cleaning 82004 clauses out of 164024 with flag 25942191/3476786
1202.30/1190.84	c cleaning 82997 clauses out of 166018 with flag 26703890/3560784
1273.26/1261.25	c cleaning 84001 clauses out of 168020 with flag 27532055/3645783
1323.15/1310.50	c cleaning 84979 clauses out of 170019 with flag 28255576/3731783
1347.41/1334.20	c cleaning 85990 clauses out of 172040 with flag 28796504/3818783
1381.13/1367.52	c cleaning 87003 clauses out of 174050 with flag 29380907/3906783
1425.14/1411.22	c cleaning 88009 clauses out of 176047 with flag 29990157/3995783
1450.72/1436.30	c cleaning 88992 clauses out of 178039 with flag 30558554/4085784
1477.38/1462.69	c cleaning 90014 clauses out of 180050 with flag 31150958/4176787
1502.32/1487.15	c cleaning 90997 clauses out of 182033 with flag 31717714/4268784
1530.47/1514.93	c cleaning 91990 clauses out of 184037 with flag 32279191/4361785
1557.32/1541.45	c cleaning 93006 clauses out of 186045 with flag 32862582/4455783
1582.11/1565.85	c cleaning 94020 clauses out of 188040 with flag 33468976/4550784
1610.91/1594.24	c cleaning 94977 clauses out of 190021 with flag 34060766/4646785
1635.67/1618.62	c cleaning 96000 clauses out of 192043 with flag 34676713/4743784
1665.52/1648.15	c cleaning 96999 clauses out of 194042 with flag 35275587/4841783
1692.37/1674.62	c cleaning 98021 clauses out of 196045 with flag 35910113/4940785
1720.65/1702.50	c cleaning 98987 clauses out of 198023 with flag 36528375/5040784
1749.43/1730.99	c cleaning 100018 clauses out of 200035 with flag 37164877/5141783
1779.73/1760.84	c cleaning 100993 clauses out of 202017 with flag 37795038/5243783
1800.07/1780.80	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.07/1780.80	c starts		: 11365
1800.07/1780.80	c conflicts		: 5320261
1800.07/1780.80	c decisions		: 23153159
1800.07/1780.80	c propagations		: 145030457
1800.07/1780.80	c inspects		: 29194548467
1800.07/1780.80	c shortcuts		: 0
1800.07/1780.80	c learnt literals	: 0
1800.07/1780.80	c learnt binary clauses	: 0
1800.07/1780.80	c learnt ternary clauses	: 0
1800.07/1780.80	c learnt constraints	: 5320261
1800.07/1780.80	c ignored constraints	: 0
1800.07/1780.80	c root simplifications	: 0
1800.07/1780.80	c removed literals (reason simplification)	: 2834353
1800.07/1780.80	c reason swapping (by a shorter reason)	: 0
1800.07/1780.80	c Calls to reduceDB	: 98
1800.07/1780.80	c Number of update (reduction) of LBD	: 2791216
1800.07/1780.80	c Imported unit clauses	: 0
1800.07/1780.80	c number of reductions to clauses (during analyze)	: 0
1800.07/1780.80	c number of learned constraints concerned by reduction	: 0
1800.07/1780.80	c number of learning phase by resolution	: 0
1800.07/1780.80	c number of learning phase by cutting planes	: 0
1800.07/1780.80	c speed (assignments/second)	: 81523.44712178675
1800.07/1780.80	c non guided choices	917093
1800.07/1780.83	c learnt constraints type 
1800.07/1780.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 177502
1800.07/1780.83	c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<<
1800.07/1780.83	c starts		: 2
1800.07/1780.83	c conflicts		: 31
1800.07/1780.83	c decisions		: 6150
1800.07/1780.83	c propagations		: 16446
1800.07/1780.83	c inspects		: 24727
1800.07/1780.83	c shortcuts		: 0
1800.07/1780.83	c learnt literals	: 0
1800.07/1780.83	c learnt binary clauses	: 0
1800.07/1780.83	c learnt ternary clauses	: 0
1800.07/1780.83	c learnt constraints	: 31
1800.07/1780.83	c ignored constraints	: 0
1800.07/1780.83	c root simplifications	: 0
1800.07/1780.83	c removed literals (reason simplification)	: 0
1800.07/1780.83	c reason swapping (by a shorter reason)	: 0
1800.07/1780.83	c Calls to reduceDB	: 0
1800.07/1780.83	c Number of update (reduction) of LBD	: 0
1800.07/1780.83	c Imported unit clauses	: 0
1800.07/1780.83	c number of reductions to clauses (during analyze)	: 0
1800.07/1780.83	c number of learned constraints concerned by reduction	: 0
1800.07/1780.83	c number of learning phase by resolution	: 0
1800.07/1780.83	c number of learning phase by cutting planes	: 0
1800.07/1780.83	c speed (assignments/second)	: 9.236534126202304
1800.07/1780.83	c non guided choices	5287
1800.07/1780.83	c learnt constraints type 
1800.07/1780.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 31
1800.07/1780.83	s SATISFIABLE
1800.07/1780.83	c Found 2 solution(s)
1800.07/1780.84	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 
1800.07/1780.85	c objective function=4
1800.07/1780.85	c Total wall clock time (in seconds): 1780.737

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4092253-1466082170/watcher-4092253-1466082170 -o /tmp/evaluation-result-4092253-1466082170/solver-4092253-1466082170 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466075487-11288 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092253-1466082170.wbo 

pid=18505
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.15 3.13 2.83 4/195 18508
/proc/meminfo: memFree=27703504/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 10266000 98570240 977 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 24065 977 743 9 0 16771 0
[pid=18508/tid=18509] ppid=18505 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) R 18505 18508 7201 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 10266001 98570240 977 33554432000 1073741824 1073778376 140737217772080 140550879125032 271787626748 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.100062 s]
/proc/loadavg: 3.15 3.13 2.83 4/195 18508
/proc/meminfo: memFree=27703504/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 4435 0 1 0 9 2 0 0 20 0 18 0 10266000 9787879424 6062 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2389619 6062 2141 9 0 2380296 0
[pid=18508/tid=18509] ppid=18505 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) R 18505 18508 7201 0 -1 4202560 2384 0 1 0 6 1 0 0 20 0 18 0 10266001 9787879424 6062 33554432000 1073741824 1073778376 140737217772080 140550879128480 271790957837 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200296 s]
/proc/loadavg: 3.15 3.13 2.83 4/195 18508
/proc/meminfo: memFree=27703504/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9558476 CPUtime=0.29 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 5222 0 1 0 27 2 0 0 20 0 18 0 10266000 9787879424 7663 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2389619 7663 2217 9 0 2380296 0
[pid=18508/tid=18509] ppid=18505 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) R 18505 18508 7201 0 -1 4202560 2403 0 1 0 15 2 0 0 20 0 18 0 10266001 9787879424 7663 33554432000 1073741824 1073778376 140737217772080 140550879128480 140550882415511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476

[startup+0.300274 s]
/proc/loadavg: 3.15 3.13 2.83 4/195 18508
/proc/meminfo: memFree=27703504/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9759196 CPUtime=0.59 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 8186 0 1 0 56 3 0 0 20 0 22 0 10266000 9993416704 11765 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2439799 11765 2241 9 0 2430476 0
[pid=18508/tid=18509] ppid=18505 vsize=9759196 CPUtime=0.26 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) S 18505 18508 7201 0 -1 4202560 2441 0 1 0 24 2 0 0 20 0 22 0 10266001 9993416704 11765 33554432000 1073741824 1073778376 140737217772080 140550879130488 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9759196

[startup+0.70024 s]
/proc/loadavg: 3.15 3.13 2.83 4/195 18508
/proc/meminfo: memFree=27703504/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 15811 0 1 0 215 5 0 0 20 0 22 0 10266000 10060525568 17443 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2456183 17443 2254 9 0 2446860 0
[pid=18508/tid=18509] ppid=18505 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) S 18505 18508 7201 0 -1 4202560 2441 0 1 0 24 2 0 0 20 0 22 0 10266001 10060525568 17443 33554432000 1073741824 1073778376 140737217772080 140550879130488 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9824732

[startup+1.50081 s]
/proc/loadavg: 3.30 3.16 2.84 3/214 18530
/proc/meminfo: memFree=27635696/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 15877 0 1 0 271 7 0 0 20 0 19 0 10266000 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2456183 20045 2266 9 0 2446860 0
[pid=18508/tid=18509] ppid=18505 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) S 18505 18508 7201 0 -1 4202560 2445 0 1 0 25 2 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550879130488 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18511] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550868191784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18512] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550867138984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18513] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550866086184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18514] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550865033384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18515] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550863981608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18516] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550862928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18517] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550861876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18518] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18508 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10266001 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550860823208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18519] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) S 18505 18508 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10266002 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550702442984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18520] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18508 7201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10266003 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550701389048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18521] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18508 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10266003 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550700336136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18522] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266005 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550699284624 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18523] ppid=18505 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/18508/task/18523/stat : 18523 (java) S 18505 18508 7201 0 -1 4202560 6227 0 0 0 73 1 0 0 20 0 19 0 10266005 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550698232760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18524] ppid=18505 vsize=9824732 CPUtime=0.68 cores=1,3,5,7
/proc/18508/task/18524/stat : 18524 (java) S 18505 18508 7201 0 -1 4202560 5864 0 0 0 67 1 0 0 20 0 19 0 10266005 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550697179960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18525] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18525/stat : 18525 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266005 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550696127352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18526] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18526/stat : 18526 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10266005 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550695074760 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18530] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18530/stat : 18530 (java) S 18505 18508 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10266030 10060525568 20045 33554432000 1073741824 1073778376 140737217772080 140550690861864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 9824732

[startup+3.10083 s]
/proc/loadavg: 3.30 3.16 2.84 4/216 18536
/proc/meminfo: memFree=27622716/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9824732 CPUtime=4.19 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 15902 0 1 0 412 7 0 0 20 0 21 0 10266000 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2456183 25175 2270 9 0 2446860 0
[pid=18508/tid=18509] ppid=18505 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) S 18505 18508 7201 0 -1 4202560 2446 0 1 0 25 2 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550879130488 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18511] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550868191784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18512] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550867138984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18513] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550866086184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18514] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550865033384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18515] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550863981608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18516] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550862928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18517] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550861876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18518] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18508 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550860823208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18519] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) S 18505 18508 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10266002 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550702442984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18520] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18508 7201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550701389048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18521] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18508 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550700336136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18522] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550699284624 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18523] ppid=18505 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/18508/task/18523/stat : 18523 (java) S 18505 18508 7201 0 -1 4202560 6231 0 0 0 79 1 0 0 20 0 21 0 10266005 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550698232760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18524] ppid=18505 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/18508/task/18524/stat : 18524 (java) S 18505 18508 7201 0 -1 4202560 5865 0 0 0 73 2 0 0 20 0 21 0 10266005 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550697179960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18525] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18525/stat : 18525 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550696127352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18526] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18526/stat : 18526 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550695074760 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18530] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18530/stat : 18530 (java) S 18505 18508 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10266030 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550690861864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18534] ppid=18505 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/18508/task/18534/stat : 18534 (java) R 18505 18508 7201 0 -1 4202560 12 0 0 0 127 0 0 0 20 0 21 0 10266180 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550694017960 140550741818720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18536] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18536/stat : 18536 (java) S 18505 18508 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10266180 10060525568 25175 33554432000 1073741824 1073778376 140737217772080 140550692967464 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9824732

[startup+6.30093 s]
/proc/loadavg: 3.30 3.16 2.84 4/216 18536
/proc/meminfo: memFree=27592876/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9824732 CPUtime=7.43 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 15919 0 1 0 736 7 0 0 20 0 21 0 10266000 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2456183 31980 2271 9 0 2446860 0
[pid=18508/tid=18509] ppid=18505 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) S 18505 18508 7201 0 -1 4202560 2447 0 1 0 25 2 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550879130488 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18511] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550868191784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18512] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550867138984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18513] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550866086184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18514] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550865033384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18515] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550863981608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18516] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550862928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18517] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550861876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18518] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18508 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10266001 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550860823208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18519] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) S 18505 18508 7201 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 10266002 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550702442984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18520] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18508 7201 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550701389048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18521] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18508 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 31980 33554432000 1073741824 1073778376 140737217772080 140550700336136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18522] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

/proc/18508/task/18509/stat : 18509 (java) S 18505 18508 7201 0 -1 4202560 2542 0 1 0 62 28 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550879130536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18511] ppid=18505 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18508 7201 0 -1 4202560 1868 0 0 0 258 12 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550868191784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18512] ppid=18505 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18508 7201 0 -1 4202560 1985 0 0 0 264 16 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550867138984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18513] ppid=18505 vsize=9824732 CPUtime=2.55 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18508 7201 0 -1 4202560 1933 0 0 0 242 13 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550866086184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18514] ppid=18505 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18508 7201 0 -1 4202560 1844 0 0 0 274 16 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550865033384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18515] ppid=18505 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18508 7201 0 -1 4202560 1776 0 0 0 271 19 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550863981608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18516] ppid=18505 vsize=9824732 CPUtime=2.86 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18508 7201 0 -1 4202560 2037 0 0 0 271 15 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550862928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18517] ppid=18505 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18508 7201 0 -1 4202560 1521 0 0 0 253 15 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550861876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18518] ppid=18505 vsize=9824732 CPUtime=2.94 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18508 7201 0 -1 4202560 2615 0 0 0 276 18 0 0 20 0 21 0 10266001 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550860823208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18519] ppid=18505 vsize=9824732 CPUtime=4.99 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) S 18505 18508 7201 0 -1 4202560 1017 0 0 0 493 6 0 0 20 0 21 0 10266002 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550702442984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18520] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18508 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550701389048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18521] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18508 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550700336136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18522] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550699284624 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18523] ppid=18505 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/18508/task/18523/stat : 18523 (java) S 18505 18508 7201 0 -1 4202560 6237 0 0 0 85 1 0 0 20 0 21 0 10266005 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550698232760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18524] ppid=18505 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/18508/task/18524/stat : 18524 (java) S 18505 18508 7201 0 -1 4202560 5865 0 0 0 74 2 0 0 20 0 21 0 10266005 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550697179960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18525] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18525/stat : 18525 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550696127352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18526] ppid=18505 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/18508/task/18526/stat : 18526 (java) S 18505 18508 7201 0 -1 4202560 96 0 0 0 22 28 0 0 20 0 21 0 10266005 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550695074760 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18530] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18530/stat : 18530 (java) S 18505 18508 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10266030 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550690861864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18534] ppid=18505 vsize=9824732 CPUtime=1644.67 cores=1,3,5,7
/proc/18508/task/18534/stat : 18534 (java) R 18505 18508 7201 0 -1 4202560 250 0 0 0 164435 32 0 0 20 0 21 0 10266180 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550694018720 140550741801858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18536] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18536/stat : 18536 (java) S 18505 18508 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10266180 10060525568 127556 33554432000 1073741824 1073778376 140737217772080 140550692967464 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1679.98
Current children cumulated vsize (KiB) 9824732

[startup+1722.3 s]
/proc/loadavg: 2.19 2.22 2.27 3/217 19954
/proc/meminfo: memFree=29936528/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9824732 CPUtime=1740.75 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 33187 0 1 0 173879 196 0 0 20 0 21 0 10266000 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2456183 127592 2292 9 0 2446860 0
[pid=18508/tid=18509] ppid=18505 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) S 18505 18508 7201 0 -1 4202560 2543 0 1 0 63 29 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550879130536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18511] ppid=18505 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18508 7201 0 -1 4202560 1868 0 0 0 270 12 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550868191784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18512] ppid=18505 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18508 7201 0 -1 4202560 2048 0 0 0 282 16 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550867138984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18513] ppid=18505 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18508 7201 0 -1 4202560 1997 0 0 0 252 13 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550866086184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18514] ppid=18505 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18508 7201 0 -1 4202560 1848 0 0 0 285 16 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550865033384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18515] ppid=18505 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18508 7201 0 -1 4202560 1808 0 0 0 281 19 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550863981608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18516] ppid=18505 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18508 7201 0 -1 4202560 2039 0 0 0 284 15 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550862928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18517] ppid=18505 vsize=9824732 CPUtime=2.82 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18508 7201 0 -1 4202560 1588 0 0 0 266 16 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550861876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18518] ppid=18505 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18508 7201 0 -1 4202560 2620 0 0 0 292 18 0 0 20 0 21 0 10266001 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550860823208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18519] ppid=18505 vsize=9824732 CPUtime=5.29 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) S 18505 18508 7201 0 -1 4202560 1031 0 0 0 523 6 0 0 20 0 21 0 10266002 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550702442984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18520] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18508 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550701389048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18521] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18508 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550700336136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18522] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550699284624 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18523] ppid=18505 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/18508/task/18523/stat : 18523 (java) S 18505 18508 7201 0 -1 4202560 6237 0 0 0 85 1 0 0 20 0 21 0 10266005 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550698232760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18524] ppid=18505 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/18508/task/18524/stat : 18524 (java) S 18505 18508 7201 0 -1 4202560 5865 0 0 0 74 2 0 0 20 0 21 0 10266005 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550697179960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18525] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18525/stat : 18525 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550696127352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18526] ppid=18505 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/18508/task/18526/stat : 18526 (java) S 18505 18508 7201 0 -1 4202560 100 0 0 0 22 29 0 0 20 0 21 0 10266005 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550695074760 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18530] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18530/stat : 18530 (java) S 18505 18508 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10266030 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550690861864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18534] ppid=18505 vsize=9824732 CPUtime=1703.89 cores=1,3,5,7
/proc/18508/task/18534/stat : 18534 (java) R 18505 18508 7201 0 -1 4202560 259 0 0 0 170356 33 0 0 20 0 21 0 10266180 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550694018720 140550741783116 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18536] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18536/stat : 18536 (java) S 18505 18508 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10266180 10060525568 127592 33554432000 1073741824 1073778376 140737217772080 140550692967464 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1740.75
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.8 s]
/proc/loadavg: 2.21 2.23 2.27 3/217 19955
/proc/meminfo: memFree=29942268/32872528 swapFree=1103228/1182944
[pid=18508] ppid=18505 vsize=9824732 CPUtime=1800.07 cores=1,3,5,7
/proc/18508/stat : 18508 (java) S 18505 18508 7201 0 -1 4202496 33234 0 1 0 179808 199 0 0 20 0 21 0 10266000 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140737217763216 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18508/statm: 2456183 126898 2292 9 0 2446860 0
[pid=18508/tid=18509] ppid=18505 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/18508/task/18509/stat : 18509 (java) S 18505 18508 7201 0 -1 4202560 2547 0 1 0 64 30 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550879130536 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18511] ppid=18505 vsize=9824732 CPUtime=2.98 cores=1,3,5,7
/proc/18508/task/18511/stat : 18511 (java) S 18505 18508 7201 0 -1 4202560 1868 0 0 0 286 12 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550868191784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18512] ppid=18505 vsize=9824732 CPUtime=3.08 cores=1,3,5,7
/proc/18508/task/18512/stat : 18512 (java) S 18505 18508 7201 0 -1 4202560 2048 0 0 0 292 16 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550867138984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18513] ppid=18505 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/18508/task/18513/stat : 18513 (java) S 18505 18508 7201 0 -1 4202560 1997 0 0 0 265 13 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550866086184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18514] ppid=18505 vsize=9824732 CPUtime=3.14 cores=1,3,5,7
/proc/18508/task/18514/stat : 18514 (java) S 18505 18508 7201 0 -1 4202560 1848 0 0 0 298 16 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550865033384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18515] ppid=18505 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/18508/task/18515/stat : 18515 (java) S 18505 18508 7201 0 -1 4202560 1808 0 0 0 296 19 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550863981608 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18516] ppid=18505 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/18508/task/18516/stat : 18516 (java) S 18505 18508 7201 0 -1 4202560 2039 0 0 0 298 15 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550862928808 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18517] ppid=18505 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/18508/task/18517/stat : 18517 (java) S 18505 18508 7201 0 -1 4202560 1588 0 0 0 281 16 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550861876008 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18518] ppid=18505 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/18508/task/18518/stat : 18518 (java) S 18505 18508 7201 0 -1 4202560 2620 0 0 0 306 18 0 0 20 0 21 0 10266001 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550860823208 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18519] ppid=18505 vsize=9824732 CPUtime=5.46 cores=1,3,5,7
/proc/18508/task/18519/stat : 18519 (java) S 18505 18508 7201 0 -1 4202560 1064 0 0 0 540 6 0 0 20 0 21 0 10266002 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550702442984 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18520] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18520/stat : 18520 (java) S 18505 18508 7201 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550701389048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18521] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18521/stat : 18521 (java) S 18505 18508 7201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 10266003 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550700336136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18522] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18522/stat : 18522 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550699284624 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18523] ppid=18505 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/18508/task/18523/stat : 18523 (java) S 18505 18508 7201 0 -1 4202560 6237 0 0 0 85 1 0 0 20 0 21 0 10266005 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550698232760 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18508/tid=18524] ppid=18505 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/18508/task/18524/stat : 18524 (java) S 18505 18508 7201 0 -1 4202560 5865 0 0 0 74 2 0 0 20 0 21 0 10266005 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550697179960 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18525] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18525/stat : 18525 (java) S 18505 18508 7201 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10266005 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550696127352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18526] ppid=18505 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/18508/task/18526/stat : 18526 (java) S 18505 18508 7201 0 -1 4202560 104 0 0 0 23 30 0 0 20 0 21 0 10266005 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550695074760 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18508/tid=18530] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18530/stat : 18530 (java) S 18505 18508 7201 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10266030 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550690861864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18508/tid=18534] ppid=18505 vsize=9824732 CPUtime=1761.76 cores=1,3,5,7
/proc/18508/task/18534/stat : 18534 (java) R 18505 18508 7201 0 -1 4202560 265 0 0 0 176142 34 0 0 20 0 21 0 10266180 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550694018720 140550741781651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18508/tid=18536] ppid=18505 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18508/task/18536/stat : 18536 (java) S 18505 18508 7201 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10266180 10060525568 126898 33554432000 1073741824 1073778376 140737217772080 140550692967464 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18508 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=770305
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=451627
# CPU time returned by wait4() is 1796.22
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1780.87
CPU time (s): 1800.07
CPU user time (s): 1798.08
CPU system time (s): 1.99
CPU usage (%): 101.078
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.77
system time used= 2.45163
maximum resident set size= 804272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33270
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82416
involuntary context switches= 60846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0892 second user time and 14.1558 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-16 15:02:50
IDJOB=4092253
IDBENCH=79149
IDSOLVER=2552
FILE ID=node115/4092253-1466082170
RUNJOBID= node115-1466075487-11288
PBS_JOBID= 19904021
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092253-1466082170/watcher-4092253-1466082170 -o /tmp/evaluation-result-4092253-1466082170/solver-4092253-1466082170 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466075487-11288 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4092253-1466082170.wbo

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

MD5SUM BENCH= 6dc14d51c0879b2054c8b72501c6facc
RANDOM SEED=66968649

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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:       32872528 kB
MemFree:        27703768 kB
Buffers:           28788 kB
Cached:            74812 kB
SwapCached:         2104 kB
Active:          3217816 kB
Inactive:          62228 kB
Active(anon):    3177172 kB
Inactive(anon):     1636 kB
Active(file):      40644 kB
Inactive(file):    60592 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:               728 kB
Writeback:             0 kB
AnonPages:       4384796 kB
Mapped:            15404 kB
Shmem:                 0 kB
Slab:             567616 kB
SReclaimable:      10844 kB
SUnreclaim:       556772 kB
KernelStack:        1768 kB
PageTables:        12968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4785336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3235840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node115 at 2016-06-16 15:32:31