Trace number 4085428

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)439 1800.9 1780.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
MD5SUMfe2fc6a37df33476d3a38f976836359f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark323
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 278
Optimality of the best value was proved YES
Number of variables2611
Total number of constraints1924
Number of constraints which are clauses1924
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint30
Number of terms in the objective function 2611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2611
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2611
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.08/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Glucose 2.1 dynamic restart strategy
0.08/0.13	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.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-4085428-1465242421.opb
0.08/0.13	c reading problem ... 
0.08/0.13	c  objective function found
0.50/0.31	c ... done. Wall clock time 0.188s.
0.50/0.31	c declared #vars     2611
0.50/0.31	c #constraints  1924
0.50/0.31	c constraints type 
0.50/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1861
0.50/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 63
0.50/0.31	c 1924 constraints processed.
0.50/0.31	c objective function length is 2611 literals
0.50/0.35	c SATISFIABLE
0.50/0.35	c OPTIMIZING...
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.227
0.50/0.35	o 439
1.54/0.91	c cleaning 2495 clauses out of 5002 with flag 10463/5002
1.97/1.38	c cleaning 4245 clauses out of 8505 with flag 23133/11000
2.59/1.95	c cleaning 5623 clauses out of 11260 with flag 38392/18000
3.31/2.68	c cleaning 6810 clauses out of 13638 with flag 55985/26001
4.24/3.59	c cleaning 7905 clauses out of 15828 with flag 74652/35001
5.14/4.50	c cleaning 8955 clauses out of 17923 with flag 95966/45001
6.25/5.54	c cleaning 9976 clauses out of 19968 with flag 118808/56001
7.60/6.86	c cleaning 10987 clauses out of 21992 with flag 144576/68001
9.00/8.24	c cleaning 11992 clauses out of 24005 with flag 173403/81001
10.60/9.85	c cleaning 12995 clauses out of 26012 with flag 205220/95000
12.30/11.51	c cleaning 13999 clauses out of 28018 with flag 239180/110001
14.20/13.42	c cleaning 15002 clauses out of 30019 with flag 275395/126001
16.66/15.74	c cleaning 15999 clauses out of 32017 with flag 313881/143001
18.86/17.98	c cleaning 16997 clauses out of 34017 with flag 354318/161000
20.86/19.95	c cleaning 17999 clauses out of 36020 with flag 397286/180000
23.36/22.47	c cleaning 19001 clauses out of 38021 with flag 441308/200000
26.39/25.34	c cleaning 20001 clauses out of 40020 with flag 487966/221000
29.48/28.40	c cleaning 20996 clauses out of 42019 with flag 537318/243000
32.38/31.36	c cleaning 22002 clauses out of 44024 with flag 588410/266001
35.39/34.24	c cleaning 22999 clauses out of 46021 with flag 643198/290000
38.59/37.46	c cleaning 24000 clauses out of 48022 with flag 698572/315000
41.89/40.75	c cleaning 24995 clauses out of 50023 with flag 756116/341001
46.01/44.76	c cleaning 26000 clauses out of 52027 with flag 817728/368000
49.51/48.25	c cleaning 27004 clauses out of 54028 with flag 882662/396001
53.54/52.15	c cleaning 28001 clauses out of 56023 with flag 948472/425000
57.44/56.05	c cleaning 29003 clauses out of 58022 with flag 1016152/455000
61.89/60.38	c cleaning 30000 clauses out of 60020 with flag 1086326/486001
66.39/64.87	c cleaning 30998 clauses out of 62019 with flag 1157872/518000
71.49/69.96	c cleaning 32000 clauses out of 64022 with flag 1233727/551001
76.56/74.85	c cleaning 33001 clauses out of 66024 with flag 1311784/585003
82.08/80.30	c cleaning 33990 clauses out of 68020 with flag 1392317/620000
87.69/85.81	c cleaning 35006 clauses out of 70031 with flag 1474051/656001
94.21/92.29	c cleaning 36002 clauses out of 72024 with flag 1558133/693000
100.31/98.36	c cleaning 37001 clauses out of 74023 with flag 1643839/731001
107.15/105.16	c cleaning 38001 clauses out of 76022 with flag 1734010/770001
114.95/112.88	c cleaning 39003 clauses out of 78022 with flag 1826694/810002
122.15/119.99	c cleaning 40003 clauses out of 80019 with flag 1919745/851002
130.76/128.56	c cleaning 40999 clauses out of 82015 with flag 2014544/893001
139.53/137.25	c cleaning 41999 clauses out of 84015 with flag 2111352/936000
148.59/146.28	c cleaning 42998 clauses out of 86016 with flag 2211147/980000
157.95/155.59	c cleaning 44001 clauses out of 88018 with flag 2314588/1025000
166.94/164.44	c cleaning 44994 clauses out of 90018 with flag 2419707/1071001
176.14/173.57	c cleaning 46003 clauses out of 92023 with flag 2523691/1118000
185.46/182.79	c cleaning 46999 clauses out of 94020 with flag 2630836/1166000
197.33/194.58	c cleaning 47999 clauses out of 96021 with flag 2739988/1215000
208.02/205.15	c cleaning 49000 clauses out of 98022 with flag 2849554/1265000
216.01/213.05	c cleaning 50007 clauses out of 100023 with flag 2963893/1316001
225.57/222.58	c cleaning 50996 clauses out of 102015 with flag 3078379/1368000
235.93/232.81	c cleaning 51996 clauses out of 104019 with flag 3198997/1421000
246.41/243.25	c cleaning 53000 clauses out of 106023 with flag 3320340/1475000
257.76/254.40	c cleaning 54003 clauses out of 108024 with flag 3444373/1530001
270.12/266.80	c cleaning 55002 clauses out of 110021 with flag 3570544/1586001
281.52/278.05	c cleaning 55996 clauses out of 112018 with flag 3698379/1643000
297.06/293.50	c cleaning 56998 clauses out of 114023 with flag 3828840/1701001
311.70/308.08	c cleaning 57998 clauses out of 116024 with flag 3960023/1760000
324.48/320.66	c cleaning 59003 clauses out of 118026 with flag 4094148/1820000
336.03/332.15	c cleaning 60001 clauses out of 120023 with flag 4233700/1881000
350.15/346.16	c cleaning 60997 clauses out of 122022 with flag 4375169/1943000
362.38/358.29	c cleaning 62001 clauses out of 124025 with flag 4516932/2006000
376.33/372.06	c cleaning 63003 clauses out of 126025 with flag 4658736/2070001
389.83/385.46	c cleaning 63999 clauses out of 128021 with flag 4806784/2135000
404.11/399.55	c cleaning 64997 clauses out of 130024 with flag 4958759/2201002
420.13/415.47	c cleaning 66000 clauses out of 132026 with flag 5111388/2268001
436.04/431.13	c cleaning 66999 clauses out of 134026 with flag 5268209/2336001
454.96/449.97	c cleaning 67998 clauses out of 136026 with flag 5428145/2405000
471.73/466.55	c cleaning 69004 clauses out of 138029 with flag 5588361/2475001
489.10/483.72	c cleaning 69999 clauses out of 140024 with flag 5752728/2546000
508.66/503.09	c cleaning 70998 clauses out of 142026 with flag 5919723/2618001
526.76/520.94	c cleaning 71996 clauses out of 144027 with flag 6088513/2691000
549.10/543.09	c cleaning 73003 clauses out of 146032 with flag 6258697/2765001
567.22/560.93	c cleaning 74001 clauses out of 148029 with flag 6432323/2840001
587.94/581.43	c cleaning 75000 clauses out of 150027 with flag 6611186/2916000
614.04/607.31	c cleaning 76001 clauses out of 152028 with flag 6788681/2993001
632.68/625.64	c cleaning 77004 clauses out of 154027 with flag 6969296/3071001
653.88/646.69	c cleaning 78000 clauses out of 156023 with flag 7153109/3150001
675.90/668.31	c cleaning 79002 clauses out of 158023 with flag 7337295/3230001
703.68/695.80	c cleaning 79996 clauses out of 160021 with flag 7525449/3311001
731.04/722.81	c cleaning 80996 clauses out of 162025 with flag 7715145/3393001
756.45/748.03	c cleaning 82005 clauses out of 164028 with flag 7907243/3476000
803.58/794.81	c cleaning 83000 clauses out of 166023 with flag 8103020/3560000
829.82/820.64	c cleaning 83995 clauses out of 168023 with flag 8300905/3645000
859.67/850.17	c cleaning 85002 clauses out of 170028 with flag 8499071/3731000
888.08/878.25	c cleaning 85999 clauses out of 172026 with flag 8698926/3818000
916.59/906.50	c cleaning 87004 clauses out of 174027 with flag 8898317/3906000
948.68/938.26	c cleaning 88003 clauses out of 176023 with flag 9097592/3995000
982.00/971.29	c cleaning 88999 clauses out of 178021 with flag 9294752/4085001
1008.80/997.62	c cleaning 89998 clauses out of 180021 with flag 9502802/4176000
1038.00/1026.51	c cleaning 91001 clauses out of 182023 with flag 9714880/4268000
1068.19/1056.43	c cleaning 91995 clauses out of 184022 with flag 9926203/4361000
1100.65/1088.57	c cleaning 92997 clauses out of 186028 with flag 10142138/4455001
1128.00/1115.54	c cleaning 94001 clauses out of 188030 with flag 10360733/4550000
1157.93/1145.15	c cleaning 95004 clauses out of 190030 with flag 10585157/4646001
1198.22/1185.05	c cleaning 95999 clauses out of 192025 with flag 10807109/4743000
1244.74/1231.12	c cleaning 97000 clauses out of 194029 with flag 11031922/4841003
1294.04/1279.99	c cleaning 98002 clauses out of 196027 with flag 11256242/4940001
1343.50/1328.90	c cleaning 99005 clauses out of 198024 with flag 11483399/5040000
1388.20/1373.04	c cleaning 100003 clauses out of 200019 with flag 11713961/5141000
1427.20/1411.61	c cleaning 100995 clauses out of 202016 with flag 11946244/5243000
1454.54/1438.55	c cleaning 101994 clauses out of 204022 with flag 12181469/5346001
1487.31/1470.86	c cleaning 103000 clauses out of 206028 with flag 12420578/5450001
1520.18/1503.37	c cleaning 104004 clauses out of 208028 with flag 12663027/5555001
1557.37/1540.13	c cleaning 104997 clauses out of 210023 with flag 12907625/5661000
1591.33/1573.75	c cleaning 105999 clauses out of 212027 with flag 13155601/5768001
1622.24/1604.32	c cleaning 107002 clauses out of 214028 with flag 13406561/5876001
1654.94/1636.61	c cleaning 108002 clauses out of 216026 with flag 13658804/5985001
1693.55/1674.84	c cleaning 109004 clauses out of 218024 with flag 13913134/6095001
1749.60/1730.42	c cleaning 109999 clauses out of 220020 with flag 14170569/6206001
1800.08/1780.40	c starts		: 2
1800.08/1780.40	c conflicts		: 6312269
1800.08/1780.40	c decisions		: 9323115
1800.08/1780.40	c propagations		: 123872910
1800.08/1780.40	c inspects		: 29974584044
1800.08/1780.40	c shortcuts		: 0
1800.08/1780.40	c learnt literals	: 0
1800.08/1780.40	c learnt binary clauses	: 0
1800.08/1780.40	c learnt ternary clauses	: 0
1800.08/1780.40	c learnt constraints	: 6312270
1800.08/1780.40	c ignored constraints	: 0
1800.08/1780.40	c root simplifications	: 0
1800.08/1780.40	c removed literals (reason simplification)	: 0
1800.08/1780.40	c reason swapping (by a shorter reason)	: 0
1800.08/1780.40	c Calls to reduceDB	: 107
1800.08/1780.40	c Number of update (reduction) of LBD	: 645846
1800.08/1780.40	c Imported unit clauses	: 0
1800.08/1780.40	c number of reductions to clauses (during analyze)	: 0
1800.08/1780.40	c number of learned constraints concerned by reduction	: 0
1800.08/1780.40	c number of learning phase by resolution	: 0
1800.08/1780.40	c number of learning phase by cutting planes	: 0
1800.08/1780.40	c speed (assignments/second)	: 69588.5512753388
1800.08/1780.40	c non guided choices	0
1800.08/1780.43	c learnt constraints type 
1800.08/1780.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 216290
1800.08/1780.43	s SATISFIABLE
1800.08/1780.43	c Found 1 solution(s)
1800.08/1780.44	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 
1800.08/1780.44	c objective function=439
1800.08/1780.44	c Total wall clock time (in seconds): 1780.318

