Trace number 3688469

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)24 1800.1 1795.28

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark60.8677
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.08/0.08	c version 2.3.2.v20120418
0.08/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.08	c java.vm.version	19.1-b02
0.08/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.08	c sun.arch.data.model	64
0.08/0.08	c java.version		1.6.0_24
0.08/0.08	c os.name		Linux
0.08/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.08	c os.arch		amd64
0.08/0.08	c Free memory 		501472288
0.08/0.08	c Max memory 		7480803328
0.08/0.08	c Total memory 		504102912
0.08/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3688469-1337884453.opb
0.10/0.11	c reading problem ... 
0.74/0.40	c ... done. Wall clock time 0.294s.
0.74/0.40	c declared #vars     4318
0.74/0.40	c #constraints  15120
0.74/0.40	c constraints type 
0.74/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827
0.74/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
0.74/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287
0.74/0.40	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
0.74/0.40	c 15120 constraints processed.
0.74/0.40	c objective function length is 490 literals
0.74/0.46	c SATISFIABLE
0.74/0.46	c OPTIMIZING...
0.74/0.46	c Got one! Elapsed wall clock time (in seconds):0.346
0.74/0.46	o 26
1.04/0.51	c Got one! Elapsed wall clock time (in seconds):0.405
1.04/0.51	o 25
1.04/0.57	c Got one! Elapsed wall clock time (in seconds):0.461
1.04/0.57	o 24
2.88/2.03	c cleaning 2532 clauses out of 5064 with flag 5000/5064
4.75/3.90	c cleaning 4260 clauses out of 8532 with flag 11000/11064
6.95/6.03	c cleaning 5630 clauses out of 11273 with flag 18001/18065
9.07/8.19	c cleaning 6809 clauses out of 13643 with flag 26001/26065
11.41/10.40	c cleaning 7875 clauses out of 15833 with flag 35000/35064
13.72/12.78	c cleaning 8971 clauses out of 17958 with flag 45000/45064
16.44/15.46	c cleaning 9982 clauses out of 19987 with flag 56000/56064
19.23/18.26	c cleaning 10996 clauses out of 22005 with flag 68000/68064
22.64/21.62	c cleaning 11994 clauses out of 24009 with flag 81000/81064
25.96/24.97	c cleaning 12993 clauses out of 26015 with flag 95000/95064
29.80/28.41	c cleaning 14009 clauses out of 28022 with flag 110000/110064
34.22/32.50	c cleaning 15001 clauses out of 30013 with flag 126000/126064
38.73/37.01	c cleaning 15994 clauses out of 32012 with flag 143000/143064
43.03/41.33	c cleaning 16979 clauses out of 34018 with flag 161000/161064
47.63/45.96	c cleaning 17960 clauses out of 36039 with flag 180000/180064
52.54/50.84	c cleaning 19032 clauses out of 38079 with flag 200000/200064
57.76/56.03	c cleaning 20004 clauses out of 40047 with flag 221000/221064
63.27/61.51	c cleaning 21013 clauses out of 42043 with flag 243000/243064
69.17/67.42	c cleaning 22008 clauses out of 44030 with flag 266000/266064
75.39/73.62	c cleaning 22985 clauses out of 46022 with flag 290000/290064
82.11/80.33	c cleaning 24012 clauses out of 48037 with flag 315000/315064
89.72/87.96	c cleaning 25007 clauses out of 50025 with flag 341000/341064
97.33/95.50	c cleaning 25995 clauses out of 52018 with flag 368000/368064
106.25/104.46	c cleaning 27003 clauses out of 54023 with flag 396000/396064
114.67/112.86	c cleaning 27993 clauses out of 56022 with flag 425002/425066
123.79/121.98	c cleaning 29005 clauses out of 58027 with flag 455000/455064
133.81/131.91	c cleaning 30006 clauses out of 60022 with flag 486000/486064
141.74/139.83	c cleaning 30985 clauses out of 62016 with flag 518000/518064
150.79/148.82	c cleaning 31981 clauses out of 64031 with flag 551000/551064
158.92/156.99	c cleaning 32962 clauses out of 66051 with flag 585001/585065
168.04/166.05	c cleaning 34033 clauses out of 68088 with flag 620000/620064
176.83/174.77	c cleaning 34987 clauses out of 70055 with flag 656000/656064
186.15/184.04	c cleaning 35992 clauses out of 72068 with flag 693000/693064
195.18/193.02	c cleaning 37022 clauses out of 74076 with flag 731000/731064
204.71/202.53	c cleaning 38006 clauses out of 76054 with flag 770000/770064
214.55/212.35	c cleaning 38981 clauses out of 78050 with flag 810002/810066
224.97/222.70	c cleaning 39993 clauses out of 80068 with flag 851001/851065
235.39/233.17	c cleaning 41037 clauses out of 82080 with flag 893006/893070
246.72/244.45	c cleaning 41988 clauses out of 84037 with flag 936000/936064
257.85/255.52	c cleaning 42994 clauses out of 86049 with flag 980000/980064
268.88/266.55	c cleaning 43956 clauses out of 88055 with flag 1025000/1025064
281.80/279.43	c cleaning 45035 clauses out of 90100 with flag 1071001/1071065
293.73/291.39	c cleaning 45999 clauses out of 92064 with flag 1118000/1118064
305.16/302.72	c cleaning 46988 clauses out of 94065 with flag 1166000/1166064
317.69/315.29	c cleaning 48006 clauses out of 96077 with flag 1215000/1215064
330.02/327.55	c cleaning 49014 clauses out of 98071 with flag 1265000/1265064
344.29/341.77	c cleaning 49984 clauses out of 100057 with flag 1316000/1316064
358.73/356.15	c cleaning 51025 clauses out of 102074 with flag 1368001/1368065
375.47/372.83	c cleaning 52017 clauses out of 104051 with flag 1421003/1421067
389.81/387.17	c cleaning 52982 clauses out of 106031 with flag 1475000/1475064
404.22/401.54	c cleaning 54016 clauses out of 108049 with flag 1530000/1530064
419.23/416.51	c cleaning 54990 clauses out of 110034 with flag 1586001/1586065
436.19/433.43	c cleaning 56001 clauses out of 112043 with flag 1643000/1643064
451.10/448.30	c cleaning 56951 clauses out of 114042 with flag 1701000/1701064
466.03/463.26	c cleaning 58026 clauses out of 116093 with flag 1760002/1760066
484.97/482.18	c cleaning 58999 clauses out of 118065 with flag 1820000/1820064
504.40/501.56	c cleaning 59981 clauses out of 120066 with flag 1881000/1881064
519.74/516.80	c cleaning 61002 clauses out of 122086 with flag 1943001/1943065
537.18/534.22	c cleaning 62018 clauses out of 124083 with flag 2006000/2006064
554.11/551.18	c cleaning 63013 clauses out of 126066 with flag 2070001/2070065
571.64/568.67	c cleaning 64009 clauses out of 128052 with flag 2135000/2135064
590.37/587.39	c cleaning 65016 clauses out of 130043 with flag 2201000/2201064
610.31/607.21	c cleaning 65986 clauses out of 132028 with flag 2268001/2268065
629.22/626.13	c cleaning 67013 clauses out of 134041 with flag 2336000/2336064
647.96/644.81	c cleaning 67993 clauses out of 136029 with flag 2405001/2405065
666.88/663.72	c cleaning 69008 clauses out of 138035 with flag 2475000/2475064
685.51/682.32	c cleaning 70009 clauses out of 140029 with flag 2546002/2546066
707.25/704.05	c cleaning 70975 clauses out of 142018 with flag 2618000/2618064
729.38/726.13	c cleaning 72002 clauses out of 144043 with flag 2691000/2691064
749.59/746.34	c cleaning 72994 clauses out of 146041 with flag 2765000/2765064
771.51/768.20	c cleaning 74011 clauses out of 148047 with flag 2840000/2840064
791.54/788.25	c cleaning 74991 clauses out of 150036 with flag 2916000/2916064
813.99/810.61	c cleaning 76017 clauses out of 152045 with flag 2993000/2993064
838.43/835.02	c cleaning 76977 clauses out of 154028 with flag 3071000/3071064
863.67/860.24	c cleaning 77977 clauses out of 156051 with flag 3150000/3150064
889.00/885.59	c cleaning 78987 clauses out of 158075 with flag 3230001/3230065
913.90/910.47	c cleaning 80019 clauses out of 160090 with flag 3311003/3311067
935.94/932.45	c cleaning 81006 clauses out of 162068 with flag 3393000/3393064
958.78/955.25	c cleaning 82014 clauses out of 164062 with flag 3476000/3476064
981.63/978.01	c cleaning 82994 clauses out of 166049 with flag 3560001/3560065
1006.09/1002.47	c cleaning 83973 clauses out of 168054 with flag 3645000/3645064
1027.72/1024.09	c cleaning 85011 clauses out of 170082 with flag 3731001/3731065
1050.07/1046.35	c cleaning 85988 clauses out of 172070 with flag 3818000/3818064
1070.39/1066.68	c cleaning 87015 clauses out of 174082 with flag 3906000/3906064
1091.65/1087.88	c cleaning 88012 clauses out of 176068 with flag 3995001/3995065
1118.99/1115.16	c cleaning 88987 clauses out of 178055 with flag 4085000/4085064
1145.13/1141.22	c cleaning 89986 clauses out of 180069 with flag 4176001/4176065
1166.05/1162.10	c cleaning 91012 clauses out of 182082 with flag 4268000/4268064
1188.39/1184.45	c cleaning 92011 clauses out of 184070 with flag 4361000/4361064
1209.25/1205.23	c cleaning 92963 clauses out of 186059 with flag 4455000/4455064
1234.10/1230.04	c cleaning 94045 clauses out of 188097 with flag 4550001/4550065
1262.22/1258.15	c cleaning 94979 clauses out of 190052 with flag 4646001/4646065
1293.37/1289.24	c cleaning 96027 clauses out of 192074 with flag 4743002/4743066
1324.20/1320.07	c cleaning 96977 clauses out of 194045 with flag 4841000/4841064
1352.21/1348.01	c cleaning 98020 clauses out of 196068 with flag 4940000/4940064
1383.76/1379.55	c cleaning 98991 clauses out of 198048 with flag 5040000/5040064
1414.14/1409.87	c cleaning 99997 clauses out of 200057 with flag 5141000/5141064
1445.50/1441.17	c cleaning 101009 clauses out of 202060 with flag 5243000/5243064
1473.42/1469.07	c cleaning 102017 clauses out of 204051 with flag 5346000/5346064
1507.15/1502.70	c cleaning 103002 clauses out of 206034 with flag 5450000/5450064
1539.70/1535.21	c cleaning 104006 clauses out of 208032 with flag 5555000/5555064
1576.45/1571.99	c cleaning 104989 clauses out of 210026 with flag 5661000/5661064
1610.50/1605.96	c cleaning 105989 clauses out of 212037 with flag 5768000/5768064
1646.27/1641.62	c cleaning 106994 clauses out of 214048 with flag 5876000/5876064
1682.90/1678.29	c cleaning 108016 clauses out of 216056 with flag 5985002/5985066
1720.24/1715.57	c cleaning 109001 clauses out of 218038 with flag 6095000/6095064
1752.08/1747.32	c cleaning 109998 clauses out of 220037 with flag 6206000/6206064
1784.53/1779.79	c cleaning 111000 clauses out of 222045 with flag 6318006/6318070
1800.10/1795.22	c starts		: 279
1800.10/1795.22	c conflicts		: 6373536
1800.10/1795.22	c decisions		: 61631531
1800.10/1795.22	c propagations		: 4371164820
1800.10/1795.22	c inspects		: 15238193027
1800.10/1795.22	c shortcuts		: 0
1800.10/1795.22	c learnt literals	: 0
1800.10/1795.22	c learnt binary clauses	: 7
1800.10/1795.22	c learnt ternary clauses	: 13
1800.10/1795.22	c learnt constraints	: 6373536
1800.10/1795.22	c ignored constraints	: 0
1800.10/1795.22	c root simplifications	: 0
1800.10/1795.22	c removed literals (reason simplification)	: 0
1800.10/1795.22	c reason swapping (by a shorter reason)	: 0
1800.10/1795.22	c Calls to reduceDB	: 108
1800.10/1795.22	c number of reductions to clauses (during analyze)	: 0
1800.10/1795.22	c number of learned constraints concerned by reduction	: 0
1800.10/1795.22	c number of learning phase by resolution	: 0
1800.10/1795.22	c number of learning phase by cutting planes	: 0
1800.10/1795.22	c speed (assignments/second)	: 2435465.135611437
1800.10/1795.22	c non guided choices	0
1800.10/1795.25	c learnt constraints type 
1800.10/1795.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 7
1800.10/1795.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 166589
1800.10/1795.25	c constraints type 
1800.10/1795.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827
1800.10/1795.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1800.10/1795.25	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287
1800.10/1795.25	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1800.10/1795.25	c 15121 constraints processed.
1800.10/1795.25	s SATISFIABLE
1800.10/1795.26	v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 x579 x580 x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 x3265 x3266 x3267 -x3268 x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 x3413 x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 x3432 -x3433 x3434 -x3435 x3436 -x3437 x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 x3453 x3454 x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515 -x3516 -x3517 x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 -x3634 x3635 x3636 x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4032 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 
1800.10/1795.26	c objective function=24
1800.10/1795.26	c Total wall clock time (in seconds): 1795.153

