Trace number 3688468

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)20 1800.15 953.758

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark60.8677
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3688468-1337877740.opb
0.08/0.13	c reading problem ... 
1.04/0.54	c ... done. Wall clock time 0.417s.
1.04/0.54	c declared #vars     4318
1.04/0.54	c #constraints  15120
1.04/0.54	c constraints type 
1.04/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827
1.04/0.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1.04/0.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287
1.04/0.55	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1.04/0.55	c 15120 constraints processed.
1.04/0.55	c constraints type 
1.04/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287
1.04/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827
1.04/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1.04/0.55	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1.04/0.55	c 15120 constraints processed.
1.04/0.55	c objective function length is 490 literals
1.38/0.61	c  And the winner is solver0
1.92/1.05	c SATISFIABLE
1.92/1.05	c OPTIMIZING...
1.92/1.05	c Got one! Elapsed wall clock time (in seconds):0.921
1.92/1.05	o 26
1.92/1.07	c  And the winner is solver1
2.15/1.55	c Got one! Elapsed wall clock time (in seconds):1.427
2.15/1.55	o 25
6.37/3.17	c  And the winner is solver1
6.51/3.56	c Got one! Elapsed wall clock time (in seconds):3.432
6.51/3.56	o 24
7.24/3.94	c cleaning 2633 clauses out of 5280 with flag 1000/5280
11.34/5.91	c cleaning 4301 clauses out of 8647 with flag 7000/11280
15.06/7.76	c cleaning 5660 clauses out of 11347 with flag 14001/18281
17.17/8.86	c  And the winner is solver1
17.29/9.06	c Got one! Elapsed wall clock time (in seconds):8.936
17.29/9.06	o 20
18.82/9.81	c cleaning 5783 clauses out of 11566 with flag 2000/24160
22.70/11.83	c cleaning 5893 clauses out of 11786 with flag 8003/30163
27.22/14.15	c cleaning 6443 clauses out of 12890 with flag 15000/37160
31.94/16.55	c cleaning 7215 clauses out of 14447 with flag 23000/45160
37.78/19.55	c cleaning 8100 clauses out of 16232 with flag 32000/54160
44.52/23.04	c cleaning 9064 clauses out of 18132 with flag 42000/64160
52.32/27.02	c cleaning 10026 clauses out of 20068 with flag 53000/75160
60.69/31.37	c cleaning 11017 clauses out of 22042 with flag 65000/87160
69.41/35.82	c cleaning 12012 clauses out of 24025 with flag 78000/100160
78.91/40.82	c cleaning 13005 clauses out of 26014 with flag 92001/114161
86.99/45.02	c cleaning 13978 clauses out of 28008 with flag 107000/129160
95.61/49.58	c cleaning 15006 clauses out of 30030 with flag 123000/145160
105.37/54.65	c cleaning 16006 clauses out of 32024 with flag 140000/162160
116.47/60.57	c cleaning 16993 clauses out of 34018 with flag 158000/180160
127.16/66.14	c cleaning 18013 clauses out of 36025 with flag 177000/199160
140.50/73.01	c cleaning 18991 clauses out of 38012 with flag 197000/219160
155.15/80.67	c cleaning 20000 clauses out of 40023 with flag 218002/240162
170.24/88.69	c cleaning 20999 clauses out of 42021 with flag 240000/262160
187.33/98.02	c cleaning 22008 clauses out of 44022 with flag 263000/285160
202.63/105.95	c cleaning 22996 clauses out of 46014 with flag 287000/309160
219.02/114.78	c cleaning 23985 clauses out of 48018 with flag 312000/334160
235.69/123.43	c cleaning 25012 clauses out of 50033 with flag 338000/360160
254.14/133.06	c cleaning 26007 clauses out of 52022 with flag 365001/387161
271.07/141.93	c cleaning 26999 clauses out of 54014 with flag 393000/415160
289.25/151.73	c cleaning 27984 clauses out of 56015 with flag 422000/444160
310.56/162.82	c cleaning 29014 clauses out of 58033 with flag 452002/474162
331.61/173.86	c cleaning 29991 clauses out of 60018 with flag 483001/505161
352.89/185.04	c cleaning 30998 clauses out of 62028 with flag 515002/537162
374.25/196.66	c cleaning 32006 clauses out of 64028 with flag 548000/570160
400.19/211.07	c cleaning 33007 clauses out of 66022 with flag 582000/604160
424.70/223.78	c cleaning 34005 clauses out of 68017 with flag 617002/639162
451.36/238.02	c cleaning 35002 clauses out of 70011 with flag 653001/675161
477.51/251.73	c cleaning 35997 clauses out of 72008 with flag 690000/712160
502.03/264.68	c cleaning 37002 clauses out of 74013 with flag 728002/750162
520.74/274.66	c cleaning 0 clauses out of 5646 with flag 0/5646
530.91/280.58	c cleaning 38001 clauses out of 76010 with flag 767001/789161
556.40/293.91	c cleaning 38927 clauses out of 78008 with flag 807000/829160
581.68/307.25	c cleaning 40037 clauses out of 80081 with flag 848000/870160
608.18/321.15	c cleaning 41014 clauses out of 82045 with flag 890001/912161
639.83/338.04	c cleaning 41988 clauses out of 84030 with flag 933000/955160
670.54/354.06	c cleaning 43009 clauses out of 86044 with flag 977002/999162
699.21/369.06	c cleaning 43987 clauses out of 88033 with flag 1022000/1044160
732.97/386.62	c cleaning 44975 clauses out of 90046 with flag 1068000/1090160
763.18/402.96	c cleaning 46019 clauses out of 92071 with flag 1115000/1137160
796.09/420.12	c cleaning 47019 clauses out of 94052 with flag 1163000/1185160
827.96/436.83	c cleaning 47968 clauses out of 96033 with flag 1212000/1234160
858.76/453.03	c cleaning 48977 clauses out of 98065 with flag 1262000/1284160
891.38/470.75	c cleaning 49972 clauses out of 100092 with flag 1313004/1335164
928.12/489.98	c cleaning 51039 clauses out of 102118 with flag 1365002/1387162
965.08/509.37	c cleaning 52017 clauses out of 104077 with flag 1418000/1440160
1003.92/529.79	c cleaning 53000 clauses out of 106060 with flag 1472000/1494160
1042.25/550.54	c cleaning 53998 clauses out of 108060 with flag 1527000/1549160
1079.29/570.09	c cleaning 55025 clauses out of 110062 with flag 1583000/1605160
1115.84/589.34	c cleaning 55998 clauses out of 112037 with flag 1640000/1662160
1152.80/608.80	c cleaning 57000 clauses out of 114039 with flag 1698000/1720160
1198.52/634.83	c cleaning 58021 clauses out of 116044 with flag 1757005/1779165
1241.89/657.33	c cleaning 58994 clauses out of 118019 with flag 1817001/1839161
1279.70/677.33	c cleaning 59952 clauses out of 120024 with flag 1878000/1900160
1316.46/697.55	c cleaning 61018 clauses out of 122075 with flag 1940003/1962163
1355.43/718.11	c cleaning 62019 clauses out of 124054 with flag 2003000/2025160
1396.58/739.82	c cleaning 62995 clauses out of 126035 with flag 2067000/2089160
1436.66/761.03	c cleaning 63949 clauses out of 128040 with flag 2132000/2154160
1480.79/785.04	c cleaning 64994 clauses out of 130091 with flag 2198000/2220160
1525.15/808.35	c cleaning 66032 clauses out of 132097 with flag 2265000/2287160
1575.38/834.64	c cleaning 67018 clauses out of 134065 with flag 2333000/2355160
1625.22/860.70	c cleaning 67873 clauses out of 136047 with flag 2402000/2424160
1669.48/884.82	c cleaning 69059 clauses out of 138174 with flag 2472000/2494160
1716.12/909.35	c cleaning 70032 clauses out of 140115 with flag 2543000/2565160
1770.77/937.80	c cleaning 71030 clauses out of 142083 with flag 2615000/2637160
1800.15/953.72	c starts		: 38
1800.15/953.72	c conflicts		: 9957
1800.15/953.72	c decisions		: 73055
1800.15/953.72	c propagations		: 1126740
1800.15/953.72	c inspects		: 487675274
1800.15/953.72	c shortcuts		: 0
1800.15/953.72	c learnt literals	: 0
1800.15/953.72	c learnt binary clauses	: 2
1800.15/953.72	c learnt ternary clauses	: 0
1800.15/953.72	c learnt constraints	: 9957
1800.15/953.72	c ignored constraints	: 0
1800.15/953.72	c root simplifications	: 0
1800.15/953.72	c removed literals (reason simplification)	: 0
1800.15/953.72	c reason swapping (by a shorter reason)	: 0
1800.15/953.72	c Calls to reduceDB	: 1
1800.15/953.72	c number of reductions to clauses (during analyze)	: 0
1800.15/953.72	c number of learned constraints concerned by reduction	: 0
1800.15/953.72	c number of learning phase by resolution	: 0
1800.15/953.72	c number of learning phase by cutting planes	: 0
1800.15/953.72	c speed (assignments/second)	: 1182.731701479753
1800.15/953.72	c non guided choices	0
1800.15/953.72	c learnt constraints type 
1800.15/953.72	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 102
1800.15/953.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 67
1800.15/953.72	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 2
1800.15/953.72	c org.sat4j.pb.constraints.pb.MaxWatchPb => 9786
1800.15/953.72	c constraints type 
1800.15/953.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3827
1800.15/953.72	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1800.15/953.72	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11287
1800.15/953.72	c org.sat4j.minisat.constraints.cnf.UnitClause => 5
1800.15/953.72	c 15121 constraints processed.
1800.15/953.72	c constraints type 
1800.15/953.72	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 11287
1800.15/953.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3827
1800.15/953.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.15/953.72	c org.sat4j.pb.constraints.pb.UnitClausePB => 5
1800.15/953.72	c 15121 constraints processed.
1800.15/953.72	s SATISFIABLE
1800.15/953.73	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 x2102 -x2103 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 x2784 -x2785 -x2786 x2787 x2788 x2789 x2790 -x2791 -x2792 -x2793 x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 x3017 -x3018 x3019 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 x3049 x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 x3087 -x3088 x3089 x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 x3206 -x3207 -x3208 x3209 -x3210 x3211 -x3212 x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250 x3251 -x3252 x3253 -x3254 x3255 -x3256 x3257 -x3258 x3259 -x3260 x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 x3269 -x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 x3277 -x3278 x3279 -x3280 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 x3432 x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 x3588 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 x3604 -x3605 -x3606 -x3607 x3608 -x3609 x3610 -x3611 x3612 -x3613 x3614 -x3615 x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 x3912 x3913 -x3914 -x3915 -x3916 x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 x4118 -x4119 -x4120 x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 x4186 -x4187 -x4188 x4189 -x4190 -x4191 -x4192 x4193 -x4194 -x4195 x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 x4226 -x4227 x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 -x4315 -x4316 -x4317 -x4318 
1800.15/953.74	c objective function=20
1800.15/953.74	c Total wall clock time (in seconds): 953.609

