Trace number 3718390

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 2012-05-28MSAT (TO) 1800.82 1790.26

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 benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.973851
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120528
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose 2 learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3718390-1338252298.wbo
0.08/0.11	c reading problem ... 
0.28/0.25	c ... done. Wall clock time 0.14s.
0.28/0.25	c declared #vars     3600
0.28/0.25	c internal #vars     3770
0.28/0.25	c #constraints  170
0.28/0.25	c constraints type 
0.28/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
0.28/0.25	c ignored satisfied constraints => 1
0.28/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80
0.28/0.25	c 171 constraints processed.
0.28/0.25	c objective function length is 170 literals
0.78/0.41	c SATISFIABLE
0.78/0.41	c OPTIMIZING...
0.78/0.41	c Got one! Elapsed wall clock time (in seconds):0.301
0.78/0.41	o 66
0.78/0.44	c Got one! Elapsed wall clock time (in seconds):0.326
0.78/0.44	o 54
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.353
0.78/0.46	o 41
1.07/0.52	c Got one! Elapsed wall clock time (in seconds):0.409
1.07/0.52	o 19
1.07/0.58	c Got one! Elapsed wall clock time (in seconds):0.467
1.07/0.58	o 18
1.30/0.62	c Got one! Elapsed wall clock time (in seconds):0.515
1.30/0.62	o 15
1.41/0.78	c Got one! Elapsed wall clock time (in seconds):0.667
1.41/0.78	o 13
1.61/0.91	c Got one! Elapsed wall clock time (in seconds):0.804
1.61/0.91	o 11
1.81/1.19	c cleaning 4571 clauses out of 9148 with flag 12363/9148
2.48/1.74	c cleaning 5273 clauses out of 10577 with flag 52600/15148
2.48/1.77	c Got one! Elapsed wall clock time (in seconds):1.659
2.48/1.77	o 10
2.99/2.23	c cleaning 5220 clauses out of 10460 with flag 29474/20304
3.46/2.62	c Got one! Elapsed wall clock time (in seconds):2.513
3.46/2.62	o 9
3.97/3.10	c cleaning 7860 clauses out of 15746 with flag 32211/30810
4.24/3.32	c Got one! Elapsed wall clock time (in seconds):3.206
4.24/3.32	o 8
4.43/3.57	c cleaning 6766 clauses out of 13560 with flag 18367/36484
5.06/4.18	c cleaning 6382 clauses out of 12793 with flag 61627/42483
5.17/4.27	c Got one! Elapsed wall clock time (in seconds):4.156
5.17/4.27	o 7
5.67/4.76	c cleaning 6175 clauses out of 12367 with flag 34158/48439
6.17/5.20	c cleaning 6074 clauses out of 12192 with flag 71071/54439
6.69/5.77	c cleaning 6527 clauses out of 13117 with flag 114458/61438
7.41/6.44	c cleaning 7259 clauses out of 14590 with flag 167756/69438
8.01/7.05	c Got one! Elapsed wall clock time (in seconds):6.937
8.01/7.05	o 4
8.41/7.45	c cleaning 9003 clauses out of 18063 with flag 30911/80170
8.92/7.91	c cleaning 7499 clauses out of 15060 with flag 68837/86170
9.52/8.58	c cleaning 7255 clauses out of 14564 with flag 117129/93173
10.43/9.49	c cleaning 7590 clauses out of 15306 with flag 168749/101170
11.75/10.78	c cleaning 8352 clauses out of 16720 with flag 255892/110174
12.78/11.72	c cleaning 9135 clauses out of 18368 with flag 332317/120174
13.92/12.82	c cleaning 10070 clauses out of 20229 with flag 411841/131170
15.34/14.23	c cleaning 11069 clauses out of 22159 with flag 501825/143170
17.07/15.98	c cleaning 12040 clauses out of 24091 with flag 598093/156171
19.30/18.19	c cleaning 13019 clauses out of 26050 with flag 725179/170170
21.11/19.90	c cleaning 13964 clauses out of 28031 with flag 830932/185170
23.64/22.43	c cleaning 15020 clauses out of 30068 with flag 950639/201171
25.76/24.51	c cleaning 15949 clauses out of 32047 with flag 1071332/218170
28.48/27.20	c cleaning 17005 clauses out of 34099 with flag 1200425/236171
32.04/30.80	c cleaning 18011 clauses out of 36095 with flag 1373041/255172
34.45/33.12	c cleaning 19007 clauses out of 38082 with flag 1520684/275170
38.06/36.73	c cleaning 19997 clauses out of 40075 with flag 1676171/296170
42.22/40.88	c cleaning 21020 clauses out of 42078 with flag 1883859/318170
47.06/45.62	c cleaning 22005 clauses out of 44058 with flag 2081615/341170
50.69/49.20	c cleaning 23010 clauses out of 46054 with flag 2299708/365171
56.21/54.78	c cleaning 24004 clauses out of 48045 with flag 2497139/390172
59.46/57.96	c cleaning 24959 clauses out of 50040 with flag 2682814/416171
64.63/63.00	c cleaning 26028 clauses out of 52081 with flag 2920119/443171
69.58/67.93	c cleaning 27002 clauses out of 54054 with flag 3135218/471172
74.41/72.78	c cleaning 28003 clauses out of 56052 with flag 3372433/500172
80.25/78.59	c cleaning 29016 clauses out of 58049 with flag 3634254/530172
87.74/85.92	c cleaning 30008 clauses out of 60031 with flag 3918469/561170
94.28/92.43	c cleaning 30994 clauses out of 62025 with flag 4179059/593172
99.34/97.41	c cleaning 32005 clauses out of 64031 with flag 4423337/626172
105.10/103.14	c cleaning 32998 clauses out of 66024 with flag 4660566/660170
112.14/110.19	c cleaning 34002 clauses out of 68029 with flag 4961976/695173
119.70/117.66	c cleaning 34976 clauses out of 70024 with flag 5237317/731170
128.86/126.79	c cleaning 36008 clauses out of 72048 with flag 5624490/768170
137.24/135.06	c cleaning 37011 clauses out of 74043 with flag 6049009/806173
152.62/150.32	c cleaning 37982 clauses out of 76030 with flag 6465782/845171
163.93/161.60	c cleaning 38994 clauses out of 78048 with flag 6931534/885171
170.71/168.27	c cleaning 40008 clauses out of 80056 with flag 7239132/926173
180.40/177.89	c cleaning 41003 clauses out of 82046 with flag 7609540/968171
195.76/193.12	c cleaning 42014 clauses out of 84045 with flag 7991464/1011173
207.53/204.89	c cleaning 42995 clauses out of 86029 with flag 8396174/1055171
216.68/213.92	c cleaning 44005 clauses out of 88034 with flag 8814663/1100171
231.55/228.73	c cleaning 45000 clauses out of 90028 with flag 9209004/1146170
243.41/240.52	c cleaning 45996 clauses out of 92028 with flag 9595321/1193170
259.39/256.41	c cleaning 46996 clauses out of 94032 with flag 10055706/1241170
274.09/271.04	c cleaning 48011 clauses out of 96036 with flag 10559656/1290170
285.29/282.15	c cleaning 48973 clauses out of 98025 with flag 11044438/1340170
296.18/292.91	c cleaning 50008 clauses out of 100052 with flag 11471777/1391170
308.88/305.58	c cleaning 50993 clauses out of 102045 with flag 11925343/1443171
321.19/317.75	c cleaning 52004 clauses out of 104053 with flag 12416268/1496172
335.59/332.01	c cleaning 53009 clauses out of 106047 with flag 12922567/1550170
358.11/354.49	c cleaning 54007 clauses out of 108038 with flag 13446556/1605170
371.92/368.15	c cleaning 54991 clauses out of 110032 with flag 13998391/1661171
391.62/387.78	c cleaning 56010 clauses out of 112044 with flag 14561791/1718174
408.63/404.63	c cleaning 57006 clauses out of 114030 with flag 15080719/1776170
429.88/425.79	c cleaning 57999 clauses out of 116027 with flag 15577953/1835173
452.87/448.60	c cleaning 58996 clauses out of 118028 with flag 16076603/1895173
476.38/472.07	c cleaning 59988 clauses out of 120029 with flag 16639940/1956170
488.88/484.48	c cleaning 60999 clauses out of 122041 with flag 17145203/2018170
502.77/498.30	c cleaning 61994 clauses out of 124046 with flag 17655071/2081174
520.37/515.74	c cleaning 63009 clauses out of 126048 with flag 18140646/2145170
535.58/530.87	c cleaning 64002 clauses out of 128040 with flag 18690110/2210171
563.58/558.77	c cleaning 65003 clauses out of 130039 with flag 19206892/2276172
585.88/580.91	c cleaning 66000 clauses out of 132037 with flag 19847083/2343173
610.09/605.01	c cleaning 67011 clauses out of 134037 with flag 20440631/2411173
628.79/623.67	c cleaning 67994 clauses out of 136023 with flag 21107057/2480170
658.73/653.36	c cleaning 68993 clauses out of 138029 with flag 21813054/2550170
686.28/680.86	c cleaning 69998 clauses out of 140037 with flag 22589353/2621171
706.29/700.76	c cleaning 71011 clauses out of 142041 with flag 23282571/2693173
737.87/732.26	c cleaning 71995 clauses out of 144028 with flag 23944101/2766171
771.88/766.16	c cleaning 72997 clauses out of 146036 with flag 24645093/2840174
806.92/801.00	c cleaning 73999 clauses out of 148037 with flag 25379444/2915172
842.83/836.82	c cleaning 75002 clauses out of 150037 with flag 26116993/2991171
859.58/853.22	c cleaning 75992 clauses out of 152036 with flag 26694473/3068172
881.74/875.38	c cleaning 77004 clauses out of 154042 with flag 27352094/3146170
905.46/898.91	c cleaning 78004 clauses out of 156039 with flag 28059896/3225171
935.36/928.78	c cleaning 79008 clauses out of 158034 with flag 28807624/3305170
972.90/966.19	c cleaning 80001 clauses out of 160026 with flag 29611369/3386170
994.41/987.53	c cleaning 80985 clauses out of 162025 with flag 30375246/3468170
1027.74/1020.72	c cleaning 81987 clauses out of 164040 with flag 30972893/3551170
1067.35/1060.27	c cleaning 82999 clauses out of 166053 with flag 31776797/3635170
1097.38/1090.18	c cleaning 84008 clauses out of 168054 with flag 32445273/3720170
1146.49/1139.15	c cleaning 85004 clauses out of 170046 with flag 33138259/3806170
1188.91/1181.47	c cleaning 86009 clauses out of 172049 with flag 33759728/3893177
1231.74/1224.16	c cleaning 86999 clauses out of 174035 with flag 34446481/3981172
1270.35/1262.60	c cleaning 88003 clauses out of 176034 with flag 35244896/4070170
1308.39/1300.58	c cleaning 89001 clauses out of 178031 with flag 36113510/4160170
1343.43/1335.46	c cleaning 90002 clauses out of 180033 with flag 37023816/4251173
1382.03/1373.99	c cleaning 90997 clauses out of 182029 with flag 37967980/4343171
1427.43/1419.21	c cleaning 92004 clauses out of 184032 with flag 38820753/4436171
1451.66/1443.31	c cleaning 92965 clauses out of 186027 with flag 39616625/4530170
1478.81/1470.30	c cleaning 94008 clauses out of 188062 with flag 40414268/4625170
1507.00/1498.30	c cleaning 94995 clauses out of 190054 with flag 41213341/4721170
1537.34/1528.59	c cleaning 96021 clauses out of 192059 with flag 42073000/4818170
1579.41/1570.45	c cleaning 97011 clauses out of 194039 with flag 42951216/4916171
1625.94/1616.80	c cleaning 98006 clauses out of 196028 with flag 43755842/5015171
1673.53/1664.29	c cleaning 98998 clauses out of 198021 with flag 44746743/5115170
1711.82/1702.33	c cleaning 99994 clauses out of 200024 with flag 45696469/5216171
1760.58/1750.91	c cleaning 101005 clauses out of 202030 with flag 46675126/5318171
1800.02/1790.21	c starts		: 287
1800.02/1790.21	c conflicts		: 5409354
1800.02/1790.21	c decisions		: 6828843
1800.02/1790.21	c propagations		: 205581980
1800.02/1790.21	c inspects		: 21047351632
1800.02/1790.21	c shortcuts		: 0
1800.02/1790.21	c learnt literals	: 0
1800.02/1790.21	c learnt binary clauses	: 0
1800.02/1790.21	c learnt ternary clauses	: 0
1800.02/1790.21	c learnt constraints	: 5409354
1800.02/1790.21	c ignored constraints	: 0
1800.02/1790.21	c root simplifications	: 0
1800.02/1790.21	c removed literals (reason simplification)	: 0
1800.02/1790.21	c reason swapping (by a shorter reason)	: 0
1800.02/1790.21	c Calls to reduceDB	: 108
1800.02/1790.21	c Number of update (reduction) of LBD	: 3306690
1800.02/1790.21	c number of reductions to clauses (during analyze)	: 0
1800.02/1790.21	c number of learned constraints concerned by reduction	: 0
1800.02/1790.21	c number of learning phase by resolution	: 0
1800.02/1790.21	c number of learning phase by cutting planes	: 0
1800.02/1790.21	c speed (assignments/second)	: 114853.41218837834
1800.02/1790.21	c non guided choices	196395
1800.02/1790.24	c learnt constraints type 
1800.02/1790.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 192227
1800.02/1790.24	c constraints type 
1800.02/1790.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
1800.02/1790.24	c ignored satisfied constraints => 1
1800.02/1790.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 81
1800.02/1790.24	c 172 constraints processed.
1800.02/1790.24	s SATISFIABLE
1800.02/1790.25	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.02/1790.25	c objective function=4
1800.02/1790.25	c Total wall clock time (in seconds): 1790.144

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718390-1338252298/watcher-3718390-1338252298 -o /tmp/evaluation-result-3718390-1338252298/solver-3718390-1338252298 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718390-1338252298.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 1.93 3/194 499
/proc/meminfo: memFree=30346756/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/499/stat : 499 (java) R 497 499 30566 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 291357195 2560000 46 33554432000 1073741824 1073778376 140733555345712 140733555342840 219504799015 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/499/statm: 625 46 37 9 0 29 0

