Trace number 3718162

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.05 1767.98

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120528
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718162-1338250750.wbo
0.09/0.11	c reading problem ... 
0.27/0.25	c ... done. Wall clock time 0.141s.
0.27/0.25	c declared #vars     3900
0.27/0.25	c internal #vars     3939
0.27/0.25	c #constraints  125
0.27/0.25	c constraints type 
0.27/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65
0.27/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 45
0.27/0.26	c ignored satisfied constraints => 1
0.27/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15
0.27/0.26	c 126 constraints processed.
0.27/0.26	c objective function length is 39 literals
0.78/0.41	c SATISFIABLE
0.78/0.41	c OPTIMIZING...
0.78/0.41	c Got one! Elapsed wall clock time (in seconds):0.302
0.78/0.42	o 79
0.78/0.46	c Got one! Elapsed wall clock time (in seconds):0.344
0.78/0.46	o 57
0.99/0.51	c Got one! Elapsed wall clock time (in seconds):0.399
0.99/0.51	o 29
0.99/0.58	c Got one! Elapsed wall clock time (in seconds):0.467
0.99/0.58	o 4
1.56/1.06	c cleaning 3430 clauses out of 6899 with flag 25810/6899
2.24/1.60	c cleaning 4718 clauses out of 9469 with flag 53853/12899
2.86/2.25	c cleaning 5864 clauses out of 11751 with flag 92557/19899
3.79/3.17	c cleaning 6943 clauses out of 13889 with flag 141241/27901
4.85/4.13	c cleaning 7945 clauses out of 15946 with flag 185023/36901
6.29/5.58	c cleaning 8961 clauses out of 17999 with flag 244968/46899
7.52/6.76	c cleaning 10001 clauses out of 20038 with flag 303971/57899
9.15/8.33	c cleaning 10989 clauses out of 22037 with flag 377823/69899
10.78/9.95	c cleaning 12009 clauses out of 24049 with flag 461659/82900
12.83/11.91	c cleaning 13003 clauses out of 26042 with flag 538712/96902
15.55/14.60	c cleaning 14001 clauses out of 28039 with flag 644435/111902
17.69/16.71	c cleaning 14991 clauses out of 30036 with flag 737891/127900
20.24/19.23	c cleaning 15999 clauses out of 32051 with flag 856785/144906
23.47/22.44	c cleaning 17010 clauses out of 34045 with flag 1002072/162899
26.64/25.51	c cleaning 17994 clauses out of 36035 with flag 1131889/181899
30.00/28.82	c cleaning 18989 clauses out of 38042 with flag 1264414/201900
34.74/33.52	c cleaning 20016 clauses out of 40054 with flag 1435792/222901
39.20/37.97	c cleaning 21004 clauses out of 42036 with flag 1644700/244899
43.89/42.59	c cleaning 22005 clauses out of 44033 with flag 1829208/267900
48.16/46.79	c cleaning 23001 clauses out of 46028 with flag 1968705/291900
53.63/52.19	c cleaning 23989 clauses out of 48026 with flag 2154365/316899
60.39/58.82	c cleaning 25007 clauses out of 50039 with flag 2408144/342901
67.48/65.83	c cleaning 25997 clauses out of 52030 with flag 2627903/369899
73.76/72.04	c cleaning 27004 clauses out of 54033 with flag 2838520/397899
78.85/77.02	c cleaning 27999 clauses out of 56032 with flag 3038190/426902
85.29/83.47	c cleaning 29005 clauses out of 58030 with flag 3285300/456899
92.99/91.02	c cleaning 29987 clauses out of 60026 with flag 3567696/487900
102.71/100.68	c cleaning 31009 clauses out of 62038 with flag 3861385/519899
111.99/109.84	c cleaning 32004 clauses out of 64029 with flag 4171536/552899
122.76/120.53	c cleaning 33007 clauses out of 66030 with flag 4471842/586904
129.78/127.43	c cleaning 33984 clauses out of 68018 with flag 4692157/621899
137.77/135.37	c cleaning 34983 clauses out of 70034 with flag 4995099/657899
147.67/145.19	c cleaning 36009 clauses out of 72053 with flag 5310529/694901
157.15/154.53	c cleaning 37005 clauses out of 74044 with flag 5650630/732901
169.78/167.04	c cleaning 38004 clauses out of 76037 with flag 6010169/771899
180.70/177.89	c cleaning 39005 clauses out of 78034 with flag 6351463/811900
195.08/192.16	c cleaning 40002 clauses out of 80028 with flag 6744441/852899
205.79/202.70	c cleaning 40983 clauses out of 82027 with flag 7134010/894900
215.29/212.19	c cleaning 42014 clauses out of 84051 with flag 7470204/937907
225.80/222.57	c cleaning 42989 clauses out of 86029 with flag 7801832/981899
238.61/235.24	c cleaning 44009 clauses out of 88041 with flag 8190482/1026900
254.92/251.47	c cleaning 45003 clauses out of 90032 with flag 8596052/1072900
269.86/266.21	c cleaning 45996 clauses out of 92028 with flag 9056714/1119899
286.67/282.90	c cleaning 47001 clauses out of 94034 with flag 9604794/1167901
304.44/300.45	c cleaning 48001 clauses out of 96031 with flag 10079804/1216899
324.84/320.69	c cleaning 49003 clauses out of 98030 with flag 10631644/1266899
344.26/339.95	c cleaning 50005 clauses out of 100030 with flag 11230931/1317902
356.74/352.21	c cleaning 50982 clauses out of 102024 with flag 11611484/1369901
371.25/366.62	c cleaning 52009 clauses out of 104047 with flag 12054472/1422906
388.30/383.59	c cleaning 53004 clauses out of 106031 with flag 12545355/1476899
404.93/400.03	c cleaning 53999 clauses out of 108028 with flag 13077570/1531900
425.76/420.73	c cleaning 54998 clauses out of 110028 with flag 13591972/1587899
443.49/438.34	c cleaning 56003 clauses out of 112030 with flag 14135469/1644899
467.01/461.73	c cleaning 56998 clauses out of 114029 with flag 14683425/1702901
501.76/496.14	c cleaning 58001 clauses out of 116031 with flag 15195531/1761901
524.45/518.75	c cleaning 59007 clauses out of 118029 with flag 15780861/1821900
548.40/542.39	c cleaning 60004 clauses out of 120026 with flag 16338746/1882904
576.65/569.96	c cleaning 60994 clauses out of 122017 with flag 17050776/1944899
600.05/592.78	c cleaning 62011 clauses out of 124027 with flag 17603391/2007903
620.21/612.24	c cleaning 62981 clauses out of 126012 with flag 18143382/2071899
642.98/634.58	c cleaning 64002 clauses out of 128031 with flag 18729044/2136899
671.71/662.74	c cleaning 65000 clauses out of 130033 with flag 19291409/2202903
706.45/696.91	c cleaning 66001 clauses out of 132029 with flag 19898043/2269899
730.28/720.14	c cleaning 66998 clauses out of 134028 with flag 20479959/2337899
774.39/763.50	c cleaning 68008 clauses out of 136030 with flag 21171536/2406899
802.12/790.40	c cleaning 69005 clauses out of 138023 with flag 21859292/2476900
846.84/834.68	c cleaning 69997 clauses out of 140018 with flag 22725211/2547900
880.53/867.53	c cleaning 71000 clauses out of 142020 with flag 23536116/2619899
908.87/895.35	c cleaning 71987 clauses out of 144020 with flag 24274640/2692899
961.84/947.59	c cleaning 73001 clauses out of 146035 with flag 25040632/2766901
1010.16/994.22	c cleaning 74002 clauses out of 148034 with flag 25864758/2841901
1056.49/1039.79	c cleaning 74999 clauses out of 150034 with flag 26791357/2917903
1098.60/1081.04	c cleaning 76008 clauses out of 152036 with flag 27690005/2994904
1124.78/1106.39	c cleaning 76991 clauses out of 154029 with flag 28320423/3072905
1159.39/1140.25	c cleaning 77996 clauses out of 156032 with flag 29067582/3151899
1195.10/1175.25	c cleaning 78998 clauses out of 158036 with flag 29773763/3231899
1253.27/1232.22	c cleaning 80013 clauses out of 160039 with flag 30561993/3312900
1305.79/1283.82	c cleaning 81002 clauses out of 162025 with flag 31396798/3394899
1343.22/1319.98	c cleaning 82003 clauses out of 164024 with flag 32182861/3477900
1404.03/1379.86	c cleaning 82998 clauses out of 166020 with flag 33026007/3561899
1467.15/1441.02	c cleaning 84001 clauses out of 168022 with flag 33900994/3646899
1520.90/1493.65	c cleaning 84999 clauses out of 170021 with flag 34748565/3732899
1575.02/1546.88	c cleaning 85999 clauses out of 172023 with flag 35613355/3819900
1627.87/1598.81	c cleaning 86998 clauses out of 174026 with flag 36597719/3907902
1679.30/1649.29	c cleaning 88003 clauses out of 176025 with flag 37553991/3996899
1737.95/1707.14	c cleaning 89004 clauses out of 178024 with flag 38440224/4086901
1796.42/1764.47	c cleaning 89998 clauses out of 180019 with flag 39435099/4177900
1800.05/1767.91	c starts		: 257
1800.05/1767.91	c conflicts		: 4191697
1800.05/1767.91	c decisions		: 5557312
1800.05/1767.91	c propagations		: 210190269
1800.05/1767.91	c inspects		: 15005232528
1800.05/1767.91	c shortcuts		: 0
1800.05/1767.91	c learnt literals	: 0
1800.05/1767.91	c learnt binary clauses	: 0
1800.05/1767.91	c learnt ternary clauses	: 0
1800.05/1767.91	c learnt constraints	: 4191697
1800.05/1767.91	c ignored constraints	: 0
1800.05/1767.91	c root simplifications	: 0
1800.05/1767.91	c removed literals (reason simplification)	: 0
1800.05/1767.91	c reason swapping (by a shorter reason)	: 0
1800.05/1767.91	c Calls to reduceDB	: 87
1800.05/1767.91	c Number of update (reduction) of LBD	: 2518021
1800.05/1767.91	c number of reductions to clauses (during analyze)	: 0
1800.05/1767.91	c number of learned constraints concerned by reduction	: 0
1800.05/1767.91	c number of learning phase by resolution	: 0
1800.05/1767.91	c number of learning phase by cutting planes	: 0
1800.05/1767.91	c speed (assignments/second)	: 118909.68106188624
1800.05/1767.91	c non guided choices	150042
1800.05/1767.94	c learnt constraints type 
1800.05/1767.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 103901
1800.05/1767.94	c constraints type 
1800.05/1767.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65
1800.05/1767.94	c org.sat4j.minisat.constraints.card.MinWatchCard => 45
1800.05/1767.94	c ignored satisfied constraints => 1
1800.05/1767.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
1800.05/1767.94	c 127 constraints processed.
1800.05/1767.94	s SATISFIABLE
1800.05/1767.95	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 
1800.05/1767.95	c objective function=4
1800.05/1767.95	c Total wall clock time (in seconds): 1767.841

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.64 2.40 2/194 8994
/proc/meminfo: memFree=30484160/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/8994/stat : 8994 (java) R 8992 8994 6458 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 291199879 278528 34 33554432000 1073741824 1073778376 140735928664704 140735928661880 213410475303 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8994/statm: 68 35 26 9 0 25 0