Verifier Data 

OK	20

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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: 3.80 3.92 3.88 4/197 25317
/proc/meminfo: memFree=29436688/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25317/stat : 25317 (java) D 25315 25317 23801 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253899582 9515008 183 33554432000 1073741824 1073778376 140737131671904 140737131662936 214369648309 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/25317/statm: 2323 183 140 9 0 71 0

[startup+0.0483481 s]
/proc/loadavg: 3.80 3.92 3.88 4/197 25317
/proc/meminfo: memFree=29436688/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 3018 0 1 0 2 1 0 0 20 0 13 0 253899582 9446973440 3715 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2306390 3715 1695 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100336 s]
/proc/loadavg: 3.80 3.92 3.88 4/197 25317
/proc/meminfo: memFree=29436688/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 4159 0 1 0 7 1 0 0 20 0 18 0 253899582 9787813888 5353 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2389603 5353 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300277 s]
/proc/loadavg: 3.80 3.92 3.88 4/197 25317
/proc/meminfo: memFree=29436688/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 5374 0 1 0 44 2 0 0 20 0 18 0 253899582 9787813888 7922 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2389603 7922 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700317 s]
/proc/loadavg: 3.80 3.92 3.88 4/197 25317
/proc/meminfo: memFree=29436688/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 18133 0 1 0 157 6 0 0 20 0 19 0 253899582 10060460032 23300 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2456167 23300 2246 9 0 2446860 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9824668

