Trace number 3718161

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.55 1782.77

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
MD5SUM62825c7b78173675be8da33e26a62860
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.60875
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints82
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 4502
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4501
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120528
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718161-1338250524.wbo
0.09/0.11	c reading problem ... 
0.27/0.26	c ... done. Wall clock time 0.148s.
0.27/0.26	c declared #vars     3900
0.27/0.26	c internal #vars     3982
0.27/0.26	c #constraints  125
0.27/0.26	c constraints type 
0.27/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65
0.27/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.27/0.26	c ignored satisfied constraints => 1
0.27/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 38
0.27/0.26	c 126 constraints processed.
0.27/0.26	c objective function length is 82 literals
0.79/0.43	c SATISFIABLE
0.79/0.43	c OPTIMIZING...
0.79/0.43	c Got one! Elapsed wall clock time (in seconds):0.319
0.79/0.43	o 65
0.79/0.48	c Got one! Elapsed wall clock time (in seconds):0.367
0.79/0.48	o 4
1.07/0.58	c Got one! Elapsed wall clock time (in seconds):0.468
1.07/0.58	o 1
1.56/0.90	c cleaning 2881 clauses out of 5776 with flag 20249/5776
2.10/1.42	c cleaning 4438 clauses out of 8894 with flag 55774/11775
2.61/1.99	c cleaning 5715 clauses out of 11456 with flag 98669/18775
3.55/2.87	c cleaning 6855 clauses out of 13742 with flag 145369/26776
4.61/3.80	c cleaning 7914 clauses out of 15888 with flag 198783/35777
5.61/4.81	c cleaning 8968 clauses out of 17973 with flag 264335/45776
6.93/6.13	c cleaning 10003 clauses out of 20007 with flag 338901/56778
8.86/8.04	c cleaning 10981 clauses out of 22001 with flag 411238/68775
10.78/9.96	c cleaning 11999 clauses out of 24021 with flag 485983/81776
12.80/11.90	c cleaning 12994 clauses out of 26022 with flag 582000/95776
15.04/14.16	c cleaning 13998 clauses out of 28027 with flag 697773/110775
16.96/16.06	c cleaning 14990 clauses out of 30029 with flag 803447/126775
19.99/19.05	c cleaning 16003 clauses out of 32039 with flag 908871/143775
23.22/22.26	c cleaning 17009 clauses out of 34037 with flag 1046844/161776
26.16/25.18	c cleaning 17987 clauses out of 36028 with flag 1194506/180776
29.51/28.44	c cleaning 19001 clauses out of 38045 with flag 1324033/200780
33.65/32.58	c cleaning 19994 clauses out of 40041 with flag 1488675/221777
37.81/36.62	c cleaning 21015 clauses out of 42046 with flag 1670897/243776
42.15/40.96	c cleaning 22002 clauses out of 44030 with flag 1865647/266775
45.81/44.53	c cleaning 22992 clauses out of 46028 with flag 2021326/290775
50.66/49.38	c cleaning 24008 clauses out of 48036 with flag 2246264/315775
56.31/54.90	c cleaning 25006 clauses out of 50032 with flag 2454747/341779
61.88/60.46	c cleaning 26006 clauses out of 52022 with flag 2701424/368775
67.80/66.31	c cleaning 26996 clauses out of 54016 with flag 2967542/396775
73.21/71.67	c cleaning 27987 clauses out of 56020 with flag 3173153/425775
80.47/78.86	c cleaning 29002 clauses out of 58035 with flag 3417282/455777
88.56/86.90	c cleaning 30006 clauses out of 60032 with flag 3707962/486776
97.85/96.06	c cleaning 30998 clauses out of 62026 with flag 3999611/518776
107.12/105.25	c cleaning 32003 clauses out of 64027 with flag 4296264/551775
119.00/117.07	c cleaning 33006 clauses out of 66026 with flag 4629205/585777
125.38/123.31	c cleaning 33975 clauses out of 68019 with flag 4875891/620776
133.75/131.63	c cleaning 35005 clauses out of 70043 with flag 5197288/656775
142.41/140.21	c cleaning 36004 clauses out of 72038 with flag 5526364/693775
152.00/149.71	c cleaning 36996 clauses out of 74036 with flag 5918200/731777
165.46/163.19	c cleaning 37997 clauses out of 76038 with flag 6311850/770775
176.39/173.96	c cleaning 39014 clauses out of 78044 with flag 6667106/810778
190.39/187.83	c cleaning 40002 clauses out of 80029 with flag 7067258/851777
200.00/197.30	c cleaning 40992 clauses out of 82025 with flag 7398018/893775
209.28/206.55	c cleaning 41998 clauses out of 84033 with flag 7713583/936775
220.96/218.13	c cleaning 43001 clauses out of 86037 with flag 8095687/980777
233.15/230.27	c cleaning 44001 clauses out of 88034 with flag 8495400/1025775
249.91/246.79	c cleaning 45007 clauses out of 90035 with flag 8946303/1071777
264.03/260.86	c cleaning 45998 clauses out of 92028 with flag 9381056/1118777
278.72/275.44	c cleaning 46998 clauses out of 94029 with flag 9883343/1166776
291.61/288.27	c cleaning 48009 clauses out of 96030 with flag 10328022/1215775
308.89/305.41	c cleaning 48999 clauses out of 98021 with flag 10818001/1265775
326.30/322.72	c cleaning 49994 clauses out of 100022 with flag 11391233/1316775
337.11/333.43	c cleaning 50996 clauses out of 102029 with flag 11786266/1368776
352.74/348.80	c cleaning 51996 clauses out of 104032 with flag 12279094/1421775
379.00/374.89	c cleaning 53012 clauses out of 106036 with flag 12877317/1475775
399.34/395.05	c cleaning 54002 clauses out of 108027 with flag 13470295/1530778
421.29/416.84	c cleaning 54999 clauses out of 110024 with flag 14046112/1586777
438.68/434.18	c cleaning 56004 clauses out of 112028 with flag 14610287/1643780
465.61/460.98	c cleaning 56998 clauses out of 114019 with flag 15141402/1701775
490.13/485.38	c cleaning 57997 clauses out of 116021 with flag 15733276/1760775
513.14/508.21	c cleaning 58999 clauses out of 118024 with flag 16289113/1820775
539.95/534.94	c cleaning 59997 clauses out of 120026 with flag 16903225/1881776
576.38/571.04	c cleaning 60980 clauses out of 122028 with flag 17562547/1943775
602.44/597.05	c cleaning 62005 clauses out of 124048 with flag 18154762/2006775
618.88/613.39	c cleaning 63011 clauses out of 126043 with flag 18690809/2070775
639.63/633.96	c cleaning 64001 clauses out of 128034 with flag 19255368/2135777
662.58/656.79	c cleaning 64999 clauses out of 130033 with flag 19839449/2201777
691.71/685.78	c cleaning 65998 clauses out of 132032 with flag 20517979/2268775
714.25/708.18	c cleaning 67002 clauses out of 134034 with flag 21132149/2336775
747.70/741.41	c cleaning 68000 clauses out of 136033 with flag 21793128/2405776
769.94/763.59	c cleaning 69004 clauses out of 138033 with flag 22466346/2475776
805.48/798.96	c cleaning 69998 clauses out of 140029 with flag 23195990/2546776
835.92/829.25	c cleaning 71001 clauses out of 142031 with flag 23929581/2618776
858.75/851.92	c cleaning 72008 clauses out of 144031 with flag 24620046/2691777
888.38/881.47	c cleaning 72990 clauses out of 146021 with flag 25326732/2765775
921.37/914.28	c cleaning 74003 clauses out of 148032 with flag 26124231/2840776
951.31/944.06	c cleaning 75002 clauses out of 150030 with flag 26933908/2916777
978.56/971.15	c cleaning 75996 clauses out of 152027 with flag 27722841/2993776
999.11/991.51	c cleaning 77003 clauses out of 154030 with flag 28351204/3071775
1027.46/1019.58	c cleaning 78003 clauses out of 156027 with flag 29077500/3150775
1057.66/1049.36	c cleaning 78995 clauses out of 158024 with flag 29883519/3230775
1089.66/1080.85	c cleaning 79984 clauses out of 160029 with flag 30644321/3311775
1137.77/1128.61	c cleaning 81010 clauses out of 162045 with flag 31446412/3393775
1173.21/1163.70	c cleaning 82000 clauses out of 164037 with flag 32318334/3476777
1217.56/1207.82	c cleaning 83004 clauses out of 166036 with flag 33187564/3560776
1268.16/1258.14	c cleaning 83993 clauses out of 168032 with flag 34134755/3645776
1305.88/1295.54	c cleaning 84990 clauses out of 170039 with flag 35031811/3731776
1342.45/1331.88	c cleaning 85996 clauses out of 172051 with flag 35862296/3818778
1388.93/1378.09	c cleaning 87016 clauses out of 174054 with flag 36650037/3906777
1426.51/1415.14	c cleaning 88019 clauses out of 176049 with flag 37630154/3995788
1495.35/1483.36	c cleaning 89001 clauses out of 178018 with flag 38427347/4085776
1542.47/1529.74	c cleaning 89999 clauses out of 180017 with flag 39421242/4176776
1606.79/1592.91	c cleaning 91001 clauses out of 182019 with flag 40582083/4268777
1660.60/1645.67	c cleaning 91995 clauses out of 184019 with flag 41715240/4361778
1718.69/1702.90	c cleaning 93003 clauses out of 186026 with flag 42742891/4455780
1745.88/1729.49	c cleaning 93995 clauses out of 188019 with flag 43556366/4550776
1783.58/1766.57	c cleaning 94995 clauses out of 190023 with flag 44380614/4646775
1800.04/1782.71	c starts		: 274
1800.04/1782.71	c conflicts		: 4695735
1800.04/1782.71	c decisions		: 6203503
1800.04/1782.71	c propagations		: 219833846
1800.04/1782.71	c inspects		: 17274515490
1800.04/1782.71	c shortcuts		: 0
1800.04/1782.71	c learnt literals	: 0
1800.04/1782.71	c learnt binary clauses	: 0
1800.04/1782.71	c learnt ternary clauses	: 0
1800.04/1782.71	c learnt constraints	: 4695735
1800.04/1782.71	c ignored constraints	: 0
1800.04/1782.71	c root simplifications	: 0
1800.04/1782.71	c removed literals (reason simplification)	: 0
1800.04/1782.71	c reason swapping (by a shorter reason)	: 0
1800.04/1782.71	c Calls to reduceDB	: 92
1800.04/1782.71	c Number of update (reduction) of LBD	: 2842456
1800.04/1782.71	c number of reductions to clauses (during analyze)	: 0
1800.04/1782.71	c number of learned constraints concerned by reduction	: 0
1800.04/1782.71	c number of learning phase by resolution	: 0
1800.04/1782.71	c number of learning phase by cutting planes	: 0
1800.04/1782.71	c speed (assignments/second)	: 123332.90545616325
1800.04/1782.71	c non guided choices	144545
1800.04/1782.74	c learnt constraints type 
1800.04/1782.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 144040
1800.04/1782.74	c constraints type 
1800.04/1782.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65
1800.04/1782.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.04/1782.74	c ignored satisfied constraints => 1
1800.04/1782.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 39
1800.04/1782.74	c 127 constraints processed.
1800.04/1782.74	s SATISFIABLE
1800.04/1782.75	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 
1800.04/1782.75	c objective function=1
1800.04/1782.75	c Total wall clock time (in seconds): 1782.644