Verifier Data 

OK	24

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-3688469-1337884453/watcher-3688469-1337884453 -o /tmp/evaluation-result-3688469-1337884453/solver-3688469-1337884453 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688469-1337884453.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.01 2.00 3/196 24323
/proc/meminfo: memFree=29082748/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 1185 0 0 0 0 0 0 0 20 0 2 0 254570712 94085120 905 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 22954 900 682 9 0 16769 0
[pid=24323/tid=24324] ppid=24321 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 2 0 254570713 94019584 914 33554432000 1073741824 1073778376 140734867890624 140734867879688 140084180837911 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0878601 s]
/proc/loadavg: 1.99 2.01 2.00 3/196 24323
/proc/meminfo: memFree=29082748/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 4157 0 1 0 7 1 0 0 20 0 18 0 254570712 9787813888 5358 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2389603 5361 2080 9 0 2380296 0
[pid=24323/tid=24324] ppid=24321 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2278 0 1 0 6 0 0 0 20 0 18 0 254570713 9787813888 5361 33554432000 1073741824 1073778376 140734867890624 140084174293328 140084179053042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.100348 s]
/proc/loadavg: 1.99 2.01 2.00 3/196 24323
/proc/meminfo: memFree=29082748/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 4346 0 1 0 9 1 0 0 20 0 18 0 254570712 9787813888 5546 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2389603 5547 2108 9 0 2380296 0
[pid=24323/tid=24324] ppid=24321 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2409 0 1 0 7 0 0 0 20 0 18 0 254570713 9787813888 5547 33554432000 1073741824 1073778376 140734867890624 140084174293328 140084182059859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300227 s]
/proc/loadavg: 1.99 2.01 2.00 3/196 24323
/proc/meminfo: memFree=29082748/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 5617 0 1 0 49 1 0 0 20 0 18 0 254570712 9787813888 8421 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2389603 8421 2217 9 0 2380296 0
[pid=24323/tid=24324] ppid=24321 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2444 0 1 0 26 1 0 0 20 0 18 0 254570713 9787813888 8421 33554432000 1073741824 1073778376 140734867890624 140084174293328 273909081357 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.700302 s]
/proc/loadavg: 1.99 2.01 2.00 3/196 24323
/proc/meminfo: memFree=29082748/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9624976 CPUtime=1.53 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 11462 0 1 0 150 3 0 0 20 0 19 0 254570712 9855975424 16336 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2406244 16336 2251 9 0 2396937 0
[pid=24323/tid=24324] ppid=24321 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2470 0 1 0 66 1 0 0 20 0 19 0 254570713 9855975424 16336 33554432000 1073741824 1073778376 140734867890624 140084174287296 140083999794042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9624976

