Trace number 2658546

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 Resolution 2.2.0 2010-05-26SAT (TO)40 1800.26 1788.08

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_5.opb
MD5SUMb1035f5aebd5cbd90440f32e03bdad12
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1800.42
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint26
Maximum length of a constraint48
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15706
Sum of products size (including duplicates)31412
Number of different products15706
Sum of products size31412

Quality of the solution as a function of time


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

Solver Data 

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100526
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.24/0.20	c Pseudo Boolean Optimization
0.24/0.20	c --- Begin Solver configuration ---
0.24/0.20	c Stops conflict analysis at the first Unique Implication Point
0.24/0.20	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.24/0.20	c Learn all clauses as in MiniSAT
0.24/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.20	c Expensive reason simplification
0.24/0.20	c Armin Biere (Picosat) restarts strategy
0.24/0.20	c Glucose learned constraints deletion strategy
0.24/0.20	c timeout=2147483s
0.24/0.20	c DB Simplification allowed=false
0.24/0.20	c --- End Solver configuration ---
0.24/0.20	c solving HOME/instance-2658546-1276658171.opb
0.24/0.20	c reading problem ... 
56.12/54.99	c ... done. Wall clock time 54.782s.
56.12/54.99	c #vars     16206
56.12/54.99	c #constraints  31912
56.12/54.99	c constraints type 
56.12/54.99	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16206
56.12/54.99	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15706
56.72/55.31	c SATISFIABLE
56.72/55.31	c OPTIMIZING...
56.72/55.31	c Got one! Elapsed wall clock time (in seconds):55.109
56.72/55.31	o 47
57.39/55.72	c Got one! Elapsed wall clock time (in seconds):55.512
57.39/55.72	o 40
64.16/62.07	c cleaning 2495 clauses out of 5000 with flag 5000/5000
71.32/69.00	c cleaning 4247 clauses out of 8506 with flag 11001/11001
79.72/77.39	c cleaning 5624 clauses out of 11261 with flag 18003/18003
89.33/86.91	c cleaning 6812 clauses out of 13635 with flag 26001/26001
101.44/98.81	c cleaning 7906 clauses out of 15822 with flag 35000/35000
115.24/112.57	c cleaning 8952 clauses out of 17916 with flag 45000/45000
130.74/128.00	c cleaning 9979 clauses out of 19965 with flag 56001/56001
146.24/143.38	c cleaning 10983 clauses out of 21985 with flag 68000/68000
162.74/159.74	c cleaning 11996 clauses out of 24003 with flag 81001/81001
181.37/178.28	c cleaning 12997 clauses out of 26007 with flag 95001/95001
201.07/197.88	c cleaning 14001 clauses out of 28011 with flag 110002/110002
220.11/216.73	c cleaning 15000 clauses out of 30008 with flag 126000/126000
241.15/237.63	c cleaning 15999 clauses out of 32009 with flag 143001/143001
262.16/258.57	c cleaning 16999 clauses out of 34009 with flag 161000/161000
285.61/281.81	c cleaning 17999 clauses out of 36010 with flag 180000/180000
311.89/307.93	c cleaning 19001 clauses out of 38012 with flag 200001/200001
340.02/335.94	c cleaning 19999 clauses out of 40013 with flag 221003/221003
370.79/366.56	c cleaning 20999 clauses out of 42011 with flag 243000/243000
404.00/399.58	c cleaning 22000 clauses out of 44012 with flag 266000/266000
436.72/432.02	c cleaning 23000 clauses out of 46014 with flag 290002/290002
471.58/466.73	c cleaning 23996 clauses out of 48013 with flag 315001/315001
508.19/503.14	c cleaning 25000 clauses out of 50016 with flag 341000/341000
546.70/541.41	c cleaning 25999 clauses out of 52017 with flag 368001/368001
584.93/579.46	c cleaning 27002 clauses out of 54018 with flag 396001/396001
622.98/617.21	c cleaning 27999 clauses out of 56016 with flag 425001/425001
667.26/661.27	c cleaning 29003 clauses out of 58016 with flag 455000/455000
713.90/707.65	c cleaning 29991 clauses out of 60013 with flag 486000/486000
766.33/759.88	c cleaning 31002 clauses out of 62023 with flag 518001/518001
817.10/810.34	c cleaning 31505 clauses out of 63021 with flag 550001/550001
866.54/859.59	c cleaning 31749 clauses out of 63516 with flag 582001/582001
909.07/901.71	c cleaning 31878 clauses out of 63766 with flag 614000/614000
957.37/949.71	c cleaning 31936 clauses out of 63889 with flag 646001/646001
1006.04/998.15	c cleaning 31969 clauses out of 63953 with flag 678001/678001
1055.17/1047.05	c cleaning 31982 clauses out of 63983 with flag 710000/710000
1102.53/1094.18	c cleaning 31990 clauses out of 64001 with flag 742000/742000
1152.36/1143.74	c cleaning 32000 clauses out of 64012 with flag 774001/774001
1199.84/1190.99	c cleaning 32000 clauses out of 64014 with flag 806003/806003
1250.37/1241.23	c cleaning 31997 clauses out of 64011 with flag 838000/838000
1301.82/1292.49	c cleaning 32001 clauses out of 64016 with flag 870002/870002
1347.29/1337.60	c cleaning 32001 clauses out of 64013 with flag 902000/902000
1397.32/1387.39	c cleaning 32003 clauses out of 64014 with flag 934002/934002
1450.58/1440.38	c cleaning 31994 clauses out of 64009 with flag 966000/966000
1502.02/1491.60	c cleaning 31999 clauses out of 64015 with flag 998000/998000
1551.98/1541.26	c cleaning 32003 clauses out of 64017 with flag 1030001/1030001
1606.87/1595.82	c cleaning 31997 clauses out of 64013 with flag 1062000/1062000
1660.90/1649.53	c cleaning 32002 clauses out of 64017 with flag 1094001/1094001
1719.30/1707.61	c cleaning 31998 clauses out of 64015 with flag 1126001/1126001
1778.20/1766.20	c cleaning 32001 clauses out of 64017 with flag 1158001/1158001
1800.00/1787.92	c starts		: 191
1800.00/1787.92	c conflicts		: 1170702
1800.00/1787.92	c decisions		: 1821905
1800.00/1787.92	c propagations		: 242752834
1800.00/1787.92	c inspects		: 2737423643
1800.00/1787.92	c learnt literals	: 0
1800.00/1787.92	c learnt binary clauses	: 0
1800.00/1787.92	c learnt ternary clauses	: 0
1800.00/1787.92	c learnt clauses	: 1170701
1800.00/1787.92	c ignored clauses	: 0
1800.00/1787.92	c root simplifications	: 0
1800.00/1787.92	c removed literals (reason simplification)	: 2668971
1800.00/1787.92	c reason swapping (by a shorter reason)	: 0
1800.00/1787.92	c Calls to reduceDB	: 48
1800.00/1787.92	c number of reductions to clauses (during analyze)	: 0
1800.00/1787.92	c number of learned constraints concerned by reduction	: 0
1800.00/1787.92	c number of learning phase by resolution	: 0
1800.00/1787.92	c number of learning phase by cutting planes	: 0
1800.00/1787.92	c speed (assignments/second)	: 140141.2618974357
1800.00/1787.92	c non guided choices	202
1800.00/1787.97	c learnt constraints type 
1800.00/1787.97	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 44745
1800.00/1787.97	c constraints type 
1800.00/1787.97	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 16206
1800.00/1787.97	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.00/1787.97	c org.sat4j.pb.constraints.pb.MaxWatchPb => 15706
1800.00/1787.97	s SATISFIABLE
1800.00/1787.98	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 
1800.00/1788.00	c objective function=40
1800.00/1788.00	c Total wall clock time (in seconds): 1787.793