[startup+1.50068 s]
/proc/loadavg: 3.80 3.92 3.88 3/216 25339
/proc/meminfo: memFree=29351316/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9824668 CPUtime=2.15 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 18392 0 1 0 207 8 0 0 20 0 19 0 253899582 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2456167 25871 2256 9 0 2446860 0
[pid=25317/tid=25319] ppid=25315 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (java) S 25315 25317 23801 0 -1 4202560 2477 0 1 0 50 2 0 0 20 0 19 0 253899583 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370088268792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25320] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899584 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370077329832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25321] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25321/stat : 25321 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899584 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370076277288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25322] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25322/stat : 25322 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899584 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370075224232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25323] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25323/stat : 25323 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899584 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370074171688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25324] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25324/stat : 25324 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899584 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370073119656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25325] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25325/stat : 25325 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899584 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370072067112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25326] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25326/stat : 25326 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899584 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370071014056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25327] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25327/stat : 25327 (java) S 25315 25317 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253899584 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140370069961512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25328] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25328/stat : 25328 (java) S 25315 25317 23801 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253899586 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140369912215912 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25329] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25329/stat : 25329 (java) S 25315 25317 23801 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253899586 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140369911162232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25330] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25330/stat : 25330 (java) S 25315 25317 23801 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253899586 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140369910109064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25331] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25331/stat : 25331 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899589 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140369909057808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25332] ppid=25315 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/25317/task/25332/stat : 25332 (java) S 25315 25317 23801 0 -1 4202560 7684 0 0 0 69 2 0 0 20 0 19 0 253899589 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140369908005688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25333] ppid=25315 vsize=9824668 CPUtime=0.69 cores=1,3,5,7
/proc/25317/task/25333/stat : 25333 (java) S 25315 25317 23801 0 -1 4202560 6922 0 0 0 69 0 0 0 20 0 19 0 253899589 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140369906953144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25334] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25334/stat : 25334 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899589 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140369905900280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25335] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25335/stat : 25335 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253899589 10060460032 25871 33554432000 1073741824 1073778376 140734560167952 140369904847944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9824668

