Trace number 4090945

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 2.3.6 Resolution PB16MSAT (TO) 1800.04 1780.86

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
MD5SUM2e8bafba6181eaf32525647669a5fbcc
Bench CategorySOFT-SMALLINT-LIN (only soft 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.01269
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints125
Number of constraints which are clauses65
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 constraint65
Top cost 6098
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6097
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4090945-1466067682.wbo
0.09/0.11	c reading problem ... 
0.28/0.26	c ... done. Wall clock time 0.147s.
0.28/0.26	c declared #vars     3900
0.28/0.26	c internal #vars     4025
0.28/0.26	c #constraints  125
0.28/0.26	c constraints type 
0.28/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65
0.28/0.26	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 60
0.28/0.26	c 125 constraints processed.
0.28/0.26	c objective function length is 125 literals
1.46/0.91	c cleaning 2491 clauses out of 5000 with flag 33560/5000
2.24/1.63	c cleaning 4254 clauses out of 8509 with flag 70980/11000
2.44/1.81	c SATISFIABLE
2.44/1.81	c OPTIMIZING...
2.44/1.81	c Got one! Elapsed wall clock time (in seconds):1.699
2.44/1.81	o 27
2.44/1.83	c Got one! Elapsed wall clock time (in seconds):1.718
2.44/1.83	o 2
2.44/1.87	c Got one! Elapsed wall clock time (in seconds):1.756
2.44/1.87	o 1
3.16/2.48	c cleaning 5136 clauses out of 10275 with flag 24645/17020
4.08/3.40	c cleaning 5567 clauses out of 11141 with flag 63226/23022
5.19/4.43	c cleaning 6283 clauses out of 12572 with flag 114568/30020
6.49/5.78	c cleaning 7141 clauses out of 14289 with flag 181251/38020
8.19/7.46	c cleaning 8072 clauses out of 16149 with flag 257086/47021
10.20/9.49	c cleaning 9033 clauses out of 18077 with flag 340858/57021
12.53/11.78	c cleaning 10019 clauses out of 20043 with flag 433828/68020
15.23/14.45	c cleaning 11009 clauses out of 22028 with flag 534904/80024
18.43/17.67	c cleaning 12009 clauses out of 24017 with flag 646178/93022
22.13/21.31	c cleaning 12999 clauses out of 26006 with flag 767073/107020
24.73/23.99	c cleaning 13989 clauses out of 28007 with flag 895433/122020
27.70/26.74	c cleaning 14994 clauses out of 30019 with flag 1038933/138021
31.10/30.14	c cleaning 15991 clauses out of 32024 with flag 1188758/155020
33.70/32.74	c cleaning 17012 clauses out of 34034 with flag 1330675/173021
38.34/37.26	c cleaning 18007 clauses out of 36021 with flag 1502892/192020
44.24/43.17	c cleaning 18999 clauses out of 38014 with flag 1697436/212020
50.84/49.77	c cleaning 20002 clauses out of 40017 with flag 1903599/233022
57.54/56.45	c cleaning 20999 clauses out of 42013 with flag 2122193/255020
64.31/63.00	c cleaning 22000 clauses out of 44014 with flag 2356394/278020
71.92/70.63	c cleaning 22998 clauses out of 46014 with flag 2587606/302020
80.11/78.84	c cleaning 23998 clauses out of 48017 with flag 2853659/327021
88.98/87.67	c cleaning 25005 clauses out of 50019 with flag 3144916/353021
98.98/97.61	c cleaning 25997 clauses out of 52014 with flag 3428802/380021
110.40/108.87	c cleaning 26997 clauses out of 54016 with flag 3712637/408020
121.60/120.09	c cleaning 28003 clauses out of 56021 with flag 4017198/437022
133.01/131.29	c cleaning 28996 clauses out of 58016 with flag 4300273/467020
144.92/143.11	c cleaning 30006 clauses out of 60022 with flag 4615670/498022
152.17/150.10	c cleaning 30970 clauses out of 62014 with flag 4847483/530020
161.77/159.76	c cleaning 31987 clauses out of 64044 with flag 5052311/563020
173.73/171.52	c cleaning 32992 clauses out of 66057 with flag 5285513/597020
188.27/186.02	c cleaning 33996 clauses out of 68066 with flag 5544952/632021
194.74/192.47	c cleaning 34973 clauses out of 70069 with flag 5787950/668020
202.14/199.79	c cleaning 36012 clauses out of 72096 with flag 6015651/705020
209.90/207.45	c cleaning 36993 clauses out of 74085 with flag 6242188/743021
217.36/214.83	c cleaning 38025 clauses out of 76093 with flag 6500998/782022
224.01/221.35	c cleaning 38999 clauses out of 78067 with flag 6777383/822021
236.61/233.85	c cleaning 40013 clauses out of 80070 with flag 7039982/863023
244.30/241.46	c cleaning 41007 clauses out of 82054 with flag 7315171/905020
259.57/256.51	c cleaning 42013 clauses out of 84049 with flag 7633301/948022
269.65/266.59	c cleaning 42994 clauses out of 86036 with flag 7951109/992022
282.03/278.74	c cleaning 43994 clauses out of 88040 with flag 8355442/1037020
299.19/295.74	c cleaning 44992 clauses out of 90047 with flag 8769824/1083021
311.78/308.15	c cleaning 46004 clauses out of 92054 with flag 9156484/1130020
329.42/325.70	c cleaning 47011 clauses out of 94051 with flag 9522862/1178021
346.57/342.62	c cleaning 48005 clauses out of 96040 with flag 9922305/1227021
367.50/363.46	c cleaning 49003 clauses out of 98034 with flag 10368558/1277020
386.37/382.19	c cleaning 49993 clauses out of 100031 with flag 10829775/1328020
404.47/400.05	c cleaning 50987 clauses out of 102038 with flag 11314687/1380020
427.49/422.97	c cleaning 52010 clauses out of 104051 with flag 11799822/1433020
449.86/445.17	c cleaning 53002 clauses out of 106042 with flag 12363454/1487021
473.00/468.14	c cleaning 54006 clauses out of 108041 with flag 12919261/1542022
495.65/490.69	c cleaning 55002 clauses out of 110034 with flag 13468623/1598021
521.44/516.24	c cleaning 55996 clauses out of 112032 with flag 14014121/1655021
549.38/544.00	c cleaning 57000 clauses out of 114035 with flag 14594925/1713020
582.72/577.05	c cleaning 58000 clauses out of 116035 with flag 15327699/1772020
611.26/605.30	c cleaning 59004 clauses out of 118037 with flag 15915233/1832022
647.44/641.32	c cleaning 60002 clauses out of 120033 with flag 16496359/1893022
680.66/674.31	c cleaning 60999 clauses out of 122032 with flag 17172921/1955023
715.96/709.32	c cleaning 62000 clauses out of 124030 with flag 17889242/2018020
760.45/753.59	c cleaning 62999 clauses out of 126032 with flag 18570524/2082022
799.26/791.91	c cleaning 63998 clauses out of 128031 with flag 19205235/2147020
841.06/833.43	c cleaning 64998 clauses out of 130033 with flag 19954999/2213020
881.05/873.05	c cleaning 66001 clauses out of 132035 with flag 20675918/2280020
919.38/911.00	c cleaning 66998 clauses out of 134034 with flag 21281532/2348020
955.08/946.30	c cleaning 68004 clauses out of 136036 with flag 21920088/2417020
995.66/986.57	c cleaning 69001 clauses out of 138037 with flag 22562421/2487025
1034.90/1025.35	c cleaning 70002 clauses out of 140034 with flag 23221532/2558023
1060.92/1050.96	c cleaning 71001 clauses out of 142031 with flag 23780220/2630022
1079.63/1069.26	c cleaning 71995 clauses out of 144029 with flag 24233135/2703021
1111.72/1101.06	c cleaning 72984 clauses out of 146033 with flag 24708241/2777020
1137.63/1126.52	c cleaning 74016 clauses out of 148050 with flag 25193346/2852021
1176.04/1164.55	c cleaning 74990 clauses out of 150034 with flag 25783542/2928021
1220.35/1208.45	c cleaning 75998 clauses out of 152044 with flag 26443867/3005021
1246.52/1234.13	c cleaning 76993 clauses out of 154045 with flag 26924426/3083020
1269.94/1257.06	c cleaning 77983 clauses out of 156054 with flag 27418779/3162022
1292.39/1279.20	c cleaning 79001 clauses out of 158070 with flag 27959541/3242021
1320.23/1306.65	c cleaning 79991 clauses out of 160070 with flag 28485013/3323022
1353.79/1339.87	c cleaning 81024 clauses out of 162078 with flag 28971210/3405021
1392.39/1378.01	c cleaning 81989 clauses out of 164053 with flag 29495754/3488020
1439.55/1424.73	c cleaning 83012 clauses out of 166064 with flag 30058214/3572020
1464.04/1448.67	c cleaning 84000 clauses out of 168052 with flag 30641272/3657020
1492.46/1476.58	c cleaning 85002 clauses out of 170053 with flag 31165488/3743021
1519.18/1502.76	c cleaning 85998 clauses out of 172050 with flag 31732118/3830020
1581.66/1564.91	c cleaning 87000 clauses out of 174053 with flag 32321631/3918021
1635.54/1618.49	c cleaning 88001 clauses out of 176055 with flag 32930016/4007023
1696.88/1679.25	c cleaning 89002 clauses out of 178054 with flag 33580961/4097023
1726.63/1708.40	c cleaning 89995 clauses out of 180050 with flag 34187579/4188021
1764.56/1745.78	c cleaning 90991 clauses out of 182054 with flag 34769284/4280020
1800.04/1780.80	c starts		: 5484
1800.04/1780.80	c conflicts		: 4370203
1800.04/1780.80	c decisions		: 17543754
1800.04/1780.80	c propagations		: 110320402
1800.04/1780.80	c inspects		: 29151297007
1800.04/1780.80	c shortcuts		: 0
1800.04/1780.80	c learnt literals	: 0
1800.04/1780.80	c learnt binary clauses	: 0
1800.04/1780.80	c learnt ternary clauses	: 0
1800.04/1780.80	c learnt constraints	: 4370203
1800.04/1780.80	c ignored constraints	: 0
1800.04/1780.80	c root simplifications	: 0
1800.04/1780.80	c removed literals (reason simplification)	: 0
1800.04/1780.80	c reason swapping (by a shorter reason)	: 0
1800.04/1780.80	c Calls to reduceDB	: 90
1800.04/1780.80	c Number of update (reduction) of LBD	: 2246077
1800.04/1780.80	c Imported unit clauses	: 0
1800.04/1780.80	c number of reductions to clauses (during analyze)	: 0
1800.04/1780.80	c number of learned constraints concerned by reduction	: 0
1800.04/1780.80	c number of learning phase by resolution	: 0
1800.04/1780.80	c number of learning phase by cutting planes	: 0
1800.04/1780.80	c speed (assignments/second)	: 61958.99219281352
1800.04/1780.80	c non guided choices	250669
1800.04/1780.83	c learnt constraints type 
1800.04/1780.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 181246
1800.04/1780.83	s SATISFIABLE
1800.04/1780.83	c Found 3 solution(s)
1800.04/1780.84	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 
1800.04/1780.84	c objective function=1
1800.04/1780.84	c Total wall clock time (in seconds): 1780.734

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4090945-1466067682/watcher-4090945-1466067682 -o /tmp/evaluation-result-4090945-1466067682/solver-4090945-1466067682 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466062136-14871 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090945-1466067682.wbo 

pid=16274
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.04 2.09 2.07 3/195 16277
/proc/meminfo: memFree=31264684/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/16277/stat : 16277 (java) R 16274 16277 14855 0 -1 4202496 467 0 0 0 0 0 0 0 20 0 1 0 8818579 9379840 122 33554432000 1073741824 1073778376 140734485044256 140734485041384 247067611616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2290 122 94 9 0 38 0

[startup+0.100059 s]
/proc/loadavg: 2.04 2.09 2.07 3/195 16277
/proc/meminfo: memFree=31264684/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 4392 0 1 0 8 1 0 0 20 0 18 0 8818579 9787879424 6025 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2389619 6025 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200216 s]
/proc/loadavg: 2.04 2.09 2.07 3/195 16277
/proc/meminfo: memFree=31264684/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 5033 0 1 0 27 1 0 0 20 0 18 0 8818579 9787879424 6938 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2389619 6938 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300219 s]
/proc/loadavg: 2.04 2.09 2.07 3/195 16277
/proc/meminfo: memFree=31264684/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 9144 0 1 0 50 2 0 0 20 0 19 0 8818579 9856040960 10812 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2406260 10806 2246 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700139 s]
/proc/loadavg: 2.04 2.09 2.07 3/195 16277
/proc/meminfo: memFree=31264684/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 10592 0 1 0 122 3 0 0 20 0 19 0 8818579 9856040960 13168 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2406260 13168 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.04 2.09 2.07 3/214 16296
/proc/meminfo: memFree=31214640/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9625040 CPUtime=2.14 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 10621 0 1 0 211 3 0 0 20 0 19 0 8818579 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2406260 16260 2260 9 0 2396937 0
[pid=16277/tid=16279] ppid=16274 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/16277/task/16279/stat : 16279 (java) R 16274 16277 14855 0 -1 4202560 2430 0 1 0 144 2 0 0 20 0 19 0 8818580 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852553331016 139852406852368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16280] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16280/stat : 16280 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852525783464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16281] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16281/stat : 16281 (java) S 16274 16277 14855 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852395358760 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16282] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16282/stat : 16282 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852394305704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16283] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16283/stat : 16283 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852393253160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16284] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16284/stat : 16284 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852392201128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16285] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16285/stat : 16285 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852391148584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16286] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16286/stat : 16286 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852053998248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16287] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16287/stat : 16287 (java) S 16274 16277 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852052945704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16288] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16288/stat : 16288 (java) S 16274 16277 14855 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852040747368 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16289] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16289/stat : 16289 (java) S 16274 16277 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852039693688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16290] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16290/stat : 16290 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852038640520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16291] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16291/stat : 16291 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852037589264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16292] ppid=16274 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/16277/task/16292/stat : 16292 (java) S 16274 16277 14855 0 -1 4202560 3907 0 0 0 37 0 0 0 20 0 19 0 8818585 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852036537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16293] ppid=16274 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/16277/task/16293/stat : 16293 (java) S 16274 16277 14855 0 -1 4202560 3010 0 0 0 27 0 0 0 20 0 19 0 8818585 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852035484600 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16294] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16294/stat : 16294 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852034431736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16295] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16295/stat : 16295 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852033379400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16296] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16296/stat : 16296 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818606 9856040960 16260 33554432000 1073741824 1073778376 140734485044256 139852032324648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.20 2.12 2.08 3/214 16296
/proc/meminfo: memFree=31197752/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 10634 0 1 0 384 3 0 0 20 0 19 0 8818579 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2406260 21382 2262 9 0 2396937 0
[pid=16277/tid=16279] ppid=16274 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/16277/task/16279/stat : 16279 (java) R 16274 16277 14855 0 -1 4202560 2441 0 1 0 304 2 0 0 20 0 19 0 8818580 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852553331000 139852406978877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16280] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16280/stat : 16280 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852525783464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16281] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16281/stat : 16281 (java) S 16274 16277 14855 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852395358760 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16282] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16282/stat : 16282 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852394305704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16283] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16283/stat : 16283 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852393253160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16284] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16284/stat : 16284 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852392201128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16285] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16285/stat : 16285 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852391148584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16286] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16286/stat : 16286 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852053998248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16287] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16287/stat : 16287 (java) S 16274 16277 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852052945704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16288] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16288/stat : 16288 (java) S 16274 16277 14855 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852040747368 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16289] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16289/stat : 16289 (java) S 16274 16277 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852039693688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16290] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16290/stat : 16290 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852038640520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16291] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16291/stat : 16291 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852037589264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16292] ppid=16274 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16277/task/16292/stat : 16292 (java) S 16274 16277 14855 0 -1 4202560 3908 0 0 0 44 0 0 0 20 0 19 0 8818585 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852036537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16293] ppid=16274 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/16277/task/16293/stat : 16293 (java) S 16274 16277 14855 0 -1 4202560 3011 0 0 0 33 0 0 0 20 0 19 0 8818585 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852035484600 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16294] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16294/stat : 16294 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852034431736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16295] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16295/stat : 16295 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852033379400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16296] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16296/stat : 16296 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818606 9856040960 21382 33554432000 1073741824 1073778376 140734485044256 139852032324648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.20 2.12 2.08 3/214 16296
/proc/meminfo: memFree=31155848/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9625040 CPUtime=7.09 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 10656 0 1 0 705 4 0 0 20 0 19 0 8818579 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2406260 31590 2262 9 0 2396937 0
[pid=16277/tid=16279] ppid=16274 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/16277/task/16279/stat : 16279 (java) R 16274 16277 14855 0 -1 4202560 2463 0 1 0 622 2 0 0 20 0 19 0 8818580 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852553322160 139852406978923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16280] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16280/stat : 16280 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852525783464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16281] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16281/stat : 16281 (java) S 16274 16277 14855 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852395358760 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16282] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16282/stat : 16282 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852394305704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16283] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16283/stat : 16283 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852393253160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16284] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16284/stat : 16284 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852392201128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16285] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16285/stat : 16285 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852391148584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16286] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16286/stat : 16286 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852053998248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16287] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16287/stat : 16287 (java) S 16274 16277 14855 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8818581 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852052945704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16288] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16288/stat : 16288 (java) S 16274 16277 14855 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852040747368 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16289] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16289/stat : 16289 (java) S 16274 16277 14855 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852039693688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16290] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16290/stat : 16290 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852038640520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16291] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16291/stat : 16291 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852037589264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16292] ppid=16274 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/16277/task/16292/stat : 16292 (java) S 16274 16277 14855 0 -1 4202560 3908 0 0 0 44 0 0 0 20 0 19 0 8818585 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852036537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16293] ppid=16274 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/16277/task/16293/stat : 16293 (java) S 16274 16277 14855 0 -1 4202560 3011 0 0 0 35 0 0 0 20 0 19 0 8818585 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852035484600 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16294] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16294/stat : 16294 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852034431736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16295] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16295/stat : 16295 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852033379400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16296] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16296/stat : 16296 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818606 9856040960 31590 33554432000 1073741824 1073778376 140734485044256 139852032324648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 9625040


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