[startup+0.0487941 s]
/proc/loadavg: 1.99 2.64 2.40 2/194 8994
/proc/meminfo: memFree=30484160/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 3074 0 1 0 2 1 0 0 20 0 13 0 291199879 9446973440 3260 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2306390 3260 1698 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100316 s]
/proc/loadavg: 1.99 2.64 2.40 2/194 8994
/proc/meminfo: memFree=30484160/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 4344 0 1 0 8 1 0 0 20 0 18 0 291199879 9787817984 5019 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2389604 5020 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300181 s]
/proc/loadavg: 1.99 2.64 2.40 2/194 8994
/proc/meminfo: memFree=30484160/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 6233 0 1 0 46 2 0 0 20 0 19 0 291199879 9855979520 8238 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2406245 8238 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624980

[startup+0.700294 s]
/proc/loadavg: 1.99 2.64 2.40 2/194 8994
/proc/meminfo: memFree=30484160/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9624980 CPUtime=1.25 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 8149 0 1 0 123 2 0 0 20 0 19 0 291199879 9855979520 10835 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2406245 10835 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9624980

[startup+1.50078 s]
/proc/loadavg: 1.99 2.64 2.40 3/213 9013
/proc/meminfo: memFree=30442728/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9624980 CPUtime=2.14 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 8229 0 1 0 210 4 0 0 20 0 19 0 291199879 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2406245 17033 2268 9 0 2396937 0
[pid=8994/tid=8996] ppid=8992 vsize=9624980 CPUtime=1.43 cores=1,3,5,7
/proc/8994/task/8996/stat : 8996 (java) R 8992 8994 6458 0 -1 4202560 2522 0 1 0 142 1 0 0 20 0 19 0 291199880 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140087063522856 140087003755538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8997] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/8997/stat : 8997 (java) S 8992 8994 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086907452200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=8998] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/8998/stat : 8998 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086906399400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=8999] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/8999/stat : 8999 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086905347112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9000] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9000/stat : 9000 (java) S 8992 8994 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086904294312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=9001] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9001/stat : 9001 (java) S 8992 8994 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086903241000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9002] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9002/stat : 9002 (java) S 8992 8994 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086902188200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9003] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9003/stat : 9003 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086901135912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9004] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9004/stat : 9004 (java) S 8992 8994 6458 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086900083112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9005] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9005/stat : 9005 (java) S 8992 8994 6458 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086887672552 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9006] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9006/stat : 9006 (java) S 8992 8994 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086886618616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9007] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9007/stat : 9007 (java) S 8992 8994 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086885566216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9008] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9008/stat : 9008 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086884514704 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9009] ppid=8992 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/8994/task/9009/stat : 9009 (java) S 8992 8994 6458 0 -1 4202560 2650 0 0 0 31 0 0 0 20 0 19 0 291199885 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086883461304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9010] ppid=8992 vsize=9624980 CPUtime=0.3 cores=1,3,5,7
/proc/8994/task/9010/stat : 9010 (java) S 8992 8994 6458 0 -1 4202560 1801 0 0 0 30 0 0 0 20 0 19 0 291199885 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086882408504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9011] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9011/stat : 9011 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086881356408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9012] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9012/stat : 9012 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086880303816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9013] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9013/stat : 9013 (java) S 8992 8994 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291199906 9855979520 17033 33554432000 1073741824 1073778376 140734100143792 140086879249832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9624980

