Trace number 3718159

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.5 1754.37

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
MD5SUMe56482878ee36dcbb361a64b1d161fc3
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.09368
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints81
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
Top cost 3401
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 3400
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120528
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3718159-1338250386.wbo
0.11/0.10	c reading problem ... 
0.29/0.24	c ... done. Wall clock time 0.14s.
0.29/0.24	c declared #vars     3660
0.29/0.24	c internal #vars     3741
0.29/0.24	c #constraints  121
0.29/0.24	c constraints type 
0.29/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61
0.29/0.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 21
0.29/0.24	c ignored satisfied constraints => 1
0.29/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 39
0.29/0.24	c 122 constraints processed.
0.29/0.24	c objective function length is 81 literals
0.53/0.35	c SATISFIABLE
0.53/0.35	c OPTIMIZING...
0.53/0.35	c Got one! Elapsed wall clock time (in seconds):0.249
0.53/0.35	o 72
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.293
0.53/0.39	o 10
0.83/0.41	c Got one! Elapsed wall clock time (in seconds):0.308
0.83/0.41	o 4
0.83/0.48	c Got one! Elapsed wall clock time (in seconds):0.386
0.83/0.48	o 2
1.21/0.79	c Got one! Elapsed wall clock time (in seconds):0.687
1.21/0.79	o 1
1.32/0.89	c cleaning 3019 clauses out of 6064 with flag 4382/6064
2.02/1.47	c cleaning 4494 clauses out of 9045 with flag 39603/12064
2.95/2.31	c cleaning 5750 clauses out of 11552 with flag 83535/19065
3.66/3.09	c cleaning 6883 clauses out of 13800 with flag 132110/27063
4.73/4.01	c cleaning 7922 clauses out of 15918 with flag 187189/36064
6.15/5.50	c cleaning 8968 clauses out of 17996 with flag 255364/46064
7.57/6.82	c cleaning 9979 clauses out of 20027 with flag 328336/57063
9.80/9.00	c cleaning 10990 clauses out of 22049 with flag 410483/69064
11.92/11.13	c cleaning 11996 clauses out of 24058 with flag 495391/82063
14.16/13.37	c cleaning 12958 clauses out of 26063 with flag 588476/96064
16.92/16.02	c cleaning 14009 clauses out of 28105 with flag 688124/111064
20.84/19.97	c cleaning 14874 clauses out of 30097 with flag 810581/127065
23.83/22.83	c cleaning 16039 clauses out of 32221 with flag 929594/144063
27.65/26.64	c cleaning 17062 clauses out of 34183 with flag 1075732/162064
31.49/30.41	c cleaning 18033 clauses out of 36121 with flag 1208242/181064
35.44/34.30	c cleaning 19019 clauses out of 38088 with flag 1353016/201064
39.37/38.24	c cleaning 20001 clauses out of 40068 with flag 1497043/222063
43.80/42.61	c cleaning 21012 clauses out of 42070 with flag 1687783/244066
48.31/47.10	c cleaning 21959 clauses out of 44055 with flag 1885150/267063
52.45/51.28	c cleaning 22991 clauses out of 46096 with flag 2070830/291063
57.93/56.61	c cleaning 24027 clauses out of 48105 with flag 2263189/316063
65.58/64.28	c cleaning 25035 clauses out of 50079 with flag 2462217/342064
72.87/71.50	c cleaning 26008 clauses out of 52044 with flag 2683362/369064
79.32/77.82	c cleaning 26993 clauses out of 54038 with flag 2902667/397066
86.68/85.15	c cleaning 27851 clauses out of 56043 with flag 3108180/426064
95.66/94.05	c cleaning 29080 clauses out of 58191 with flag 3337093/456063
103.86/102.20	c cleaning 30035 clauses out of 60113 with flag 3562387/487065
114.79/113.08	c cleaning 31022 clauses out of 62076 with flag 3854123/519063
123.78/121.90	c cleaning 32013 clauses out of 64054 with flag 4126887/552063
133.81/131.91	c cleaning 33011 clauses out of 66041 with flag 4421569/586063
139.67/137.73	c cleaning 33954 clauses out of 68030 with flag 4669221/621063
147.94/145.97	c cleaning 35020 clauses out of 70076 with flag 4942141/657063
158.82/156.75	c cleaning 36007 clauses out of 72056 with flag 5253903/694063
169.50/167.39	c cleaning 37018 clauses out of 74050 with flag 5562875/732064
182.89/180.60	c cleaning 38009 clauses out of 76036 with flag 5888705/771068
193.70/191.38	c cleaning 39000 clauses out of 78023 with flag 6249010/811064
210.09/207.58	c cleaning 40003 clauses out of 80023 with flag 6628792/852064
222.00/219.41	c cleaning 40974 clauses out of 82020 with flag 7018702/894064
231.31/228.70	c cleaning 41999 clauses out of 84046 with flag 7320043/937064
242.20/239.41	c cleaning 43012 clauses out of 86046 with flag 7650522/981063
255.06/252.27	c cleaning 43999 clauses out of 88036 with flag 8027930/1026065
269.15/266.28	c cleaning 44995 clauses out of 90035 with flag 8408841/1072063
282.46/279.44	c cleaning 46009 clauses out of 92040 with flag 8803486/1119063
296.53/293.48	c cleaning 47007 clauses out of 94034 with flag 9237910/1167066
310.41/307.29	c cleaning 48003 clauses out of 96026 with flag 9633456/1216065
327.88/324.64	c cleaning 48998 clauses out of 98024 with flag 10049197/1266066
347.39/344.02	c cleaning 50007 clauses out of 100028 with flag 10430579/1317068
358.93/355.37	c cleaning 50982 clauses out of 102020 with flag 10796816/1369067
373.99/370.23	c cleaning 52004 clauses out of 104034 with flag 11227108/1422063
390.19/386.33	c cleaning 53003 clauses out of 106031 with flag 11698017/1476064
408.21/404.21	c cleaning 54003 clauses out of 108028 with flag 12111026/1531064
432.54/428.46	c cleaning 55001 clauses out of 110024 with flag 12541925/1587063
452.43/448.23	c cleaning 56004 clauses out of 112023 with flag 13042807/1644063
475.90/471.47	c cleaning 57000 clauses out of 114019 with flag 13594345/1702063
501.50/496.94	c cleaning 58003 clauses out of 116021 with flag 14186657/1761065
524.73/520.06	c cleaning 58998 clauses out of 118016 with flag 14681510/1821063
554.72/549.91	c cleaning 60003 clauses out of 120019 with flag 15158091/1882064
579.93/575.04	c cleaning 60997 clauses out of 122015 with flag 15706379/1944063
603.84/598.84	c cleaning 61960 clauses out of 124018 with flag 16218306/2007063
625.48/619.46	c cleaning 63010 clauses out of 126059 with flag 16707556/2071064
651.32/644.37	c cleaning 64008 clauses out of 128048 with flag 17254234/2136063
680.95/673.02	c cleaning 65002 clauses out of 130041 with flag 17829827/2202064
716.99/707.83	c cleaning 65996 clauses out of 132038 with flag 18455681/2269063
743.68/733.60	c cleaning 67014 clauses out of 134042 with flag 19070003/2337063
777.14/765.83	c cleaning 68001 clauses out of 136029 with flag 19686384/2406064
801.65/789.68	c cleaning 68999 clauses out of 138027 with flag 20293399/2476063
836.36/823.09	c cleaning 70001 clauses out of 140028 with flag 20984513/2547063
876.01/861.19	c cleaning 71001 clauses out of 142027 with flag 21765545/2619063
903.59/887.74	c cleaning 72004 clauses out of 144026 with flag 22428226/2692063
943.66/926.27	c cleaning 73001 clauses out of 146022 with flag 23016783/2766063
989.90/970.62	c cleaning 74002 clauses out of 148022 with flag 23655247/2841064
1028.88/1008.75	c cleaning 74995 clauses out of 150019 with flag 24326325/2917063
1064.85/1043.43	c cleaning 75995 clauses out of 152024 with flag 25016851/2994063
1088.54/1066.16	c cleaning 77001 clauses out of 154030 with flag 25607287/3072064
1116.43/1093.42	c cleaning 78005 clauses out of 156028 with flag 26211641/3151063
1145.52/1121.79	c cleaning 79000 clauses out of 158026 with flag 26870188/3231066
1181.14/1155.37	c cleaning 79998 clauses out of 160023 with flag 27545730/3312063
1240.05/1212.68	c cleaning 81000 clauses out of 162026 with flag 28286758/3394064
1272.37/1243.82	c cleaning 82006 clauses out of 164026 with flag 29061260/3477064
1317.30/1287.33	c cleaning 83002 clauses out of 166019 with flag 29877095/3561063
1357.46/1326.11	c cleaning 84004 clauses out of 168024 with flag 30589972/3646070
1410.94/1377.31	c cleaning 84998 clauses out of 170013 with flag 31304546/3732063
1456.23/1421.60	c cleaning 85996 clauses out of 172016 with flag 32065336/3819064
1498.10/1462.25	c cleaning 87000 clauses out of 174020 with flag 32866570/3907064
1540.33/1502.67	c cleaning 87998 clauses out of 176020 with flag 33702370/3996064
1593.64/1554.38	c cleaning 88996 clauses out of 178022 with flag 34507659/4086064
1639.32/1599.00	c cleaning 90001 clauses out of 180025 with flag 35429421/4177063
1697.57/1655.00	c cleaning 90998 clauses out of 182026 with flag 36224686/4269065
1753.73/1709.97	c cleaning 92005 clauses out of 184027 with flag 36959689/4362064
1800.09/1754.31	c starts		: 258
1800.09/1754.31	c conflicts		: 4453933
1800.09/1754.31	c decisions		: 5962293
1800.09/1754.31	c propagations		: 195107590
1800.09/1754.31	c inspects		: 17104630979
1800.09/1754.31	c shortcuts		: 0
1800.09/1754.31	c learnt literals	: 0
1800.09/1754.31	c learnt binary clauses	: 0
1800.09/1754.31	c learnt ternary clauses	: 0
1800.09/1754.31	c learnt constraints	: 4453933
1800.09/1754.31	c ignored constraints	: 0
1800.09/1754.31	c root simplifications	: 0
1800.09/1754.31	c removed literals (reason simplification)	: 0
1800.09/1754.31	c reason swapping (by a shorter reason)	: 0
1800.09/1754.31	c Calls to reduceDB	: 89
1800.09/1754.31	c Number of update (reduction) of LBD	: 2671041
1800.09/1754.31	c number of reductions to clauses (during analyze)	: 0
1800.09/1754.31	c number of learned constraints concerned by reduction	: 0
1800.09/1754.31	c number of learning phase by resolution	: 0
1800.09/1754.31	c number of learning phase by cutting planes	: 0
1800.09/1754.31	c speed (assignments/second)	: 111231.8132244965
1800.09/1754.31	c non guided choices	151971
1800.09/1754.34	c learnt constraints type 
1800.09/1754.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 183917
1800.09/1754.34	c constraints type 
1800.09/1754.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 61
1800.09/1754.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 21
1800.09/1754.34	c ignored satisfied constraints => 1
1800.09/1754.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40
1800.09/1754.34	c 123 constraints processed.
1800.09/1754.34	s SATISFIABLE
1800.09/1754.35	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 
1800.09/1754.35	c objective function=1
1800.09/1754.35	c Total wall clock time (in seconds): 1754.257

