Trace number 4090635

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 2.3.6 Resolution PB16MSAT (TO) 1800 1781.76

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
MD5SUMd7a0ad39836c923faf2776c1a468a22d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark1800.11
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2750
Total number of constraints105
Number of soft constraints35
Number of constraints which are clauses55
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 1904
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1903
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4090635-1466063933.wbo
0.10/0.11	c reading problem ... 
0.28/0.23	c ... done. Wall clock time 0.123s.
0.28/0.23	c declared #vars     2750
0.28/0.23	c internal #vars     2785
0.28/0.23	c #constraints  105
0.28/0.23	c constraints type 
0.28/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 55
0.28/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 36
0.28/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14
0.28/0.23	c 105 constraints processed.
0.28/0.23	c objective function length is 35 literals
0.89/0.59	c SATISFIABLE
0.89/0.59	c OPTIMIZING...
0.89/0.59	c Got one! Elapsed wall clock time (in seconds):0.477
0.89/0.59	o 35
1.40/0.98	c cleaning 2890 clauses out of 5779 with flag 23447/5779
2.35/1.88	c cleaning 4441 clauses out of 8891 with flag 72913/11781
3.25/2.76	c Got one! Elapsed wall clock time (in seconds):2.653
3.25/2.76	o 9
3.76/3.26	c cleaning 7695 clauses out of 15400 with flag 37473/22731
4.52/3.95	c cleaning 6845 clauses out of 13706 with flag 84968/28732
5.43/4.83	c cleaning 6924 clauses out of 13864 with flag 148448/35735
6.53/5.99	c cleaning 7459 clauses out of 14936 with flag 226164/43731
8.03/7.45	c cleaning 8226 clauses out of 16477 with flag 319313/52731
9.73/9.19	c cleaning 9117 clauses out of 18254 with flag 419060/62734
11.90/11.21	c cleaning 10062 clauses out of 20138 with flag 538356/73735
13.40/12.77	c cleaning 11012 clauses out of 22072 with flag 634811/85731
16.11/15.46	c cleaning 12002 clauses out of 24060 with flag 741616/98731
19.00/18.33	c cleaning 13007 clauses out of 26061 with flag 851235/112734
22.71/22.07	c cleaning 14000 clauses out of 28052 with flag 973262/127732
27.21/26.57	c cleaning 14995 clauses out of 30051 with flag 1100522/143731
32.35/31.63	c cleaning 16003 clauses out of 32057 with flag 1236490/160732
37.75/37.05	c cleaning 17002 clauses out of 34053 with flag 1380468/178731
43.76/43.05	c cleaning 18004 clauses out of 36052 with flag 1541047/197732
50.06/49.40	c cleaning 19002 clauses out of 38048 with flag 1706046/217732
57.62/56.72	c cleaning 19998 clauses out of 40045 with flag 1879474/238731
66.02/65.17	c cleaning 20999 clauses out of 42048 with flag 2073312/260732
75.72/74.87	c cleaning 22002 clauses out of 44048 with flag 2276710/283731
81.60/80.56	c cleaning 23016 clauses out of 46046 with flag 2436871/307731
90.31/89.21	c cleaning 24002 clauses out of 48034 with flag 2621932/332735
99.51/98.46	c cleaning 24999 clauses out of 50029 with flag 2819830/358732
109.94/108.60	c cleaning 26010 clauses out of 52033 with flag 3024715/385735
120.74/119.43	c cleaning 27002 clauses out of 54020 with flag 3242692/413732
129.23/127.91	c cleaning 27993 clauses out of 56020 with flag 3473441/442734
140.12/138.67	c cleaning 28990 clauses out of 58024 with flag 3690082/472731
151.72/150.25	c cleaning 29996 clauses out of 60036 with flag 3942985/503733
165.34/163.62	c cleaning 30995 clauses out of 62038 with flag 4221633/535731
173.94/172.27	c cleaning 32009 clauses out of 64047 with flag 4457937/568735
181.99/180.01	c cleaning 32992 clauses out of 66034 with flag 4698044/602731
189.29/187.31	c cleaning 33976 clauses out of 68044 with flag 4929941/637733
196.25/194.15	c cleaning 35006 clauses out of 70066 with flag 5168917/673731
205.60/203.35	c cleaning 36009 clauses out of 72060 with flag 5403945/710731
215.50/213.29	c cleaning 37014 clauses out of 74055 with flag 5647719/748735
223.59/221.23	c cleaning 37998 clauses out of 76038 with flag 5907111/787732
234.30/231.88	c cleaning 38995 clauses out of 78040 with flag 6173302/827732
245.62/243.10	c cleaning 40005 clauses out of 80045 with flag 6454768/868732
260.23/257.63	c cleaning 40998 clauses out of 82039 with flag 6752975/910731
269.91/267.21	c cleaning 41997 clauses out of 84042 with flag 7085400/953732
286.10/283.31	c cleaning 43003 clauses out of 86046 with flag 7388505/997733
297.32/294.49	c cleaning 44006 clauses out of 88042 with flag 7696692/1042732
309.10/306.06	c cleaning 44991 clauses out of 90038 with flag 8005667/1088734
328.67/325.58	c cleaning 45994 clauses out of 92046 with flag 8344255/1135733
347.28/344.05	c cleaning 46996 clauses out of 94051 with flag 8746976/1183732
367.40/364.00	c cleaning 48005 clauses out of 96059 with flag 9142965/1232736
388.18/384.73	c cleaning 49000 clauses out of 98050 with flag 9557960/1282732
401.37/397.75	c cleaning 50012 clauses out of 100049 with flag 9942091/1333731
413.90/410.14	c cleaning 51008 clauses out of 102037 with flag 10261497/1385731
430.96/427.11	c cleaning 51994 clauses out of 104029 with flag 10608113/1438731
452.94/449.08	c cleaning 52994 clauses out of 106038 with flag 11008080/1492734
477.31/473.21	c cleaning 54001 clauses out of 108043 with flag 11435822/1547733
503.98/499.84	c cleaning 55000 clauses out of 110042 with flag 11898081/1603733
519.17/514.82	c cleaning 55960 clauses out of 112040 with flag 12291507/1660731
548.56/544.06	c cleaning 56984 clauses out of 114080 with flag 12801682/1718731
572.36/567.63	c cleaning 58026 clauses out of 116097 with flag 13309968/1777732
594.63/589.84	c cleaning 59035 clauses out of 118070 with flag 13677672/1837731
613.40/608.33	c cleaning 60001 clauses out of 120036 with flag 14039112/1898732
635.57/630.37	c cleaning 60998 clauses out of 122034 with flag 14487943/1960731
655.62/650.11	c cleaning 61999 clauses out of 124036 with flag 14879655/2023731
675.38/669.73	c cleaning 62988 clauses out of 126037 with flag 15315797/2087731
696.45/690.62	c cleaning 64009 clauses out of 128049 with flag 15719182/2152731
719.82/713.80	c cleaning 64999 clauses out of 130040 with flag 16115837/2218731
739.10/732.94	c cleaning 66009 clauses out of 132041 with flag 16570197/2285731
764.37/758.09	c cleaning 66998 clauses out of 134033 with flag 17028598/2353732
796.22/789.66	c cleaning 67997 clauses out of 136034 with flag 17583712/2422731
821.34/814.52	c cleaning 68981 clauses out of 138037 with flag 18031739/2492731
846.50/839.57	c cleaning 70011 clauses out of 140056 with flag 18462744/2563731
877.65/870.46	c cleaning 71003 clauses out of 142046 with flag 18931343/2635732
902.17/894.73	c cleaning 72002 clauses out of 144043 with flag 19405336/2708732
925.98/918.27	c cleaning 72996 clauses out of 146041 with flag 19897684/2782732
956.31/948.33	c cleaning 73991 clauses out of 148045 with flag 20374557/2857732
986.06/977.76	c cleaning 75002 clauses out of 150053 with flag 20851502/2933731
1015.54/1006.93	c cleaning 76003 clauses out of 152051 with flag 21376440/3010731
1051.72/1042.74	c cleaning 77009 clauses out of 154049 with flag 21829458/3088732
1083.56/1074.22	c cleaning 78010 clauses out of 156042 with flag 22327749/3167734
1116.98/1107.25	c cleaning 78995 clauses out of 158029 with flag 22819213/3247731
1145.75/1135.67	c cleaning 79991 clauses out of 160035 with flag 23322886/3328732
1176.61/1166.01	c cleaning 81003 clauses out of 162043 with flag 23836667/3410731
1215.03/1204.04	c cleaning 82004 clauses out of 164040 with flag 24323186/3493731
1250.47/1239.09	c cleaning 83001 clauses out of 166036 with flag 24853151/3577731
1285.66/1273.77	c cleaning 84008 clauses out of 168035 with flag 25385408/3662731
1321.05/1308.67	c cleaning 85000 clauses out of 170027 with flag 25937202/3748731
1363.89/1351.00	c cleaning 85994 clauses out of 172027 with flag 26474796/3835731
1401.88/1388.52	c cleaning 86992 clauses out of 174033 with flag 27030697/3923731
1441.30/1427.48	c cleaning 88002 clauses out of 176041 with flag 27587437/4012731
1478.23/1463.96	c cleaning 89009 clauses out of 178039 with flag 28177711/4102731
1518.18/1503.33	c cleaning 89996 clauses out of 180030 with flag 28773623/4193731
1562.43/1547.15	c cleaning 90998 clauses out of 182034 with flag 29356099/4285731
1620.20/1604.39	c cleaning 92000 clauses out of 184036 with flag 29997770/4378731
1666.12/1649.61	c cleaning 92985 clauses out of 186038 with flag 30570184/4472733
1711.98/1694.86	c cleaning 94009 clauses out of 188051 with flag 31278548/4567731
1752.14/1734.40	c cleaning 95004 clauses out of 190043 with flag 31921145/4663732
1800.00/1781.70	c starts		: 16647
1800.00/1781.70	c conflicts		: 4740541
1800.00/1781.70	c decisions		: 31185165
1800.00/1781.70	c propagations		: 159531761
1800.00/1781.70	c inspects		: 27636285434
1800.00/1781.70	c shortcuts		: 0
1800.00/1781.70	c learnt literals	: 0
1800.00/1781.70	c learnt binary clauses	: 0
1800.00/1781.70	c learnt ternary clauses	: 0
1800.00/1781.70	c learnt constraints	: 4740541
1800.00/1781.70	c ignored constraints	: 0
1800.00/1781.70	c root simplifications	: 0
1800.00/1781.70	c removed literals (reason simplification)	: 0
1800.00/1781.70	c reason swapping (by a shorter reason)	: 0
1800.00/1781.70	c Calls to reduceDB	: 94
1800.00/1781.70	c Number of update (reduction) of LBD	: 2534890
1800.00/1781.70	c Imported unit clauses	: 0
1800.00/1781.70	c number of reductions to clauses (during analyze)	: 0
1800.00/1781.70	c number of learned constraints concerned by reduction	: 0
1800.00/1781.70	c number of learning phase by resolution	: 0
1800.00/1781.70	c number of learning phase by cutting planes	: 0
1800.00/1781.70	c speed (assignments/second)	: 89550.93170560843
1800.00/1781.70	c non guided choices	321755
1800.00/1781.73	c learnt constraints type 
1800.00/1781.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 171849
1800.00/1781.73	s SATISFIABLE
1800.00/1781.73	c Found 2 solution(s)
1800.00/1781.74	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 
1800.00/1781.74	c objective function=9
1800.00/1781.74	c Total wall clock time (in seconds): 1781.633

