Trace number 4085255

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)378 1800.02 1796.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
MD5SUM2821538067d8c071dc9bd4a000c6d040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark342
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 340
Optimality of the best value was proved NO
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
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

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.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	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.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4085255-1465229043.opb
0.10/0.10	c reading problem ... 
0.10/0.11	c  objective function found
1.48/0.83	c ... done. Wall clock time 0.731s.
1.48/0.83	c declared #vars     2700
1.48/0.83	c #constraints  43070
1.48/0.83	c constraints type 
1.48/0.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 17340
1.48/0.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 800
1.48/0.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3330
1.48/0.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21600
1.48/0.83	c 43070 constraints processed.
1.48/0.84	c objective function length is 900 literals
2.03/1.14	c SATISFIABLE
2.03/1.14	c OPTIMIZING...
2.03/1.14	c Got one! Elapsed wall clock time (in seconds):1.034
2.03/1.14	o 406
2.35/1.30	c Got one! Elapsed wall clock time (in seconds):1.196
2.35/1.30	o 380
2.56/1.56	c Got one! Elapsed wall clock time (in seconds):1.455
2.56/1.56	o 378
2.90/1.86	c cleaning 3729 clauses out of 7467 with flag 9059/7467
3.47/2.34	c cleaning 4868 clauses out of 9738 with flag 23212/13467
4.07/2.94	c cleaning 5933 clauses out of 11870 with flag 39839/20467
4.79/3.62	c cleaning 6968 clauses out of 13940 with flag 58348/28470
5.50/4.39	c cleaning 7985 clauses out of 15970 with flag 78401/37468
6.50/5.34	c cleaning 8987 clauses out of 17985 with flag 101198/47468
7.50/6.38	c cleaning 9993 clauses out of 19997 with flag 125763/58467
8.70/7.53	c cleaning 11002 clauses out of 22005 with flag 152795/70468
10.10/8.91	c cleaning 12001 clauses out of 24002 with flag 182477/83467
11.70/10.52	c cleaning 13002 clauses out of 26004 with flag 215410/97470
13.30/12.14	c cleaning 13995 clauses out of 27999 with flag 249586/112467
15.00/13.87	c cleaning 15000 clauses out of 30004 with flag 286426/128467
16.90/15.74	c cleaning 16001 clauses out of 32005 with flag 325161/145468
19.00/17.88	c cleaning 16998 clauses out of 34004 with flag 367295/163468
21.30/20.11	c cleaning 18001 clauses out of 36005 with flag 410990/182467
23.60/22.46	c cleaning 18995 clauses out of 38005 with flag 456810/202468
26.50/25.35	c cleaning 19999 clauses out of 40009 with flag 508820/223467
29.20/28.03	c cleaning 20999 clauses out of 42010 with flag 559962/245467
32.20/31.06	c cleaning 22001 clauses out of 44012 with flag 616891/268468
35.30/34.15	c cleaning 23001 clauses out of 46013 with flag 674744/292470
38.60/37.42	c cleaning 23995 clauses out of 48009 with flag 735423/317467
42.49/41.37	c cleaning 25004 clauses out of 50014 with flag 802885/343467
46.69/45.54	c cleaning 26004 clauses out of 52013 with flag 873294/370470
51.16/49.94	c cleaning 27002 clauses out of 54007 with flag 947186/398468
55.17/53.97	c cleaning 27998 clauses out of 56004 with flag 1017700/427467
59.36/58.16	c cleaning 29002 clauses out of 58008 with flag 1090274/457469
63.76/62.53	c cleaning 29998 clauses out of 60004 with flag 1163332/488467
68.77/67.52	c cleaning 31001 clauses out of 62006 with flag 1245899/520467
73.97/72.77	c cleaning 31992 clauses out of 64005 with flag 1332299/553467
80.36/79.12	c cleaning 33002 clauses out of 66013 with flag 1427886/587467
86.66/85.45	c cleaning 34003 clauses out of 68011 with flag 1525294/622467
93.36/92.18	c cleaning 34992 clauses out of 70008 with flag 1626294/658467
101.16/99.91	c cleaning 36006 clauses out of 72016 with flag 1735106/695467
109.17/107.91	c cleaning 37004 clauses out of 74011 with flag 1847965/733468
116.93/115.53	c cleaning 38000 clauses out of 76006 with flag 1962175/772467
125.32/123.94	c cleaning 39002 clauses out of 78007 with flag 2079437/812468
133.54/132.14	c cleaning 40001 clauses out of 80005 with flag 2196882/853468
142.03/140.65	c cleaning 40993 clauses out of 82004 with flag 2316012/895468
149.82/148.46	c cleaning 41999 clauses out of 84010 with flag 2431905/938467
158.62/157.24	c cleaning 43001 clauses out of 86011 with flag 2556824/982467
167.63/166.29	c cleaning 44005 clauses out of 88010 with flag 2681311/1027467
178.12/176.77	c cleaning 44998 clauses out of 90008 with flag 2816914/1073470
189.60/188.09	c cleaning 45996 clauses out of 92008 with flag 2955067/1120468
201.10/199.58	c cleaning 46999 clauses out of 94012 with flag 3094156/1168468
213.20/211.68	c cleaning 48006 clauses out of 96012 with flag 3237506/1217467
225.10/223.59	c cleaning 48998 clauses out of 98006 with flag 3383415/1267467
239.10/237.56	c cleaning 49990 clauses out of 100008 with flag 3538597/1318467
254.10/252.59	c cleaning 51006 clauses out of 102019 with flag 3702264/1370468
269.02/267.45	c cleaning 51994 clauses out of 104014 with flag 3865429/1423469
283.61/282.08	c cleaning 53003 clauses out of 106018 with flag 4031139/1477467
299.02/297.23	c cleaning 54001 clauses out of 108016 with flag 4196788/1532468
314.42/312.62	c cleaning 55000 clauses out of 110014 with flag 4365472/1588467
331.52/329.76	c cleaning 56004 clauses out of 112014 with flag 4542588/1645467
346.13/344.40	c cleaning 56998 clauses out of 114010 with flag 4711816/1703467
361.94/360.16	c cleaning 58005 clauses out of 116013 with flag 4886679/1762468
378.11/376.04	c cleaning 58995 clauses out of 118007 with flag 5060933/1822467
394.51/392.44	c cleaning 60000 clauses out of 120012 with flag 5237144/1883467
410.42/408.32	c cleaning 60998 clauses out of 122012 with flag 5414364/1945467
429.73/427.69	c cleaning 62002 clauses out of 124015 with flag 5605956/2008468
447.65/445.55	c cleaning 62992 clauses out of 126013 with flag 5792648/2072468
466.74/464.66	c cleaning 64004 clauses out of 128022 with flag 5983541/2137469
486.84/484.55	c cleaning 65009 clauses out of 130019 with flag 6181909/2203470
506.83/504.54	c cleaning 65998 clauses out of 132007 with flag 6375685/2270467
527.44/525.13	c cleaning 66999 clauses out of 134009 with flag 6577298/2338467
548.83/546.59	c cleaning 68004 clauses out of 136012 with flag 6782314/2407469
568.73/566.29	c cleaning 68999 clauses out of 138006 with flag 6983265/2477467
588.13/585.61	c cleaning 70001 clauses out of 140007 with flag 7180749/2548467
609.55/607.04	c cleaning 70995 clauses out of 142006 with flag 7392457/2620467
631.95/629.46	c cleaning 72005 clauses out of 144011 with flag 7608569/2693467
659.87/657.13	c cleaning 72988 clauses out of 146006 with flag 7841144/2767467
685.87/683.14	c cleaning 74007 clauses out of 148020 with flag 8072741/2842469
717.08/714.39	c cleaning 75006 clauses out of 150012 with flag 8322108/2918468
748.78/746.05	c cleaning 75995 clauses out of 152005 with flag 8572987/2995467
782.53/779.71	c cleaning 77001 clauses out of 154010 with flag 8822132/3073467
817.84/815.02	c cleaning 77994 clauses out of 156010 with flag 9080888/3152468
855.34/852.59	c cleaning 79008 clauses out of 158016 with flag 9348364/3232468
887.96/885.05	c cleaning 80002 clauses out of 160009 with flag 9614471/3313469
922.28/919.36	c cleaning 81002 clauses out of 162005 with flag 9884638/3395467
947.68/944.79	c cleaning 81997 clauses out of 164003 with flag 10152906/3478467
972.58/969.64	c cleaning 82996 clauses out of 166007 with flag 10421255/3562468
998.98/996.00	c cleaning 84005 clauses out of 168012 with flag 10682965/3647469
1032.39/1029.36	c cleaning 84988 clauses out of 170006 with flag 10969922/3733468
1058.39/1055.33	c cleaning 86004 clauses out of 172017 with flag 11229386/3820467
1087.60/1084.49	c cleaning 87003 clauses out of 174013 with flag 11502256/3908467
1121.52/1118.32	c cleaning 88001 clauses out of 176012 with flag 11796987/3997469
1157.57/1154.26	c cleaning 89001 clauses out of 178011 with flag 12094961/4087469
1196.47/1193.15	c cleaning 90001 clauses out of 180010 with flag 12394679/4178469
1241.19/1237.84	c cleaning 90997 clauses out of 182007 with flag 12707973/4270467
1285.98/1282.53	c cleaning 92002 clauses out of 184010 with flag 13023539/4363467
1327.10/1323.64	c cleaning 92993 clauses out of 186008 with flag 13326433/4457467
1367.91/1364.40	c cleaning 94008 clauses out of 188017 with flag 13620532/4552469
1417.11/1413.51	c cleaning 94999 clauses out of 190007 with flag 13922483/4648467
1468.62/1465.09	c cleaning 95998 clauses out of 192008 with flag 14231486/4745467
1527.84/1524.14	c cleaning 97003 clauses out of 194011 with flag 14534365/4843468
1589.43/1585.78	c cleaning 98000 clauses out of 196009 with flag 14839263/4942469
1641.94/1638.11	c cleaning 98996 clauses out of 198007 with flag 15165445/5042467
1682.73/1678.96	c cleaning 100007 clauses out of 200014 with flag 15487195/5143470
1709.84/1706.00	c cleaning 100992 clauses out of 202004 with flag 15772785/5245467
1738.67/1734.76	c cleaning 101997 clauses out of 204012 with flag 16045217/5348467
1770.05/1766.17	c cleaning 103002 clauses out of 206016 with flag 16349345/5452468
1800.02/1796.00	c starts		: 383
1800.02/1796.00	c conflicts		: 5543760
1800.02/1796.00	c decisions		: 6699796
1800.02/1796.00	c propagations		: 114267660
1800.02/1796.00	c inspects		: 29213783669
1800.02/1796.00	c shortcuts		: 0
1800.02/1796.00	c learnt literals	: 0
1800.02/1796.00	c learnt binary clauses	: 0
1800.02/1796.00	c learnt ternary clauses	: 0
1800.02/1796.00	c learnt constraints	: 5543760
1800.02/1796.00	c ignored constraints	: 0
1800.02/1796.00	c root simplifications	: 0
1800.02/1796.00	c removed literals (reason simplification)	: 0
1800.02/1796.00	c reason swapping (by a shorter reason)	: 0
1800.02/1796.00	c Calls to reduceDB	: 100
1800.02/1796.00	c Number of update (reduction) of LBD	: 526163
1800.02/1796.00	c Imported unit clauses	: 0
1800.02/1796.00	c number of reductions to clauses (during analyze)	: 0
1800.02/1796.00	c number of learned constraints concerned by reduction	: 0
1800.02/1796.00	c number of learning phase by resolution	: 0
1800.02/1796.00	c number of learning phase by cutting planes	: 0
1800.02/1796.00	c speed (assignments/second)	: 63653.15422962063
1800.02/1796.00	c non guided choices	1031
1800.02/1796.03	c learnt constraints type 
1800.02/1796.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 194306
1800.02/1796.03	s SATISFIABLE
1800.02/1796.03	c Found 3 solution(s)
1800.02/1796.04	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 
1800.02/1796.04	c objective function=378
1800.02/1796.04	c Total wall clock time (in seconds): 1795.938

