Trace number 4118407

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)5413 1800.01 1775.96

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb
MD5SUM245be8e93852fe7bd6f734599ed1eccd
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5216
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4901
Total number of constraints13801
Number of constraints which are clauses9200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints4600
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 4900
Biggest coefficient in the objective function 6435
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 53769
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 6435
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 53769
Number of bits of the biggest sum of numbers16
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.12	c Pseudo Boolean Optimization by upper bound
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.12	c No reason simplification
0.07/0.12	c Glucose 2.1 dynamic restart strategy
0.07/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.12	c timeout=2147483s
0.07/0.12	c DB Simplification allowed=false
0.07/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-4118407-1467229106.opb
0.07/0.12	c reading problem ... 
0.07/0.13	c  objective function found
0.67/0.45	c ... done. Wall clock time 0.323s.
0.67/0.45	c declared #vars     4901
0.67/0.45	c #constraints  13802
0.67/0.45	c constraints type 
0.67/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 9200
0.67/0.45	c org.sat4j.specs.Constr$1 => 1
0.67/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.67/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4600
0.67/0.45	c 13802 constraints processed.
0.67/0.45	c objective function length is 4900 literals
0.92/0.52	c SATISFIABLE
0.92/0.52	c OPTIMIZING...
0.92/0.52	c Got one! Elapsed wall clock time (in seconds):0.399
0.92/0.52	o 5447
1.16/0.61	c Got one! Elapsed wall clock time (in seconds):0.491
1.16/0.61	o 5441
1.16/0.66	c Got one! Elapsed wall clock time (in seconds):0.533
1.16/0.66	o 5437
1.16/0.68	c Got one! Elapsed wall clock time (in seconds):0.554
1.16/0.68	o 5431
1.46/0.71	c Got one! Elapsed wall clock time (in seconds):0.589
1.46/0.71	o 5426
1.46/0.78	c Got one! Elapsed wall clock time (in seconds):0.659
1.46/0.78	o 5425
1.75/0.84	c Got one! Elapsed wall clock time (in seconds):0.717
1.75/0.84	o 5420
3.58/2.67	c cleaning 2634 clauses out of 5269 with flag 10398/5269
5.28/4.06	c Got one! Elapsed wall clock time (in seconds):3.936
5.28/4.06	o 5418
6.06/4.79	c cleaning 4206 clauses out of 8414 with flag 4163/11048
6.76/5.42	c Got one! Elapsed wall clock time (in seconds):5.3
6.76/5.42	o 5416
8.26/6.91	c cleaning 4968 clauses out of 9943 with flag 9142/16783
9.05/7.57	c Got one! Elapsed wall clock time (in seconds):7.449
9.05/7.57	o 5414
10.55/9.00	c cleaning 5293 clauses out of 10592 with flag 8571/22400
12.17/10.67	c Got one! Elapsed wall clock time (in seconds):10.55
12.17/10.67	o 5413
12.58/11.05	c cleaning 5473 clauses out of 10962 with flag 2306/28063
14.77/13.26	c cleaning 5741 clauses out of 11490 with flag 15929/34064
17.83/16.05	c cleaning 6365 clauses out of 12748 with flag 31436/41063
20.83/19.08	c cleaning 7188 clauses out of 14385 with flag 49405/49065
24.33/22.56	c cleaning 8094 clauses out of 16196 with flag 70032/58064
28.55/26.58	c cleaning 9048 clauses out of 18101 with flag 92503/68063
32.95/30.93	c cleaning 10019 clauses out of 20053 with flag 118305/79063
37.74/35.79	c cleaning 11010 clauses out of 22035 with flag 147327/91064
43.55/41.24	c cleaning 12005 clauses out of 24026 with flag 177756/104065
50.19/47.84	c cleaning 13010 clauses out of 26020 with flag 211374/118064
57.61/55.04	c cleaning 14005 clauses out of 28009 with flag 247223/133063
65.80/62.60	c cleaning 14999 clauses out of 30005 with flag 284391/149064
73.81/70.58	c cleaning 16003 clauses out of 32006 with flag 324046/166064
82.61/79.32	c cleaning 17001 clauses out of 34002 with flag 369267/184063
93.58/89.37	c cleaning 17998 clauses out of 36001 with flag 418639/203063
103.47/99.26	c cleaning 19001 clauses out of 38003 with flag 469698/223063
115.07/110.80	c cleaning 19995 clauses out of 40002 with flag 525368/244063
126.83/121.91	c cleaning 21004 clauses out of 42008 with flag 582907/266064
138.95/134.00	c cleaning 22000 clauses out of 44003 with flag 647983/289063
151.04/146.15	c cleaning 23003 clauses out of 46005 with flag 713607/313065
164.04/159.13	c cleaning 23999 clauses out of 48000 with flag 781055/338063
178.34/172.79	c cleaning 24996 clauses out of 50001 with flag 852225/364063
192.75/187.15	c cleaning 25998 clauses out of 52006 with flag 928703/391064
207.44/201.87	c cleaning 27001 clauses out of 54008 with flag 1006855/419064
224.83/217.82	c cleaning 27999 clauses out of 56006 with flag 1087323/448063
239.93/232.93	c cleaning 28992 clauses out of 58007 with flag 1163379/478063
255.93/248.96	c cleaning 30008 clauses out of 60015 with flag 1248096/509063
273.41/266.20	c cleaning 31005 clauses out of 62012 with flag 1338085/541068
291.12/283.85	c cleaning 31996 clauses out of 64003 with flag 1431618/574064
308.82/301.53	c cleaning 32998 clauses out of 66006 with flag 1527892/608063
327.73/319.92	c cleaning 33999 clauses out of 68008 with flag 1622162/643063
346.23/338.46	c cleaning 35004 clauses out of 70010 with flag 1719797/679064
367.03/358.47	c cleaning 36000 clauses out of 72006 with flag 1821168/716064
387.04/378.41	c cleaning 37000 clauses out of 74006 with flag 1926521/754064
407.74/399.11	c cleaning 38002 clauses out of 76005 with flag 2033814/793063
430.46/421.65	c cleaning 39003 clauses out of 78005 with flag 2145591/833065
453.37/444.56	c cleaning 39999 clauses out of 80001 with flag 2252421/874064
476.91/467.66	c cleaning 41000 clauses out of 82002 with flag 2362340/916064
502.01/492.72	c cleaning 42001 clauses out of 84001 with flag 2483540/959063
528.68/518.77	c cleaning 42992 clauses out of 86000 with flag 2602511/1003063
554.79/544.81	c cleaning 44003 clauses out of 88008 with flag 2730376/1048063
581.63/571.41	c cleaning 45003 clauses out of 90005 with flag 2863326/1094063
608.80/598.09	c cleaning 45989 clauses out of 92003 with flag 2996795/1141064
636.41/625.62	c cleaning 47001 clauses out of 94015 with flag 3133649/1189065
665.67/654.79	c cleaning 48007 clauses out of 96013 with flag 3280355/1238064
695.95/684.50	c cleaning 49002 clauses out of 98007 with flag 3438123/1288065
726.25/714.88	c cleaning 50001 clauses out of 100004 with flag 3596890/1339064
758.53/746.53	c cleaning 50996 clauses out of 102004 with flag 3768355/1391065
791.17/778.95	c cleaning 52003 clauses out of 104007 with flag 3926769/1444064
825.47/812.88	c cleaning 53002 clauses out of 106004 with flag 4097077/1498064
860.65/847.68	c cleaning 53999 clauses out of 108001 with flag 4283237/1553063
896.04/882.73	c cleaning 55002 clauses out of 110003 with flag 4477683/1609064
931.60/917.81	c cleaning 55999 clauses out of 112000 with flag 4664719/1666063
967.05/952.87	c cleaning 56998 clauses out of 114001 with flag 4835431/1724063
1003.81/989.38	c cleaning 58000 clauses out of 116003 with flag 5020840/1783063
1042.58/1027.83	c cleaning 58998 clauses out of 118004 with flag 5213777/1843064
1081.50/1066.47	c cleaning 60000 clauses out of 120006 with flag 5409971/1904064
1121.36/1105.74	c cleaning 61001 clauses out of 122006 with flag 5623009/1966064
1163.15/1147.12	c cleaning 61997 clauses out of 124004 with flag 5837939/2029063
1206.27/1190.01	c cleaning 63004 clauses out of 126007 with flag 6049130/2093063
1250.72/1233.99	c cleaning 64002 clauses out of 128003 with flag 6262237/2158063
1296.47/1279.00	c cleaning 65001 clauses out of 130002 with flag 6493570/2224064
1342.20/1324.53	c cleaning 65999 clauses out of 132004 with flag 6721339/2291067
1389.15/1370.98	c cleaning 66998 clauses out of 134002 with flag 6940417/2359064
1437.19/1418.31	c cleaning 68002 clauses out of 136004 with flag 7160478/2428064
1485.08/1465.47	c cleaning 69001 clauses out of 138001 with flag 7406202/2498063
1533.35/1513.04	c cleaning 69996 clauses out of 140001 with flag 7671801/2569064
1582.12/1561.06	c cleaning 71003 clauses out of 142005 with flag 7940829/2641064
1631.37/1609.13	c cleaning 72001 clauses out of 144002 with flag 8186760/2714064
1681.48/1658.72	c cleaning 73000 clauses out of 146005 with flag 8424228/2788068
1732.98/1709.41	c cleaning 73995 clauses out of 148000 with flag 8640208/2863063
1784.90/1760.80	c cleaning 75002 clauses out of 150005 with flag 8871650/2939063
1800.01/1775.91	c starts		: 54
1800.01/1775.91	c conflicts		: 2963922
1800.01/1775.91	c decisions		: 3005246
1800.01/1775.91	c propagations		: 198968994
1800.01/1775.91	c inspects		: 9735830883
1800.01/1775.91	c shortcuts		: 0
1800.01/1775.91	c learnt literals	: 0
1800.01/1775.91	c learnt binary clauses	: 1
1800.01/1775.91	c learnt ternary clauses	: 758
1800.01/1775.91	c learnt constraints	: 2963922
1800.01/1775.91	c ignored constraints	: 0
1800.01/1775.91	c root simplifications	: 0
1800.01/1775.91	c removed literals (reason simplification)	: 0
1800.01/1775.91	c reason swapping (by a shorter reason)	: 0
1800.01/1775.91	c Calls to reduceDB	: 76
1800.01/1775.91	c Number of update (reduction) of LBD	: 888
1800.01/1775.91	c Imported unit clauses	: 0
1800.01/1775.91	c number of reductions to clauses (during analyze)	: 0
1800.01/1775.91	c number of learned constraints concerned by reduction	: 0
1800.01/1775.91	c number of learning phase by resolution	: 0
1800.01/1775.91	c number of learning phase by cutting planes	: 0
1800.01/1775.91	c speed (assignments/second)	: 112067.61940863011
1800.01/1775.91	c non guided choices	0
1800.01/1775.93	c learnt constraints type 
1800.01/1775.93	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.01/1775.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 99862
1800.01/1775.93	s SATISFIABLE
1800.01/1775.93	c Found 11 solution(s)
1800.01/1775.94	v x1 x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 x211 -x212 x213 -x214 x215 x216 x217 -x218 -x219 x220 -x221 -x222 x223 -x224 x225 -x226 x227 x228 x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 x247 x248 x249 x250 -x251 -x252 x253 -x254 x255 -x256 x257 x258 -x259 -x260 -x261 x262 -x263 -x264 x265 x266 x267 -x268 -x269 x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 x291 x292 -x293 x294 x295 -x296 x297 -x298 -x299 x300 x301 x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 x2931 x2932 -x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x2990 -x2991 x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 x3532 -x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 x3870 x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 -x4208 x4209 x4210 -x4211 -x4212 x4213 x4214 -x4215 x4216 x4217 -x4218 -x4219 -x4220 x4221 x4222 -x4223 x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 x4248 x4249 -x4250 -x4251 x4252 -x4253 -x4254 x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 -x4278 x4279 -x4280 x4281 x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 x4290 -x4291 x4292 -x4293 x4294 x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 x4304 -x4305 -x4306 x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 x4330 -x4331 x4332 x4333 x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 x4353 x4354 -x4355 x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 x4376 x4377 x4378 -x4379 -x4380 x4381 -x4382 -x4383 -x4384 x4385 -x4386 x4387 x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 x4405 -x4406 -x4407 x4408 x4409 -x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 x4417 -x4418 -x4419 x4420 x4421 x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 x4430 x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 x4454 x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 x4578 x4579 x4580 -x4581 -x4582 x4583 -x4584 x4585 -x4586 -x4587 -x4588 -x4589 x4590 x4591 x4592 -x4593 -x4594 x4595 -x4596 x4597 -x4598 x4599 -x4600 -x4601 x4602 x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 x4610 -x4611 -x4612 x4613 x4614 x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 x4622 x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 x4639 x4640 x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 x4682 -x4683 -x4684 -x4685 -x4686 -x4687 x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 x4720 x4721 x4722 x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 x4750 -x4751 -x4752 x4753 x4754 -x4755 -x4756 -x4757 -x4758 x4759 -x4760 -x4761 -x4762 -x4763 x4764 x4765 -x4766 -x4767 -x4768 -x4769 x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 x4791 x4792 x4793 x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 x4809 -x4810 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 x4857 x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 x4899 -x4900 -x4901 
1800.01/1775.95	c objective function=5413
1800.01/1775.95	c Total wall clock time (in seconds): 1775.824