[startup+0.0581861 s]
/proc/loadavg: 2.01 2.00 1.93 3/194 499
/proc/meminfo: memFree=30346756/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 3081 0 1 0 2 1 0 0 20 0 13 0 291357195 9446973440 4290 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2306390 4290 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.10026 s]
/proc/loadavg: 2.01 2.00 1.93 3/194 499
/proc/meminfo: memFree=30346756/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 4305 0 1 0 7 1 0 0 20 0 18 0 291357195 9787817984 5499 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2389604 5500 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300231 s]
/proc/loadavg: 2.01 2.00 1.93 3/194 499
/proc/meminfo: memFree=30346756/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9625228 CPUtime=0.48 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 5781 0 1 0 46 2 0 0 20 0 19 0 291357195 9856233472 8412 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2406307 8440 2232 9 0 2396999 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625228

[startup+0.70023 s]
/proc/loadavg: 2.01 2.00 1.93 3/194 499
/proc/meminfo: memFree=30346756/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9624980 CPUtime=1.41 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 12256 0 1 0 138 3 0 0 20 0 19 0 291357195 9855979520 11451 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2406245 11451 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9624980

[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 519
/proc/meminfo: memFree=30302840/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9624980 CPUtime=2.28 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 12330 0 1 0 224 4 0 0 20 0 19 0 291357195 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2406245 18157 2268 9 0 2396937 0
[pid=499/tid=501] ppid=497 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/499/task/501/stat : 501 (java) R 497 499 30566 0 -1 4202560 2462 0 1 0 143 2 0 0 20 0 19 0 291357196 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498693300632 140498530988368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=499/tid=502] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/502/stat : 502 (java) S 497 499 30566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498654792360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=503] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/503/stat : 503 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498653739816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=504] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/504/stat : 504 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498652687272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=505] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/505/stat : 505 (java) S 497 499 30566 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498651634728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=506] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/506/stat : 506 (java) S 497 499 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498650581160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=507] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/507/stat : 507 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498649528616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=509] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/509/stat : 509 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498530462120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=510] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/510/stat : 510 (java) S 497 499 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498529409576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=511] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/511/stat : 511 (java) S 497 499 30566 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291357198 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498517211752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=512] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/512/stat : 512 (java) S 497 499 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291357198 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498516158072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=513] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/513/stat : 513 (java) S 497 499 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291357199 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140498515105416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=514] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/514/stat : 514 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140497775488016 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=515] ppid=497 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/499/task/515/stat : 515 (java) S 497 499 30566 0 -1 4202560 2531 0 0 0 36 0 0 0 20 0 19 0 291357201 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140497774434360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=516] ppid=497 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/499/task/516/stat : 516 (java) S 497 499 30566 0 -1 4202560 6090 0 0 0 41 0 0 0 20 0 19 0 291357201 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140497773381816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=517] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/517/stat : 517 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140497772329464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=518] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/518/stat : 518 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140497771277128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=519] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/519/stat : 519 (java) S 497 499 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291357221 9855979520 18157 33554432000 1073741824 1073778376 140733446407824 140497770222888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9624980