Verifier Data 

OK	1

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-3718159-1338250386/watcher-3718159-1338250386 -o /tmp/evaluation-result-3718159-1338250386/solver-3718159-1338250386 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718159-1338250386.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 1.91 4/193 2516
/proc/meminfo: memFree=30824428/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=92900 CPUtime=0 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 2 0 291164494 95129600 927 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 23225 927 703 9 0 16769 0
[pid=2516/tid=2517] ppid=2514 vsize=94112 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 2 0 291164494 96370688 931 33554432000 1073741824 1073778376 140737207452608 140006260178472 242158234919 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.00804494 s]
/proc/loadavg: 2.02 2.01 1.91 4/193 2516
/proc/meminfo: memFree=30824428/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 1368 0 0 0 0 0 0 0 20 0 2 0 291164494 103964672 1051 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 25382 1051 805 9 0 16774 0
[pid=2516/tid=2517] ppid=2514 vsize=101528 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) S 2514 2516 919 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 2 0 291164494 103964672 1051 33554432000 1073741824 1073778376 140737207452608 140006260184592 242167415267 0 0 0 16784584 18446744071580425449 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100191 s]
/proc/loadavg: 2.02 2.01 1.91 4/193 2516
/proc/meminfo: memFree=30824428/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9558416 CPUtime=0.11 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 4459 0 1 0 10 1 0 0 20 0 18 0 291164494 9787817984 6119 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2389604 6119 2139 9 0 2380296 0
[pid=2516/tid=2517] ppid=2514 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 2432 0 1 0 7 0 0 0 20 0 18 0 291164494 9787817984 6119 33554432000 1073741824 1073778376 140737207452608 140006260181720 242170782989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558416