Verifier Data 

OK	439

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-4085428-1465242421/watcher-4085428-1465242421 -o /tmp/evaluation-result-4085428-1465242421/solver-4085428-1465242421 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32604 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085428-1465242421.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.16 2.10 3/194 3792
/proc/meminfo: memFree=31532112/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/3792/stat : 3792 (java) R 3789 3792 32587 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 106176842 278528 33 33554432000 1073741824 1073778376 140733354694336 140736558515528 251134045479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 68 33 25 9 0 25 0

[startup+0.10009 s]
/proc/loadavg: 2.11 2.16 2.10 3/194 3792
/proc/meminfo: memFree=31532112/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 4325 0 1 0 7 1 0 0 20 0 18 0 106176842 9787879424 5453 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2389619 5453 2088 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200278 s]
/proc/loadavg: 2.11 2.16 2.10 3/194 3792
/proc/meminfo: memFree=31532112/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 5004 0 1 0 26 1 0 0 20 0 18 0 106176842 9787879424 7007 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2389619 7007 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300257 s]
/proc/loadavg: 2.11 2.16 2.10 3/194 3792
/proc/meminfo: memFree=31532112/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 5896 0 1 0 48 2 0 0 20 0 18 0 106176842 9787879424 8902 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2389619 8892 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700152 s]
/proc/loadavg: 2.11 2.16 2.10 3/194 3792
/proc/meminfo: memFree=31532112/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9625040 CPUtime=1.28 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 10196 0 1 0 125 3 0 0 20 0 19 0 106176842 9856040960 13691 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2406260 13691 2256 9 0 2396937 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 9625040