[startup+3.10061 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 519
/proc/meminfo: memFree=30273672/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9624980 CPUtime=3.97 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 14191 0 1 0 393 4 0 0 20 0 19 0 291357195 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2406245 20727 2268 9 0 2396937 0
[pid=499/tid=501] ppid=497 vsize=9624980 CPUtime=3.01 cores=1,3,5,7
/proc/499/task/501/stat : 501 (java) R 497 499 30566 0 -1 4202560 2463 0 1 0 299 2 0 0 20 0 19 0 291357196 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498693300696 140498531300224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=499/tid=502] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/502/stat : 502 (java) S 497 499 30566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498654792360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=503] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/503/stat : 503 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498653739816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=504] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/504/stat : 504 (java) S 497 499 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498652687272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=505] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/505/stat : 505 (java) S 497 499 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498651634728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=506] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/506/stat : 506 (java) S 497 499 30566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498650581160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=507] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/507/stat : 507 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498649528616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=509] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/509/stat : 509 (java) S 497 499 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498530462120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=510] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/510/stat : 510 (java) S 497 499 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498529409576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=511] ppid=497 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/499/task/511/stat : 511 (java) S 497 499 30566 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 291357198 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498517211752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=512] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/512/stat : 512 (java) S 497 499 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291357198 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498516158072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=513] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/513/stat : 513 (java) S 497 499 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291357199 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140498515105416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=514] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/514/stat : 514 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140497775488016 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=515] ppid=497 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/499/task/515/stat : 515 (java) S 497 499 30566 0 -1 4202560 2532 0 0 0 37 0 0 0 20 0 19 0 291357201 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140497774434360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=516] ppid=497 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/499/task/516/stat : 516 (java) R 497 499 30566 0 -1 4202560 7934 0 0 0 48 2 0 0 20 0 19 0 291357201 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140497773381816 140498695856208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=499/tid=517] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/517/stat : 517 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140497772329464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=518] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/518/stat : 518 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140497771277128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=519] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/519/stat : 519 (java) S 497 499 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291357221 9855979520 20727 33554432000 1073741824 1073778376 140733446407824 140497770222888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9624980