[startup+3.10076 s]
/proc/loadavg: 3.97 3.95 3.89 5/219 25345
/proc/meminfo: memFree=29296876/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9824668 CPUtime=6.37 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 23600 0 1 0 624 13 0 0 20 0 22 0 253899582 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2456167 51212 2274 9 0 2446860 0
[pid=25317/tid=25319] ppid=25315 vsize=9824668 CPUtime=0.52 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (java) S 25315 25317 23801 0 -1 4202560 2477 0 1 0 50 2 0 0 20 0 22 0 253899583 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370088268792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25320] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (java) S 25315 25317 23801 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370077329832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25321] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25321/stat : 25321 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370076277288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25322] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25322/stat : 25322 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370075224232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25323] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25323/stat : 25323 (java) S 25315 25317 23801 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370074171688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25324] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25324/stat : 25324 (java) S 25315 25317 23801 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370073119656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25325] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25325/stat : 25325 (java) S 25315 25317 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370072067112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25326] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25326/stat : 25326 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370071014056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25327] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25327/stat : 25327 (java) S 25315 25317 23801 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140370069961512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25328] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25328/stat : 25328 (java) S 25315 25317 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369912215912 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25329] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25329/stat : 25329 (java) S 25315 25317 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369911162232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25330] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25330/stat : 25330 (java) S 25315 25317 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369910109064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25331] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25331/stat : 25331 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369909057808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25332] ppid=25315 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/25317/task/25332/stat : 25332 (java) S 25315 25317 23801 0 -1 4202560 12746 0 0 0 119 2 0 0 20 0 22 0 253899589 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369908005688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25333] ppid=25315 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/25317/task/25333/stat : 25333 (java) S 25315 25317 23801 0 -1 4202560 6952 0 0 0 130 1 0 0 20 0 22 0 253899589 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369906953144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25334] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25334/stat : 25334 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369905900280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25335] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25335/stat : 25335 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369904847944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25342] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25342/stat : 25342 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253899688 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369901688104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25343] ppid=25315 vsize=9824668 CPUtime=1.5 cores=1,3,5,7
/proc/25317/task/25343/stat : 25343 (java) R 25315 25317 23801 0 -1 4202560 4 0 0 0 150 0 0 0 20 0 22 0 253899738 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369902740408 140369950152636 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25344] ppid=25315 vsize=9824668 CPUtime=1.49 cores=1,3,5,7
/proc/25317/task/25344/stat : 25344 (java) R 25315 25317 23801 0 -1 4202560 67 0 0 0 147 2 0 0 20 0 22 0 253899738 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369903791736 140369950840023 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25345] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25345/stat : 25345 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253899739 10060460032 51212 33554432000 1073741824 1073778376 140734560167952 140369900635304 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 9824668