[startup+0.300254 s]
/proc/loadavg: 2.02 2.01 1.91 4/193 2516
/proc/meminfo: memFree=30824428/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 6466 0 1 0 51 2 0 0 20 0 19 0 291164494 9855979520 8970 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2406245 8970 2235 9 0 2396937 0
[pid=2516/tid=2517] ppid=2514 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 2460 0 1 0 27 0 0 0 20 0 19 0 291164494 9855979520 8970 33554432000 1073741824 1073778376 140737207452608 140006260175160 140006085737040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9624980

[startup+0.700187 s]
/proc/loadavg: 2.02 2.01 1.91 4/193 2516
/proc/meminfo: memFree=30824428/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9624980 CPUtime=1.21 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 7404 0 1 0 119 2 0 0 20 0 19 0 291164494 9855979520 10905 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2406245 10905 2243 9 0 2396937 0
[pid=2516/tid=2517] ppid=2514 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 2464 0 1 0 66 1 0 0 20 0 19 0 291164494 9855979520 10905 33554432000 1073741824 1073778376 140737207452608 140006260175160 140006086145596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9624980

[startup+1.50063 s]
/proc/loadavg: 2.02 2.01 1.91 3/213 2536
/proc/meminfo: memFree=30724416/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9624980 CPUtime=2.15 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 7788 0 1 0 210 5 0 0 20 0 19 0 291164494 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2406245 18124 2268 9 0 2396937 0
[pid=2516/tid=2517] ppid=2514 vsize=9624980 CPUtime=1.45 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 2469 0 1 0 143 2 0 0 20 0 19 0 291164494 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006260183448 140006086159056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2519] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2519/stat : 2519 (java) S 2514 2516 919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006221675048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2520] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2520/stat : 2520 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006220622248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2521] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2521/stat : 2521 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006219569448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2522] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2522/stat : 2522 (java) S 2514 2516 919 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006218516648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2523] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2523/stat : 2523 (java) S 2514 2516 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006217464872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2524] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2524/stat : 2524 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006216412072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2525] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2525/stat : 2525 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006215359272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2526] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2526/stat : 2526 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006214306472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2527] ppid=2514 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/2516/task/2527/stat : 2527 (java) S 2514 2516 919 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 291164496 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006083512808 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2528] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2528/stat : 2528 (java) S 2514 2516 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006082458872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2529] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2529/stat : 2529 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006081405960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2530] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2530/stat : 2530 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164498 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006080354448 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2531] ppid=2514 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/2516/task/2531/stat : 2531 (java) S 2514 2516 919 0 -1 4202560 1536 0 0 0 26 0 0 0 20 0 19 0 291164498 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006079302584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2532] ppid=2514 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/2516/task/2532/stat : 2532 (java) S 2514 2516 919 0 -1 4202560 2504 0 0 0 33 0 0 0 20 0 19 0 291164498 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006078249784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2533] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2533/stat : 2533 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164499 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006077197176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2534] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2534/stat : 2534 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164499 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006076144584 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2536] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2536/stat : 2536 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164519 9855979520 18124 33554432000 1073741824 1073778376 140737207452608 140006075090088 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9624980