Verifier Data 

OK	378

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-4085255-1465229043/watcher-4085255-1465229043 -o /tmp/evaluation-result-4085255-1465229043/solver-4085255-1465229043 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31161 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085255-1465229043.opb 

pid=386
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.07 2.07 2.08 3/194 389
/proc/meminfo: memFree=31127280/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/389/stat : 389 (runsolver) R 386 389 31144 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 1 0 104838738 24911872 159 33554432000 4194304 4338465 140734028118976 140734028116168 213866147255 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0
/proc/389/statm: 6082 159 113 36 0 2655 0

[startup+0.100131 s]
/proc/loadavg: 2.07 2.07 2.08 3/194 389
/proc/meminfo: memFree=31127280/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 4425 0 1 0 9 1 0 0 20 0 18 0 104838738 9787879424 6062 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2389619 6062 2147 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200237 s]
/proc/loadavg: 2.07 2.07 2.08 3/194 389
/proc/meminfo: memFree=31127280/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 4917 0 1 0 27 1 0 0 20 0 18 0 104838738 9787879424 7443 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2389619 7443 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300242 s]
/proc/loadavg: 2.07 2.07 2.08 3/194 389
/proc/meminfo: memFree=31127280/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 6338 0 1 0 50 2 0 0 20 0 18 0 104838738 9787879424 12228 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2389619 12228 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476