[startup+6.30093 s]
/proc/loadavg: 3.97 3.95 3.89 5/219 25348
/proc/meminfo: memFree=29214768/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9824668 CPUtime=12.06 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 23698 0 1 0 1187 19 0 0 20 0 22 0 253899582 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2456167 60217 2287 9 0 2446860 0
[pid=25317/tid=25319] ppid=25315 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (java) S 25315 25317 23801 0 -1 4202560 2477 0 1 0 51 2 0 0 20 0 22 0 253899583 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370088268792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25320] ppid=25315 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (java) S 25315 25317 23801 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 253899584 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370077329832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25321] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25321/stat : 25321 (java) S 25315 25317 23801 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253899584 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370076277288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25322] ppid=25315 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25317/task/25322/stat : 25322 (java) S 25315 25317 23801 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253899584 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370075224232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25323] ppid=25315 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25317/task/25323/stat : 25323 (java) S 25315 25317 23801 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253899584 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370074171688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25324] ppid=25315 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25317/task/25324/stat : 25324 (java) S 25315 25317 23801 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253899584 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370073119656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25325] ppid=25315 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/25317/task/25325/stat : 25325 (java) S 25315 25317 23801 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 22 0 253899584 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370072067112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25326] ppid=25315 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25317/task/25326/stat : 25326 (java) S 25315 25317 23801 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253899584 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370071014056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25327] ppid=25315 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/25317/task/25327/stat : 25327 (java) S 25315 25317 23801 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253899584 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140370069961512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25328] ppid=25315 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/25317/task/25328/stat : 25328 (java) S 25315 25317 23801 0 -1 4202560 45 0 0 0 14 1 0 0 20 0 22 0 253899586 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369912215912 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25329] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25329/stat : 25329 (java) S 25315 25317 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369911162232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25330] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25330/stat : 25330 (java) S 25315 25317 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369910109064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25331] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25331/stat : 25331 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369909057808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25332] ppid=25315 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/25317/task/25332/stat : 25332 (java) S 25315 25317 23801 0 -1 4202560 12751 0 0 0 127 3 0 0 20 0 22 0 253899589 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369908005688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25333] ppid=25315 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/25317/task/25333/stat : 25333 (java) S 25315 25317 23801 0 -1 4202560 6954 0 0 0 139 1 0 0 20 0 22 0 253899589 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369906953144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25334] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25334/stat : 25334 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369905900280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25335] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25335/stat : 25335 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369904847944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25342] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25342/stat : 25342 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253899688 10060460032 60217 33554432000 1073741824 1073778376 140734560167952 140369901688104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