[startup+3.10533 s]
/proc/loadavg: 2.02 2.01 1.91 3/213 2536
/proc/meminfo: memFree=30674644/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9624980 CPUtime=3.8 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 7953 0 1 0 374 6 0 0 20 0 19 0 291164494 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2406245 20698 2268 9 0 2396937 0
[pid=2516/tid=2517] ppid=2514 vsize=9624980 CPUtime=3.03 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) S 2514 2516 919 0 -1 4202560 2469 0 1 0 301 2 0 0 20 0 19 0 291164494 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006260183448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2519] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2519/stat : 2519 (java) S 2514 2516 919 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006221675048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2520] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2520/stat : 2520 (java) S 2514 2516 919 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006220622248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2521] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2521/stat : 2521 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006219569448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2522] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2522/stat : 2522 (java) S 2514 2516 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006218516648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2523] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2523/stat : 2523 (java) S 2514 2516 919 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006217464872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2524] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2524/stat : 2524 (java) R 2514 2516 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006216412072 242170770492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2525] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2525/stat : 2525 (java) S 2514 2516 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006215359272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2526] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2526/stat : 2526 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006214306472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2527] ppid=2514 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/2516/task/2527/stat : 2527 (java) R 2514 2516 919 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 291164496 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006083511784 140006262378647 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2528] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2528/stat : 2528 (java) S 2514 2516 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006082458872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2529] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2529/stat : 2529 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006081405960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2530] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2530/stat : 2530 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164498 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006080354448 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2531] ppid=2514 vsize=9624980 CPUtime=0.28 cores=0,2,4,6
/proc/2516/task/2531/stat : 2531 (java) R 2514 2516 919 0 -1 4202560 1670 0 0 0 28 0 0 0 20 0 19 0 291164498 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006079279832 140006266985091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2532] ppid=2514 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/2516/task/2532/stat : 2532 (java) S 2514 2516 919 0 -1 4202560 2505 0 0 0 33 0 0 0 20 0 19 0 291164498 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006078241752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2533] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2533/stat : 2533 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164499 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006077197176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2534] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2534/stat : 2534 (java) R 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164499 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006076144584 242170771369 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2536] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2536/stat : 2536 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164519 9855979520 20698 33554432000 1073741824 1073778376 140737207452608 140006075090088 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9624980