Verifier Data 

OK	40

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658546-1276658171/watcher-2658546-1276658171 -o /tmp/evaluation-result-2658546-1276658171/solver-2658546-1276658171 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658546-1276658171.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.33 1.99 1.47 3/106 8581
/proc/meminfo: memFree=1773932/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1832 CPUtime=0
/proc/8581/stat : 8581 (java6) R 8579 8581 8452 0 -1 4194304 213 0 0 0 0 0 0 0 21 0 1 0 39473449 1875968 118 1992294400 134512640 134550932 4287138096 18446744073709551615 5617148 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8581/statm: 458 128 92 10 0 63 0

[startup+0.0372511 s]
/proc/loadavg: 2.33 1.99 1.47 3/106 8581
/proc/meminfo: memFree=1773932/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1520176 CPUtime=0.02
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 3135 0 1 0 1 1 0 0 21 0 4 0 39473449 1556660224 2579 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 380044 2579 816 10 0 377354 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1520176

[startup+0.101303 s]
/proc/loadavg: 2.33 1.99 1.47 3/106 8581
/proc/meminfo: memFree=1773932/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1524184 CPUtime=0.08
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 3954 0 1 0 6 2 0 0 21 0 12 0 39473449 1560764416 3394 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 381046 3394 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.300659 s]
/proc/loadavg: 2.33 1.99 1.47 3/106 8581
/proc/meminfo: memFree=1773932/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1526248 CPUtime=0.36
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 5332 0 1 0 33 3 0 0 21 0 12 0 39473449 1562877952 4770 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 381562 4770 1362 10 0 378864 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1526248