/proc/25317/statm: 2456167 737888 2288 9 0 2446860 0
[pid=25317/tid=25319] ppid=25315 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (java) S 25315 25317 23801 0 -1 4202560 2531 0 1 0 54 4 0 0 20 0 22 0 253899583 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370088268792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25320] ppid=25315 vsize=9824668 CPUtime=3.74 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (java) S 25315 25317 23801 0 -1 4202560 524 0 0 0 358 16 0 0 20 0 22 0 253899584 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370077329832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25321] ppid=25315 vsize=9824668 CPUtime=2.97 cores=1,3,5,7
/proc/25317/task/25321/stat : 25321 (java) S 25315 25317 23801 0 -1 4202560 1088 0 0 0 284 13 0 0 20 0 22 0 253899584 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370076277288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25322] ppid=25315 vsize=9824668 CPUtime=3.05 cores=1,3,5,7
/proc/25317/task/25322/stat : 25322 (java) S 25315 25317 23801 0 -1 4202560 749 0 0 0 291 14 0 0 20 0 22 0 253899584 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370075224232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25323] ppid=25315 vsize=9824668 CPUtime=3.3 cores=1,3,5,7
/proc/25317/task/25323/stat : 25323 (java) S 25315 25317 23801 0 -1 4202560 481 0 0 0 315 15 0 0 20 0 22 0 253899584 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370074171688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25324] ppid=25315 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/25317/task/25324/stat : 25324 (java) S 25315 25317 23801 0 -1 4202560 583 0 0 0 286 15 0 0 20 0 22 0 253899584 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370073119656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25325] ppid=25315 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/25317/task/25325/stat : 25325 (java) S 25315 25317 23801 0 -1 4202560 381 0 0 0 303 13 0 0 20 0 22 0 253899584 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370072067112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25326] ppid=25315 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/25317/task/25326/stat : 25326 (java) S 25315 25317 23801 0 -1 4202560 526 0 0 0 334 16 0 0 20 0 22 0 253899584 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370071014056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25327] ppid=25315 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/25317/task/25327/stat : 25327 (java) S 25315 25317 23801 0 -1 4202560 757 0 0 0 323 15 0 0 20 0 22 0 253899584 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140370069961512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25328] ppid=25315 vsize=9824668 CPUtime=119.35 cores=1,3,5,7
/proc/25317/task/25328/stat : 25328 (java) S 25315 25317 23801 0 -1 4202560 5384 0 0 0 11902 33 0 0 20 0 22 0 253899586 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369912215912 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25329] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25329/stat : 25329 (java) S 25315 25317 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369911162232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25330] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25330/stat : 25330 (java) S 25315 25317 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369910109064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25331] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25331/stat : 25331 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369909057808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25332] ppid=25315 vsize=9824668 CPUtime=2.02 cores=1,3,5,7
/proc/25317/task/25332/stat : 25332 (java) S 25315 25317 23801 0 -1 4202560 15623 0 0 0 199 3 0 0 20 0 22 0 253899589 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369908005688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25333] ppid=25315 vsize=9824668 CPUtime=1.6 cores=1,3,5,7
/proc/25317/task/25333/stat : 25333 (java) S 25315 25317 23801 0 -1 4202560 6957 0 0 0 159 1 0 0 20 0 22 0 253899589 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369906953144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25334] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25334/stat : 25334 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369905900280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25335] ppid=25315 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/25317/task/25335/stat : 25335 (java) S 25315 25317 23801 0 -1 4202560 55 0 0 0 23 24 0 0 20 0 22 0 253899589 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369904847944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25342] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25342/stat : 25342 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253899688 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369901688104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25349] ppid=25315 vsize=9824668 CPUtime=804.76 cores=1,3,5,7
/proc/25317/task/25349/stat : 25349 (java) R 25315 25317 23801 0 -1 4202560 110 0 0 0 80462 14 0 0 20 0 22 0 253900489 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369902740432 140369950889987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25350] ppid=25315 vsize=9824668 CPUtime=804.66 cores=1,3,5,7
/proc/25317/task/25350/stat : 25350 (java) R 25315 25317 23801 0 -1 4202560 1314 0 0 0 80438 28 0 0 20 0 22 0 253900489 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369903790832 140369951085340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25351] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25351/stat : 25351 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253900489 10060460032 737888 33554432000 1073741824 1073778376 140734560167952 140369900635560 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1777.24
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+953.708 s]
/proc/loadavg: 3.92 3.83 3.84 5/219 25440
/proc/meminfo: memFree=23909068/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9824668 CPUtime=1800.15 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 38462 0 1 0 179804 211 0 0 20 0 22 0 253899582 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2456167 737898 2288 9 0 2446860 0
[pid=25317/tid=25319] ppid=25315 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (java) S 25315 25317 23801 0 -1 4202560 2531 0 1 0 54 4 0 0 20 0 22 0 253899583 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370088268792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25320] ppid=25315 vsize=9824668 CPUtime=3.76 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (java) S 25315 25317 23801 0 -1 4202560 525 0 0 0 360 16 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370077329832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25321] ppid=25315 vsize=9824668 CPUtime=2.99 cores=1,3,5,7
/proc/25317/task/25321/stat : 25321 (java) S 25315 25317 23801 0 -1 4202560 1088 0 0 0 286 13 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370076277288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25322] ppid=25315 vsize=9824668 CPUtime=3.1 cores=1,3,5,7
/proc/25317/task/25322/stat : 25322 (java) S 25315 25317 23801 0 -1 4202560 751 0 0 0 296 14 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370075224232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25323] ppid=25315 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/25317/task/25323/stat : 25323 (java) S 25315 25317 23801 0 -1 4202560 481 0 0 0 317 15 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370074171688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25324] ppid=25315 vsize=9824668 CPUtime=3.03 cores=1,3,5,7
/proc/25317/task/25324/stat : 25324 (java) S 25315 25317 23801 0 -1 4202560 584 0 0 0 288 15 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370073119656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25325] ppid=25315 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/25317/task/25325/stat : 25325 (java) S 25315 25317 23801 0 -1 4202560 381 0 0 0 305 13 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370072067112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25326] ppid=25315 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/25317/task/25326/stat : 25326 (java) S 25315 25317 23801 0 -1 4202560 528 0 0 0 336 16 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370071014056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25327] ppid=25315 vsize=9824668 CPUtime=3.39 cores=1,3,5,7
/proc/25317/task/25327/stat : 25327 (java) S 25315 25317 23801 0 -1 4202560 757 0 0 0 324 15 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370069961512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25328] ppid=25315 vsize=9824668 CPUtime=119.35 cores=1,3,5,7
/proc/25317/task/25328/stat : 25328 (java) S 25315 25317 23801 0 -1 4202560 5388 0 0 0 11902 33 0 0 20 0 22 0 253899586 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369912215912 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25329] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25329/stat : 25329 (java) S 25315 25317 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369911162232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25330] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25330/stat : 25330 (java) S 25315 25317 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369910109064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25331] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25331/stat : 25331 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369909057808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25332] ppid=25315 vsize=9824668 CPUtime=2.02 cores=1,3,5,7
/proc/25317/task/25332/stat : 25332 (java) S 25315 25317 23801 0 -1 4202560 15623 0 0 0 199 3 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369908005688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25333] ppid=25315 vsize=9824668 CPUtime=1.6 cores=1,3,5,7
/proc/25317/task/25333/stat : 25333 (java) S 25315 25317 23801 0 -1 4202560 6957 0 0 0 159 1 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369906953144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25334] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25334/stat : 25334 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369905900280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25335] ppid=25315 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/25317/task/25335/stat : 25335 (java) S 25315 25317 23801 0 -1 4202560 57 0 0 0 23 25 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369904847944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25342] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25342/stat : 25342 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253899688 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369901688104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25349] ppid=25315 vsize=9824668 CPUtime=816.1 cores=1,3,5,7
/proc/25317/task/25349/stat : 25349 (java) R 25315 25317 23801 0 -1 4202560 110 0 0 0 81596 14 0 0 20 0 22 0 253900489 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369902738560 140369950889369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25350] ppid=25315 vsize=9824668 CPUtime=815.99 cores=1,3,5,7
/proc/25317/task/25350/stat : 25350 (java) R 25315 25317 23801 0 -1 4202560 1315 0 0 0 81571 28 0 0 20 0 22 0 253900489 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369903791664 140369951024237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25351] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25351/stat : 25351 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253900489 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369900635560 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824668

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

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