[startup+6.30067 s]
/proc/loadavg: 2.02 2.01 1.91 3/213 2536
/proc/meminfo: memFree=30618364/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9624980 CPUtime=7.07 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 8636 0 1 0 701 6 0 0 20 0 19 0 291164494 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2406245 25600 2268 9 0 2396937 0
[pid=2516/tid=2517] ppid=2514 vsize=9624980 CPUtime=6.16 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 2475 0 1 0 614 2 0 0 20 0 19 0 291164494 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006260183328 140006086145596 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2519] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2519/stat : 2519 (java) S 2514 2516 919 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006221675048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2520] ppid=2514 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/2516/task/2520/stat : 2520 (java) S 2514 2516 919 0 -1 4202560 85 0 0 0 1 0 0 0 20 0 19 0 291164495 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006220622248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2521] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2521/stat : 2521 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006219569448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2522] ppid=2514 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/2516/task/2522/stat : 2522 (java) S 2514 2516 919 0 -1 4202560 86 0 0 0 1 0 0 0 20 0 19 0 291164495 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006218516648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2523] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2523/stat : 2523 (java) S 2514 2516 919 0 -1 4202560 85 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006217464872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2524] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2524/stat : 2524 (java) S 2514 2516 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006216412072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2525] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2525/stat : 2525 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006215359272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2526] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2526/stat : 2526 (java) S 2514 2516 919 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 19 0 291164495 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006214306472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2527] ppid=2514 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/2516/task/2527/stat : 2527 (java) S 2514 2516 919 0 -1 4202560 38 0 0 0 7 0 0 0 20 0 19 0 291164496 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006083512808 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2528] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2528/stat : 2528 (java) S 2514 2516 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006082458872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2529] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2529/stat : 2529 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006081405960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2530] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2530/stat : 2530 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164498 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006080354448 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2531] ppid=2514 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/2516/task/2531/stat : 2531 (java) S 2514 2516 919 0 -1 4202560 2063 0 0 0 31 0 0 0 20 0 19 0 291164498 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006079302584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2532] ppid=2514 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/2516/task/2532/stat : 2532 (java) S 2514 2516 919 0 -1 4202560 2505 0 0 0 34 0 0 0 20 0 19 0 291164498 9855979520 25600 33554432000 1073741824 1073778376 140737207452608 140006078249784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0

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