[startup+1.50087 s]
/proc/loadavg: 2.11 2.16 2.10 3/213 3811
/proc/meminfo: memFree=31477676/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9625040 CPUtime=2.19 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 10368 0 1 0 216 3 0 0 20 0 19 0 106176842 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2406260 18393 2266 9 0 2396937 0
[pid=3792/tid=3794] ppid=3789 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/3792/task/3794/stat : 3794 (java) R 3789 3792 32587 0 -1 4202560 2479 0 1 0 144 2 0 0 20 0 19 0 106176843 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704344428256 139704284758132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3795] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3795/stat : 3795 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704283167784 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3796] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3796/stat : 3796 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704282114984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3797] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3797/stat : 3797 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704185600808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3798] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3798/stat : 3798 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704184548008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3799] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3799/stat : 3799 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704183495208 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3800] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3800/stat : 3800 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704182442408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3801] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3801/stat : 3801 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704181389608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3802] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3802/stat : 3802 (java) S 3789 3792 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704180336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3803] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3803/stat : 3803 (java) S 3789 3792 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704168139752 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3804] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3804/stat : 3804 (java) S 3789 3792 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704167085816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3805] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3805/stat : 3805 (java) S 3789 3792 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106176847 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704166032904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3806] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3806/stat : 3806 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704164981392 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3807] ppid=3789 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3792/task/3807/stat : 3807 (java) S 3789 3792 32587 0 -1 4202560 3780 0 0 0 35 0 0 0 20 0 19 0 106176849 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704163928504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3808] ppid=3789 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3792/task/3808/stat : 3808 (java) S 3789 3792 32587 0 -1 4202560 2833 0 0 0 35 0 0 0 20 0 19 0 106176849 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704162875704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3809] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3809/stat : 3809 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704161823096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3810] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3810/stat : 3810 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704160770504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3811] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3811/stat : 3811 (java) S 3789 3792 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106176876 9856040960 18393 33554432000 1073741824 1073778376 140733354694336 139704159717032 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.11 2.16 2.10 3/213 3811
/proc/meminfo: memFree=31452596/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9625040 CPUtime=3.84 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 10385 0 1 0 380 4 0 0 20 0 19 0 106176842 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2406260 26585 2266 9 0 2396937 0
[pid=3792/tid=3794] ppid=3789 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/3792/task/3794/stat : 3794 (java) R 3789 3792 32587 0 -1 4202560 2496 0 1 0 303 3 0 0 20 0 19 0 106176843 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704344428144 139704284720852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3795] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3795/stat : 3795 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704283167784 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3796] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3796/stat : 3796 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704282114984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3797] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3797/stat : 3797 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704185600808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3798] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3798/stat : 3798 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704184548008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3799] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3799/stat : 3799 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704183495208 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3800] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3800/stat : 3800 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704182442408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3801] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3801/stat : 3801 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704181389608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3802] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3802/stat : 3802 (java) S 3789 3792 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704180336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3803] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3803/stat : 3803 (java) S 3789 3792 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704168139752 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3804] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3804/stat : 3804 (java) S 3789 3792 32587 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704167085816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3805] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3805/stat : 3805 (java) S 3789 3792 32587 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106176847 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704166032904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3806] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3806/stat : 3806 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704164981392 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3807] ppid=3789 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3792/task/3807/stat : 3807 (java) S 3789 3792 32587 0 -1 4202560 3780 0 0 0 38 0 0 0 20 0 19 0 106176849 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704163928504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3808] ppid=3789 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3792/task/3808/stat : 3808 (java) S 3789 3792 32587 0 -1 4202560 2833 0 0 0 35 0 0 0 20 0 19 0 106176849 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704162875704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3809] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3809/stat : 3809 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704161823096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3810] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3810/stat : 3810 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704160770504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3811] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3811/stat : 3811 (java) S 3789 3792 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106176876 9856040960 26585 33554432000 1073741824 1073778376 140733354694336 139704159717032 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625040