[startup+0.700651 s]
/proc/loadavg: 2.33 1.99 1.47 3/106 8581
/proc/meminfo: memFree=1773932/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1528128 CPUtime=1.09
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 6665 0 1 0 105 4 0 0 21 0 12 0 39473449 1564803072 6055 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382032 6056 1396 10 0 379334 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 1528128

[startup+1.50163 s]
/proc/loadavg: 2.33 1.99 1.47 4/118 8593
/proc/meminfo: memFree=1753004/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1528412 CPUtime=2.22
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 7769 0 1 0 217 5 0 0 21 0 12 0 39473449 1565093888 6772 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382103 6772 1407 10 0 379405 0
[pid=8581/tid=8583] ppid=8579 vsize=1528412 CPUtime=1.47
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 5135 0 1 0 144 3 0 0 19 0 12 0 39473450 1565093888 6772 1992294400 134512640 134550932 4286661104 18446744073709551615 4109489373 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1528412 CPUtime=0
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 12 0 39473452 1565093888 6772 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1528412 CPUtime=0
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 39473452 1565093888 6772 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1528412 CPUtime=0
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 39473454 1565093888 6772 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1528412 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 39473454 1565093888 6772 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1528412 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 39473454 1565093888 6773 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1528412 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 39473458 1565093888 6773 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1528412 CPUtime=0.37
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 637 0 0 0 37 0 0 0 22 0 12 0 39473458 1565093888 6773 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1528412 CPUtime=0.34
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 933 0 0 0 34 0 0 0 24 0 12 0 39473458 1565093888 6773 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1528412 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 39473458 1565093888 6773 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1528412 CPUtime=0
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 39473458 1565093888 6773 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 1528412

[startup+3.1016 s]
/proc/loadavg: 2.33 1.99 1.47 2/118 8593
/proc/meminfo: memFree=1750400/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1528264 CPUtime=3.91
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 8426 0 1 0 386 5 0 0 21 0 12 0 39473449 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382066 7255 1407 10 0 379368 0
[pid=8581/tid=8583] ppid=8579 vsize=1528264 CPUtime=3.07
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 5652 0 1 0 304 3 0 0 25 0 12 0 39473450 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4109489632 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1528264 CPUtime=0
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 12 0 39473452 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1528264 CPUtime=0
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 39473452 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1528264 CPUtime=0
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 12 0 39473454 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1528264 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 39473454 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1528264 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 39473454 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1528264 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 39473458 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1528264 CPUtime=0.45
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 776 0 0 0 45 0 0 0 15 0 12 0 39473458 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1528264 CPUtime=0.37
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 934 0 0 0 37 0 0 0 19 0 12 0 39473458 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1528264 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 39473458 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1528264 CPUtime=0
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 39473458 1564942336 7255 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 1528264