[startup+0.700182 s]
/proc/loadavg: 2.07 2.07 2.08 3/194 389
/proc/meminfo: memFree=31127280/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9558476 CPUtime=1.27 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 10348 0 1 0 124 3 0 0 20 0 18 0 104838738 9787879424 42312 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2389619 42312 2269 9 0 2380296 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 9558476

[startup+1.50084 s]
/proc/loadavg: 2.07 2.07 2.08 4/213 408
/proc/meminfo: memFree=30964580/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9625040 CPUtime=2.56 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 12295 0 1 0 252 4 0 0 20 0 19 0 104838738 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2406260 42852 2281 9 0 2396937 0
[pid=389/tid=391] ppid=386 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/389/task/391/stat : 391 (java) R 386 389 31144 0 -1 4202560 2486 0 1 0 144 2 0 0 20 0 19 0 104838739 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291987603656 140291836074016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=389/tid=392] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/392/stat : 392 (java) S 386 389 31144 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291960056232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=393] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/393/stat : 393 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291959003688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=394] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/394/stat : 394 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291957950632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=395] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/395/stat : 395 (java) S 386 389 31144 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291956898088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=396] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/396/stat : 396 (java) S 386 389 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291955846056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=397] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/397/stat : 397 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291954793512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=398] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/398/stat : 398 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291953740456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=399] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/399/stat : 399 (java) S 386 389 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291824200488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=400] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/400/stat : 400 (java) S 386 389 31144 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291341252968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=401] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/401/stat : 401 (java) S 386 389 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291340199288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=402] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/402/stat : 402 (java) S 386 389 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291339146120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=403] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/403/stat : 403 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291338094864 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=404] ppid=386 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/389/task/404/stat : 404 (java) S 386 389 31144 0 -1 4202560 4907 0 0 0 56 0 0 0 20 0 19 0 104838743 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291337042744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=405] ppid=386 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/389/task/405/stat : 405 (java) S 386 389 31144 0 -1 4202560 3541 0 0 0 47 0 0 0 20 0 19 0 104838743 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291335990200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=406] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/406/stat : 406 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291334937336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=407] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/407/stat : 407 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291333885000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=408] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/408/stat : 408 (java) S 386 389 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104838823 9856040960 42852 33554432000 1073741824 1073778376 140734418240480 140291332830248 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9625040