[startup+6.30091 s]
/proc/loadavg: 2.10 2.16 2.10 3/213 3811
/proc/meminfo: memFree=31389128/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9625040 CPUtime=7.1 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 10499 0 1 0 702 8 0 0 20 0 19 0 106176842 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2406260 49945 2280 9 0 2396937 0
[pid=3792/tid=3794] ppid=3789 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/3792/task/3794/stat : 3794 (java) R 3789 3792 32587 0 -1 4202560 2529 0 1 0 619 4 0 0 20 0 19 0 106176843 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704344436072 139704284798956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3795] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3795/stat : 3795 (java) S 3789 3792 32587 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704283167784 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3796] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3796/stat : 3796 (java) S 3789 3792 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704282114984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3797] ppid=3789 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/3792/task/3797/stat : 3797 (java) S 3789 3792 32587 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 106176845 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704185600808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3798] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3798/stat : 3798 (java) S 3789 3792 32587 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704184548008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3799] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3799/stat : 3799 (java) S 3789 3792 32587 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704183495208 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3800] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3800/stat : 3800 (java) S 3789 3792 32587 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704182442408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3801] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3801/stat : 3801 (java) S 3789 3792 32587 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704181389608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3802] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3802/stat : 3802 (java) S 3789 3792 32587 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106176845 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704180336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3803] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3803/stat : 3803 (java) S 3789 3792 32587 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704168139752 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3804] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3804/stat : 3804 (java) S 3789 3792 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704167085816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3805] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3805/stat : 3805 (java) S 3789 3792 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106176847 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704166032904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3806] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3806/stat : 3806 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704164981392 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3807] ppid=3789 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/3792/task/3807/stat : 3807 (java) S 3789 3792 32587 0 -1 4202560 3780 0 0 0 38 0 0 0 20 0 19 0 106176849 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704163928504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3808] ppid=3789 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3792/task/3808/stat : 3808 (java) S 3789 3792 32587 0 -1 4202560 2833 0 0 0 35 0 0 0 20 0 19 0 106176849 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704162875704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3809] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3809/stat : 3809 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704161823096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3810] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3810/stat : 3810 (java) S 3789 3792 32587 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704160770504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3811] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3811/stat : 3811 (java) S 3789 3792 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106176876 9856040960 49945 33554432000 1073741824 1073778376 140733354694336 139704159717032 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 9625040


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