[startup+6.30065 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 519
/proc/meminfo: memFree=30263388/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9624980 CPUtime=7.31 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 14876 0 1 0 726 5 0 0 20 0 19 0 291357195 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2406245 22711 2268 9 0 2396937 0
[pid=499/tid=501] ppid=497 vsize=9624980 CPUtime=6.08 cores=1,3,5,7
/proc/499/task/501/stat : 501 (java) R 497 499 30566 0 -1 4202560 2470 0 1 0 606 2 0 0 20 0 19 0 291357196 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498693300512 140498530988599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=499/tid=502] ppid=497 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/499/task/502/stat : 502 (java) S 497 499 30566 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 291357197 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498654792360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=503] ppid=497 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/499/task/503/stat : 503 (java) S 497 499 30566 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 291357197 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498653739816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=504] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/504/stat : 504 (java) S 497 499 30566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498652687272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=505] ppid=497 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/499/task/505/stat : 505 (java) S 497 499 30566 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 291357197 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498651634728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=506] ppid=497 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/499/task/506/stat : 506 (java) S 497 499 30566 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291357197 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498650581160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=507] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/507/stat : 507 (java) S 497 499 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498649528616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=509] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/509/stat : 509 (java) S 497 499 30566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291357197 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498530462120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=510] ppid=497 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/499/task/510/stat : 510 (java) S 497 499 30566 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291357197 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498529409576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=511] ppid=497 vsize=9624980 CPUtime=0.12 cores=1,3,5,7
/proc/499/task/511/stat : 511 (java) S 497 499 30566 0 -1 4202560 37 0 0 0 12 0 0 0 20 0 19 0 291357198 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498517211752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=512] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/512/stat : 512 (java) S 497 499 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291357198 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498516158072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=513] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/513/stat : 513 (java) S 497 499 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291357199 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140498515105416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=514] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/514/stat : 514 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140497775488016 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=515] ppid=497 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/499/task/515/stat : 515 (java) S 497 499 30566 0 -1 4202560 2532 0 0 0 37 0 0 0 20 0 19 0 291357201 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140497774434360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=516] ppid=497 vsize=9624980 CPUtime=0.54 cores=1,3,5,7
/proc/499/task/516/stat : 516 (java) S 497 499 30566 0 -1 4202560 8578 0 0 0 52 2 0 0 20 0 19 0 291357201 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140497773381816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=517] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/517/stat : 517 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140497772329464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=518] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/518/stat : 518 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140497771277128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=519] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/519/stat : 519 (java) S 497 499 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291357221 9855979520 22711 33554432000 1073741824 1073778376 140733446407824 140497770222888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.31
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=499/tid=507] ppid=497 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/499/task/507/stat : 507 (java) S 497 499 30566 0 -1 4202560 479 0 0 0 135 9 0 0 20 0 19 0 291357197 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140498649528616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=509] ppid=497 vsize=9624980 CPUtime=1.37 cores=1,3,5,7
/proc/499/task/509/stat : 509 (java) S 497 499 30566 0 -1 4202560 379 0 0 0 129 8 0 0 20 0 19 0 291357197 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140498530462120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=510] ppid=497 vsize=9624980 CPUtime=1.31 cores=1,3,5,7
/proc/499/task/510/stat : 510 (java) S 497 499 30566 0 -1 4202560 257 0 0 0 125 6 0 0 20 0 19 0 291357197 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140498529409576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=511] ppid=497 vsize=9624980 CPUtime=7.68 cores=1,3,5,7
/proc/499/task/511/stat : 511 (java) S 497 499 30566 0 -1 4202560 458 0 0 0 765 3 0 0 20 0 19 0 291357198 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140498517211752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=512] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/512/stat : 512 (java) S 497 499 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291357198 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140498516158072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=513] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/513/stat : 513 (java) S 497 499 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291357199 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140498515105416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=514] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/514/stat : 514 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140497775488016 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=515] ppid=497 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/499/task/515/stat : 515 (java) S 497 499 30566 0 -1 4202560 2532 0 0 0 37 0 0 0 20 0 19 0 291357201 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140497774434360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=516] ppid=497 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/499/task/516/stat : 516 (java) S 497 499 30566 0 -1 4202560 8585 0 0 0 54 2 0 0 20 0 19 0 291357201 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140497773381816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=517] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/517/stat : 517 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140497772329464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=518] ppid=497 vsize=9624980 CPUtime=0.66 cores=1,3,5,7
/proc/499/task/518/stat : 518 (java) S 497 499 30566 0 -1 4202560 97 0 0 0 28 38 0 0 20 0 19 0 291357201 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140497771277128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=499/tid=519] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/519/stat : 519 (java) S 497 499 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291357221 9855979520 181678 33554432000 1073741824 1073778376 140733446407824 140497770222888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1671.62
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 875
/proc/meminfo: memFree=29240884/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9624980 CPUtime=1731.97 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 19088 0 1 0 173097 100 0 0 20 0 19 0 291357195 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2406245 194067 2272 9 0 2396937 0
[pid=499/tid=501] ppid=497 vsize=9624980 CPUtime=1711.14 cores=1,3,5,7
/proc/499/task/501/stat : 501 (java) R 497 499 30566 0 -1 4202560 2623 0 1 0 171084 30 0 0 20 0 19 0 291357196 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498693300512 140498531031776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=499/tid=502] ppid=497 vsize=9624980 CPUtime=1.56 cores=1,3,5,7
/proc/499/task/502/stat : 502 (java) S 497 499 30566 0 -1 4202560 384 0 0 0 148 8 0 0 20 0 19 0 291357197 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498654792360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=503] ppid=497 vsize=9624980 CPUtime=1.48 cores=1,3,5,7
/proc/499/task/503/stat : 503 (java) S 497 499 30566 0 -1 4202560 559 0 0 0 141 7 0 0 20 0 19 0 291357197 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498653739816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=504] ppid=497 vsize=9624980 CPUtime=1.36 cores=1,3,5,7
/proc/499/task/504/stat : 504 (java) S 497 499 30566 0 -1 4202560 426 0 0 0 130 6 0 0 20 0 19 0 291357197 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498652687272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=505] ppid=497 vsize=9624980 CPUtime=1.38 cores=1,3,5,7
/proc/499/task/505/stat : 505 (java) S 497 499 30566 0 -1 4202560 531 0 0 0 131 7 0 0 20 0 19 0 291357197 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498651634728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=506] ppid=497 vsize=9624980 CPUtime=1.49 cores=1,3,5,7
/proc/499/task/506/stat : 506 (java) S 497 499 30566 0 -1 4202560 556 0 0 0 139 10 0 0 20 0 19 0 291357197 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498650581160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=507] ppid=497 vsize=9624980 CPUtime=1.49 cores=1,3,5,7
/proc/499/task/507/stat : 507 (java) S 497 499 30566 0 -1 4202560 498 0 0 0 139 10 0 0 20 0 19 0 291357197 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498649528616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=509] ppid=497 vsize=9624980 CPUtime=1.42 cores=1,3,5,7
/proc/499/task/509/stat : 509 (java) S 497 499 30566 0 -1 4202560 391 0 0 0 134 8 0 0 20 0 19 0 291357197 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498530462120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=510] ppid=497 vsize=9624980 CPUtime=1.36 cores=1,3,5,7
/proc/499/task/510/stat : 510 (java) S 497 499 30566 0 -1 4202560 262 0 0 0 130 6 0 0 20 0 19 0 291357197 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498529409576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=511] ppid=497 vsize=9624980 CPUtime=8.05 cores=1,3,5,7
/proc/499/task/511/stat : 511 (java) S 497 499 30566 0 -1 4202560 462 0 0 0 802 3 0 0 20 0 19 0 291357198 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498517211752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=512] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/512/stat : 512 (java) S 497 499 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291357198 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498516158072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=513] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/513/stat : 513 (java) S 497 499 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291357199 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140498515105416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=514] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/514/stat : 514 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140497775488016 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=515] ppid=497 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/499/task/515/stat : 515 (java) S 497 499 30566 0 -1 4202560 2532 0 0 0 37 0 0 0 20 0 19 0 291357201 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140497774434360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=516] ppid=497 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/499/task/516/stat : 516 (java) S 497 499 30566 0 -1 4202560 8585 0 0 0 54 2 0 0 20 0 19 0 291357201 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140497773381816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=517] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/517/stat : 517 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140497772329464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=518] ppid=497 vsize=9624980 CPUtime=0.69 cores=1,3,5,7
/proc/499/task/518/stat : 518 (java) S 497 499 30566 0 -1 4202560 99 0 0 0 29 40 0 0 20 0 19 0 291357201 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140497771277128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=499/tid=519] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/519/stat : 519 (java) S 497 499 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291357221 9855979520 194067 33554432000 1073741824 1073778376 140733446407824 140497770222888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1731.97
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 875
/proc/meminfo: memFree=29215688/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9624980 CPUtime=1792.11 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 19099 0 1 0 179109 102 0 0 20 0 19 0 291357195 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2406245 194071 2272 9 0 2396937 0
[pid=499/tid=501] ppid=497 vsize=9624980 CPUtime=1770.95 cores=1,3,5,7
/proc/499/task/501/stat : 501 (java) R 497 499 30566 0 -1 4202560 2624 0 1 0 177065 30 0 0 20 0 19 0 291357196 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498693300512 140498530989068 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=499/tid=502] ppid=497 vsize=9624980 CPUtime=1.61 cores=1,3,5,7
/proc/499/task/502/stat : 502 (java) S 497 499 30566 0 -1 4202560 384 0 0 0 153 8 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498654792360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=503] ppid=497 vsize=9624980 CPUtime=1.5 cores=1,3,5,7
/proc/499/task/503/stat : 503 (java) S 497 499 30566 0 -1 4202560 559 0 0 0 143 7 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498653739816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=504] ppid=497 vsize=9624980 CPUtime=1.38 cores=1,3,5,7
/proc/499/task/504/stat : 504 (java) S 497 499 30566 0 -1 4202560 430 0 0 0 132 6 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498652687272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=505] ppid=497 vsize=9624980 CPUtime=1.39 cores=1,3,5,7
/proc/499/task/505/stat : 505 (java) S 497 499 30566 0 -1 4202560 531 0 0 0 132 7 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498651634728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=506] ppid=497 vsize=9624980 CPUtime=1.51 cores=1,3,5,7
/proc/499/task/506/stat : 506 (java) S 497 499 30566 0 -1 4202560 556 0 0 0 141 10 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498650581160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=507] ppid=497 vsize=9624980 CPUtime=1.51 cores=1,3,5,7
/proc/499/task/507/stat : 507 (java) S 497 499 30566 0 -1 4202560 498 0 0 0 141 10 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498649528616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=509] ppid=497 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/499/task/509/stat : 509 (java) S 497 499 30566 0 -1 4202560 391 0 0 0 136 8 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498530462120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=510] ppid=497 vsize=9624980 CPUtime=1.37 cores=1,3,5,7
/proc/499/task/510/stat : 510 (java) S 497 499 30566 0 -1 4202560 262 0 0 0 131 6 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498529409576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=511] ppid=497 vsize=9624980 CPUtime=8.2 cores=1,3,5,7
/proc/499/task/511/stat : 511 (java) S 497 499 30566 0 -1 4202560 464 0 0 0 817 3 0 0 20 0 19 0 291357198 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498517211752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=512] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/512/stat : 512 (java) S 497 499 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291357198 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498516158072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=513] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/513/stat : 513 (java) S 497 499 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291357199 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498515105416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=514] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/514/stat : 514 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497775488016 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=515] ppid=497 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/499/task/515/stat : 515 (java) S 497 499 30566 0 -1 4202560 2532 0 0 0 37 0 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497774434360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=516] ppid=497 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/499/task/516/stat : 516 (java) S 497 499 30566 0 -1 4202560 8585 0 0 0 54 2 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497773381816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=517] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/517/stat : 517 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497772329464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=518] ppid=497 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/499/task/518/stat : 518 (java) S 497 499 30566 0 -1 4202560 103 0 0 0 30 42 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497771277128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=499/tid=519] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/519/stat : 519 (java) S 497 499 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291357221 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497770222888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1792.11
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 875
/proc/meminfo: memFree=29215812/32873648 swapFree=7116/7116
[pid=499] ppid=497 vsize=9624980 CPUtime=1800.02 cores=1,3,5,7
/proc/499/stat : 499 (java) S 497 499 30566 0 -1 4202496 19099 0 1 0 179900 102 0 0 20 0 19 0 291357195 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140733446398960 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/499/statm: 2406245 194071 2272 9 0 2396937 0
[pid=499/tid=501] ppid=497 vsize=9624980 CPUtime=1778.86 cores=1,3,5,7
/proc/499/task/501/stat : 501 (java) R 497 499 30566 0 -1 4202560 2624 0 1 0 177855 31 0 0 20 0 19 0 291357196 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498693300512 140498531031656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=499/tid=502] ppid=497 vsize=9624980 CPUtime=1.61 cores=1,3,5,7
/proc/499/task/502/stat : 502 (java) S 497 499 30566 0 -1 4202560 384 0 0 0 153 8 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498654792360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=503] ppid=497 vsize=9624980 CPUtime=1.5 cores=1,3,5,7
/proc/499/task/503/stat : 503 (java) S 497 499 30566 0 -1 4202560 559 0 0 0 143 7 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498653739816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=504] ppid=497 vsize=9624980 CPUtime=1.38 cores=1,3,5,7
/proc/499/task/504/stat : 504 (java) S 497 499 30566 0 -1 4202560 430 0 0 0 132 6 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498652687272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=505] ppid=497 vsize=9624980 CPUtime=1.39 cores=1,3,5,7
/proc/499/task/505/stat : 505 (java) S 497 499 30566 0 -1 4202560 531 0 0 0 132 7 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498651634728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=506] ppid=497 vsize=9624980 CPUtime=1.51 cores=1,3,5,7
/proc/499/task/506/stat : 506 (java) S 497 499 30566 0 -1 4202560 556 0 0 0 141 10 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498650581160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=507] ppid=497 vsize=9624980 CPUtime=1.51 cores=1,3,5,7
/proc/499/task/507/stat : 507 (java) S 497 499 30566 0 -1 4202560 498 0 0 0 141 10 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498649528616 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=509] ppid=497 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/499/task/509/stat : 509 (java) S 497 499 30566 0 -1 4202560 391 0 0 0 136 8 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498530462120 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=510] ppid=497 vsize=9624980 CPUtime=1.37 cores=1,3,5,7
/proc/499/task/510/stat : 510 (java) S 497 499 30566 0 -1 4202560 262 0 0 0 131 6 0 0 20 0 19 0 291357197 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498529409576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=511] ppid=497 vsize=9624980 CPUtime=8.2 cores=1,3,5,7
/proc/499/task/511/stat : 511 (java) S 497 499 30566 0 -1 4202560 464 0 0 0 817 3 0 0 20 0 19 0 291357198 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498517211752 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=499/tid=512] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/512/stat : 512 (java) S 497 499 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291357198 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498516158072 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=513] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/513/stat : 513 (java) S 497 499 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291357199 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140498515105416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=514] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/514/stat : 514 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497775488016 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=515] ppid=497 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/499/task/515/stat : 515 (java) S 497 499 30566 0 -1 4202560 2532 0 0 0 37 0 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497774434360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=499/tid=516] ppid=497 vsize=9624980 CPUtime=0.56 cores=1,3,5,7
/proc/499/task/516/stat : 516 (java) S 497 499 30566 0 -1 4202560 8585 0 0 0 54 2 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497773381816 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=499/tid=517] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/517/stat : 517 (java) S 497 499 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497772329464 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=499/tid=518] ppid=497 vsize=9624980 CPUtime=0.72 cores=1,3,5,7
/proc/499/task/518/stat : 518 (java) S 497 499 30566 0 -1 4202560 103 0 0 0 30 42 0 0 20 0 19 0 291357201 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497771277128 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=499/tid=519] ppid=497 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/499/task/519/stat : 519 (java) S 497 499 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291357221 9855979520 194071 33554432000 1073741824 1073778376 140733446407824 140497770222888 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143
Real time (s): 1790.26
CPU time (s): 1800.82
CPU user time (s): 1799.28
CPU system time (s): 1.54377
CPU usage (%): 100.59
Max. virtual memory (cumulated for all children) (KiB): 9625228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 1.54377
maximum resident set size= 776436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19141
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40725
involuntary context switches= 15746