Verifier Data 

OK	1

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.85 3/194 21198
/proc/meminfo: memFree=28479112/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21198/stat : 21198 (java) D 21196 21198 18511 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291177820 9515008 184 33554432000 1073741824 1073778376 140737441889328 140737441880552 270707355063 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21198/statm: 2323 184 142 9 0 71 0

[startup+0.101491 s]
/proc/loadavg: 1.92 1.98 1.85 3/194 21198
/proc/meminfo: memFree=28479112/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 291177820 9787817984 5605 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2389604 5605 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.200197 s]
/proc/loadavg: 1.92 1.98 1.85 3/194 21198
/proc/meminfo: memFree=28479112/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9558416 CPUtime=0.27 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 4903 0 1 0 26 1 0 0 20 0 18 0 291177820 9787817984 6950 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2389604 6950 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558416

[startup+0.300222 s]
/proc/loadavg: 1.92 1.98 1.85 3/194 21198
/proc/meminfo: memFree=28479112/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9624980 CPUtime=0.49 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 6305 0 1 0 47 2 0 0 20 0 19 0 291177820 9855979520 8788 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2406245 8788 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9624980

[startup+0.70025 s]
/proc/loadavg: 1.92 1.98 1.85 3/194 21198
/proc/meminfo: memFree=28479112/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9624980 CPUtime=1.33 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 9635 0 1 0 131 2 0 0 20 0 19 0 291177820 9855979520 12080 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2406245 12080 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9624980