[startup+1.50065 s]
/proc/loadavg: 1.99 2.01 2.00 3/215 24342
/proc/meminfo: memFree=29026176/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9624976 CPUtime=2.38 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 11467 0 1 0 235 3 0 0 20 0 19 0 254570712 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2406244 16340 2254 9 0 2396937 0
[pid=24323/tid=24324] ppid=24321 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2471 0 1 0 146 1 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084174293576 140083999794023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24326] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084135787176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24327] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24327/stat : 24327 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084134734632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24328] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24328/stat : 24328 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084133682088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24329] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24329/stat : 24329 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084132629544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24330] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24330/stat : 24330 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084131575976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24331] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24331/stat : 24331 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084130523432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24332] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24332/stat : 24332 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084129470888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24333] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24333/stat : 24333 (java) S 24321 24323 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140084128418344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24334] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24334/stat : 24334 (java) S 24321 24323 22462 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254570714 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083997956712 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24335] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24335/stat : 24335 (java) S 24321 24323 22462 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083996903032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24336] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24336/stat : 24336 (java) S 24321 24323 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083995850376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24337] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24337/stat : 24337 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083994799120 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24338] ppid=24321 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/24323/task/24338/stat : 24338 (java) S 24321 24323 22462 0 -1 4202560 4825 0 0 0 44 0 0 0 20 0 19 0 254570717 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083993745464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24339] ppid=24321 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/24323/task/24339/stat : 24339 (java) S 24321 24323 22462 0 -1 4202560 2972 0 0 0 43 0 0 0 20 0 19 0 254570717 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083992692920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24340] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24340/stat : 24340 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083991640568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24341] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24341/stat : 24341 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570718 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083990588232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24342] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24342/stat : 24342 (java) S 24321 24323 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254570754 9855975424 16340 33554432000 1073741824 1073778376 140734867890624 140083989533992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 9624976