[startup+3.10085 s]
/proc/loadavg: 2.07 2.07 2.08 3/213 408
/proc/meminfo: memFree=30947476/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9625040 CPUtime=4.28 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 12329 0 1 0 422 6 0 0 20 0 19 0 104838738 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2406260 46954 2285 9 0 2396937 0
[pid=389/tid=391] ppid=386 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/389/task/391/stat : 391 (java) R 386 389 31144 0 -1 4202560 2488 0 1 0 302 2 0 0 20 0 19 0 104838739 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291987594912 140291836086993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=389/tid=392] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/392/stat : 392 (java) S 386 389 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291960056232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=393] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/393/stat : 393 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291959003688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=394] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/394/stat : 394 (java) S 386 389 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291957950632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=395] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/395/stat : 395 (java) S 386 389 31144 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291956898088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=396] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/396/stat : 396 (java) S 386 389 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291955846056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=397] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/397/stat : 397 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291954793512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=398] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/398/stat : 398 (java) S 386 389 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291953740456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=399] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/399/stat : 399 (java) S 386 389 31144 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291824200488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=400] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/400/stat : 400 (java) S 386 389 31144 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291341252968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=401] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/401/stat : 401 (java) S 386 389 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291340199288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=402] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/402/stat : 402 (java) S 386 389 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291339146120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=403] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/403/stat : 403 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291338094864 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=404] ppid=386 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/389/task/404/stat : 404 (java) S 386 389 31144 0 -1 4202560 4907 0 0 0 59 0 0 0 20 0 19 0 104838743 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291337042744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=405] ppid=386 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/389/task/405/stat : 405 (java) S 386 389 31144 0 -1 4202560 3545 0 0 0 54 0 0 0 20 0 19 0 104838743 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291335990200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=406] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/406/stat : 406 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291334937336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=407] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/407/stat : 407 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291333885000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=408] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/408/stat : 408 (java) S 386 389 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104838823 9856040960 46954 33554432000 1073741824 1073778376 140734418240480 140291332830248 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.07 2.07 2.08 3/213 408
/proc/meminfo: memFree=30947356/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9625040 CPUtime=7.5 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 12331 0 1 0 744 6 0 0 20 0 19 0 104838738 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2406260 46946 2285 9 0 2396937 0
[pid=389/tid=391] ppid=386 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/389/task/391/stat : 391 (java) R 386 389 31144 0 -1 4202560 2490 0 1 0 621 2 0 0 20 0 19 0 104838739 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291987594896 140291836013776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=389/tid=392] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/392/stat : 392 (java) S 386 389 31144 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291960056232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=393] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/393/stat : 393 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291959003688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=394] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/394/stat : 394 (java) S 386 389 31144 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291957950632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=395] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/395/stat : 395 (java) S 386 389 31144 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291956898088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=396] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/396/stat : 396 (java) S 386 389 31144 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291955846056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=397] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/397/stat : 397 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291954793512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=398] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/398/stat : 398 (java) S 386 389 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291953740456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=399] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/399/stat : 399 (java) S 386 389 31144 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 104838740 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291824200488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=400] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/400/stat : 400 (java) S 386 389 31144 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291341252968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=401] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/401/stat : 401 (java) S 386 389 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291340199288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=402] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/402/stat : 402 (java) S 386 389 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291339146120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=403] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/403/stat : 403 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291338094864 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=404] ppid=386 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/389/task/404/stat : 404 (java) S 386 389 31144 0 -1 4202560 4907 0 0 0 59 0 0 0 20 0 19 0 104838743 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291337042744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=405] ppid=386 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/389/task/405/stat : 405 (java) S 386 389 31144 0 -1 4202560 3545 0 0 0 56 0 0 0 20 0 19 0 104838743 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291335990200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=406] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/406/stat : 406 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291334937336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=407] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/407/stat : 407 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291333885000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=408] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/408/stat : 408 (java) S 386 389 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104838823 9856040960 46946 33554432000 1073741824 1073778376 140734418240480 140291332830248 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 9625040


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