[pid=2516/tid=2524] ppid=2514 vsize=9624980 CPUtime=7.44 cores=0,2,4,6
/proc/2516/task/2524/stat : 2524 (java) S 2514 2516 919 0 -1 4202560 8915 0 0 0 720 24 0 0 20 0 19 0 291164495 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006216412072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2525] ppid=2514 vsize=9624980 CPUtime=7.47 cores=0,2,4,6
/proc/2516/task/2525/stat : 2525 (java) S 2514 2516 919 0 -1 4202560 9240 0 0 0 722 25 0 0 20 0 19 0 291164495 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006215359272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2526] ppid=2514 vsize=9624980 CPUtime=7.34 cores=0,2,4,6
/proc/2516/task/2526/stat : 2526 (java) S 2514 2516 919 0 -1 4202560 6696 0 0 0 713 21 0 0 20 0 19 0 291164495 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006214306472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2527] ppid=2514 vsize=9624980 CPUtime=6.66 cores=0,2,4,6
/proc/2516/task/2527/stat : 2527 (java) S 2514 2516 919 0 -1 4202560 1349 0 0 0 652 14 0 0 20 0 19 0 291164496 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006083512808 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2528] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2528/stat : 2528 (java) S 2514 2516 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006082458872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2529] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2529/stat : 2529 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006081405960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2530] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2530/stat : 2530 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164498 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006080354448 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2531] ppid=2514 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/2516/task/2531/stat : 2531 (java) S 2514 2516 919 0 -1 4202560 2369 0 0 0 33 0 0 0 20 0 19 0 291164498 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006079302584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2532] ppid=2514 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/2516/task/2532/stat : 2532 (java) S 2514 2516 919 0 -1 4202560 2505 0 0 0 34 0 0 0 20 0 19 0 291164498 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006078249784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2533] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2533/stat : 2533 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164499 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006077197176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2534] ppid=2514 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/2516/task/2534/stat : 2534 (java) S 2514 2516 919 0 -1 4202560 90 0 0 0 27 28 0 0 20 0 19 0 291164499 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006076144584 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2536] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2536/stat : 2536 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164519 9855979520 139247 33554432000 1073741824 1073778376 140737207452608 140006075090088 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1705.31
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.04 2.11 2.01 3/213 2553
/proc/meminfo: memFree=28566188/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9624980 CPUtime=1766.68 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 79318 0 1 0 176448 220 0 0 20 0 19 0 291164494 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2406245 151913 2269 9 0 2396937 0
[pid=2516/tid=2517] ppid=2514 vsize=9624980 CPUtime=1697.12 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 3991 0 1 0 169680 32 0 0 20 0 19 0 291164494 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006260182368 140006086141031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2519] ppid=2514 vsize=9624980 CPUtime=7.74 cores=0,2,4,6
/proc/2516/task/2519/stat : 2519 (java) S 2514 2516 919 0 -1 4202560 9137 0 0 0 756 18 0 0 20 0 19 0 291164495 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006221675048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2520] ppid=2514 vsize=9624980 CPUtime=7.66 cores=0,2,4,6
/proc/2516/task/2520/stat : 2520 (java) S 2514 2516 919 0 -1 4202560 7560 0 0 0 746 20 0 0 20 0 19 0 291164495 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006220622248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2521] ppid=2514 vsize=9624980 CPUtime=7.76 cores=0,2,4,6
/proc/2516/task/2521/stat : 2521 (java) S 2514 2516 919 0 -1 4202560 10533 0 0 0 754 22 0 0 20 0 19 0 291164495 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006219569448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2522] ppid=2514 vsize=9624980 CPUtime=7.93 cores=0,2,4,6
/proc/2516/task/2522/stat : 2522 (java) S 2514 2516 919 0 -1 4202560 6954 0 0 0 770 23 0 0 20 0 19 0 291164495 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006218516648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2523] ppid=2514 vsize=9624980 CPUtime=7.47 cores=0,2,4,6
/proc/2516/task/2523/stat : 2523 (java) S 2514 2516 919 0 -1 4202560 7012 0 0 0 729 18 0 0 20 0 19 0 291164495 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006217464872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2524] ppid=2514 vsize=9624980 CPUtime=7.68 cores=0,2,4,6
/proc/2516/task/2524/stat : 2524 (java) S 2514 2516 919 0 -1 4202560 9572 0 0 0 743 25 0 0 20 0 19 0 291164495 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006216412072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2525] ppid=2514 vsize=9624980 CPUtime=7.71 cores=0,2,4,6
/proc/2516/task/2525/stat : 2525 (java) S 2514 2516 919 0 -1 4202560 9544 0 0 0 746 25 0 0 20 0 19 0 291164495 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006215359272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2526] ppid=2514 vsize=9624980 CPUtime=7.6 cores=0,2,4,6
/proc/2516/task/2526/stat : 2526 (java) S 2514 2516 919 0 -1 4202560 7476 0 0 0 738 22 0 0 20 0 19 0 291164495 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006214306472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2527] ppid=2514 vsize=9624980 CPUtime=6.79 cores=0,2,4,6
/proc/2516/task/2527/stat : 2527 (java) S 2514 2516 919 0 -1 4202560 1391 0 0 0 665 14 0 0 20 0 19 0 291164496 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006083512808 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2528] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2528/stat : 2528 (java) S 2514 2516 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006082458872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2529] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2529/stat : 2529 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006081405960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2530] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2530/stat : 2530 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164498 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006080354448 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2531] ppid=2514 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/2516/task/2531/stat : 2531 (java) S 2514 2516 919 0 -1 4202560 2369 0 0 0 33 0 0 0 20 0 19 0 291164498 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006079302584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2532] ppid=2514 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/2516/task/2532/stat : 2532 (java) S 2514 2516 919 0 -1 4202560 2505 0 0 0 34 0 0 0 20 0 19 0 291164498 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006078249784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2533] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2533/stat : 2533 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164499 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006077197176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2534] ppid=2514 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/2516/task/2534/stat : 2534 (java) S 2514 2516 919 0 -1 4202560 94 0 0 0 29 29 0 0 20 0 19 0 291164499 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006076144584 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2536] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2536/stat : 2536 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164519 9855979520 151913 33554432000 1073741824 1073778376 140737207452608 140006075090088 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1766.68
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1754.3 s]
/proc/loadavg: 2.02 2.10 2.00 3/213 2553
/proc/meminfo: memFree=28572040/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9624980 CPUtime=1800.09 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 80599 0 1 0 179784 225 0 0 20 0 19 0 291164494 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2406245 139690 2269 9 0 2396937 0
[pid=2516/tid=2517] ppid=2514 vsize=9624980 CPUtime=1728.54 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 4046 0 1 0 172821 33 0 0 20 0 19 0 291164494 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006260182368 140006086145425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2519] ppid=2514 vsize=9624980 CPUtime=7.98 cores=0,2,4,6
/proc/2516/task/2519/stat : 2519 (java) S 2514 2516 919 0 -1 4202560 9236 0 0 0 779 19 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006221675048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2520] ppid=2514 vsize=9624980 CPUtime=7.9 cores=0,2,4,6
/proc/2516/task/2520/stat : 2520 (java) S 2514 2516 919 0 -1 4202560 7672 0 0 0 769 21 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006220622248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2521] ppid=2514 vsize=9624980 CPUtime=8 cores=0,2,4,6
/proc/2516/task/2521/stat : 2521 (java) S 2514 2516 919 0 -1 4202560 10644 0 0 0 777 23 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006219569448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2522] ppid=2514 vsize=9624980 CPUtime=8.18 cores=0,2,4,6
/proc/2516/task/2522/stat : 2522 (java) S 2514 2516 919 0 -1 4202560 7067 0 0 0 795 23 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006218516648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2523] ppid=2514 vsize=9624980 CPUtime=7.68 cores=0,2,4,6
/proc/2516/task/2523/stat : 2523 (java) S 2514 2516 919 0 -1 4202560 7012 0 0 0 749 19 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006217464872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2524] ppid=2514 vsize=9624980 CPUtime=7.92 cores=0,2,4,6
/proc/2516/task/2524/stat : 2524 (java) S 2514 2516 919 0 -1 4202560 9577 0 0 0 767 25 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006216412072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2525] ppid=2514 vsize=9624980 CPUtime=8.01 cores=0,2,4,6
/proc/2516/task/2525/stat : 2525 (java) S 2514 2516 919 0 -1 4202560 9915 0 0 0 775 26 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006215359272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2526] ppid=2514 vsize=9624980 CPUtime=7.85 cores=0,2,4,6
/proc/2516/task/2526/stat : 2526 (java) S 2514 2516 919 0 -1 4202560 7867 0 0 0 762 23 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006214306472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2527] ppid=2514 vsize=9624980 CPUtime=6.8 cores=0,2,4,6
/proc/2516/task/2527/stat : 2527 (java) S 2514 2516 919 0 -1 4202560 1413 0 0 0 665 15 0 0 20 0 19 0 291164496 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006083512808 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2528] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2528/stat : 2528 (java) S 2514 2516 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006082458872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2529] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2529/stat : 2529 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006081405960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2530] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2530/stat : 2530 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164498 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006080354448 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2531] ppid=2514 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/2516/task/2531/stat : 2531 (java) S 2514 2516 919 0 -1 4202560 2369 0 0 0 33 0 0 0 20 0 19 0 291164498 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006079302584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2532] ppid=2514 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/2516/task/2532/stat : 2532 (java) S 2514 2516 919 0 -1 4202560 2505 0 0 0 34 0 0 0 20 0 19 0 291164498 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006078249784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2533] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2533/stat : 2533 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164499 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006077197176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2534] ppid=2514 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/2516/task/2534/stat : 2534 (java) S 2514 2516 919 0 -1 4202560 96 0 0 0 29 30 0 0 20 0 19 0 291164499 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006076144584 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2536] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2536/stat : 2536 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164519 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006075090088 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624980

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

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