[startup+953.708 s]
/proc/loadavg: 3.92 3.83 3.84 5/219 25440
/proc/meminfo: memFree=23909068/32873844 swapFree=7616/7616
[pid=25317] ppid=25315 vsize=9824668 CPUtime=1800.15 cores=1,3,5,7
/proc/25317/stat : 25317 (java) S 25315 25317 23801 0 -1 4202496 38462 0 1 0 179804 211 0 0 20 0 22 0 253899582 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140734560159088 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25317/statm: 2456167 737898 2288 9 0 2446860 0
[pid=25317/tid=25319] ppid=25315 vsize=9824668 CPUtime=0.58 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (java) S 25315 25317 23801 0 -1 4202560 2531 0 1 0 54 4 0 0 20 0 22 0 253899583 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370088268792 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25320] ppid=25315 vsize=9824668 CPUtime=3.76 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (java) S 25315 25317 23801 0 -1 4202560 525 0 0 0 360 16 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370077329832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25321] ppid=25315 vsize=9824668 CPUtime=2.99 cores=1,3,5,7
/proc/25317/task/25321/stat : 25321 (java) S 25315 25317 23801 0 -1 4202560 1088 0 0 0 286 13 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370076277288 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25322] ppid=25315 vsize=9824668 CPUtime=3.1 cores=1,3,5,7
/proc/25317/task/25322/stat : 25322 (java) S 25315 25317 23801 0 -1 4202560 751 0 0 0 296 14 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370075224232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25323] ppid=25315 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/25317/task/25323/stat : 25323 (java) S 25315 25317 23801 0 -1 4202560 481 0 0 0 317 15 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370074171688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25324] ppid=25315 vsize=9824668 CPUtime=3.03 cores=1,3,5,7
/proc/25317/task/25324/stat : 25324 (java) S 25315 25317 23801 0 -1 4202560 584 0 0 0 288 15 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370073119656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25325] ppid=25315 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/25317/task/25325/stat : 25325 (java) S 25315 25317 23801 0 -1 4202560 381 0 0 0 305 13 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370072067112 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25326] ppid=25315 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/25317/task/25326/stat : 25326 (java) S 25315 25317 23801 0 -1 4202560 528 0 0 0 336 16 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370071014056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25327] ppid=25315 vsize=9824668 CPUtime=3.39 cores=1,3,5,7
/proc/25317/task/25327/stat : 25327 (java) S 25315 25317 23801 0 -1 4202560 757 0 0 0 324 15 0 0 20 0 22 0 253899584 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140370069961512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25328] ppid=25315 vsize=9824668 CPUtime=119.35 cores=1,3,5,7
/proc/25317/task/25328/stat : 25328 (java) S 25315 25317 23801 0 -1 4202560 5388 0 0 0 11902 33 0 0 20 0 22 0 253899586 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369912215912 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25329] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25329/stat : 25329 (java) S 25315 25317 23801 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369911162232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25330] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25330/stat : 25330 (java) S 25315 25317 23801 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253899586 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369910109064 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25331] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25331/stat : 25331 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369909057808 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25332] ppid=25315 vsize=9824668 CPUtime=2.02 cores=1,3,5,7
/proc/25317/task/25332/stat : 25332 (java) S 25315 25317 23801 0 -1 4202560 15623 0 0 0 199 3 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369908005688 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25333] ppid=25315 vsize=9824668 CPUtime=1.6 cores=1,3,5,7
/proc/25317/task/25333/stat : 25333 (java) S 25315 25317 23801 0 -1 4202560 6957 0 0 0 159 1 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369906953144 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25334] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25334/stat : 25334 (java) S 25315 25317 23801 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369905900280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25335] ppid=25315 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/25317/task/25335/stat : 25335 (java) S 25315 25317 23801 0 -1 4202560 57 0 0 0 23 25 0 0 20 0 22 0 253899589 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369904847944 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25317/tid=25342] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25342/stat : 25342 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253899688 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369901688104 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25317/tid=25349] ppid=25315 vsize=9824668 CPUtime=816.1 cores=1,3,5,7
/proc/25317/task/25349/stat : 25349 (java) R 25315 25317 23801 0 -1 4202560 110 0 0 0 81596 14 0 0 20 0 22 0 253900489 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369902738560 140369950889369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25350] ppid=25315 vsize=9824668 CPUtime=815.99 cores=1,3,5,7
/proc/25317/task/25350/stat : 25350 (java) R 25315 25317 23801 0 -1 4202560 1315 0 0 0 81571 28 0 0 20 0 22 0 253900489 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369903791664 140369951024237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25351] ppid=25315 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25351/stat : 25351 (java) S 25315 25317 23801 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253900489 10060460032 737898 33554432000 1073741824 1073778376 140734560167952 140369900635560 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824668