[pid=16277/tid=16296] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16296/stat : 16296 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818606 9856040960 155078 33554432000 1073741824 1073778376 140734485044256 139852032324648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1619.37
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.03 3/213 16400
/proc/meminfo: memFree=30811124/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9625040 CPUtime=1679.89 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 32826 0 1 0 167792 197 0 0 20 0 19 0 8818579 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2406260 168466 2283 9 0 2396937 0
[pid=16277/tid=16279] ppid=16274 vsize=9625040 CPUtime=1645.84 cores=0,2,4,6
/proc/16277/task/16279/stat : 16279 (java) R 16274 16277 14855 0 -1 4202560 2784 0 1 0 164554 30 0 0 20 0 19 0 8818580 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852553329872 139852406908590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16280] ppid=16274 vsize=9625040 CPUtime=2.96 cores=0,2,4,6
/proc/16277/task/16280/stat : 16280 (java) S 16274 16277 14855 0 -1 4202560 1957 0 0 0 279 17 0 0 20 0 19 0 8818581 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852525783464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16281] ppid=16274 vsize=9625040 CPUtime=2.86 cores=0,2,4,6
/proc/16277/task/16281/stat : 16281 (java) S 16274 16277 14855 0 -1 4202560 1775 0 0 0 269 17 0 0 20 0 19 0 8818581 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852395358760 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16282] ppid=16274 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/16277/task/16282/stat : 16282 (java) S 16274 16277 14855 0 -1 4202560 3408 0 0 0 257 24 0 0 20 0 19 0 8818581 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852394305704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16283] ppid=16274 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/16277/task/16283/stat : 16283 (java) S 16274 16277 14855 0 -1 4202560 2380 0 0 0 286 21 0 0 20 0 19 0 8818581 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852393253160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16284] ppid=16274 vsize=9625040 CPUtime=2.86 cores=0,2,4,6
/proc/16277/task/16284/stat : 16284 (java) S 16274 16277 14855 0 -1 4202560 3042 0 0 0 263 23 0 0 20 0 19 0 8818581 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852392201128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16285] ppid=16274 vsize=9625040 CPUtime=2.98 cores=0,2,4,6
/proc/16277/task/16285/stat : 16285 (java) S 16274 16277 14855 0 -1 4202560 2838 0 0 0 279 19 0 0 20 0 19 0 8818581 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852391148584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16286] ppid=16274 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/16277/task/16286/stat : 16286 (java) S 16274 16277 14855 0 -1 4202560 2638 0 0 0 285 22 0 0 20 0 19 0 8818581 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852053998248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16287] ppid=16274 vsize=9625040 CPUtime=2.79 cores=0,2,4,6
/proc/16277/task/16287/stat : 16287 (java) S 16274 16277 14855 0 -1 4202560 2290 0 0 0 259 20 0 0 20 0 19 0 8818581 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852052945704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16288] ppid=16274 vsize=9625040 CPUtime=5.36 cores=0,2,4,6
/proc/16277/task/16288/stat : 16288 (java) S 16274 16277 14855 0 -1 4202560 1437 0 0 0 531 5 0 0 20 0 19 0 8818583 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852040747368 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16289] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16289/stat : 16289 (java) S 16274 16277 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852039693688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16290] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16290/stat : 16290 (java) S 16274 16277 14855 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852038640520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16291] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16291/stat : 16291 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852037589264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16292] ppid=16274 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/16277/task/16292/stat : 16292 (java) S 16274 16277 14855 0 -1 4202560 3912 0 0 0 46 0 0 0 20 0 19 0 8818585 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852036537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16293] ppid=16274 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/16277/task/16293/stat : 16293 (java) S 16274 16277 14855 0 -1 4202560 3011 0 0 0 35 0 0 0 20 0 19 0 8818585 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852035484600 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16294] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16294/stat : 16294 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852034431736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16295] ppid=16274 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/16277/task/16295/stat : 16295 (java) S 16274 16277 14855 0 -1 4202560 95 0 0 0 26 24 0 0 20 0 19 0 8818585 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852033379400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16296] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16296/stat : 16296 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818606 9856040960 168466 33554432000 1073741824 1073778376 140734485044256 139852032324648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1679.89
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.03 3/214 16405
/proc/meminfo: memFree=30862056/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9625040 CPUtime=1740.84 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 32955 0 1 0 173881 203 0 0 20 0 19 0 8818579 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2406260 153075 2283 9 0 2396937 0
[pid=16277/tid=16279] ppid=16274 vsize=9625040 CPUtime=1705.03 cores=0,2,4,6
/proc/16277/task/16279/stat : 16279 (java) R 16274 16277 14855 0 -1 4202560 2795 0 1 0 170473 30 0 0 20 0 19 0 8818580 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852553329872 139852406978961 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16280] ppid=16274 vsize=9625040 CPUtime=3.1 cores=0,2,4,6
/proc/16277/task/16280/stat : 16280 (java) S 16274 16277 14855 0 -1 4202560 1969 0 0 0 293 17 0 0 20 0 19 0 8818581 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852525783464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16281] ppid=16274 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/16277/task/16281/stat : 16281 (java) S 16274 16277 14855 0 -1 4202560 1783 0 0 0 287 17 0 0 20 0 19 0 8818581 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852395358760 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16282] ppid=16274 vsize=9625040 CPUtime=2.98 cores=0,2,4,6
/proc/16277/task/16282/stat : 16282 (java) S 16274 16277 14855 0 -1 4202560 3421 0 0 0 273 25 0 0 20 0 19 0 8818581 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852394305704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16283] ppid=16274 vsize=9625040 CPUtime=3.26 cores=0,2,4,6
/proc/16277/task/16283/stat : 16283 (java) S 16274 16277 14855 0 -1 4202560 2394 0 0 0 304 22 0 0 20 0 19 0 8818581 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852393253160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16284] ppid=16274 vsize=9625040 CPUtime=3.03 cores=0,2,4,6
/proc/16277/task/16284/stat : 16284 (java) S 16274 16277 14855 0 -1 4202560 3058 0 0 0 279 24 0 0 20 0 19 0 8818581 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852392201128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16285] ppid=16274 vsize=9625040 CPUtime=3.12 cores=0,2,4,6
/proc/16277/task/16285/stat : 16285 (java) S 16274 16277 14855 0 -1 4202560 2849 0 0 0 292 20 0 0 20 0 19 0 8818581 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852391148584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16286] ppid=16274 vsize=9625040 CPUtime=3.2 cores=0,2,4,6
/proc/16277/task/16286/stat : 16286 (java) S 16274 16277 14855 0 -1 4202560 2643 0 0 0 297 23 0 0 20 0 19 0 8818581 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852053998248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16287] ppid=16274 vsize=9625040 CPUtime=2.95 cores=0,2,4,6
/proc/16277/task/16287/stat : 16287 (java) S 16274 16277 14855 0 -1 4202560 2298 0 0 0 275 20 0 0 20 0 19 0 8818581 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852052945704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16288] ppid=16274 vsize=9625040 CPUtime=5.67 cores=0,2,4,6
/proc/16277/task/16288/stat : 16288 (java) S 16274 16277 14855 0 -1 4202560 1464 0 0 0 562 5 0 0 20 0 19 0 8818583 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852040747368 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16289] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16289/stat : 16289 (java) S 16274 16277 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852039693688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16290] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16290/stat : 16290 (java) S 16274 16277 14855 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852038640520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16291] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16291/stat : 16291 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852037589264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16292] ppid=16274 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/16277/task/16292/stat : 16292 (java) S 16274 16277 14855 0 -1 4202560 3912 0 0 0 46 0 0 0 20 0 19 0 8818585 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852036537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16293] ppid=16274 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/16277/task/16293/stat : 16293 (java) S 16274 16277 14855 0 -1 4202560 3011 0 0 0 35 0 0 0 20 0 19 0 8818585 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852035484600 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16294] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16294/stat : 16294 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852034431736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16295] ppid=16274 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/16277/task/16295/stat : 16295 (java) S 16274 16277 14855 0 -1 4202560 99 0 0 0 27 25 0 0 20 0 19 0 8818585 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852033379400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16296] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16296/stat : 16296 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818606 9856040960 153075 33554432000 1073741824 1073778376 140734485044256 139852032324648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1740.84
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.8 s]
/proc/loadavg: 2.04 2.04 2.03 3/213 16406
/proc/meminfo: memFree=30898868/32872528 swapFree=248296/248296
[pid=16277] ppid=16274 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/16277/stat : 16277 (java) S 16274 16277 14855 0 -1 4202496 32968 0 1 0 179799 205 0 0 20 0 19 0 8818579 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 140734485035392 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16277/statm: 2406260 144030 2283 9 0 2396937 0
[pid=16277/tid=16279] ppid=16274 vsize=9625040 CPUtime=1762.94 cores=0,2,4,6
/proc/16277/task/16279/stat : 16279 (java) R 16274 16277 14855 0 -1 4202560 2802 0 1 0 176263 31 0 0 20 0 19 0 8818580 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852553329872 139852406850514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16280] ppid=16274 vsize=9625040 CPUtime=3.2 cores=0,2,4,6
/proc/16277/task/16280/stat : 16280 (java) S 16274 16277 14855 0 -1 4202560 1969 0 0 0 302 18 0 0 20 0 19 0 8818581 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852525783464 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16281] ppid=16274 vsize=9625040 CPUtime=3.13 cores=0,2,4,6
/proc/16277/task/16281/stat : 16281 (java) S 16274 16277 14855 0 -1 4202560 1783 0 0 0 296 17 0 0 20 0 19 0 8818581 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852395358760 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16282] ppid=16274 vsize=9625040 CPUtime=3.09 cores=0,2,4,6
/proc/16277/task/16282/stat : 16282 (java) S 16274 16277 14855 0 -1 4202560 3421 0 0 0 284 25 0 0 20 0 19 0 8818581 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852394305704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16277/tid=16283] ppid=16274 vsize=9625040 CPUtime=3.39 cores=0,2,4,6
/proc/16277/task/16283/stat : 16283 (java) S 16274 16277 14855 0 -1 4202560 2394 0 0 0 317 22 0 0 20 0 19 0 8818581 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852393253160 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16284] ppid=16274 vsize=9625040 CPUtime=3.2 cores=0,2,4,6
/proc/16277/task/16284/stat : 16284 (java) S 16274 16277 14855 0 -1 4202560 3058 0 0 0 296 24 0 0 20 0 19 0 8818581 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852392201128 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16285] ppid=16274 vsize=9625040 CPUtime=3.22 cores=0,2,4,6
/proc/16277/task/16285/stat : 16285 (java) S 16274 16277 14855 0 -1 4202560 2849 0 0 0 302 20 0 0 20 0 19 0 8818581 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852391148584 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16277/tid=16286] ppid=16274 vsize=9625040 CPUtime=3.32 cores=0,2,4,6
/proc/16277/task/16286/stat : 16286 (java) S 16274 16277 14855 0 -1 4202560 2643 0 0 0 309 23 0 0 20 0 19 0 8818581 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852053998248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16287] ppid=16274 vsize=9625040 CPUtime=3.1 cores=0,2,4,6
/proc/16277/task/16287/stat : 16287 (java) S 16274 16277 14855 0 -1 4202560 2298 0 0 0 290 20 0 0 20 0 19 0 8818581 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852052945704 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16288] ppid=16274 vsize=9625040 CPUtime=5.86 cores=0,2,4,6
/proc/16277/task/16288/stat : 16288 (java) S 16274 16277 14855 0 -1 4202560 1466 0 0 0 581 5 0 0 20 0 19 0 8818583 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852040747368 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16289] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16289/stat : 16289 (java) S 16274 16277 14855 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852039693688 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16290] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16290/stat : 16290 (java) S 16274 16277 14855 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 8818583 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852038640520 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16291] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16291/stat : 16291 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852037589264 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16292] ppid=16274 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/16277/task/16292/stat : 16292 (java) S 16274 16277 14855 0 -1 4202560 3912 0 0 0 46 0 0 0 20 0 19 0 8818585 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852036537144 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16293] ppid=16274 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/16277/task/16293/stat : 16293 (java) S 16274 16277 14855 0 -1 4202560 3011 0 0 0 35 0 0 0 20 0 19 0 8818585 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852035484600 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16294] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16294/stat : 16294 (java) S 16274 16277 14855 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8818585 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852034431736 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16277/tid=16295] ppid=16274 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/16277/task/16295/stat : 16295 (java) S 16274 16277 14855 0 -1 4202560 103 0 0 0 28 26 0 0 20 0 19 0 8818585 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852033379400 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=16277/tid=16296] ppid=16274 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/16277/task/16296/stat : 16296 (java) S 16274 16277 14855 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8818606 9856040960 144030 33554432000 1073741824 1073778376 140734485044256 139852032324648 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16277 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1780.86
CPU time (s): 1800.04
CPU user time (s): 1797.99
CPU system time (s): 2.05
CPU usage (%): 101.077
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.73
system time used= 2.45163
maximum resident set size= 756744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33018
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47723
involuntary context switches= 48597

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33588 second user time and 7.33688 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-16 11:01:22
IDJOB=4090945
IDBENCH=79186
IDSOLVER=2551
FILE ID=node103/4090945-1466067682
RUNJOBID= node103-1466062136-14871
PBS_JOBID= 19904029
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090945-1466067682/watcher-4090945-1466067682 -o /tmp/evaluation-result-4090945-1466067682/solver-4090945-1466067682 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466062136-14871 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090945-1466067682.wbo

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

MD5SUM BENCH= 2e8bafba6181eaf32525647669a5fbcc
RANDOM SEED=1471496945

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31264840 kB
Buffers:            9312 kB
Cached:            41860 kB
SwapCached:        41808 kB
Active:           581252 kB
Inactive:          69392 kB
Active(anon):     560544 kB
Inactive(anon):    41288 kB
Active(file):      20708 kB
Inactive(file):    28104 kB
Unevictable:      248296 kB
Mlocked:          248296 kB
SwapTotal:      67108856 kB
SwapFree:       67059968 kB
Dirty:               804 kB
Writeback:            24 kB
AnonPages:        821048 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             565448 kB
SReclaimable:       9456 kB
SUnreclaim:       555992 kB
KernelStack:        1592 kB
PageTables:         6264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1035532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    548864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node103 at 2016-06-16 11:31:03