[pid=389/tid=408] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/408/stat : 408 (java) S 386 389 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104838823 9856040960 200471 33554432000 1073741824 1073778376 140734418240480 140291332830248 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.14
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.15 2.15 2.09 3/213 453
/proc/meminfo: memFree=30083876/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9625040 CPUtime=1726.26 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 15487 0 1 0 172516 110 0 0 20 0 19 0 104838738 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2406260 196260 2294 9 0 2396937 0
[pid=389/tid=391] ppid=386 vsize=9625040 CPUtime=1716.35 cores=1,3,5,7
/proc/389/task/391/stat : 391 (java) R 386 389 31144 0 -1 4202560 2568 0 1 0 171602 33 0 0 20 0 19 0 104838739 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291987602640 140291836014380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=389/tid=392] ppid=386 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/389/task/392/stat : 392 (java) S 386 389 31144 0 -1 4202560 330 0 0 0 33 7 0 0 20 0 19 0 104838740 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291960056232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=393] ppid=386 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/389/task/393/stat : 393 (java) S 386 389 31144 0 -1 4202560 249 0 0 0 28 8 0 0 20 0 19 0 104838740 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291959003688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=394] ppid=386 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/389/task/394/stat : 394 (java) S 386 389 31144 0 -1 4202560 336 0 0 0 33 7 0 0 20 0 19 0 104838740 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291957950632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=395] ppid=386 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/389/task/395/stat : 395 (java) S 386 389 31144 0 -1 4202560 414 0 0 0 36 7 0 0 20 0 19 0 104838740 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291956898088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=396] ppid=386 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/389/task/396/stat : 396 (java) S 386 389 31144 0 -1 4202560 397 0 0 0 38 14 0 0 20 0 19 0 104838740 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291955846056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=397] ppid=386 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/389/task/397/stat : 397 (java) S 386 389 31144 0 -1 4202560 301 0 0 0 34 10 0 0 20 0 19 0 104838740 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291954793512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=398] ppid=386 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/389/task/398/stat : 398 (java) S 386 389 31144 0 -1 4202560 310 0 0 0 36 9 0 0 20 0 19 0 104838740 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291953740456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=399] ppid=386 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/389/task/399/stat : 399 (java) S 386 389 31144 0 -1 4202560 461 0 0 0 30 7 0 0 20 0 19 0 104838740 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291824200488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=400] ppid=386 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/389/task/400/stat : 400 (java) S 386 389 31144 0 -1 4202560 299 0 0 0 41 3 0 0 20 0 19 0 104838741 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291341252968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=401] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/401/stat : 401 (java) S 386 389 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291340199288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=402] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/402/stat : 402 (java) S 386 389 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291339146120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=403] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/403/stat : 403 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291338094864 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=404] ppid=386 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/389/task/404/stat : 404 (java) S 386 389 31144 0 -1 4202560 4919 0 0 0 62 0 0 0 20 0 19 0 104838743 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291337042744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=405] ppid=386 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/389/task/405/stat : 405 (java) S 386 389 31144 0 -1 4202560 3545 0 0 0 56 0 0 0 20 0 19 0 104838743 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291335990200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=406] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/406/stat : 406 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291334937336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=407] ppid=386 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/389/task/407/stat : 407 (java) S 386 389 31144 0 -1 4202560 99 0 0 0 33 34 0 0 20 0 19 0 104838743 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291333885000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=408] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/408/stat : 408 (java) S 386 389 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104838823 9856040960 196260 33554432000 1073741824 1073778376 140734418240480 140291332830248 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.26
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.21 2.16 2.10 3/213 521
/proc/meminfo: memFree=30305608/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9625040 CPUtime=1786.32 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 15499 0 1 0 178520 112 0 0 20 0 19 0 104838738 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2406260 192594 2294 9 0 2396937 0
[pid=389/tid=391] ppid=386 vsize=9625040 CPUtime=1776.15 cores=1,3,5,7
/proc/389/task/391/stat : 391 (java) R 386 389 31144 0 -1 4202560 2569 0 1 0 177581 34 0 0 20 0 19 0 104838739 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291987602640 140291836014380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=389/tid=392] ppid=386 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/389/task/392/stat : 392 (java) S 386 389 31144 0 -1 4202560 330 0 0 0 34 7 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291960056232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=393] ppid=386 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/389/task/393/stat : 393 (java) S 386 389 31144 0 -1 4202560 254 0 0 0 29 8 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291959003688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=394] ppid=386 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/389/task/394/stat : 394 (java) S 386 389 31144 0 -1 4202560 336 0 0 0 35 7 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291957950632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=395] ppid=386 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/389/task/395/stat : 395 (java) S 386 389 31144 0 -1 4202560 414 0 0 0 37 7 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291956898088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=396] ppid=386 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/389/task/396/stat : 396 (java) S 386 389 31144 0 -1 4202560 397 0 0 0 39 14 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291955846056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=397] ppid=386 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/389/task/397/stat : 397 (java) S 386 389 31144 0 -1 4202560 301 0 0 0 34 11 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291954793512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=398] ppid=386 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/389/task/398/stat : 398 (java) S 386 389 31144 0 -1 4202560 310 0 0 0 38 9 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291953740456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=399] ppid=386 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/389/task/399/stat : 399 (java) S 386 389 31144 0 -1 4202560 461 0 0 0 31 7 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291824200488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=400] ppid=386 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/389/task/400/stat : 400 (java) S 386 389 31144 0 -1 4202560 301 0 0 0 41 3 0 0 20 0 19 0 104838741 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291341252968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=401] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/401/stat : 401 (java) S 386 389 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291340199288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=402] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/402/stat : 402 (java) S 386 389 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291339146120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=403] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/403/stat : 403 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291338094864 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=404] ppid=386 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/389/task/404/stat : 404 (java) S 386 389 31144 0 -1 4202560 4919 0 0 0 62 0 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291337042744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=405] ppid=386 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/389/task/405/stat : 405 (java) S 386 389 31144 0 -1 4202560 3545 0 0 0 56 0 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291335990200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=406] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/406/stat : 406 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291334937336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=407] ppid=386 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/389/task/407/stat : 407 (java) S 386 389 31144 0 -1 4202560 103 0 0 0 34 36 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291333885000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=408] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/408/stat : 408 (java) S 386 389 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104838823 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291332830248 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.32
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796 s]
/proc/loadavg: 2.16 2.15 2.09 3/213 521
/proc/meminfo: memFree=30211956/32872528 swapFree=12352/737972
[pid=389] ppid=386 vsize=9625040 CPUtime=1800.02 cores=1,3,5,7
/proc/389/stat : 389 (java) S 386 389 31144 0 -1 4202496 15499 0 1 0 179889 113 0 0 20 0 19 0 104838738 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140734418231616 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/389/statm: 2406260 192594 2294 9 0 2396937 0
[pid=389/tid=391] ppid=386 vsize=9625040 CPUtime=1789.81 cores=1,3,5,7
/proc/389/task/391/stat : 391 (java) R 386 389 31144 0 -1 4202560 2569 0 1 0 178946 35 0 0 20 0 19 0 104838739 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291987602640 140291836014380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=389/tid=392] ppid=386 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/389/task/392/stat : 392 (java) S 386 389 31144 0 -1 4202560 330 0 0 0 34 7 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291960056232 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=393] ppid=386 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/389/task/393/stat : 393 (java) S 386 389 31144 0 -1 4202560 254 0 0 0 29 8 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291959003688 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=394] ppid=386 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/389/task/394/stat : 394 (java) S 386 389 31144 0 -1 4202560 336 0 0 0 35 7 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291957950632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=395] ppid=386 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/389/task/395/stat : 395 (java) S 386 389 31144 0 -1 4202560 414 0 0 0 37 7 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291956898088 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=396] ppid=386 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/389/task/396/stat : 396 (java) S 386 389 31144 0 -1 4202560 397 0 0 0 39 14 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291955846056 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=397] ppid=386 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/389/task/397/stat : 397 (java) S 386 389 31144 0 -1 4202560 301 0 0 0 34 11 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291954793512 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=398] ppid=386 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/389/task/398/stat : 398 (java) S 386 389 31144 0 -1 4202560 310 0 0 0 38 9 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291953740456 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=399] ppid=386 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/389/task/399/stat : 399 (java) S 386 389 31144 0 -1 4202560 461 0 0 0 31 7 0 0 20 0 19 0 104838740 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291824200488 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=400] ppid=386 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/389/task/400/stat : 400 (java) S 386 389 31144 0 -1 4202560 301 0 0 0 41 3 0 0 20 0 19 0 104838741 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291341252968 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=389/tid=401] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/401/stat : 401 (java) S 386 389 31144 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291340199288 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=402] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/402/stat : 402 (java) S 386 389 31144 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 104838741 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291339146120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=403] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/403/stat : 403 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291338094864 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=404] ppid=386 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/389/task/404/stat : 404 (java) S 386 389 31144 0 -1 4202560 4919 0 0 0 62 0 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291337042744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=405] ppid=386 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/389/task/405/stat : 405 (java) S 386 389 31144 0 -1 4202560 3545 0 0 0 56 0 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291335990200 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=389/tid=406] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/406/stat : 406 (java) S 386 389 31144 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291334937336 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=389/tid=407] ppid=386 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/389/task/407/stat : 407 (java) S 386 389 31144 0 -1 4202560 103 0 0 0 34 36 0 0 20 0 19 0 104838743 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291333885000 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=389/tid=408] ppid=386 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/389/task/408/stat : 408 (java) S 386 389 31144 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104838823 9856040960 192594 33554432000 1073741824 1073778376 140734418240480 140291332830248 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 389 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 389 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=389211
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=581759
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.05
CPU time (s): 1800.02
CPU user time (s): 1798.89
CPU system time (s): 1.13
CPU usage (%): 100.221
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 1.58176
maximum resident set size= 893732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15543
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38572
involuntary context switches= 16437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0725 second user time and 14.6228 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-06 18:04:03
IDJOB=4085255
IDBENCH=2013
IDSOLVER=2546
FILE ID=node112/4085255-1465229043
RUNJOBID= node112-1465218300-31161
PBS_JOBID= 19843211
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085255-1465229043/watcher-4085255-1465229043 -o /tmp/evaluation-result-4085255-1465229043/solver-4085255-1465229043 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465218300-31161 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085255-1465229043.opb

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

MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040
RANDOM SEED=1915876425

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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:        31127288 kB
Buffers:           15856 kB
Cached:            89720 kB
SwapCached:         1628 kB
Active:           245912 kB
Inactive:          42876 kB
Active(anon):     185244 kB
Inactive(anon):      564 kB
Active(file):      60668 kB
Inactive(file):    42312 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098564 kB
Dirty:              7836 kB
Writeback:             0 kB
AnonPages:        939420 kB
Mapped:            15280 kB
Shmem:                 0 kB
Slab:             566408 kB
SReclaimable:       9720 kB
SUnreclaim:       556688 kB
KernelStack:        1568 kB
PageTables:         6048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1427520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    903168 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= 71744 MiB
End job on node112 at 2016-06-06 18:33:59