[startup+3.10063 s]
/proc/loadavg: 1.99 2.01 2.00 3/215 24342
/proc/meminfo: memFree=29015440/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9624976 CPUtime=4.02 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 11524 0 1 0 399 3 0 0 20 0 19 0 254570712 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2406244 18943 2279 9 0 2396937 0
[pid=24323/tid=24324] ppid=24321 vsize=9624976 CPUtime=3.05 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2474 0 1 0 304 1 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084174295176 140083999740411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24326] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (java) S 24321 24323 22462 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084135787176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24327] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24327/stat : 24327 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084134734632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24328] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24328/stat : 24328 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084133682088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24329] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24329/stat : 24329 (java) S 24321 24323 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084132629544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24330] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24330/stat : 24330 (java) S 24321 24323 22462 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084131575976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24331] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24331/stat : 24331 (java) S 24321 24323 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084130523432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24332] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24332/stat : 24332 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084129470888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24333] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24333/stat : 24333 (java) S 24321 24323 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140084128418344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24334] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24334/stat : 24334 (java) S 24321 24323 22462 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 254570714 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083997956712 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24335] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24335/stat : 24335 (java) S 24321 24323 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083996903032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24336] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24336/stat : 24336 (java) S 24321 24323 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083995850376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24337] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24337/stat : 24337 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083994799120 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24338] ppid=24321 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/24323/task/24338/stat : 24338 (java) S 24321 24323 22462 0 -1 4202560 4826 0 0 0 45 0 0 0 20 0 19 0 254570717 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083993745464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24339] ppid=24321 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/24323/task/24339/stat : 24339 (java) S 24321 24323 22462 0 -1 4202560 2976 0 0 0 44 0 0 0 20 0 19 0 254570717 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083992692920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24340] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24340/stat : 24340 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083991640568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24341] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24341/stat : 24341 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570718 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083990588232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24342] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24342/stat : 24342 (java) S 24321 24323 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254570754 9855975424 18943 33554432000 1073741824 1073778376 140734867890624 140083989533992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 1.99 2.01 2.00 3/215 24342
/proc/meminfo: memFree=29014012/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9624976 CPUtime=7.26 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 11546 0 1 0 723 3 0 0 20 0 19 0 254570712 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2406244 19021 2279 9 0 2396937 0
[pid=24323/tid=24324] ppid=24321 vsize=9624976 CPUtime=6.2 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2476 0 1 0 619 1 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084174295448 140083999695327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24326] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (java) S 24321 24323 22462 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084135787176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24327] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24327/stat : 24327 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084134734632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24328] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24328/stat : 24328 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084133682088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24329] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24329/stat : 24329 (java) S 24321 24323 22462 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084132629544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24330] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24330/stat : 24330 (java) S 24321 24323 22462 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084131575976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24331] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24331/stat : 24331 (java) S 24321 24323 22462 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084130523432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24332] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24332/stat : 24332 (java) S 24321 24323 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084129470888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24333] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24333/stat : 24333 (java) S 24321 24323 22462 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254570713 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140084128418344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24334] ppid=24321 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24323/task/24334/stat : 24334 (java) S 24321 24323 22462 0 -1 4202560 37 0 0 0 3 0 0 0 20 0 19 0 254570714 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140083997956712 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24335] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24335/stat : 24335 (java) S 24321 24323 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140083996903032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24336] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24336/stat : 24336 (java) S 24321 24323 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140083995850376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24337] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24337/stat : 24337 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140083994799120 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24338] ppid=24321 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/24323/task/24338/stat : 24338 (java) S 24321 24323 22462 0 -1 4202560 4830 0 0 0 47 0 0 0 20 0 19 0 254570717 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140083993745464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24339] ppid=24321 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/24323/task/24339/stat : 24339 (java) S 24321 24323 22462 0 -1 4202560 2976 0 0 0 46 0 0 0 20 0 19 0 254570717 9855975424 19021 33554432000 1073741824 1073778376 140734867890624 140083992692920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=24323/tid=24338] ppid=24321 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/24323/task/24338/stat : 24338 (java) S 24321 24323 22462 0 -1 4202560 14283 0 0 0 119 3 0 0 20 0 19 0 254570717 9855975424 51811 33554432000 1073741824 1073778376 140734867890624 140083993745464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24339] ppid=24321 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/24323/task/24339/stat : 24339 (java) S 24321 24323 22462 0 -1 4202560 2984 0 0 0 51 0 0 0 20 0 19 0 254570717 9855975424 51811 33554432000 1073741824 1073778376 140734867890624 140083992692920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24340] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24340/stat : 24340 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 51811 33554432000 1073741824 1073778376 140734867890624 140083991640568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24341] ppid=24321 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/24323/task/24341/stat : 24341 (java) S 24321 24323 22462 0 -1 4202560 94 0 0 0 26 18 0 0 20 0 19 0 254570718 9855975424 51811 33554432000 1073741824 1073778376 140734867890624 140083990588232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24342] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24342/stat : 24342 (java) S 24321 24323 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254570754 9855975424 51811 33554432000 1073741824 1073778376 140734867890624 140083989533992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1667
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 24379
/proc/meminfo: memFree=28732860/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9624976 CPUtime=1727.07 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 22883 0 1 0 172668 39 0 0 20 0 19 0 254570712 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2406244 51835 2280 9 0 2396937 0
[pid=24323/tid=24324] ppid=24321 vsize=9624976 CPUtime=1711.91 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2597 0 1 0 171163 28 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084174295328 140083999776234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24326] ppid=24321 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (java) S 24321 24323 22462 0 -1 4202560 297 0 0 0 45 2 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084135787176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24327] ppid=24321 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/24323/task/24327/stat : 24327 (java) S 24321 24323 22462 0 -1 4202560 105 0 0 0 42 2 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084134734632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24328] ppid=24321 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/24323/task/24328/stat : 24328 (java) S 24321 24323 22462 0 -1 4202560 286 0 0 0 52 2 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084133682088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24329] ppid=24321 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/24323/task/24329/stat : 24329 (java) S 24321 24323 22462 0 -1 4202560 224 0 0 0 49 2 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084132629544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24330] ppid=24321 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/24323/task/24330/stat : 24330 (java) S 24321 24323 22462 0 -1 4202560 262 0 0 0 44 2 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084131575976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24331] ppid=24321 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/24323/task/24331/stat : 24331 (java) S 24321 24323 22462 0 -1 4202560 84 0 0 0 50 0 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084130523432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24332] ppid=24321 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/24323/task/24332/stat : 24332 (java) S 24321 24323 22462 0 -1 4202560 180 0 0 0 48 2 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084129470888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24333] ppid=24321 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/24323/task/24333/stat : 24333 (java) S 24321 24323 22462 0 -1 4202560 133 0 0 0 48 0 0 0 20 0 19 0 254570713 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140084128418344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24334] ppid=24321 vsize=9624976 CPUtime=4.69 cores=1,3,5,7
/proc/24323/task/24334/stat : 24334 (java) S 24321 24323 22462 0 -1 4202560 166 0 0 0 467 2 0 0 20 0 19 0 254570714 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083997956712 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24335] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24335/stat : 24335 (java) S 24321 24323 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083996903032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24336] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24336/stat : 24336 (java) S 24321 24323 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083995850376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24337] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24337/stat : 24337 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083994799120 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24338] ppid=24321 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/24323/task/24338/stat : 24338 (java) S 24321 24323 22462 0 -1 4202560 14283 0 0 0 119 3 0 0 20 0 19 0 254570717 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083993745464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24339] ppid=24321 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/24323/task/24339/stat : 24339 (java) S 24321 24323 22462 0 -1 4202560 2984 0 0 0 51 0 0 0 20 0 19 0 254570717 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083992692920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24340] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24340/stat : 24340 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083991640568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24341] ppid=24321 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/24323/task/24341/stat : 24341 (java) S 24321 24323 22462 0 -1 4202560 98 0 0 0 28 19 0 0 20 0 19 0 254570718 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083990588232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24342] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24342/stat : 24342 (java) S 24321 24323 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254570754 9855975424 51835 33554432000 1073741824 1073778376 140734867890624 140083989533992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.07
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/194 24382
/proc/meminfo: memFree=29210040/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9624976 CPUtime=1787.18 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 22903 0 1 0 178678 40 0 0 20 0 19 0 254570712 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2406244 51845 2280 9 0 2396937 0
[pid=24323/tid=24324] ppid=24321 vsize=9624976 CPUtime=1771.55 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2599 0 1 0 177127 28 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084174295328 140083999677615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24326] ppid=24321 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (java) S 24321 24323 22462 0 -1 4202560 297 0 0 0 48 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084135787176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24327] ppid=24321 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/24323/task/24327/stat : 24327 (java) S 24321 24323 22462 0 -1 4202560 109 0 0 0 44 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084134734632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24328] ppid=24321 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/24323/task/24328/stat : 24328 (java) S 24321 24323 22462 0 -1 4202560 286 0 0 0 54 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084133682088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24329] ppid=24321 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/24323/task/24329/stat : 24329 (java) S 24321 24323 22462 0 -1 4202560 227 0 0 0 51 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084132629544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24330] ppid=24321 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/24323/task/24330/stat : 24330 (java) S 24321 24323 22462 0 -1 4202560 262 0 0 0 45 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084131575976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24331] ppid=24321 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/24323/task/24331/stat : 24331 (java) S 24321 24323 22462 0 -1 4202560 84 0 0 0 51 0 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084130523432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24332] ppid=24321 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/24323/task/24332/stat : 24332 (java) S 24321 24323 22462 0 -1 4202560 180 0 0 0 50 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084129470888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24333] ppid=24321 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/24323/task/24333/stat : 24333 (java) S 24321 24323 22462 0 -1 4202560 136 0 0 0 49 0 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084128418344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24334] ppid=24321 vsize=9624976 CPUtime=4.85 cores=1,3,5,7
/proc/24323/task/24334/stat : 24334 (java) S 24321 24323 22462 0 -1 4202560 170 0 0 0 482 3 0 0 20 0 19 0 254570714 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083997956712 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24335] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24335/stat : 24335 (java) S 24321 24323 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083996903032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24336] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24336/stat : 24336 (java) S 24321 24323 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083995850376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24337] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24337/stat : 24337 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083994799120 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24338] ppid=24321 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/24323/task/24338/stat : 24338 (java) S 24321 24323 22462 0 -1 4202560 14283 0 0 0 119 3 0 0 20 0 19 0 254570717 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083993745464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24339] ppid=24321 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/24323/task/24339/stat : 24339 (java) S 24321 24323 22462 0 -1 4202560 2984 0 0 0 51 0 0 0 20 0 19 0 254570717 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083992692920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24340] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24340/stat : 24340 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083991640568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24341] ppid=24321 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/24323/task/24341/stat : 24341 (java) S 24321 24323 22462 0 -1 4202560 102 0 0 0 30 20 0 0 20 0 19 0 254570718 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083990588232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24342] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24342/stat : 24342 (java) S 24321 24323 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254570754 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083989533992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1787.18
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.21 s]
/proc/loadavg: 1.93 1.98 1.99 3/215 24439
/proc/meminfo: memFree=29149764/32873844 swapFree=7124/7124
[pid=24323] ppid=24321 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/24323/stat : 24323 (java) S 24321 24323 22462 0 -1 4202496 22903 0 1 0 179970 40 0 0 20 0 19 0 254570712 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140734867881760 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24323/statm: 2406244 51845 2280 9 0 2396937 0
[pid=24323/tid=24324] ppid=24321 vsize=9624976 CPUtime=1784.43 cores=1,3,5,7
/proc/24323/task/24324/stat : 24324 (java) R 24321 24323 22462 0 -1 4202560 2599 0 1 0 178414 29 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084174295328 140083999775541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24326] ppid=24321 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/24323/task/24326/stat : 24326 (java) S 24321 24323 22462 0 -1 4202560 297 0 0 0 48 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084135787176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24327] ppid=24321 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/24323/task/24327/stat : 24327 (java) S 24321 24323 22462 0 -1 4202560 109 0 0 0 44 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084134734632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24328] ppid=24321 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/24323/task/24328/stat : 24328 (java) S 24321 24323 22462 0 -1 4202560 286 0 0 0 54 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084133682088 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24329] ppid=24321 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/24323/task/24329/stat : 24329 (java) S 24321 24323 22462 0 -1 4202560 227 0 0 0 51 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084132629544 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24330] ppid=24321 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/24323/task/24330/stat : 24330 (java) S 24321 24323 22462 0 -1 4202560 262 0 0 0 45 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084131575976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24331] ppid=24321 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/24323/task/24331/stat : 24331 (java) S 24321 24323 22462 0 -1 4202560 84 0 0 0 51 0 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084130523432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24332] ppid=24321 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/24323/task/24332/stat : 24332 (java) S 24321 24323 22462 0 -1 4202560 180 0 0 0 50 2 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084129470888 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24333] ppid=24321 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/24323/task/24333/stat : 24333 (java) S 24321 24323 22462 0 -1 4202560 136 0 0 0 49 0 0 0 20 0 19 0 254570713 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140084128418344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24323/tid=24334] ppid=24321 vsize=9624976 CPUtime=4.85 cores=1,3,5,7
/proc/24323/task/24334/stat : 24334 (java) S 24321 24323 22462 0 -1 4202560 170 0 0 0 482 3 0 0 20 0 19 0 254570714 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083997956712 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24335] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24335/stat : 24335 (java) S 24321 24323 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083996903032 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24336] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24336/stat : 24336 (java) S 24321 24323 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254570715 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083995850376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24337] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24337/stat : 24337 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083994799120 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24338] ppid=24321 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/24323/task/24338/stat : 24338 (java) S 24321 24323 22462 0 -1 4202560 14283 0 0 0 119 3 0 0 20 0 19 0 254570717 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083993745464 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24323/tid=24339] ppid=24321 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/24323/task/24339/stat : 24339 (java) S 24321 24323 22462 0 -1 4202560 2984 0 0 0 51 0 0 0 20 0 19 0 254570717 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083992692920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24340] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24340/stat : 24340 (java) S 24321 24323 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254570717 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083991640568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24323/tid=24341] ppid=24321 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/24323/task/24341/stat : 24341 (java) S 24321 24323 22462 0 -1 4202560 102 0 0 0 30 20 0 0 20 0 19 0 254570718 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083990588232 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24323/tid=24342] ppid=24321 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24323/task/24342/stat : 24342 (java) S 24321 24323 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254570754 9855975424 51845 33554432000 1073741824 1073778376 140734867890624 140083989533992 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

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

Real time (s): 1795.28
CPU time (s): 1800.1
CPU user time (s): 1799.7
CPU system time (s): 0.4
CPU usage (%): 100.268
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.14
system time used= 0.812876
maximum resident set size= 207492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22935
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40835
involuntary context switches= 9916

runsolver used 5.9321 second user time and 15.6306 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-24 20:34:13
IDJOB=3688469
IDBENCH=25017
IDSOLVER=2269
FILE ID=node134/3688469-1337884453
RUNJOBID= node134-1337871881-22479
PBS_JOBID= 14620070
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=597742442

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29083400 kB
Buffers:          220164 kB
Cached:          2460436 kB
SwapCached:            0 kB
Active:           817924 kB
Inactive:        2195408 kB
Active(anon):     328472 kB
Inactive(anon):     5996 kB
Active(file):     489452 kB
Inactive(file):  2189412 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13188 kB
Writeback:             0 kB
AnonPages:        348832 kB
Mapped:            22484 kB
Shmem:               212 kB
Slab:             628300 kB
SReclaimable:      70200 kB
SUnreclaim:       558100 kB
KernelStack:        1616 kB
PageTables:         4892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1083264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node134 at 2012-05-24 21:04:11