[startup+1.50066 s]
/proc/loadavg: 1.92 1.98 1.85 3/213 21217
/proc/meminfo: memFree=28418672/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9624980 CPUtime=2.21 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 9904 0 1 0 218 3 0 0 20 0 19 0 291177820 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2406245 20834 2268 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624980 CPUtime=1.43 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 18511 0 -1 4202560 2506 0 1 0 141 2 0 0 20 0 19 0 291177821 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174511292704 140174451505280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 18511 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174450022696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174448969896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 18511 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174447917608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 18511 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174446864808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174350301992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174349249192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174348196904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174347144104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 18511 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 291177823 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174334945512 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174333891576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174332839176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174331787664 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 18511 0 -1 4202560 2415 0 0 0 31 0 0 0 20 0 19 0 291177826 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174330735288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 18511 0 -1 4202560 3715 0 0 0 38 0 0 0 20 0 19 0 291177826 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174329682488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174328630392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174327577800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291177847 9855979520 20834 33554432000 1073741824 1073778376 140737459906608 140174326522792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9624980

[startup+3.10072 s]
/proc/loadavg: 1.92 1.98 1.85 3/213 21217
/proc/meminfo: memFree=28397820/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9624980 CPUtime=3.91 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 9930 0 1 0 387 4 0 0 20 0 19 0 291177820 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2406245 23917 2268 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624980 CPUtime=2.98 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 18511 0 -1 4202560 2506 0 1 0 296 2 0 0 20 0 19 0 291177821 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174511292824 140174451505700 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174450022696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 18511 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174448969896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 18511 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174447917608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 18511 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174446864808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174350301992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 18511 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174349249192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 18511 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174348196904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174347144104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 18511 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 19 0 291177823 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174334945512 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174333891576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174332839176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174331787664 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 18511 0 -1 4202560 2416 0 0 0 31 0 0 0 20 0 19 0 291177826 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174330735288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 18511 0 -1 4202560 3716 0 0 0 43 0 0 0 20 0 19 0 291177826 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174329682488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174328630392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174327577800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291177847 9855979520 23917 33554432000 1073741824 1073778376 140737459906608 140174326522792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9624980