[startup+1754.3 s]
/proc/loadavg: 2.02 2.10 2.00 3/213 2553
/proc/meminfo: memFree=28572040/32873648 swapFree=7112/7112
[pid=2516] ppid=2514 vsize=9624980 CPUtime=1800.09 cores=0,2,4,6
/proc/2516/stat : 2516 (java) S 2514 2516 919 0 -1 4202496 80599 0 1 0 179784 225 0 0 20 0 19 0 291164494 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140737207443744 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2516/statm: 2406245 139690 2269 9 0 2396937 0
[pid=2516/tid=2517] ppid=2514 vsize=9624980 CPUtime=1728.54 cores=0,2,4,6
/proc/2516/task/2517/stat : 2517 (java) R 2514 2516 919 0 -1 4202560 4046 0 1 0 172821 33 0 0 20 0 19 0 291164494 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006260182368 140006086145425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2519] ppid=2514 vsize=9624980 CPUtime=7.98 cores=0,2,4,6
/proc/2516/task/2519/stat : 2519 (java) S 2514 2516 919 0 -1 4202560 9236 0 0 0 779 19 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006221675048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2520] ppid=2514 vsize=9624980 CPUtime=7.9 cores=0,2,4,6
/proc/2516/task/2520/stat : 2520 (java) S 2514 2516 919 0 -1 4202560 7672 0 0 0 769 21 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006220622248 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2521] ppid=2514 vsize=9624980 CPUtime=8 cores=0,2,4,6
/proc/2516/task/2521/stat : 2521 (java) S 2514 2516 919 0 -1 4202560 10644 0 0 0 777 23 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006219569448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2522] ppid=2514 vsize=9624980 CPUtime=8.18 cores=0,2,4,6
/proc/2516/task/2522/stat : 2522 (java) S 2514 2516 919 0 -1 4202560 7067 0 0 0 795 23 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006218516648 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2523] ppid=2514 vsize=9624980 CPUtime=7.68 cores=0,2,4,6
/proc/2516/task/2523/stat : 2523 (java) S 2514 2516 919 0 -1 4202560 7012 0 0 0 749 19 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006217464872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2524] ppid=2514 vsize=9624980 CPUtime=7.92 cores=0,2,4,6
/proc/2516/task/2524/stat : 2524 (java) S 2514 2516 919 0 -1 4202560 9577 0 0 0 767 25 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006216412072 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2516/tid=2525] ppid=2514 vsize=9624980 CPUtime=8.01 cores=0,2,4,6
/proc/2516/task/2525/stat : 2525 (java) S 2514 2516 919 0 -1 4202560 9915 0 0 0 775 26 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006215359272 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2526] ppid=2514 vsize=9624980 CPUtime=7.85 cores=0,2,4,6
/proc/2516/task/2526/stat : 2526 (java) S 2514 2516 919 0 -1 4202560 7867 0 0 0 762 23 0 0 20 0 19 0 291164495 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006214306472 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2527] ppid=2514 vsize=9624980 CPUtime=6.8 cores=0,2,4,6
/proc/2516/task/2527/stat : 2527 (java) S 2514 2516 919 0 -1 4202560 1413 0 0 0 665 15 0 0 20 0 19 0 291164496 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006083512808 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2528] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2528/stat : 2528 (java) S 2514 2516 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006082458872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2529] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2529/stat : 2529 (java) S 2514 2516 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291164496 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006081405960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2530] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2530/stat : 2530 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164498 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006080354448 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2531] ppid=2514 vsize=9624980 CPUtime=0.33 cores=0,2,4,6
/proc/2516/task/2531/stat : 2531 (java) S 2514 2516 919 0 -1 4202560 2369 0 0 0 33 0 0 0 20 0 19 0 291164498 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006079302584 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2516/tid=2532] ppid=2514 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/2516/task/2532/stat : 2532 (java) S 2514 2516 919 0 -1 4202560 2505 0 0 0 34 0 0 0 20 0 19 0 291164498 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006078249784 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2533] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2533/stat : 2533 (java) S 2514 2516 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291164499 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006077197176 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2516/tid=2534] ppid=2514 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/2516/task/2534/stat : 2534 (java) S 2514 2516 919 0 -1 4202560 96 0 0 0 29 30 0 0 20 0 19 0 291164499 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006076144584 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2516/tid=2536] ppid=2514 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/2516/task/2536/stat : 2536 (java) S 2514 2516 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291164519 9855979520 139690 33554432000 1073741824 1073778376 140737207452608 140006075090088 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624980