[startup+6.30053 s]
/proc/loadavg: 2.30 1.99 1.47 3/118 8593
/proc/meminfo: memFree=1747548/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1528004 CPUtime=7.21
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 9091 0 1 0 715 6 0 0 21 0 12 0 39473449 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382001 7847 1409 10 0 379303 0
[pid=8581/tid=8583] ppid=8579 vsize=1528004 CPUtime=6.27
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 6271 0 1 0 623 4 0 0 25 0 12 0 39473450 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4109489698 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1528004 CPUtime=0
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 12 0 39473452 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1528004 CPUtime=0
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 39473452 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1528004 CPUtime=0
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 39473454 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1528004 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 39473454 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1528004 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 39473454 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1528004 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 39473458 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1528004 CPUtime=0.48
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 777 0 0 0 48 0 0 0 15 0 12 0 39473458 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1528004 CPUtime=0.43
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 979 0 0 0 43 0 0 0 15 0 12 0 39473458 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1528004 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 39473458 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1528004 CPUtime=0
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 39473458 1564676096 7847 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 1528004

[startup+12.7004 s]
/proc/loadavg: 2.20 1.97 1.47 2/118 8593
/proc/meminfo: memFree=1743828/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1527364 CPUtime=13.62
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 10123 0 1 0 1354 8 0 0 21 0 12 0 39473449 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 381841 8719 1409 10 0 379143 0
[pid=8581/tid=8583] ppid=8579 vsize=1527364 CPUtime=12.67
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 7303 0 1 0 1261 6 0 0 25 0 12 0 39473450 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4109489755 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1527364 CPUtime=0
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 12 0 39473452 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1527364 CPUtime=0
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 39473452 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1527364 CPUtime=0
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 39473454 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1527364 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 39473454 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1527364 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 39473454 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1527364 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 39473458 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1527364 CPUtime=0.49
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 777 0 0 0 49 0 0 0 15 0 12 0 39473458 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1527364 CPUtime=0.43
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 979 0 0 0 43 0 0 0 15 0 12 0 39473458 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1527364 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 39473458 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1527364 CPUtime=0
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 39473458 1564020736 8719 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.62
Current children cumulated vsize (KiB) 1527364

[startup+25.5011 s]
/proc/loadavg: 1.93 1.93 1.46 2/118 8593
/proc/meminfo: memFree=1735892/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1529996 CPUtime=26.7
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 12635 0 1 0 2660 10 0 0 21 0 12 0 39473449 1566715904 10681 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382499 10681 1410 10 0 379801 0
[pid=8581/tid=8583] ppid=8579 vsize=1529996 CPUtime=25.35
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 8624 0 1 0 2528 7 0 0 25 0 12 0 39473450 1566715904 10681 1992294400 134512640 134550932 4286661104 18446744073709551615 4109489698 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1529996 CPUtime=0
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 12 0 39473452 1566715904 10681 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1529996 CPUtime=0
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 39473452 1566715904 10681 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1529996 CPUtime=0
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 12 0 39473454 1566715904 10681 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1529996 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 12 0 39473454 1566715904 10681 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1529996 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 12 0 39473454 1566715904 10681 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1529996 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 39473458 1566715904 10681 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1529996 CPUtime=0.68

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