Verifier Data 

OK	9

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090635-1466063933/watcher-4090635-1466063933 -o /tmp/evaluation-result-4090635-1466063933/solver-4090635-1466063933 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466062128-6969 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090635-1466063933.wbo 

pid=7321
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.16 2.23 1.95 5/194 7324
/proc/meminfo: memFree=30302656/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 1282 0 0 0 0 0 0 0 20 0 2 0 8440440 94019584 917 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 22954 917 697 9 0 16769 0
[pid=7324/tid=7325] ppid=7321 vsize=91816 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) D 7321 7324 6953 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 8440441 94019584 917 33554432000 1073741824 1073778376 140733275034864 140164741742120 260181159207 0 0 4096 0 18446744072100588836 0 0 -1 0 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.16 2.23 1.95 5/194 7324
/proc/meminfo: memFree=30302656/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 4400 0 1 0 9 1 0 0 20 0 18 0 8440440 9787879424 6035 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2389619 6035 2125 9 0 2380296 0
[pid=7324/tid=7325] ppid=7321 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2379 0 1 0 7 0 0 0 20 0 18 0 8440441 9787879424 6035 33554432000 1073741824 1073778376 140733275034864 140164741745568 140164748270798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200313 s]
/proc/loadavg: 2.16 2.23 1.95 5/194 7324
/proc/meminfo: memFree=30302656/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 4997 0 1 0 27 1 0 0 20 0 18 0 8440440 9787879424 6958 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2389619 6958 2217 9 0 2380296 0
[pid=7324/tid=7325] ppid=7321 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2399 0 1 0 17 0 0 0 20 0 18 0 8440441 9787879424 6958 33554432000 1073741824 1073778376 140733275034864 140164741745568 260189994427 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300313 s]
/proc/loadavg: 2.16 2.23 1.95 5/194 7324
/proc/meminfo: memFree=30302656/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 6843 0 1 0 51 1 0 0 20 0 19 0 8440440 9856040960 9236 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2406333 9259 2249 9 0 2397010 0
[pid=7324/tid=7325] ppid=7321 vsize=9625332 CPUtime=0.27 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2440 0 1 0 26 1 0 0 20 0 19 0 8440441 9856339968 9280 33554432000 1073741824 1073778376 140733275034864 140164741746840 140164596873837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700267 s]
/proc/loadavg: 2.16 2.23 1.95 5/194 7324
/proc/meminfo: memFree=30302656/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9625040 CPUtime=1.16 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 8755 0 1 0 114 2 0 0 20 0 19 0 8440440 9856040960 11546 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2406260 11546 2256 9 0 2396937 0
[pid=7324/tid=7325] ppid=7321 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2443 0 1 0 65 2 0 0 20 0 19 0 8440441 9856040960 11546 33554432000 1073741824 1073778376 140733275034864 140164741746840 140164596993728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.16 2.23 1.95 3/213 7343
/proc/meminfo: memFree=30243228/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 8987 0 1 0 201 2 0 0 20 0 19 0 8440440 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2406260 14112 2260 9 0 2396937 0
[pid=7324/tid=7325] ppid=7321 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2449 0 1 0 145 2 0 0 20 0 19 0 8440441 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164741745024 140164597282955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7327] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7327/stat : 7327 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164585794088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7328] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7328/stat : 7328 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164584741288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7329] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7329/stat : 7329 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164583688488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7330] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7330/stat : 7330 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164582635688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7331] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7331/stat : 7331 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164581583912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7332] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7332/stat : 7332 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164244433832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7333] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7333/stat : 7333 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164243381032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7334] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7334/stat : 7334 (java) S 7321 7324 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164242328232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7335] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7335/stat : 7335 (java) S 7321 7324 6953 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164230130152 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7336] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7336/stat : 7336 (java) S 7321 7324 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164229076216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7337] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7337/stat : 7337 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164228023304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7338] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7338/stat : 7338 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164226971792 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7339] ppid=7321 vsize=9625040 CPUtime=0.22 cores=0,2,4,6
/proc/7324/task/7339/stat : 7339 (java) S 7321 7324 6953 0 -1 4202560 1712 0 0 0 22 0 0 0 20 0 19 0 8440446 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164225919928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7340] ppid=7321 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/7324/task/7340/stat : 7340 (java) S 7321 7324 6953 0 -1 4202560 3554 0 0 0 30 0 0 0 20 0 19 0 8440446 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164224867128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7341] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7341/stat : 7341 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164223814520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7342] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7342/stat : 7342 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164222761928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7343] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7343/stat : 7343 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440465 9856040960 14112 33554432000 1073741824 1073778376 140733275034864 140164221609128 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 2.16 2.23 1.95 3/213 7343
/proc/meminfo: memFree=30209716/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9625040 CPUtime=3.66 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 9000 0 1 0 364 2 0 0 20 0 19 0 8440440 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2406260 19745 2261 9 0 2396937 0
[pid=7324/tid=7325] ppid=7321 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2461 0 1 0 305 2 0 0 20 0 19 0 8440441 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164741738800 140164597208196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7327] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7327/stat : 7327 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164585794088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7328] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7328/stat : 7328 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164584741288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7329] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7329/stat : 7329 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164583688488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7330] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7330/stat : 7330 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164582635688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7331] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7331/stat : 7331 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164581583912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7332] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7332/stat : 7332 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164244433832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7333] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7333/stat : 7333 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164243381032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7334] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7334/stat : 7334 (java) S 7321 7324 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164242328232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7335] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7335/stat : 7335 (java) S 7321 7324 6953 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164230130152 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7336] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7336/stat : 7336 (java) S 7321 7324 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164229076216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7337] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7337/stat : 7337 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164228023304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7338] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7338/stat : 7338 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164226971792 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7339] ppid=7321 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/7324/task/7339/stat : 7339 (java) S 7321 7324 6953 0 -1 4202560 1713 0 0 0 23 0 0 0 20 0 19 0 8440446 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164225919928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7340] ppid=7321 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7324/task/7340/stat : 7340 (java) S 7321 7324 6953 0 -1 4202560 3554 0 0 0 32 0 0 0 20 0 19 0 8440446 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164224867128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7341] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7341/stat : 7341 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164223814520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7342] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7342/stat : 7342 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164222761928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7343] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7343/stat : 7343 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440465 9856040960 19745 33554432000 1073741824 1073778376 140733275034864 140164221609128 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.15 2.22 1.95 3/213 7343
/proc/meminfo: memFree=30118816/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9625040 CPUtime=6.93 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 9882 0 1 0 690 3 0 0 20 0 19 0 8440440 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2406260 29962 2261 9 0 2396937 0
[pid=7324/tid=7325] ppid=7321 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2483 0 1 0 624 2 0 0 20 0 19 0 8440441 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164741738176 140164597358902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7327] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7327/stat : 7327 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164585794088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7328] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7328/stat : 7328 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164584741288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7329] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7329/stat : 7329 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164583688488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7330] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7330/stat : 7330 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164582635688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7331] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7331/stat : 7331 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164581583912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7332] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7332/stat : 7332 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164244433832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7333] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7333/stat : 7333 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164243381032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7334] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7334/stat : 7334 (java) S 7321 7324 6953 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8440442 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164242328232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7335] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7335/stat : 7335 (java) S 7321 7324 6953 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164230130152 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7336] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7336/stat : 7336 (java) S 7321 7324 6953 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164229076216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7337] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7337/stat : 7337 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164228023304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7338] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7338/stat : 7338 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164226971792 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7339] ppid=7321 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/7324/task/7339/stat : 7339 (java) S 7321 7324 6953 0 -1 4202560 2573 0 0 0 30 0 0 0 20 0 19 0 8440446 9856040960 29962 33554432000 1073741824 1073778376 140733275034864 140164225919928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7340] ppid=7321 vsize=9625040 CPUtime=0.32 cores=0,2,4,6

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