Child status: 143
Real time (s): 1754.37
CPU time (s): 1800.5
CPU user time (s): 1797.79
CPU system time (s): 2.71359
CPU usage (%): 102.629
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 2.71359
maximum resident set size= 649176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80642
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85372
involuntary context switches= 130420

runsolver used 6.12107 second user time and 14.3018 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-29 02:13:06
IDJOB=3718159
IDBENCH=78714
IDSOLVER=2301
FILE ID=node126/3718159-1338250386
RUNJOBID= node126-1338248585-2144
PBS_JOBID= 14624661
Free space on /tmp= 71360 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718159-1338250386/watcher-3718159-1338250386 -o /tmp/evaluation-result-3718159-1338250386/solver-3718159-1338250386 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718159-1338250386.wbo

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

MD5SUM BENCH= e56482878ee36dcbb361a64b1d161fc3
RANDOM SEED=752257101

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30826560 kB
Buffers:          424208 kB
Cached:           722604 kB
SwapCached:        17756 kB
Active:           871700 kB
Inactive:         307560 kB
Active(anon):      13440 kB
Inactive(anon):    20452 kB
Active(file):     858260 kB
Inactive(file):   287108 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               904 kB
Writeback:             0 kB
AnonPages:         17936 kB
Mapped:            15288 kB
Shmem:                 0 kB
Slab:             727128 kB
SReclaimable:     171148 kB
SUnreclaim:       555980 kB
KernelStack:        1432 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     694116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71360 MiB
End job on node126 at 2012-05-29 02:42:22