[pid=8581] ppid=8579 vsize=1530464 CPUtime=1673.76
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 71793 0 1 0 167239 137 0 0 21 0 13 0 39473449 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382616 66052 1444 10 0 379918 0
[pid=8581/tid=8583] ppid=8579 vsize=1530464 CPUtime=1642.77
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 33643 0 1 0 164212 65 0 0 25 0 13 0 39473450 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4109895086 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1530464 CPUtime=10.93
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 17169 0 0 0 1067 26 0 0 16 0 13 0 39473452 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1530464 CPUtime=10.91
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 15721 0 0 0 1059 32 0 0 15 0 13 0 39473452 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1530464 CPUtime=6.63
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 719 0 0 0 653 10 0 0 16 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1530464 CPUtime=1.35
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 1339 0 0 0 135 0 0 0 15 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1530464 CPUtime=1.09
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 2043 0 0 0 109 0 0 0 16 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1530464 CPUtime=0.02
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 96 0 0 0 1 1 0 0 15 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8594] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8594/stat : 8594 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39478958 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1673.76
Current children cumulated vsize (KiB) 1530464

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/119 8643
/proc/meminfo: memFree=1512064/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1530464 CPUtime=1734.09
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 71845 0 1 0 173269 140 0 0 21 0 13 0 39473449 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382616 66052 1444 10 0 379918 0
[pid=8581/tid=8583] ppid=8579 vsize=1530464 CPUtime=1702.2
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 33687 0 1 0 170155 65 0 0 25 0 13 0 39473450 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4109894841 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1530464 CPUtime=11.29
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 17169 0 0 0 1102 27 0 0 16 0 13 0 39473452 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1530464 CPUtime=11.27
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 15721 0 0 0 1094 33 0 0 15 0 13 0 39473452 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1530464 CPUtime=6.79
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 723 0 0 0 669 10 0 0 16 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1530464 CPUtime=1.35
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 1339 0 0 0 135 0 0 0 15 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1530464 CPUtime=1.09
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 2043 0 0 0 109 0 0 0 16 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1530464 CPUtime=0.02
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 100 0 0 0 1 1 0 0 15 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8594] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8594/stat : 8594 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39478958 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1734.09
Current children cumulated vsize (KiB) 1530464

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/119 8643
/proc/meminfo: memFree=1511816/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1530464 CPUtime=1794.37
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 71892 0 1 0 179295 142 0 0 21 0 13 0 39473449 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382616 66052 1444 10 0 379918 0
[pid=8581/tid=8583] ppid=8579 vsize=1530464 CPUtime=1761.61
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 33730 0 1 0 176096 65 0 0 25 0 13 0 39473450 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4109871787 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1530464 CPUtime=11.62
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 17169 0 0 0 1134 28 0 0 15 0 13 0 39473452 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1530464 CPUtime=11.6
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 15721 0 0 0 1127 33 0 0 15 0 13 0 39473452 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1530464 CPUtime=7
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 725 0 0 0 689 11 0 0 15 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1530464 CPUtime=1.35
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 1339 0 0 0 135 0 0 0 15 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1530464 CPUtime=1.09
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 2043 0 0 0 109 0 0 0 16 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1530464 CPUtime=0.02
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 102 0 0 0 1 1 0 0 15 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8594] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8594/stat : 8594 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39478958 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 1530464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.9 s]
/proc/loadavg: 1.00 1.00 1.04 2/119 8643
/proc/meminfo: memFree=1511816/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1530464 CPUtime=1800
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 71900 0 1 0 179857 143 0 0 21 0 13 0 39473449 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382616 66052 1444 10 0 379918 0
[pid=8581/tid=8583] ppid=8579 vsize=1530464 CPUtime=1767.18
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 33734 0 1 0 176653 65 0 0 25 0 13 0 39473450 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4109873038 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1530464 CPUtime=11.65
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 17169 0 0 0 1137 28 0 0 15 0 13 0 39473452 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1530464 CPUtime=11.64
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 15721 0 0 0 1131 33 0 0 15 0 13 0 39473452 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1530464 CPUtime=7
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 727 0 0 0 689 11 0 0 15 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 39473454 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1530464 CPUtime=1.35
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 1339 0 0 0 135 0 0 0 15 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1530464 CPUtime=1.09
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 2043 0 0 0 109 0 0 0 16 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1530464 CPUtime=0.02
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 104 0 0 0 1 1 0 0 15 0 13 0 39473458 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8594] ppid=8579 vsize=1530464 CPUtime=0
/proc/8581/task/8594/stat : 8594 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 39478958 1567195136 66052 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1530464

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

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