[startup+3.1007 s]
/proc/loadavg: 1.99 2.64 2.40 3/213 9013
/proc/meminfo: memFree=30382220/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9624980 CPUtime=3.79 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 8252 0 1 0 374 5 0 0 20 0 19 0 291199879 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2406245 21133 2268 9 0 2396937 0
[pid=8994/tid=8996] ppid=8992 vsize=9624980 CPUtime=2.98 cores=1,3,5,7
/proc/8994/task/8996/stat : 8996 (java) R 8992 8994 6458 0 -1 4202560 2523 0 1 0 297 1 0 0 20 0 19 0 291199880 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140087063523832 140087003728700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8997] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/8997/stat : 8997 (java) S 8992 8994 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086907452200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=8998] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/8998/stat : 8998 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086906399400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=8999] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/8999/stat : 8999 (java) S 8992 8994 6458 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086905347112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=9000] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9000/stat : 9000 (java) S 8992 8994 6458 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086904294312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=9001] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9001/stat : 9001 (java) S 8992 8994 6458 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086903241000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9002] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9002/stat : 9002 (java) S 8992 8994 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086902188200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9003] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9003/stat : 9003 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086901135912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9004] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9004/stat : 9004 (java) S 8992 8994 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086900083112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9005] ppid=8992 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/8994/task/9005/stat : 9005 (java) S 8992 8994 6458 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 19 0 291199883 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086887672552 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9006] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9006/stat : 9006 (java) S 8992 8994 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086886618616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9007] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9007/stat : 9007 (java) S 8992 8994 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086885566216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9008] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9008/stat : 9008 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086884514704 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9009] ppid=8992 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/8994/task/9009/stat : 9009 (java) S 8992 8994 6458 0 -1 4202560 2650 0 0 0 32 0 0 0 20 0 19 0 291199885 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086883461304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9010] ppid=8992 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/8994/task/9010/stat : 9010 (java) S 8992 8994 6458 0 -1 4202560 1805 0 0 0 31 0 0 0 20 0 19 0 291199885 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086882408504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9011] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9011/stat : 9011 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086881356408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9012] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9012/stat : 9012 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086880303816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9013] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9013/stat : 9013 (java) S 8992 8994 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291199906 9855979520 21133 33554432000 1073741824 1073778376 140734100143792 140086879249832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 9624980