Child status: 143

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

Real time (s): 953.758
CPU time (s): 1800.15
CPU user time (s): 1798.04
CPU system time (s): 2.11
CPU usage (%): 188.743
Max. virtual memory (cumulated for all children) (KiB): 9826544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.51
system time used= 2.52961
maximum resident set size= 2951712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38496
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26276
involuntary context switches= 41478

runsolver used 4.50131 second user time and 8.65468 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-24 18:42:20
IDJOB=3688468
IDBENCH=25017
IDSOLVER=2268
FILE ID=node130/3688468-1337877740
RUNJOBID= node130-1337871881-23818
PBS_JOBID= 14620074
Free space on /tmp= 71672 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688468-1337877740/watcher-3688468-1337877740 -o /tmp/evaluation-result-3688468-1337877740/solver-3688468-1337877740 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688468-1337877740.opb

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=563635495

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29436688 kB
Buffers:          199076 kB
Cached:          2125152 kB
SwapCached:            0 kB
Active:           836784 kB
Inactive:        1826316 kB
Active(anon):     341180 kB
Inactive(anon):        0 kB
Active(file):     495604 kB
Inactive(file):  1826316 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               916 kB
Writeback:             0 kB
AnonPages:        356180 kB
Mapped:            22596 kB
Shmem:               200 kB
Slab:             627484 kB
SReclaimable:      69532 kB
SUnreclaim:       557952 kB
KernelStack:        1648 kB
PageTables:         4720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     829244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node130 at 2012-05-24 18:58:16