[startup+6.30077 s]
/proc/loadavg: 1.85 1.97 1.85 5/212 21275
/proc/meminfo: memFree=28778512/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9624980 CPUtime=7.16 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 9966 0 1 0 711 5 0 0 20 0 19 0 291177820 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2406245 30040 2268 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624980 CPUtime=6.1 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 18511 0 -1 4202560 2512 0 1 0 608 2 0 0 20 0 19 0 291177821 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174511292664 140174451654454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 18511 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 291177822 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174450022696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 18511 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174448969896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 18511 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 291177822 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174447917608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 18511 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 19 0 291177822 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174446864808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174350301992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 18511 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 291177822 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174349249192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 18511 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 291177822 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174348196904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 18511 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291177822 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174347144104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 18511 0 -1 4202560 42 0 0 0 10 0 0 0 20 0 19 0 291177823 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174334945512 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174333891576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174332839176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174331787664 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 18511 0 -1 4202560 2416 0 0 0 31 0 0 0 20 0 19 0 291177826 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174330735288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624980 CPUtime=0.43 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 18511 0 -1 4202560 3716 0 0 0 43 0 0 0 20 0 19 0 291177826 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174329682488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174328630392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174327577800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291177847 9855979520 30040 33554432000 1073741824 1073778376 140737459906608 140174326522792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.16
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=21198/tid=21206] ppid=21196 vsize=9624980 CPUtime=2.41 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 18511 0 -1 4202560 1193 0 0 0 218 23 0 0 20 0 19 0 291177822 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174349249192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624980 CPUtime=2.53 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 18511 0 -1 4202560 815 0 0 0 238 15 0 0 20 0 19 0 291177822 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174348196904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624980 CPUtime=2.63 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 18511 0 -1 4202560 814 0 0 0 246 17 0 0 20 0 19 0 291177822 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174347144104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624980 CPUtime=6.82 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 18511 0 -1 4202560 1356 0 0 0 679 3 0 0 20 0 19 0 291177823 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174334945512 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174333891576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174332839176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174331787664 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 18511 0 -1 4202560 2416 0 0 0 31 0 0 0 20 0 19 0 291177826 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174330735288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624980 CPUtime=0.45 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 18511 0 -1 4202560 3719 0 0 0 45 0 0 0 20 0 19 0 291177826 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174329682488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174328630392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624980 CPUtime=0.61 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 18511 0 -1 4202560 97 0 0 0 26 35 0 0 20 0 19 0 291177826 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174327577800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291177847 9855979520 354645 33554432000 1073741824 1073778376 140737459906608 140174326522792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1677.64
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/213 21292
/proc/meminfo: memFree=26330200/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9624980 CPUtime=1738.67 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 17652 0 1 0 173688 179 0 0 20 0 19 0 291177820 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2406245 354651 2269 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624980 CPUtime=1709.64 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) S 21196 21198 18511 0 -1 4202560 2695 0 1 0 170933 31 0 0 20 0 19 0 291177821 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174511291560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624980 CPUtime=2.53 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) R 21196 21198 18511 0 -1 4202560 908 0 0 0 236 17 0 0 20 0 19 0 291177822 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174450022872 140174513764083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624980 CPUtime=2.8 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) R 21196 21198 18511 0 -1 4202560 506 0 0 0 267 13 0 0 20 0 19 0 291177822 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174448969896 140174513764083 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624980 CPUtime=2.42 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) R 21196 21198 18511 0 -1 4202560 722 0 0 0 225 17 0 0 20 0 19 0 291177822 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174447917784 140174517801346 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624980 CPUtime=2.5 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) R 21196 21198 18511 0 -1 4202560 666 0 0 0 234 16 0 0 20 0 19 0 291177822 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174446864832 270710923701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624980 CPUtime=2.39 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) R 21196 21198 18511 0 -1 4202560 521 0 0 0 222 17 0 0 20 0 19 0 291177822 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174350302168 140174513764083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624980 CPUtime=2.64 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) R 21196 21198 18511 0 -1 4202560 1193 0 0 0 241 23 0 0 20 0 19 0 291177822 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174349249368 140174513764083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624980 CPUtime=2.69 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) R 21196 21198 18511 0 -1 4202560 815 0 0 0 254 15 0 0 20 0 19 0 291177822 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174348196904 140174513857060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624980 CPUtime=2.78 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) R 21196 21198 18511 0 -1 4202560 814 0 0 0 261 17 0 0 20 0 19 0 291177822 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174347143984 140174513764083 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624980 CPUtime=7.01 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 18511 0 -1 4202560 1399 0 0 0 698 3 0 0 20 0 19 0 291177823 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174334944392 270710912060 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174333891576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174332839176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174331787664 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 18511 0 -1 4202560 2416 0 0 0 31 0 0 0 20 0 19 0 291177826 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174330735288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624980 CPUtime=0.45 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 18511 0 -1 4202560 3719 0 0 0 45 0 0 0 20 0 19 0 291177826 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174329682488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174328630392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624980 CPUtime=0.63 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 18511 0 -1 4202560 99 0 0 0 26 37 0 0 20 0 19 0 291177826 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174327577800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291177847 9855979520 354651 33554432000 1073741824 1073778376 140737459906608 140174326522792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1738.67
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/213 21408
/proc/meminfo: memFree=27474420/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9624980 CPUtime=1799.63 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 17681 0 1 0 179782 181 0 0 20 0 19 0 291177820 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2406245 342643 2269 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624980 CPUtime=1769.04 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 18511 0 -1 4202560 2701 0 1 0 176872 32 0 0 20 0 19 0 291177821 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174511291760 140174451684929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624980 CPUtime=2.71 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 18511 0 -1 4202560 908 0 0 0 253 18 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174450022696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624980 CPUtime=2.96 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 18511 0 -1 4202560 506 0 0 0 283 13 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174448969896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624980 CPUtime=2.6 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 18511 0 -1 4202560 722 0 0 0 243 17 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174447917608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624980 CPUtime=2.64 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 18511 0 -1 4202560 666 0 0 0 248 16 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174446864808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624980 CPUtime=2.52 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 18511 0 -1 4202560 521 0 0 0 235 17 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174350301992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624980 CPUtime=2.8 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 18511 0 -1 4202560 1193 0 0 0 257 23 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174349249192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624980 CPUtime=2.83 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 18511 0 -1 4202560 815 0 0 0 268 15 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174348196904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624980 CPUtime=2.96 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 18511 0 -1 4202560 814 0 0 0 279 17 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174347144104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624980 CPUtime=7.28 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 18511 0 -1 4202560 1418 0 0 0 725 3 0 0 20 0 19 0 291177823 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174334945512 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174333891576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174332839176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174331787664 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 18511 0 -1 4202560 2416 0 0 0 31 0 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174330735288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624980 CPUtime=0.45 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 18511 0 -1 4202560 3719 0 0 0 45 0 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174329682488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174328630392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 18511 0 -1 4202560 103 0 0 0 27 38 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174327577800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291177847 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174326522792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.7 s]
/proc/loadavg: 2.01 2.00 1.95 3/213 21408
/proc/meminfo: memFree=27472372/32873648 swapFree=6864/6864
[pid=21198] ppid=21196 vsize=9624980 CPUtime=1800.04 cores=1,3,5,7
/proc/21198/stat : 21198 (java) S 21196 21198 18511 0 -1 4202496 17681 0 1 0 179823 181 0 0 20 0 19 0 291177820 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140737459897744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21198/statm: 2406245 342643 2269 9 0 2396937 0
[pid=21198/tid=21200] ppid=21196 vsize=9624980 CPUtime=1769.45 cores=1,3,5,7
/proc/21198/task/21200/stat : 21200 (java) R 21196 21198 18511 0 -1 4202560 2701 0 1 0 176913 32 0 0 20 0 19 0 291177821 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174511291760 140174451505415 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21201] ppid=21196 vsize=9624980 CPUtime=2.71 cores=1,3,5,7
/proc/21198/task/21201/stat : 21201 (java) S 21196 21198 18511 0 -1 4202560 908 0 0 0 253 18 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174450022696 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21198/tid=21202] ppid=21196 vsize=9624980 CPUtime=2.96 cores=1,3,5,7
/proc/21198/task/21202/stat : 21202 (java) S 21196 21198 18511 0 -1 4202560 506 0 0 0 283 13 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174448969896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21203] ppid=21196 vsize=9624980 CPUtime=2.6 cores=1,3,5,7
/proc/21198/task/21203/stat : 21203 (java) S 21196 21198 18511 0 -1 4202560 722 0 0 0 243 17 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174447917608 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21204] ppid=21196 vsize=9624980 CPUtime=2.64 cores=1,3,5,7
/proc/21198/task/21204/stat : 21204 (java) S 21196 21198 18511 0 -1 4202560 666 0 0 0 248 16 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174446864808 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21205] ppid=21196 vsize=9624980 CPUtime=2.52 cores=1,3,5,7
/proc/21198/task/21205/stat : 21205 (java) S 21196 21198 18511 0 -1 4202560 521 0 0 0 235 17 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174350301992 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21206] ppid=21196 vsize=9624980 CPUtime=2.8 cores=1,3,5,7
/proc/21198/task/21206/stat : 21206 (java) S 21196 21198 18511 0 -1 4202560 1193 0 0 0 257 23 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174349249192 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21207] ppid=21196 vsize=9624980 CPUtime=2.83 cores=1,3,5,7
/proc/21198/task/21207/stat : 21207 (java) S 21196 21198 18511 0 -1 4202560 815 0 0 0 268 15 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174348196904 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21208] ppid=21196 vsize=9624980 CPUtime=2.96 cores=1,3,5,7
/proc/21198/task/21208/stat : 21208 (java) S 21196 21198 18511 0 -1 4202560 814 0 0 0 279 17 0 0 20 0 19 0 291177822 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174347144104 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21209] ppid=21196 vsize=9624980 CPUtime=7.28 cores=1,3,5,7
/proc/21198/task/21209/stat : 21209 (java) S 21196 21198 18511 0 -1 4202560 1418 0 0 0 725 3 0 0 20 0 19 0 291177823 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174334945512 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21210] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21210/stat : 21210 (java) S 21196 21198 18511 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174333891576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21211] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21211/stat : 21211 (java) S 21196 21198 18511 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291177823 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174332839176 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21212] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21212/stat : 21212 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174331787664 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21213] ppid=21196 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/21198/task/21213/stat : 21213 (java) S 21196 21198 18511 0 -1 4202560 2416 0 0 0 31 0 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174330735288 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21214] ppid=21196 vsize=9624980 CPUtime=0.45 cores=1,3,5,7
/proc/21198/task/21214/stat : 21214 (java) S 21196 21198 18511 0 -1 4202560 3719 0 0 0 45 0 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174329682488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21198/tid=21215] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21215/stat : 21215 (java) S 21196 21198 18511 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174328630392 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21198/tid=21216] ppid=21196 vsize=9624980 CPUtime=0.65 cores=1,3,5,7
/proc/21198/task/21216/stat : 21216 (java) S 21196 21198 18511 0 -1 4202560 103 0 0 0 27 38 0 0 20 0 19 0 291177826 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174327577800 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21198/tid=21217] ppid=21196 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/21198/task/21217/stat : 21217 (java) S 21196 21198 18511 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291177847 9855979520 342643 33554432000 1073741824 1073778376 140737459906608 140174326522792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143
Real time (s): 1782.77
CPU time (s): 1800.55
CPU user time (s): 1798.31
CPU system time (s): 2.24166
CPU usage (%): 100.997
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.31
system time used= 2.24166
maximum resident set size= 1418808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17724
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41631
involuntary context switches= 23191

runsolver used 7.48986 second user time and 14.0249 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-29 02:15:24
IDJOB=3718161
IDBENCH=78724
IDSOLVER=2301
FILE ID=node125/3718161-1338250524
RUNJOBID= node125-1338248733-21055
PBS_JOBID= 14624654
Free space on /tmp= 71260 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718161-1338250524/watcher-3718161-1338250524 -o /tmp/evaluation-result-3718161-1338250524/solver-3718161-1338250524 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718161-1338250524.wbo

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

MD5SUM BENCH= 62825c7b78173675be8da33e26a62860
RANDOM SEED=1949986728

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28479640 kB
Buffers:          553412 kB
Cached:          2520388 kB
SwapCached:         2300 kB
Active:          1943968 kB
Inactive:        1556624 kB
Active(anon):     418252 kB
Inactive(anon):     9556 kB
Active(file):    1525716 kB
Inactive(file):  1547068 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102620 kB
Dirty:               508 kB
Writeback:             0 kB
AnonPages:        442884 kB
Mapped:            22372 kB
Shmem:               104 kB
Slab:             742408 kB
SReclaimable:     186388 kB
SUnreclaim:       556020 kB
KernelStack:        1600 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    415744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71260 MiB
End job on node125 at 2012-05-29 02:45:09