[startup+6.30067 s]
/proc/loadavg: 1.99 2.63 2.40 3/213 9013
/proc/meminfo: memFree=30367388/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9624980 CPUtime=7.12 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 8568 0 1 0 704 8 0 0 20 0 19 0 291199879 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2406245 26267 2268 9 0 2396937 0
[pid=8994/tid=8996] ppid=8992 vsize=9624980 CPUtime=6.08 cores=1,3,5,7
/proc/8994/task/8996/stat : 8996 (java) R 8992 8994 6458 0 -1 4202560 2526 0 1 0 606 2 0 0 20 0 19 0 291199880 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140087063523616 140087003848134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8997] ppid=8992 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/8994/task/8997/stat : 8997 (java) S 8992 8994 6458 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291199881 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086907452200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8998] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/8998/stat : 8998 (java) S 8992 8994 6458 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086906399400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8999] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/8999/stat : 8999 (java) S 8992 8994 6458 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086905347112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=9000] ppid=8992 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/8994/task/9000/stat : 9000 (java) S 8992 8994 6458 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 19 0 291199881 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086904294312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9001] ppid=8992 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/8994/task/9001/stat : 9001 (java) S 8992 8994 6458 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 291199881 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086903241000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9002] ppid=8992 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/8994/task/9002/stat : 9002 (java) S 8992 8994 6458 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 291199881 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086902188200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9003] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9003/stat : 9003 (java) S 8992 8994 6458 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086901135912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=9004] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9004/stat : 9004 (java) S 8992 8994 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291199881 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086900083112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9005] ppid=8992 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/8994/task/9005/stat : 9005 (java) S 8992 8994 6458 0 -1 4202560 40 0 0 0 10 0 0 0 20 0 19 0 291199883 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086887672552 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9006] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9006/stat : 9006 (java) S 8992 8994 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086886618616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9007] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9007/stat : 9007 (java) S 8992 8994 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086885566216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9008] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9008/stat : 9008 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086884514704 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9009] ppid=8992 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/8994/task/9009/stat : 9009 (java) S 8992 8994 6458 0 -1 4202560 2651 0 0 0 32 0 0 0 20 0 19 0 291199885 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086883461304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9010] ppid=8992 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/8994/task/9010/stat : 9010 (java) S 8992 8994 6458 0 -1 4202560 2073 0 0 0 36 0 0 0 20 0 19 0 291199885 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086882408504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9011] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9011/stat : 9011 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086881356408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9012] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9012/stat : 9012 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086880303816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9013] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9013/stat : 9013 (java) S 8992 8994 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291199906 9855979520 26267 33554432000 1073741824 1073778376 140734100143792 140086879249832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=8994/tid=9009] ppid=8992 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/8994/task/9009/stat : 9009 (java) S 8992 8994 6458 0 -1 4202560 2651 0 0 0 32 0 0 0 20 0 19 0 291199885 9855979520 205681 33554432000 1073741824 1073778376 140734100143792 140086883461304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9010] ppid=8992 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/8994/task/9010/stat : 9010 (java) S 8992 8994 6458 0 -1 4202560 2153 0 0 0 37 0 0 0 20 0 19 0 291199885 9855979520 205681 33554432000 1073741824 1073778376 140734100143792 140086882408504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9011] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9011/stat : 9011 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 205681 33554432000 1073741824 1073778376 140734100143792 140086881356408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9012] ppid=8992 vsize=9624980 CPUtime=0.79 cores=1,3,5,7
/proc/8994/task/9012/stat : 9012 (java) S 8992 8994 6458 0 -1 4202560 97 0 0 0 41 38 0 0 20 0 19 0 291199885 9855979520 205681 33554432000 1073741824 1073778376 140734100143792 140086880303816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9013] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9013/stat : 9013 (java) S 8992 8994 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291199906 9855979520 205681 33554432000 1073741824 1073778376 140734100143792 140086879249832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1692.69
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 2.04 3/213 9087
/proc/meminfo: memFree=30016708/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9624980 CPUtime=1753.58 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 28927 0 1 0 175069 289 0 0 20 0 19 0 291199879 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2406245 217499 2269 9 0 2396937 0
[pid=8994/tid=8996] ppid=8992 vsize=9624980 CPUtime=1698.19 cores=1,3,5,7
/proc/8994/task/8996/stat : 8996 (java) S 8992 8994 6458 0 -1 4202560 3010 0 1 0 169789 30 0 0 20 0 19 0 291199880 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140087063522472 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8997] ppid=8992 vsize=9624980 CPUtime=5.3 cores=1,3,5,7
/proc/8994/task/8997/stat : 8997 (java) R 8992 8994 6458 0 -1 4202560 2596 0 0 0 501 29 0 0 20 0 19 0 291199881 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086907452224 213423022517 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=8998] ppid=8992 vsize=9624980 CPUtime=5.22 cores=1,3,5,7
/proc/8994/task/8998/stat : 8998 (java) R 8992 8994 6458 0 -1 4202560 2798 0 0 0 492 30 0 0 20 0 19 0 291199881 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086906399576 140087070419884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8999] ppid=8992 vsize=9624980 CPUtime=5.22 cores=1,3,5,7
/proc/8994/task/8999/stat : 8999 (java) R 8992 8994 6458 0 -1 4202560 2415 0 0 0 495 27 0 0 20 0 19 0 291199881 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086905347112 140087067280856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=9000] ppid=8992 vsize=9624980 CPUtime=5.08 cores=1,3,5,7
/proc/8994/task/9000/stat : 9000 (java) R 8992 8994 6458 0 -1 4202560 2718 0 0 0 479 29 0 0 20 0 19 0 291199881 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086904294488 140087070419884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9001] ppid=8992 vsize=9624980 CPUtime=4.95 cores=1,3,5,7
/proc/8994/task/9001/stat : 9001 (java) R 8992 8994 6458 0 -1 4202560 1769 0 0 0 468 27 0 0 20 0 19 0 291199881 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086903241000 140087065994995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9002] ppid=8992 vsize=9624980 CPUtime=5.13 cores=1,3,5,7
/proc/8994/task/9002/stat : 9002 (java) R 8992 8994 6458 0 -1 4202560 1831 0 0 0 483 30 0 0 20 0 19 0 291199881 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086902188376 140087065994995 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9003] ppid=8992 vsize=9624980 CPUtime=5.2 cores=1,3,5,7
/proc/8994/task/9003/stat : 9003 (java) R 8992 8994 6458 0 -1 4202560 2410 0 0 0 497 23 0 0 20 0 19 0 291199881 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086901135912 140087071018738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9004] ppid=8992 vsize=9624980 CPUtime=4.92 cores=1,3,5,7
/proc/8994/task/9004/stat : 9004 (java) R 8992 8994 6458 0 -1 4202560 1546 0 0 0 469 23 0 0 20 0 19 0 291199881 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086900082992 140087067280797 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9005] ppid=8992 vsize=9624980 CPUtime=8.24 cores=1,3,5,7
/proc/8994/task/9005/stat : 9005 (java) S 8992 8994 6458 0 -1 4202560 1746 0 0 0 815 9 0 0 20 0 19 0 291199883 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086887671432 213423010876 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9006] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9006/stat : 9006 (java) S 8992 8994 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086886618616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9007] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9007/stat : 9007 (java) S 8992 8994 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086885566216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9008] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9008/stat : 9008 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086884514704 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9009] ppid=8992 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/8994/task/9009/stat : 9009 (java) S 8992 8994 6458 0 -1 4202560 2651 0 0 0 32 0 0 0 20 0 19 0 291199885 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086883461304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9010] ppid=8992 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/8994/task/9010/stat : 9010 (java) S 8992 8994 6458 0 -1 4202560 2153 0 0 0 37 0 0 0 20 0 19 0 291199885 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086882408504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9011] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9011/stat : 9011 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086881356408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9012] ppid=8992 vsize=9624980 CPUtime=0.82 cores=1,3,5,7
/proc/8994/task/9012/stat : 9012 (java) S 8992 8994 6458 0 -1 4202560 99 0 0 0 42 40 0 0 20 0 19 0 291199885 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086880303816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9013] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9013/stat : 9013 (java) S 8992 8994 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291199906 9855979520 217499 33554432000 1073741824 1073778376 140734100143792 140086879249832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1753.58
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1767.9 s]
/proc/loadavg: 1.99 1.98 2.04 3/213 9087
/proc/meminfo: memFree=29952976/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9624980 CPUtime=1800.05 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 29590 0 1 0 179705 300 0 0 20 0 19 0 291199879 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2406245 232369 2269 9 0 2396937 0
[pid=8994/tid=8996] ppid=8992 vsize=9624980 CPUtime=1743.17 cores=1,3,5,7
/proc/8994/task/8996/stat : 8996 (java) R 8992 8994 6458 0 -1 4202560 3017 0 1 0 174286 31 0 0 20 0 19 0 291199880 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140087063522672 140087003848255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=8997] ppid=8992 vsize=9624980 CPUtime=5.46 cores=1,3,5,7
/proc/8994/task/8997/stat : 8997 (java) S 8992 8994 6458 0 -1 4202560 2764 0 0 0 516 30 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086907452200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=8998] ppid=8992 vsize=9624980 CPUtime=5.36 cores=1,3,5,7
/proc/8994/task/8998/stat : 8998 (java) S 8992 8994 6458 0 -1 4202560 2894 0 0 0 505 31 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086906399400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8999] ppid=8992 vsize=9624980 CPUtime=5.4 cores=1,3,5,7
/proc/8994/task/8999/stat : 8999 (java) S 8992 8994 6458 0 -1 4202560 2422 0 0 0 513 27 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086905347112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9000] ppid=8992 vsize=9624980 CPUtime=5.21 cores=1,3,5,7
/proc/8994/task/9000/stat : 9000 (java) S 8992 8994 6458 0 -1 4202560 2730 0 0 0 491 30 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086904294312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9001] ppid=8992 vsize=9624980 CPUtime=5.06 cores=1,3,5,7
/proc/8994/task/9001/stat : 9001 (java) S 8992 8994 6458 0 -1 4202560 1782 0 0 0 478 28 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086903241000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9002] ppid=8992 vsize=9624980 CPUtime=5.31 cores=1,3,5,7
/proc/8994/task/9002/stat : 9002 (java) S 8992 8994 6458 0 -1 4202560 1978 0 0 0 499 32 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086902188200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9003] ppid=8992 vsize=9624980 CPUtime=5.37 cores=1,3,5,7
/proc/8994/task/9003/stat : 9003 (java) S 8992 8994 6458 0 -1 4202560 2566 0 0 0 512 25 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086901135912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9004] ppid=8992 vsize=9624980 CPUtime=5.03 cores=1,3,5,7
/proc/8994/task/9004/stat : 9004 (java) S 8992 8994 6458 0 -1 4202560 1553 0 0 0 479 24 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086900083112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=9005] ppid=8992 vsize=9624980 CPUtime=8.4 cores=1,3,5,7
/proc/8994/task/9005/stat : 9005 (java) S 8992 8994 6458 0 -1 4202560 1792 0 0 0 831 9 0 0 20 0 19 0 291199883 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086887672552 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9006] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9006/stat : 9006 (java) S 8992 8994 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086886618616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9007] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9007/stat : 9007 (java) S 8992 8994 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086885566216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9008] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9008/stat : 9008 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086884514704 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9009] ppid=8992 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/8994/task/9009/stat : 9009 (java) S 8992 8994 6458 0 -1 4202560 2651 0 0 0 32 0 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086883461304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9010] ppid=8992 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/8994/task/9010/stat : 9010 (java) S 8992 8994 6458 0 -1 4202560 2153 0 0 0 37 0 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086882408504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9011] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9011/stat : 9011 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086881356408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9012] ppid=8992 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/8994/task/9012/stat : 9012 (java) S 8992 8994 6458 0 -1 4202560 103 0 0 0 44 41 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086880303816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9013] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9013/stat : 9013 (java) S 8992 8994 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291199906 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086879249832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1767.9 s]
/proc/loadavg: 1.99 1.98 2.04 3/213 9087
/proc/meminfo: memFree=29952976/32873844 swapFree=6608/6608
[pid=8994] ppid=8992 vsize=9624980 CPUtime=1800.05 cores=1,3,5,7
/proc/8994/stat : 8994 (java) S 8992 8994 6458 0 -1 4202496 29590 0 1 0 179705 300 0 0 20 0 19 0 291199879 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140734100134928 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8994/statm: 2406245 232369 2269 9 0 2396937 0
[pid=8994/tid=8996] ppid=8992 vsize=9624980 CPUtime=1743.17 cores=1,3,5,7
/proc/8994/task/8996/stat : 8996 (java) R 8992 8994 6458 0 -1 4202560 3017 0 1 0 174286 31 0 0 20 0 19 0 291199880 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140087063522672 140087003848255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=8997] ppid=8992 vsize=9624980 CPUtime=5.46 cores=1,3,5,7
/proc/8994/task/8997/stat : 8997 (java) S 8992 8994 6458 0 -1 4202560 2764 0 0 0 516 30 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086907452200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=8998] ppid=8992 vsize=9624980 CPUtime=5.36 cores=1,3,5,7
/proc/8994/task/8998/stat : 8998 (java) S 8992 8994 6458 0 -1 4202560 2894 0 0 0 505 31 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086906399400 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=8999] ppid=8992 vsize=9624980 CPUtime=5.4 cores=1,3,5,7
/proc/8994/task/8999/stat : 8999 (java) S 8992 8994 6458 0 -1 4202560 2422 0 0 0 513 27 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086905347112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9000] ppid=8992 vsize=9624980 CPUtime=5.21 cores=1,3,5,7
/proc/8994/task/9000/stat : 9000 (java) S 8992 8994 6458 0 -1 4202560 2730 0 0 0 491 30 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086904294312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9001] ppid=8992 vsize=9624980 CPUtime=5.06 cores=1,3,5,7
/proc/8994/task/9001/stat : 9001 (java) S 8992 8994 6458 0 -1 4202560 1782 0 0 0 478 28 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086903241000 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9002] ppid=8992 vsize=9624980 CPUtime=5.31 cores=1,3,5,7
/proc/8994/task/9002/stat : 9002 (java) S 8992 8994 6458 0 -1 4202560 1978 0 0 0 499 32 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086902188200 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9003] ppid=8992 vsize=9624980 CPUtime=5.37 cores=1,3,5,7
/proc/8994/task/9003/stat : 9003 (java) S 8992 8994 6458 0 -1 4202560 2566 0 0 0 512 25 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086901135912 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9004] ppid=8992 vsize=9624980 CPUtime=5.03 cores=1,3,5,7
/proc/8994/task/9004/stat : 9004 (java) S 8992 8994 6458 0 -1 4202560 1553 0 0 0 479 24 0 0 20 0 19 0 291199881 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086900083112 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8994/tid=9005] ppid=8992 vsize=9624980 CPUtime=8.4 cores=1,3,5,7
/proc/8994/task/9005/stat : 9005 (java) S 8992 8994 6458 0 -1 4202560 1792 0 0 0 831 9 0 0 20 0 19 0 291199883 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086887672552 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9006] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9006/stat : 9006 (java) S 8992 8994 6458 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086886618616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9007] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9007/stat : 9007 (java) S 8992 8994 6458 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291199883 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086885566216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9008] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9008/stat : 9008 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086884514704 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8994/tid=9009] ppid=8992 vsize=9624980 CPUtime=0.32 cores=1,3,5,7
/proc/8994/task/9009/stat : 9009 (java) S 8992 8994 6458 0 -1 4202560 2651 0 0 0 32 0 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086883461304 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8994/tid=9010] ppid=8992 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/8994/task/9010/stat : 9010 (java) S 8992 8994 6458 0 -1 4202560 2153 0 0 0 37 0 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086882408504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9011] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9011/stat : 9011 (java) S 8992 8994 6458 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086881356408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9012] ppid=8992 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/8994/task/9012/stat : 9012 (java) S 8992 8994 6458 0 -1 4202560 103 0 0 0 44 41 0 0 20 0 19 0 291199885 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086880303816 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8994/tid=9013] ppid=8992 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/8994/task/9013/stat : 9013 (java) S 8992 8994 6458 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291199906 9855979520 232369 33554432000 1073741824 1073778376 140734100143792 140086879249832 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624980

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8994 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=470503
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=234508
# CPU time returned by wait4() is 1795.7
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1767.98
CPU time (s): 1800.05
CPU user time (s): 1797.05
CPU system time (s): 3
CPU usage (%): 101.814
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.47
system time used= 3.23451
maximum resident set size= 929636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29632
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50953
involuntary context switches= 55928

runsolver used 5.96209 second user time and 16.0916 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-29 02:19:10
IDJOB=3718162
IDBENCH=78729
IDSOLVER=2301
FILE ID=node140/3718162-1338250750
RUNJOBID= node140-1338248942-8853
PBS_JOBID= 14624641
Free space on /tmp= 71336 MiB

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

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

MD5SUM BENCH= 7e0724db75f314e84b0472c27c0a5114
RANDOM SEED=511995504

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30484796 kB
Buffers:          228864 kB
Cached:            51004 kB
SwapCached:         1668 kB
Active:          1483004 kB
Inactive:          23008 kB
Active(anon):    1218068 kB
Inactive(anon):    10104 kB
Active(file):     264936 kB
Inactive(file):    12904 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105152 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:       1257768 kB
Mapped:            17984 kB
Shmem:                 8 kB
Slab:             714468 kB
SReclaimable:     156452 kB
SUnreclaim:       558016 kB
KernelStack:        1584 kB
PageTables:         6996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1932032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1222656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71336 MiB
End job on node140 at 2012-05-29 02:48:40