[pid=3792/tid=3804] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3804/stat : 3804 (java) S 3789 3792 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 163646 33554432000 1073741824 1073778376 140733354694336 139704167085816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3805] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3805/stat : 3805 (java) S 3789 3792 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106176847 9856040960 163646 33554432000 1073741824 1073778376 140733354694336 139704166032904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3806] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3806/stat : 3806 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 163646 33554432000 1073741824 1073778376 140733354694336 139704164981392 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3807] ppid=3789 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3792/task/3807/stat : 3807 (java) S 3789 3792 32587 0 -1 4202560 3785 0 0 0 40 0 0 0 20 0 19 0 106176849 9856040960 163646 33554432000 1073741824 1073778376 140733354694336 139704163928504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3808] ppid=3789 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3792/task/3808/stat : 3808 (java) S 3789 3792 32587 0 -1 4202560 2833 0 0 0 35 0 0 0 20 0 19 0 106176849 9856040960 163646 33554432000 1073741824 1073778376 140733354694336 139704162875704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3809] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3809/stat : 3809 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 163646 33554432000 1073741824 1073778376 140733354694336 139704161823096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3810] ppid=3789 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/3792/task/3810/stat : 3810 (java) S 3789 3792 32587 0 -1 4202560 93 0 0 0 30 24 0 0 20 0 19 0 106176849 9856040960 163646 33554432000 1073741824 1073778376 140733354694336 139704160770504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3811] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3811/stat : 3811 (java) S 3789 3792 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106176876 9856040960 163646 33554432000 1073741824 1073778376 140733354694336 139704159717032 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1620.24
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.33 2.18 2.10 3/213 3941
/proc/meminfo: memFree=30928572/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9625040 CPUtime=1680.93 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 30488 0 1 0 167908 185 0 0 20 0 19 0 106176842 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2406260 158281 2289 9 0 2396937 0
[pid=3792/tid=3794] ppid=3789 vsize=9625040 CPUtime=1648.86 cores=1,3,5,7
/proc/3792/task/3794/stat : 3794 (java) R 3789 3792 32587 0 -1 4202560 2950 0 1 0 164854 32 0 0 20 0 19 0 106176843 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704344435952 139704284798956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3795] ppid=3789 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/3792/task/3795/stat : 3795 (java) S 3789 3792 32587 0 -1 4202560 1904 0 0 0 304 20 0 0 20 0 19 0 106176845 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704283167784 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3796] ppid=3789 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/3792/task/3796/stat : 3796 (java) S 3789 3792 32587 0 -1 4202560 2286 0 0 0 291 16 0 0 20 0 19 0 106176845 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704282114984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3797] ppid=3789 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/3792/task/3797/stat : 3797 (java) S 3789 3792 32587 0 -1 4202560 1617 0 0 0 304 20 0 0 20 0 19 0 106176845 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704185600808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3798] ppid=3789 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/3792/task/3798/stat : 3798 (java) S 3789 3792 32587 0 -1 4202560 3339 0 0 0 303 21 0 0 20 0 19 0 106176845 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704184548008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3799] ppid=3789 vsize=9625040 CPUtime=3.22 cores=1,3,5,7
/proc/3792/task/3799/stat : 3799 (java) S 3789 3792 32587 0 -1 4202560 1820 0 0 0 305 17 0 0 20 0 19 0 106176845 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704183495208 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3800] ppid=3789 vsize=9625040 CPUtime=3.26 cores=1,3,5,7
/proc/3792/task/3800/stat : 3800 (java) S 3789 3792 32587 0 -1 4202560 1994 0 0 0 302 24 0 0 20 0 19 0 106176845 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704182442408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3801] ppid=3789 vsize=9625040 CPUtime=3.12 cores=1,3,5,7
/proc/3792/task/3801/stat : 3801 (java) S 3789 3792 32587 0 -1 4202560 3236 0 0 0 294 18 0 0 20 0 19 0 106176845 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704181389608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3802] ppid=3789 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/3792/task/3802/stat : 3802 (java) S 3789 3792 32587 0 -1 4202560 1907 0 0 0 296 17 0 0 20 0 19 0 106176845 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704180336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3803] ppid=3789 vsize=9625040 CPUtime=5.64 cores=1,3,5,7
/proc/3792/task/3803/stat : 3803 (java) S 3789 3792 32587 0 -1 4202560 1460 0 0 0 557 7 0 0 20 0 19 0 106176846 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704168139752 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3804] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3804/stat : 3804 (java) S 3789 3792 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704167085816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3805] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3805/stat : 3805 (java) S 3789 3792 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106176847 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704166032904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3806] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3806/stat : 3806 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704164981392 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3807] ppid=3789 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3792/task/3807/stat : 3807 (java) S 3789 3792 32587 0 -1 4202560 3785 0 0 0 40 0 0 0 20 0 19 0 106176849 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704163928504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3808] ppid=3789 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3792/task/3808/stat : 3808 (java) S 3789 3792 32587 0 -1 4202560 2833 0 0 0 35 0 0 0 20 0 19 0 106176849 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704162875704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3809] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3809/stat : 3809 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704161823096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3810] ppid=3789 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/3792/task/3810/stat : 3810 (java) S 3789 3792 32587 0 -1 4202560 95 0 0 0 32 24 0 0 20 0 19 0 106176849 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704160770504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3811] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3811/stat : 3811 (java) S 3789 3792 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106176876 9856040960 158281 33554432000 1073741824 1073778376 140733354694336 139704159717032 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1680.93
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.16 2.16 2.10 3/213 3943
/proc/meminfo: memFree=30878740/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9625040 CPUtime=1741.43 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 30942 0 1 0 173954 189 0 0 20 0 19 0 106176842 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2406260 162136 2289 9 0 2396937 0
[pid=3792/tid=3794] ppid=3789 vsize=9625040 CPUtime=1708.52 cores=1,3,5,7
/proc/3792/task/3794/stat : 3794 (java) R 3789 3792 32587 0 -1 4202560 2959 0 1 0 170820 32 0 0 20 0 19 0 106176843 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704344435952 139704284759144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3795] ppid=3789 vsize=9625040 CPUtime=3.32 cores=1,3,5,7
/proc/3792/task/3795/stat : 3795 (java) S 3789 3792 32587 0 -1 4202560 1908 0 0 0 312 20 0 0 20 0 19 0 106176845 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704283167784 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3796] ppid=3789 vsize=9625040 CPUtime=3.15 cores=1,3,5,7
/proc/3792/task/3796/stat : 3796 (java) S 3789 3792 32587 0 -1 4202560 2291 0 0 0 298 17 0 0 20 0 19 0 106176845 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704282114984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3797] ppid=3789 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/3792/task/3797/stat : 3797 (java) S 3789 3792 32587 0 -1 4202560 1669 0 0 0 311 20 0 0 20 0 19 0 106176845 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704185600808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3798] ppid=3789 vsize=9625040 CPUtime=3.32 cores=1,3,5,7
/proc/3792/task/3798/stat : 3798 (java) S 3789 3792 32587 0 -1 4202560 3406 0 0 0 311 21 0 0 20 0 19 0 106176845 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704184548008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3799] ppid=3789 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/3792/task/3799/stat : 3799 (java) S 3789 3792 32587 0 -1 4202560 2065 0 0 0 314 17 0 0 20 0 19 0 106176845 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704183495208 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3800] ppid=3789 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/3792/task/3800/stat : 3800 (java) S 3789 3792 32587 0 -1 4202560 1998 0 0 0 310 24 0 0 20 0 19 0 106176845 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704182442408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3801] ppid=3789 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/3792/task/3801/stat : 3801 (java) S 3789 3792 32587 0 -1 4202560 3279 0 0 0 306 18 0 0 20 0 19 0 106176845 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704181389608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3802] ppid=3789 vsize=9625040 CPUtime=3.22 cores=1,3,5,7
/proc/3792/task/3802/stat : 3802 (java) S 3789 3792 32587 0 -1 4202560 1920 0 0 0 304 18 0 0 20 0 19 0 106176845 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704180336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3803] ppid=3789 vsize=9625040 CPUtime=5.79 cores=1,3,5,7
/proc/3792/task/3803/stat : 3803 (java) S 3789 3792 32587 0 -1 4202560 1468 0 0 0 571 8 0 0 20 0 19 0 106176846 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704168139752 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3804] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3804/stat : 3804 (java) S 3789 3792 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704167085816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3805] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3805/stat : 3805 (java) S 3789 3792 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106176847 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704166032904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3806] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3806/stat : 3806 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704164981392 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3807] ppid=3789 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3792/task/3807/stat : 3807 (java) S 3789 3792 32587 0 -1 4202560 3785 0 0 0 40 0 0 0 20 0 19 0 106176849 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704163928504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3808] ppid=3789 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3792/task/3808/stat : 3808 (java) S 3789 3792 32587 0 -1 4202560 2833 0 0 0 35 0 0 0 20 0 19 0 106176849 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704162875704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3809] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3809/stat : 3809 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704161823096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3810] ppid=3789 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/3792/task/3810/stat : 3810 (java) S 3789 3792 32587 0 -1 4202560 99 0 0 0 32 26 0 0 20 0 19 0 106176849 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704160770504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3811] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3811/stat : 3811 (java) S 3789 3792 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106176876 9856040960 162136 33554432000 1073741824 1073778376 140733354694336 139704159717032 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1741.43
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.4 s]
/proc/loadavg: 2.16 2.15 2.10 3/213 3944
/proc/meminfo: memFree=30851668/32872528 swapFree=12744/274376
[pid=3792] ppid=3789 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/3792/stat : 3792 (java) S 3789 3792 32587 0 -1 4202496 31294 0 1 0 179813 195 0 0 20 0 19 0 106176842 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 140733354685472 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3792/statm: 2406260 169051 2289 9 0 2396937 0
[pid=3792/tid=3794] ppid=3789 vsize=9625040 CPUtime=1766.23 cores=1,3,5,7
/proc/3792/task/3794/stat : 3794 (java) R 3789 3792 32587 0 -1 4202560 2973 0 1 0 176590 33 0 0 20 0 19 0 106176843 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704344435952 139704284758054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3795] ppid=3789 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/3792/task/3795/stat : 3795 (java) S 3789 3792 32587 0 -1 4202560 1914 0 0 0 318 21 0 0 20 0 19 0 106176845 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704283167784 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3796] ppid=3789 vsize=9625040 CPUtime=3.27 cores=1,3,5,7
/proc/3792/task/3796/stat : 3796 (java) S 3789 3792 32587 0 -1 4202560 2414 0 0 0 310 17 0 0 20 0 19 0 106176845 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704282114984 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3797] ppid=3789 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/3792/task/3797/stat : 3797 (java) S 3789 3792 32587 0 -1 4202560 1670 0 0 0 319 20 0 0 20 0 19 0 106176845 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704185600808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3798] ppid=3789 vsize=9625040 CPUtime=3.4 cores=1,3,5,7
/proc/3792/task/3798/stat : 3798 (java) S 3789 3792 32587 0 -1 4202560 3414 0 0 0 318 22 0 0 20 0 19 0 106176845 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704184548008 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3792/tid=3799] ppid=3789 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/3792/task/3799/stat : 3799 (java) S 3789 3792 32587 0 -1 4202560 2189 0 0 0 324 18 0 0 20 0 19 0 106176845 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704183495208 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3800] ppid=3789 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/3792/task/3800/stat : 3800 (java) S 3789 3792 32587 0 -1 4202560 2001 0 0 0 321 25 0 0 20 0 19 0 106176845 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704182442408 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3801] ppid=3789 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/3792/task/3801/stat : 3801 (java) S 3789 3792 32587 0 -1 4202560 3281 0 0 0 314 19 0 0 20 0 19 0 106176845 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704181389608 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3802] ppid=3789 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/3792/task/3802/stat : 3802 (java) S 3789 3792 32587 0 -1 4202560 1972 0 0 0 315 18 0 0 20 0 19 0 106176845 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704180336808 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3792/tid=3803] ppid=3789 vsize=9625040 CPUtime=5.94 cores=1,3,5,7
/proc/3792/task/3803/stat : 3803 (java) S 3789 3792 32587 0 -1 4202560 1483 0 0 0 586 8 0 0 20 0 19 0 106176846 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704168139752 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3804] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3804/stat : 3804 (java) S 3789 3792 32587 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106176846 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704167085816 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3805] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3805/stat : 3805 (java) S 3789 3792 32587 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106176847 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704166032904 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3806] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3806/stat : 3806 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704164981392 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3807] ppid=3789 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3792/task/3807/stat : 3807 (java) S 3789 3792 32587 0 -1 4202560 3785 0 0 0 40 0 0 0 20 0 19 0 106176849 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704163928504 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3808] ppid=3789 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3792/task/3808/stat : 3808 (java) S 3789 3792 32587 0 -1 4202560 2833 0 0 0 35 0 0 0 20 0 19 0 106176849 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704162875704 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3809] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3809/stat : 3809 (java) S 3789 3792 32587 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106176849 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704161823096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3792/tid=3810] ppid=3789 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/3792/task/3810/stat : 3810 (java) S 3789 3792 32587 0 -1 4202560 103 0 0 0 33 28 0 0 20 0 19 0 106176849 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704160770504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3792/tid=3811] ppid=3789 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3792/task/3811/stat : 3811 (java) S 3789 3792 32587 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 106176876 9856040960 169051 33554432000 1073741824 1073778376 140733354694336 139704159717032 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 3792 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1780.46
CPU time (s): 1800.9
CPU user time (s): 1798.47
CPU system time (s): 2.43063
CPU usage (%): 101.148
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 2.43063
maximum resident set size= 722424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31335
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51133
involuntary context switches= 49622

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3624 second user time and 13.9829 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-06 21:47:01
IDJOB=4085428
IDBENCH=2872
IDSOLVER=2546
FILE ID=node107/4085428-1465242421
RUNJOBID= node107-1465220764-32604
PBS_JOBID= 19843224
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-prom2.r.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085428-1465242421/watcher-4085428-1465242421 -o /tmp/evaluation-result-4085428-1465242421/solver-4085428-1465242421 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465220764-32604 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085428-1465242421.opb

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

MD5SUM BENCH= fe2fc6a37df33476d3a38f976836359f
RANDOM SEED=1394228859

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.441
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:        31532524 kB
Buffers:           32132 kB
Cached:            98916 kB
SwapCached:         1684 kB
Active:           298104 kB
Inactive:          65512 kB
Active(anon):     232152 kB
Inactive(anon):     2400 kB
Active(file):      65952 kB
Inactive(file):    63112 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098436 kB
Dirty:               440 kB
Writeback:             0 kB
AnonPages:        530680 kB
Mapped:            15364 kB
Shmem:                 0 kB
Slab:             567816 kB
SReclaimable:      11232 kB
SUnreclaim:       556584 kB
KernelStack:        1760 kB
PageTables:         5064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1091636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    505856 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= 71748 MiB
End job on node107 at 2016-06-06 22:16:42