Verifier Data 

OK	5413

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118407-1467229106/watcher-4118407-1467229106 -o /tmp/evaluation-result-4118407-1467229106/solver-4118407-1467229106 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3607 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118407-1467229106.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.42 2.37 2.26 3/194 6221
/proc/meminfo: memFree=25665300/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/6221/stat : 6221 (java) R 6218 6221 3589 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 3869169 9515008 155 33554432000 1073741824 1073778376 140735756203680 140735756200808 226084345600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6221/statm: 2323 165 123 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.42 2.37 2.26 3/194 6221
/proc/meminfo: memFree=25665300/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 4176 0 1 0 6 1 0 0 20 0 18 0 3869169 9787879424 5291 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2389619 5303 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200247 s]
/proc/loadavg: 2.42 2.37 2.26 3/194 6221
/proc/meminfo: memFree=25665300/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 4946 0 1 0 25 1 0 0 20 0 18 0 3869169 9787879424 6928 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2389619 6928 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300231 s]
/proc/loadavg: 2.42 2.37 2.26 3/194 6221
/proc/meminfo: memFree=25665300/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 5933 0 1 0 45 1 0 0 20 0 18 0 3869169 9787879424 8871 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2389619 8871 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700184 s]
/proc/loadavg: 2.42 2.37 2.26 3/194 6221
/proc/meminfo: memFree=25665300/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 9383 0 1 0 144 2 0 0 20 0 19 0 3869169 9856040960 18398 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2406260 18398 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9625040