[startup+1788.02 s]
/proc/loadavg: 1.00 1.00 1.04 2/119 8643
/proc/meminfo: memFree=1511816/2059040 swapFree=4140256/4192956
[pid=8581] ppid=8579 vsize=1531112 CPUtime=1800.2
/proc/8581/stat : 8581 (java) S 8579 8581 8452 0 -1 4202496 71924 0 1 0 179877 143 0 0 18 0 14 0 39473449 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8581/statm: 382778 66075 1445 10 0 380080 0
[pid=8581/tid=8583] ppid=8579 vsize=1531112 CPUtime=1767.28
/proc/8581/task/8583/stat : 8583 (java) R 8579 8581 8452 0 -1 4202560 33735 0 1 0 176663 65 0 0 25 0 14 0 39473450 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4109910967 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=1531112 CPUtime=11.66
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 8452 0 -1 4202560 17169 0 0 0 1138 28 0 0 15 0 14 0 39473452 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=1531112 CPUtime=11.64
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 8452 0 -1 4202560 15721 0 0 0 1131 33 0 0 16 0 14 0 39473452 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=1531112 CPUtime=7
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 8452 0 -1 4202560 727 0 0 0 689 11 0 0 15 0 14 0 39473454 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 0 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=1531112 CPUtime=0
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 8452 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 14 0 39473454 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=1531112 CPUtime=0
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 8452 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 14 0 39473454 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=1531112 CPUtime=0
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 8452 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 14 0 39473458 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=1531112 CPUtime=1.4
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 8452 0 -1 4202560 1342 0 0 0 140 0 0 0 16 0 14 0 39473458 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=1531112 CPUtime=1.09
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 8452 0 -1 4202560 2043 0 0 0 109 0 0 0 16 0 14 0 39473458 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=1531112 CPUtime=0
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 8452 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 14 0 39473458 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=1531112 CPUtime=0.02
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 8452 0 -1 4202560 104 0 0 0 1 1 0 0 15 0 14 0 39473458 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 1 0 0 0
[pid=8581/tid=8594] ppid=8579 vsize=1531112 CPUtime=0
/proc/8581/task/8594/stat : 8594 (java) S 8579 8581 8452 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 39478958 1567858688 66075 1992294400 134512640 134550932 4286661104 18446744073709551615 4294960144 0 4 0 16800975 18446604437858311104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 1531112

Child status: 143
Real time (s): 1788.08
CPU time (s): 1800.26
CPU user time (s): 1798.8
CPU system time (s): 1.45778
CPU usage (%): 100.681
Max. virtual memory (cumulated for all children) (KiB): 1532180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.45778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71926
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50430
involuntary context switches= 33186

runsolver used 3.70644 second user time and 9.67353 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-16 05:16:11
IDJOB=2658546
IDBENCH=48160
IDSOLVER=1164
FILE ID=node018/2658546-1276658171
PBS_JOBID= 11172473
Free space on /tmp= 62484 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_5.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658546-1276658171/watcher-2658546-1276658171 -o /tmp/evaluation-result-2658546-1276658171/solver-2658546-1276658171 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658546-1276658171.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b1035f5aebd5cbd90440f32e03bdad12
RANDOM SEED=1868885545

node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1774328 kB
Buffers:         81180 kB
Cached:         116004 kB
SwapCached:       6364 kB
Active:          90676 kB
Inactive:       120060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1774328 kB
SwapTotal:     4192956 kB
SwapFree:      4140256 kB
Dirty:             548 kB
Writeback:           0 kB
AnonPages:       11640 kB
Mapped:          13056 kB
Slab:            52052 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181924 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62484 MiB
End job on node018 at 2010-06-16 05:46:01