runsolver used 5.78212 second user time and 15.3017 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-29 02:44:58
IDJOB=3718390
IDBENCH=79149
IDSOLVER=2301
FILE ID=node114/3718390-1338252298
RUNJOBID= node114-1338248715-32682
PBS_JOBID= 14624648
Free space on /tmp= 71464 MiB

SOLVER NAME= Sat4j PB  2012-05-28
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 HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718390-1338252298/watcher-3718390-1338252298 -o /tmp/evaluation-result-3718390-1338252298/solver-3718390-1338252298 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718390-1338252298.wbo

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

MD5SUM BENCH= 6dc14d51c0879b2054c8b72501c6facc
RANDOM SEED=625423581

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30347664 kB
Buffers:          845932 kB
Cached:           419988 kB
SwapCached:         2272 kB
Active:          1575020 kB
Inactive:          20020 kB
Active(anon):     314036 kB
Inactive(anon):     9072 kB
Active(file):    1260984 kB
Inactive(file):    10948 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103572 kB
Dirty:               500 kB
Writeback:             0 kB
AnonPages:        327428 kB
Mapped:            19028 kB
Shmem:               104 kB
Slab:             790296 kB
SReclaimable:     234412 kB
SUnreclaim:       555884 kB
KernelStack:        1608 kB
PageTables:         4520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     697164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71464 MiB
End job on node114 at 2012-05-29 03:14:51