[startup+1.50079 s]
/proc/loadavg: 2.39 2.36 2.26 3/213 6240
/proc/meminfo: memFree=25583116/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 10032 0 1 0 245 3 0 0 20 0 19 0 3869169 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2406260 25575 2269 9 0 2396937 0
[pid=6221/tid=6223] ppid=6218 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/6221/task/6223/stat : 6223 (java) R 6218 6221 3589 0 -1 4202560 2441 0 1 0 143 1 0 0 20 0 19 0 3869171 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454579978536 140454440676530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6224] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6224/stat : 6224 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454423329192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6225] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6225/stat : 6225 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454422276648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6226] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6226/stat : 6226 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454421223592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6227] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6227/stat : 6227 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454420171048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6228] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6228/stat : 6228 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454419119016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6229] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6229/stat : 6229 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454418066472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6230] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6230/stat : 6230 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454417013416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6231] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6231/stat : 6231 (java) S 6218 6221 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454415960872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6232] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6232/stat : 6232 (java) S 6218 6221 3589 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3869173 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454403762536 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6233] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6233/stat : 6233 (java) S 6218 6221 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454402708856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6234] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6234/stat : 6234 (java) S 6218 6221 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454401655688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6235] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6235/stat : 6235 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454400604432 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6236] ppid=6218 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/6221/task/6236/stat : 6236 (java) S 6218 6221 3589 0 -1 4202560 3340 0 0 0 50 0 0 0 20 0 19 0 3869176 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454399552312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6237] ppid=6218 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/6221/task/6237/stat : 6237 (java) S 6218 6221 3589 0 -1 4202560 2974 0 0 0 49 0 0 0 20 0 19 0 3869176 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454398499768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6238] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6238/stat : 6238 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454397446904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6239] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6239/stat : 6239 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454396394568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6240] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6240/stat : 6240 (java) S 6218 6221 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3869216 9856040960 25575 33554432000 1073741824 1073778376 140733600529200 140454395339816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.39 2.36 2.26 3/213 6240
/proc/meminfo: memFree=25549852/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9625040 CPUtime=4.25 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 14332 0 1 0 421 4 0 0 20 0 19 0 3869169 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2406260 41089 2274 9 0 2396937 0
[pid=6221/tid=6223] ppid=6218 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/6221/task/6223/stat : 6223 (java) R 6218 6221 3589 0 -1 4202560 2468 0 1 0 302 2 0 0 20 0 19 0 3869171 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454579969744 140454440596721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6224] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6224/stat : 6224 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454423329192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6225] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6225/stat : 6225 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454422276648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6226] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6226/stat : 6226 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454421223592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6227] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6227/stat : 6227 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454420171048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6228] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6228/stat : 6228 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454419119016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6229] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6229/stat : 6229 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454418066472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6230] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6230/stat : 6230 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454417013416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6231] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6231/stat : 6231 (java) S 6218 6221 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454415960872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6232] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6232/stat : 6232 (java) S 6218 6221 3589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3869173 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454403762536 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6233] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6233/stat : 6233 (java) S 6218 6221 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454402708856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6234] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6234/stat : 6234 (java) S 6218 6221 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454401655688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6235] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6235/stat : 6235 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454400604432 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6236] ppid=6218 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/6221/task/6236/stat : 6236 (java) R 6218 6221 3589 0 -1 4202560 7607 0 0 0 65 2 0 0 20 0 19 0 3869176 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454399552192 140454582884764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6237] ppid=6218 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/6221/task/6237/stat : 6237 (java) S 6218 6221 3589 0 -1 4202560 2979 0 0 0 51 0 0 0 20 0 19 0 3869176 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454398499768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6238] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6238/stat : 6238 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454397446904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6239] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6239/stat : 6239 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454396394568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6240] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6240/stat : 6240 (java) S 6218 6221 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3869216 9856040960 41089 33554432000 1073741824 1073778376 140733600529200 140454395339816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.39 2.36 2.26 3/213 6240
/proc/meminfo: memFree=25447116/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9625040 CPUtime=7.66 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 14534 0 1 0 756 10 0 0 20 0 19 0 3869169 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2406260 56841 2287 9 0 2396937 0
[pid=6221/tid=6223] ppid=6218 vsize=9625040 CPUtime=6.19 cores=1,3,5,7
/proc/6221/task/6223/stat : 6223 (java) R 6218 6221 3589 0 -1 4202560 2474 0 1 0 617 2 0 0 20 0 19 0 3869171 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454579978552 140454440694816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6224] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6224/stat : 6224 (java) S 6218 6221 3589 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454423329192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6225] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6225/stat : 6225 (java) S 6218 6221 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454422276648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6226] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6226/stat : 6226 (java) S 6218 6221 3589 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454421223592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6227] ppid=6218 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6221/task/6227/stat : 6227 (java) S 6218 6221 3589 0 -1 4202560 36 0 0 0 1 1 0 0 20 0 19 0 3869172 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454420171048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6228] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6228/stat : 6228 (java) S 6218 6221 3589 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454419119016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6229] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6229/stat : 6229 (java) S 6218 6221 3589 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454418066472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6230] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6230/stat : 6230 (java) S 6218 6221 3589 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454417013416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6231] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6231/stat : 6231 (java) S 6218 6221 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3869172 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454415960872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6232] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6232/stat : 6232 (java) S 6218 6221 3589 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 3869173 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454403762536 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6233] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6233/stat : 6233 (java) S 6218 6221 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454402708856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6234] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6234/stat : 6234 (java) S 6218 6221 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454401655688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6235] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6235/stat : 6235 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454400604432 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6236] ppid=6218 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/6221/task/6236/stat : 6236 (java) S 6218 6221 3589 0 -1 4202560 7608 0 0 0 75 2 0 0 20 0 19 0 3869176 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454399552312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6237] ppid=6218 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/6221/task/6237/stat : 6237 (java) S 6218 6221 3589 0 -1 4202560 2979 0 0 0 52 0 0 0 20 0 19 0 3869176 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454398499768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6238] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6238/stat : 6238 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454397446904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6239] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6239/stat : 6239 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454396394568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6240] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6240/stat : 6240 (java) S 6218 6221 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3869216 9856040960 56841 33554432000 1073741824 1073778376 140733600529200 140454395339816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 9625040


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