[pid=7324/tid=7343] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7343/stat : 7343 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440465 9856040960 134139 33554432000 1073741824 1073778376 140733275034864 140164221609128 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1679
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.15 2.19 2.16 3/213 7409
/proc/meminfo: memFree=29326152/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9625040 CPUtime=1739.92 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 19149 0 1 0 173836 156 0 0 20 0 19 0 8440440 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2406260 112263 2283 9 0 2396937 0
[pid=7324/tid=7325] ppid=7321 vsize=9625040 CPUtime=1706.03 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2711 0 1 0 170572 31 0 0 20 0 19 0 8440441 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164741745984 140164597369296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7327] ppid=7321 vsize=9625040 CPUtime=3.16 cores=0,2,4,6
/proc/7324/task/7327/stat : 7327 (java) S 7321 7324 6953 0 -1 4202560 1016 0 0 0 300 16 0 0 20 0 19 0 8440442 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164585794088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7328] ppid=7321 vsize=9625040 CPUtime=2.84 cores=0,2,4,6
/proc/7324/task/7328/stat : 7328 (java) S 7321 7324 6953 0 -1 4202560 502 0 0 0 272 12 0 0 20 0 19 0 8440442 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164584741288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7329] ppid=7321 vsize=9625040 CPUtime=2.89 cores=0,2,4,6
/proc/7324/task/7329/stat : 7329 (java) S 7321 7324 6953 0 -1 4202560 585 0 0 0 273 16 0 0 20 0 19 0 8440442 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164583688488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7330] ppid=7321 vsize=9625040 CPUtime=2.93 cores=0,2,4,6
/proc/7324/task/7330/stat : 7330 (java) S 7321 7324 6953 0 -1 4202560 821 0 0 0 278 15 0 0 20 0 19 0 8440442 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164582635688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7331] ppid=7321 vsize=9625040 CPUtime=2.83 cores=0,2,4,6
/proc/7324/task/7331/stat : 7331 (java) S 7321 7324 6953 0 -1 4202560 1250 0 0 0 267 16 0 0 20 0 19 0 8440442 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164581583912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7332] ppid=7321 vsize=9625040 CPUtime=2.88 cores=0,2,4,6
/proc/7324/task/7332/stat : 7332 (java) S 7321 7324 6953 0 -1 4202560 1130 0 0 0 271 17 0 0 20 0 19 0 8440442 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164244433832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7333] ppid=7321 vsize=9625040 CPUtime=3 cores=0,2,4,6
/proc/7324/task/7333/stat : 7333 (java) S 7321 7324 6953 0 -1 4202560 1273 0 0 0 284 16 0 0 20 0 19 0 8440442 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164243381032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7334] ppid=7321 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/7324/task/7334/stat : 7334 (java) S 7321 7324 6953 0 -1 4202560 1075 0 0 0 259 14 0 0 20 0 19 0 8440442 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164242328232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7335] ppid=7321 vsize=9625040 CPUtime=5.26 cores=0,2,4,6
/proc/7324/task/7335/stat : 7335 (java) S 7321 7324 6953 0 -1 4202560 1143 0 0 0 521 5 0 0 20 0 19 0 8440443 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164230130152 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7336] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7336/stat : 7336 (java) S 7321 7324 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164229076216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7337] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7337/stat : 7337 (java) S 7321 7324 6953 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164228023304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7338] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7338/stat : 7338 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164226971792 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7339] ppid=7321 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7324/task/7339/stat : 7339 (java) S 7321 7324 6953 0 -1 4202560 2732 0 0 0 32 0 0 0 20 0 19 0 8440446 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164225919928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7340] ppid=7321 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7324/task/7340/stat : 7340 (java) S 7321 7324 6953 0 -1 4202560 3554 0 0 0 32 0 0 0 20 0 19 0 8440446 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164224867128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7341] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7341/stat : 7341 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164223814520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7342] ppid=7321 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/7324/task/7342/stat : 7342 (java) S 7321 7324 6953 0 -1 4202560 100 0 0 0 24 26 0 0 20 0 19 0 8440446 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164222761928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7343] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7343/stat : 7343 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440465 9856040960 112263 33554432000 1073741824 1073778376 140733275034864 140164221609128 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1739.92
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.7 s]
/proc/loadavg: 2.14 2.18 2.16 3/213 7410
/proc/meminfo: memFree=29154592/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 21108 0 1 0 179833 167 0 0 20 0 19 0 8440440 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2406260 141164 2283 9 0 2396937 0
[pid=7324/tid=7325] ppid=7321 vsize=9625040 CPUtime=1764.7 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2721 0 1 0 176438 32 0 0 20 0 19 0 8440441 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164741745984 140164597369361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7327] ppid=7321 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/7324/task/7327/stat : 7327 (java) S 7321 7324 6953 0 -1 4202560 1259 0 0 0 309 16 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164585794088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7328] ppid=7321 vsize=9625040 CPUtime=2.96 cores=0,2,4,6
/proc/7324/task/7328/stat : 7328 (java) S 7321 7324 6953 0 -1 4202560 741 0 0 0 283 13 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164584741288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7329] ppid=7321 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/7324/task/7329/stat : 7329 (java) S 7321 7324 6953 0 -1 4202560 890 0 0 0 285 18 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164583688488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7330] ppid=7321 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/7324/task/7330/stat : 7330 (java) S 7321 7324 6953 0 -1 4202560 884 0 0 0 285 16 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164582635688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7331] ppid=7321 vsize=9625040 CPUtime=2.98 cores=0,2,4,6
/proc/7324/task/7331/stat : 7331 (java) S 7321 7324 6953 0 -1 4202560 1772 0 0 0 281 17 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164581583912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7332] ppid=7321 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/7324/task/7332/stat : 7332 (java) S 7321 7324 6953 0 -1 4202560 1494 0 0 0 283 18 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164244433832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7333] ppid=7321 vsize=9625040 CPUtime=3.11 cores=0,2,4,6
/proc/7324/task/7333/stat : 7333 (java) S 7321 7324 6953 0 -1 4202560 1293 0 0 0 294 17 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164243381032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7334] ppid=7321 vsize=9625040 CPUtime=2.87 cores=0,2,4,6
/proc/7324/task/7334/stat : 7334 (java) S 7321 7324 6953 0 -1 4202560 1131 0 0 0 271 16 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164242328232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7335] ppid=7321 vsize=9625040 CPUtime=5.57 cores=0,2,4,6
/proc/7324/task/7335/stat : 7335 (java) S 7321 7324 6953 0 -1 4202560 1276 0 0 0 552 5 0 0 20 0 19 0 8440443 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164230130152 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7336] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7336/stat : 7336 (java) S 7321 7324 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164229076216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7337] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7337/stat : 7337 (java) S 7321 7324 6953 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164228023304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7338] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7338/stat : 7338 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164226971792 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7339] ppid=7321 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7324/task/7339/stat : 7339 (java) S 7321 7324 6953 0 -1 4202560 2732 0 0 0 32 0 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164225919928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7340] ppid=7321 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7324/task/7340/stat : 7340 (java) S 7321 7324 6953 0 -1 4202560 3554 0 0 0 32 0 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164224867128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7341] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7341/stat : 7341 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164223814520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7342] ppid=7321 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/7324/task/7342/stat : 7342 (java) S 7321 7324 6953 0 -1 4202560 104 0 0 0 25 26 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164222761928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7343] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7343/stat : 7343 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440465 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164221609128 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1781.7 s]
/proc/loadavg: 2.14 2.18 2.16 3/213 7410
/proc/meminfo: memFree=29154592/32872528 swapFree=17100/1797424
[pid=7324] ppid=7321 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/7324/stat : 7324 (java) S 7321 7324 6953 0 -1 4202496 21108 0 1 0 179833 167 0 0 20 0 19 0 8440440 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140733275026000 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7324/statm: 2406260 141164 2283 9 0 2396937 0
[pid=7324/tid=7325] ppid=7321 vsize=9625040 CPUtime=1764.7 cores=0,2,4,6
/proc/7324/task/7325/stat : 7325 (java) R 7321 7324 6953 0 -1 4202560 2721 0 1 0 176438 32 0 0 20 0 19 0 8440441 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164741745984 140164597369361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7327] ppid=7321 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/7324/task/7327/stat : 7327 (java) S 7321 7324 6953 0 -1 4202560 1259 0 0 0 309 16 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164585794088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7328] ppid=7321 vsize=9625040 CPUtime=2.96 cores=0,2,4,6
/proc/7324/task/7328/stat : 7328 (java) S 7321 7324 6953 0 -1 4202560 741 0 0 0 283 13 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164584741288 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7329] ppid=7321 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/7324/task/7329/stat : 7329 (java) S 7321 7324 6953 0 -1 4202560 890 0 0 0 285 18 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164583688488 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7330] ppid=7321 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/7324/task/7330/stat : 7330 (java) S 7321 7324 6953 0 -1 4202560 884 0 0 0 285 16 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164582635688 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7331] ppid=7321 vsize=9625040 CPUtime=2.98 cores=0,2,4,6
/proc/7324/task/7331/stat : 7331 (java) S 7321 7324 6953 0 -1 4202560 1772 0 0 0 281 17 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164581583912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7332] ppid=7321 vsize=9625040 CPUtime=3.01 cores=0,2,4,6
/proc/7324/task/7332/stat : 7332 (java) S 7321 7324 6953 0 -1 4202560 1494 0 0 0 283 18 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164244433832 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7333] ppid=7321 vsize=9625040 CPUtime=3.11 cores=0,2,4,6
/proc/7324/task/7333/stat : 7333 (java) S 7321 7324 6953 0 -1 4202560 1293 0 0 0 294 17 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164243381032 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=7324/tid=7334] ppid=7321 vsize=9625040 CPUtime=2.87 cores=0,2,4,6
/proc/7324/task/7334/stat : 7334 (java) S 7321 7324 6953 0 -1 4202560 1131 0 0 0 271 16 0 0 20 0 19 0 8440442 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164242328232 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7335] ppid=7321 vsize=9625040 CPUtime=5.57 cores=0,2,4,6
/proc/7324/task/7335/stat : 7335 (java) S 7321 7324 6953 0 -1 4202560 1276 0 0 0 552 5 0 0 20 0 19 0 8440443 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164230130152 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7336] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7336/stat : 7336 (java) S 7321 7324 6953 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164229076216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7337] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7337/stat : 7337 (java) S 7321 7324 6953 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8440443 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164228023304 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7338] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7338/stat : 7338 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164226971792 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7339] ppid=7321 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7324/task/7339/stat : 7339 (java) S 7321 7324 6953 0 -1 4202560 2732 0 0 0 32 0 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164225919928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=7324/tid=7340] ppid=7321 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/7324/task/7340/stat : 7340 (java) S 7321 7324 6953 0 -1 4202560 3554 0 0 0 32 0 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164224867128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7341] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7341/stat : 7341 (java) S 7321 7324 6953 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164223814520 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=7324/tid=7342] ppid=7321 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/7324/task/7342/stat : 7342 (java) S 7321 7324 6953 0 -1 4202560 104 0 0 0 25 26 0 0 20 0 19 0 8440446 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164222761928 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7324/tid=7343] ppid=7321 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/7324/task/7343/stat : 7343 (java) S 7321 7324 6953 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8440465 9856040960 141164 33554432000 1073741824 1073778376 140733275034864 140164221609128 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7324 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=939279
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=81683
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1781.76
CPU time (s): 1800
CPU user time (s): 1798.33
CPU system time (s): 1.67
CPU usage (%): 101.024
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.94
system time used= 2.08168
maximum resident set size= 814224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21157
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44191
involuntary context switches= 48280

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0025 second user time and 13.7629 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-16 09:58:53
IDJOB=4090635
IDBENCH=78709
IDSOLVER=2551
FILE ID=node123/4090635-1466063933
RUNJOBID= node123-1466062128-6969
PBS_JOBID= 19904016
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090635-1466063933/watcher-4090635-1466063933 -o /tmp/evaluation-result-4090635-1466063933/solver-4090635-1466063933 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466062128-6969 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090635-1466063933.wbo

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

MD5SUM BENCH= d7a0ad39836c923faf2776c1a468a22d
RANDOM SEED=1863865575

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30306232 kB
Buffers:            4936 kB
Cached:            38000 kB
SwapCached:         2196 kB
Active:            49332 kB
Inactive:          21684 kB
Active(anon):      28804 kB
Inactive(anon):     1384 kB
Active(file):      20528 kB
Inactive(file):    20300 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:              1256 kB
Writeback:             0 kB
AnonPages:       1908344 kB
Mapped:            14612 kB
Shmem:                 0 kB
Slab:             563928 kB
SReclaimable:       8152 kB
SUnreclaim:       555776 kB
KernelStack:        1768 kB
PageTables:         7492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2485604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1880064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71632 MiB
End job on node123 at 2016-06-16 10:28:35