[pid=6221/tid=6240] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6240/stat : 6240 (java) S 6218 6221 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3869216 9856040960 750008 33554432000 1073741824 1073778376 140733600529200 140454395339816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1685.08
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.25 2.23 2.24 3/213 6370
/proc/meminfo: memFree=20376776/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9625040 CPUtime=1745.87 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 39337 0 1 0 174053 534 0 0 20 0 19 0 3869169 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2406260 675173 2296 9 0 2396937 0
[pid=6221/tid=6223] ppid=6218 vsize=9625040 CPUtime=1705.67 cores=1,3,5,7
/proc/6221/task/6223/stat : 6223 (java) R 6218 6221 3589 0 -1 4202560 3409 0 1 0 170535 32 0 0 20 0 19 0 3869171 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454579969712 140454440643885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6224] ppid=6218 vsize=9625040 CPUtime=3.9 cores=1,3,5,7
/proc/6221/task/6224/stat : 6224 (java) S 6218 6221 3589 0 -1 4202560 1263 0 0 0 327 63 0 0 20 0 19 0 3869172 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454423329192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6225] ppid=6218 vsize=9625040 CPUtime=3.78 cores=1,3,5,7
/proc/6221/task/6225/stat : 6225 (java) S 6218 6221 3589 0 -1 4202560 1330 0 0 0 312 66 0 0 20 0 19 0 3869172 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454422276648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6226] ppid=6218 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/6221/task/6226/stat : 6226 (java) S 6218 6221 3589 0 -1 4202560 1341 0 0 0 296 50 0 0 20 0 19 0 3869172 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454421223592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6227] ppid=6218 vsize=9625040 CPUtime=4.13 cores=1,3,5,7
/proc/6221/task/6227/stat : 6227 (java) S 6218 6221 3589 0 -1 4202560 1663 0 0 0 334 79 0 0 20 0 19 0 3869172 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454420171048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6228] ppid=6218 vsize=9625040 CPUtime=3.55 cores=1,3,5,7
/proc/6221/task/6228/stat : 6228 (java) S 6218 6221 3589 0 -1 4202560 1266 0 0 0 290 65 0 0 20 0 19 0 3869172 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454419119016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6229] ppid=6218 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/6221/task/6229/stat : 6229 (java) S 6218 6221 3589 0 -1 4202560 1311 0 0 0 289 56 0 0 20 0 19 0 3869172 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454418066472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6230] ppid=6218 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/6221/task/6230/stat : 6230 (java) S 6218 6221 3589 0 -1 4202560 1310 0 0 0 286 60 0 0 20 0 19 0 3869172 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454417013416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6231] ppid=6218 vsize=9625040 CPUtime=3.17 cores=1,3,5,7
/proc/6221/task/6231/stat : 6231 (java) S 6218 6221 3589 0 -1 4202560 1240 0 0 0 265 52 0 0 20 0 19 0 3869172 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454415960872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6232] ppid=6218 vsize=9625040 CPUtime=4.51 cores=1,3,5,7
/proc/6221/task/6232/stat : 6232 (java) S 6218 6221 3589 0 -1 4202560 4617 0 0 0 447 4 0 0 20 0 19 0 3869173 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454403762536 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6233] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6233/stat : 6233 (java) S 6218 6221 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454402708856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6234] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6234/stat : 6234 (java) S 6218 6221 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454401655688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6235] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6235/stat : 6235 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454400604432 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6236] ppid=6218 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/6221/task/6236/stat : 6236 (java) S 6218 6221 3589 0 -1 4202560 7608 0 0 0 78 2 0 0 20 0 19 0 3869176 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454399552312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6237] ppid=6218 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/6221/task/6237/stat : 6237 (java) S 6218 6221 3589 0 -1 4202560 11616 0 0 0 114 2 0 0 20 0 19 0 3869176 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454398499768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6238] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6238/stat : 6238 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454397446904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6239] ppid=6218 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/6221/task/6239/stat : 6239 (java) S 6218 6221 3589 0 -1 4202560 99 0 0 0 23 31 0 0 20 0 19 0 3869176 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454396394568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6240] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6240/stat : 6240 (java) S 6218 6221 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3869216 9856040960 675173 33554432000 1073741824 1073778376 140733600529200 140454395339816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1745.87
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.9 s]
/proc/loadavg: 2.32 2.25 2.25 3/213 6372
/proc/meminfo: memFree=20355592/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 39707 0 1 0 179465 536 0 0 20 0 19 0 3869169 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2406260 675535 2296 9 0 2396937 0
[pid=6221/tid=6223] ppid=6218 vsize=9625040 CPUtime=1758.79 cores=1,3,5,7
/proc/6221/task/6223/stat : 6223 (java) R 6218 6221 3589 0 -1 4202560 3411 0 1 0 175846 33 0 0 20 0 19 0 3869171 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454579969712 140454440996064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6224] ppid=6218 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/6221/task/6224/stat : 6224 (java) S 6218 6221 3589 0 -1 4202560 1263 0 0 0 341 63 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454423329192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6225] ppid=6218 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/6221/task/6225/stat : 6225 (java) S 6218 6221 3589 0 -1 4202560 1338 0 0 0 318 66 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454422276648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6226] ppid=6218 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/6221/task/6226/stat : 6226 (java) S 6218 6221 3589 0 -1 4202560 1341 0 0 0 300 50 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454421223592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6227] ppid=6218 vsize=9625040 CPUtime=4.19 cores=1,3,5,7
/proc/6221/task/6227/stat : 6227 (java) S 6218 6221 3589 0 -1 4202560 1663 0 0 0 340 79 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454420171048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6228] ppid=6218 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/6221/task/6228/stat : 6228 (java) S 6218 6221 3589 0 -1 4202560 1270 0 0 0 307 65 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454419119016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6229] ppid=6218 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/6221/task/6229/stat : 6229 (java) S 6218 6221 3589 0 -1 4202560 1321 0 0 0 293 56 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454418066472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6230] ppid=6218 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/6221/task/6230/stat : 6230 (java) S 6218 6221 3589 0 -1 4202560 1316 0 0 0 299 60 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454417013416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6231] ppid=6218 vsize=9625040 CPUtime=3.23 cores=1,3,5,7
/proc/6221/task/6231/stat : 6231 (java) S 6218 6221 3589 0 -1 4202560 1242 0 0 0 271 52 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454415960872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6232] ppid=6218 vsize=9625040 CPUtime=4.67 cores=1,3,5,7
/proc/6221/task/6232/stat : 6232 (java) S 6218 6221 3589 0 -1 4202560 4951 0 0 0 463 4 0 0 20 0 19 0 3869173 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454403762536 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6233] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6233/stat : 6233 (java) S 6218 6221 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454402708856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6234] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6234/stat : 6234 (java) S 6218 6221 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454401655688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6235] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6235/stat : 6235 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454400604432 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6236] ppid=6218 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/6221/task/6236/stat : 6236 (java) S 6218 6221 3589 0 -1 4202560 7608 0 0 0 78 2 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454399552312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6237] ppid=6218 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/6221/task/6237/stat : 6237 (java) S 6218 6221 3589 0 -1 4202560 11616 0 0 0 114 2 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454398499768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6238] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6238/stat : 6238 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454397446904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6239] ppid=6218 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6221/task/6239/stat : 6239 (java) S 6218 6221 3589 0 -1 4202560 103 0 0 0 24 32 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454396394568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6240] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6240/stat : 6240 (java) S 6218 6221 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3869216 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454395339816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1775.9 s]
/proc/loadavg: 2.32 2.25 2.25 3/213 6372
/proc/meminfo: memFree=20355592/32872528 swapFree=1588980/1719796
[pid=6221] ppid=6218 vsize=9625040 CPUtime=1800.01 cores=1,3,5,7
/proc/6221/stat : 6221 (java) S 6218 6221 3589 0 -1 4202496 39707 0 1 0 179465 536 0 0 20 0 19 0 3869169 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140733600520336 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6221/statm: 2406260 675535 2296 9 0 2396937 0
[pid=6221/tid=6223] ppid=6218 vsize=9625040 CPUtime=1758.79 cores=1,3,5,7
/proc/6221/task/6223/stat : 6223 (java) R 6218 6221 3589 0 -1 4202560 3411 0 1 0 175846 33 0 0 20 0 19 0 3869171 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454579969712 140454440996064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6224] ppid=6218 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/6221/task/6224/stat : 6224 (java) S 6218 6221 3589 0 -1 4202560 1263 0 0 0 341 63 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454423329192 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6225] ppid=6218 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/6221/task/6225/stat : 6225 (java) S 6218 6221 3589 0 -1 4202560 1338 0 0 0 318 66 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454422276648 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6226] ppid=6218 vsize=9625040 CPUtime=3.5 cores=1,3,5,7
/proc/6221/task/6226/stat : 6226 (java) S 6218 6221 3589 0 -1 4202560 1341 0 0 0 300 50 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454421223592 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6227] ppid=6218 vsize=9625040 CPUtime=4.19 cores=1,3,5,7
/proc/6221/task/6227/stat : 6227 (java) S 6218 6221 3589 0 -1 4202560 1663 0 0 0 340 79 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454420171048 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6228] ppid=6218 vsize=9625040 CPUtime=3.72 cores=1,3,5,7
/proc/6221/task/6228/stat : 6228 (java) S 6218 6221 3589 0 -1 4202560 1270 0 0 0 307 65 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454419119016 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6229] ppid=6218 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/6221/task/6229/stat : 6229 (java) S 6218 6221 3589 0 -1 4202560 1321 0 0 0 293 56 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454418066472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6230] ppid=6218 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/6221/task/6230/stat : 6230 (java) S 6218 6221 3589 0 -1 4202560 1316 0 0 0 299 60 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454417013416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6231] ppid=6218 vsize=9625040 CPUtime=3.23 cores=1,3,5,7
/proc/6221/task/6231/stat : 6231 (java) S 6218 6221 3589 0 -1 4202560 1242 0 0 0 271 52 0 0 20 0 19 0 3869172 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454415960872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6232] ppid=6218 vsize=9625040 CPUtime=4.67 cores=1,3,5,7
/proc/6221/task/6232/stat : 6232 (java) S 6218 6221 3589 0 -1 4202560 4951 0 0 0 463 4 0 0 20 0 19 0 3869173 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454403762536 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6233] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6233/stat : 6233 (java) S 6218 6221 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454402708856 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6234] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6234/stat : 6234 (java) S 6218 6221 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3869174 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454401655688 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6221/tid=6235] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6235/stat : 6235 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454400604432 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6236] ppid=6218 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/6221/task/6236/stat : 6236 (java) S 6218 6221 3589 0 -1 4202560 7608 0 0 0 78 2 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454399552312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6221/tid=6237] ppid=6218 vsize=9625040 CPUtime=1.16 cores=1,3,5,7
/proc/6221/task/6237/stat : 6237 (java) S 6218 6221 3589 0 -1 4202560 11616 0 0 0 114 2 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454398499768 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6238] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6238/stat : 6238 (java) S 6218 6221 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454397446904 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6221/tid=6239] ppid=6218 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6221/task/6239/stat : 6239 (java) S 6218 6221 3589 0 -1 4202560 103 0 0 0 24 32 0 0 20 0 19 0 3869176 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454396394568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6221/tid=6240] ppid=6218 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6221/task/6240/stat : 6240 (java) S 6218 6221 3589 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 3869216 9856040960 675535 33554432000 1073741824 1073778376 140733600529200 140454395339816 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6221 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=178851
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=792119
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1775.96
CPU time (s): 1800.01
CPU user time (s): 1794.65
CPU system time (s): 5.36
CPU usage (%): 101.354
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.18
system time used= 5.79212
maximum resident set size= 3969756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39746
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39296
involuntary context switches= 15285

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.011 second user time and 10.5944 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-29 21:38:27
IDJOB=4118407
IDBENCH=111490
IDSOLVER=2546
FILE ID=node120/4118407-1467229106
RUNJOBID= node120-1467209132-3607
PBS_JOBID= 19997582
Free space on /tmp= 71672 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118407-1467229106/watcher-4118407-1467229106 -o /tmp/evaluation-result-4118407-1467229106/solver-4118407-1467229106 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3607 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118407-1467229106.opb

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

MD5SUM BENCH= 245be8e93852fe7bd6f734599ed1eccd
RANDOM SEED=62682227

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25665308 kB
Buffers:           65256 kB
Cached:          4101448 kB
SwapCached:            0 kB
Active:           685840 kB
Inactive:        4081124 kB
Active(anon):     602304 kB
Inactive(anon):        0 kB
Active(file):      83536 kB
Inactive(file):  4081124 kB
Unevictable:     1719796 kB
Mlocked:         1588980 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               880 kB
Writeback:             0 kB
AnonPages:       2446204 kB
Mapped:            22228 kB
Shmem:               204 kB
Slab:             586128 kB
SReclaimable:      30432 kB
SUnreclaim:       555696 kB
KernelStack:        1760 kB
PageTables:         8500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2505384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    823296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node120 at 2016-06-29 22:08:03