Trace number 3454578

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-277191839000 1800.29 911.503

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-israel.opb
MD5SUMeda4269ba1a2bb6f24002a9139c11119
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-310031148983
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -305132355000
Optimality of the best value was proved NO
Number of variables4260
Total number of constraints174
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints174
Minimum length of a constraint30
Maximum length of a constraint3540
Number of terms in the objective function 2670
Biggest coefficient in the objective function 807185416192000
Number of bits for the biggest coefficient in the objective function 50
Sum of the numbers in the objective function 9901243932822396
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 807185416192000
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 9901243932822396
Number of bits of the biggest sum of numbers54
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3454578-1307190777.opb
0.10/0.11	c reading problem ... 
1.16/0.58	c ... done. Wall clock time 0.472s.
1.16/0.58	c #vars     4260
1.16/0.58	c #constraints  1108
1.16/0.58	c constraints type 
1.16/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 174
1.16/0.58	c constraints type 
1.16/0.58	c org.sat4j.pb.constraints.pb.MaxWatchPb => 174
7.78/3.43	c cleaning 2494 clauses out of 4998 with flag 5002/5002
12.22/5.50	c  And the winner is CuttingPlanes
12.40/5.62	c SATISFIABLE
12.40/5.62	c OPTIMIZING...
12.40/5.62	c Got one! Elapsed wall clock time (in seconds):5.507
12.40/5.62	o -79693127070
12.80/5.82	c  And the winner is Resolution
12.85/6.13	c Got one! Elapsed wall clock time (in seconds):6.021
12.85/6.13	o -267295332870
14.23/6.89	c cleaning 4174 clauses out of 8350 with flag 1000/10848
24.65/12.10	c cleaning 5077 clauses out of 10176 with flag 7000/16848
37.62/18.57	c cleaning 6046 clauses out of 12101 with flag 14002/23850
50.80/25.21	c cleaning 7027 clauses out of 14054 with flag 22001/31849
70.97/35.26	c cleaning 8008 clauses out of 16026 with flag 31000/40848
113.69/56.60	c cleaning 9010 clauses out of 18019 with flag 41001/50849
167.24/83.42	c cleaning 9498 clauses out of 19008 with flag 51000/60848
229.92/114.82	c cleaning 9752 clauses out of 19510 with flag 61000/70848
274.61/137.20	c  And the winner is CuttingPlanes
274.63/137.34	c Got one! Elapsed wall clock time (in seconds):137.232
274.63/137.34	o -267628917500
277.79/139.00	c cleaning 11228 clauses out of 22475 with flag 5001/83566
288.18/144.09	c cleaning 8618 clauses out of 17246 with flag 11000/89565
299.84/149.70	c cleaning 7803 clauses out of 15629 with flag 18001/96566
320.84/160.37	c cleaning 7910 clauses out of 15825 with flag 26000/104565
334.32/167.15	c  And the winner is CuttingPlanes
334.41/167.56	c Got one! Elapsed wall clock time (in seconds):167.445
334.41/167.56	o -267628927000
344.31/172.50	c cleaning 9908 clauses out of 19849 with flag 5001/116499
351.37/176.18	c cleaning 7966 clauses out of 15946 with flag 11006/122504
360.04/180.55	c  And the winner is CuttingPlanes
360.14/180.70	c Got one! Elapsed wall clock time (in seconds):180.586
360.14/180.70	o -271820059000
362.15/181.79	c cleaning 6620 clauses out of 13239 with flag 2001/127763
368.52/185.02	c cleaning 6303 clauses out of 12618 with flag 8000/133762
380.79/191.22	c cleaning 6644 clauses out of 13315 with flag 15000/140762
398.47/200.15	c cleaning 7335 clauses out of 14672 with flag 23001/148763
411.91/206.97	c cleaning 8161 clauses out of 16337 with flag 32001/157763
424.88/213.58	c cleaning 9081 clauses out of 18175 with flag 42000/167762
438.93/220.69	c cleaning 9534 clauses out of 19094 with flag 52000/177762
451.99/227.20	c cleaning 9772 clauses out of 19560 with flag 62000/187762
465.64/234.18	c cleaning 9890 clauses out of 19788 with flag 72000/197762
479.60/241.21	c cleaning 9944 clauses out of 19898 with flag 82000/207762
493.64/248.36	c cleaning 9973 clauses out of 19955 with flag 92001/217763
507.68/255.41	c cleaning 9990 clauses out of 19981 with flag 102000/227762
520.91/262.14	c cleaning 9990 clauses out of 19991 with flag 112000/237762
543.47/273.51	c cleaning 9989 clauses out of 20002 with flag 122001/247763
560.92/282.33	c cleaning 9995 clauses out of 20012 with flag 132000/257762
581.39/292.61	c cleaning 9988 clauses out of 20018 with flag 142001/267763
597.81/300.99	c cleaning 9984 clauses out of 20029 with flag 152000/277762
617.34/310.87	c cleaning 10016 clauses out of 20045 with flag 162000/287762
637.77/321.13	c cleaning 10001 clauses out of 20029 with flag 172000/297762
657.40/331.09	c cleaning 10003 clauses out of 20028 with flag 182000/307762
675.41/340.14	c cleaning 9993 clauses out of 20025 with flag 192000/317762
695.93/350.58	c cleaning 9990 clauses out of 20032 with flag 202000/327762
696.57/350.99	c  And the winner is Resolution
698.04/352.31	c Got one! Elapsed wall clock time (in seconds):352.202
698.04/352.31	o -271861752971
703.43/355.07	c cleaning 7681 clauses out of 15371 with flag 5001/333091
711.04/358.98	c cleaning 6835 clauses out of 13689 with flag 11000/339090
715.85/361.45	c cleaning 6916 clauses out of 13854 with flag 18000/346090
719.56/363.41	c cleaning 7463 clauses out of 14938 with flag 26000/354090
727.96/367.79	c cleaning 8226 clauses out of 16475 with flag 35000/363090
770.59/389.16	c cleaning 9123 clauses out of 18251 with flag 45002/373092
783.60/395.71	c  And the winner is CuttingPlanes
783.63/396.11	c Got one! Elapsed wall clock time (in seconds):396.0
783.63/396.11	o -271905223308
787.26/397.98	c cleaning 7265 clauses out of 14543 with flag 2001/378507
790.75/399.89	c cleaning 6631 clauses out of 13277 with flag 8000/384506
805.15/407.17	c cleaning 6819 clauses out of 13646 with flag 15000/391506
826.95/418.19	c cleaning 7412 clauses out of 14829 with flag 23002/399508
852.36/430.91	c cleaning 8208 clauses out of 16416 with flag 32001/408507
876.07/442.94	c cleaning 9105 clauses out of 18212 with flag 42005/418511
902.89/456.48	c cleaning 9546 clauses out of 19103 with flag 52001/428507
930.67/470.45	c cleaning 9783 clauses out of 19565 with flag 62009/438515
959.06/484.76	c cleaning 9891 clauses out of 19781 with flag 72008/448514
987.12/498.96	c cleaning 9942 clauses out of 19884 with flag 82002/458508
1016.53/513.73	c cleaning 9966 clauses out of 19940 with flag 92000/468506
1041.28/526.25	c cleaning 9982 clauses out of 19974 with flag 102000/478506
1066.86/539.13	c cleaning 9995 clauses out of 19997 with flag 112005/488511
1086.70/549.26	c cleaning 9992 clauses out of 19998 with flag 122001/498507
1088.25/550.12	c  And the winner is CuttingPlanes
1088.25/550.13	c Got one! Elapsed wall clock time (in seconds):550.017
1088.25/550.13	o -272440654000
1097.43/554.75	c cleaning 7822 clauses out of 15651 with flag 4001/504152
1112.98/562.67	c cleaning 6909 clauses out of 13830 with flag 10002/510153
1131.73/572.10	c cleaning 6954 clauses out of 13919 with flag 17000/517151
1151.36/582.17	c cleaning 7480 clauses out of 14966 with flag 25001/525152
1173.53/593.39	c cleaning 8246 clauses out of 16491 with flag 34006/534157
1198.70/606.07	c cleaning 9121 clauses out of 18241 with flag 44002/544153
1223.85/618.75	c cleaning 9520 clauses out of 19119 with flag 54001/554152
1245.65/629.83	c cleaning 9794 clauses out of 19599 with flag 64001/564152
1267.60/640.98	c cleaning 9899 clauses out of 19806 with flag 74002/574153
1289.76/652.12	c cleaning 9933 clauses out of 19905 with flag 84000/584151
1308.30/661.50	c cleaning 9963 clauses out of 19973 with flag 94001/594152
1342.11/678.70	c cleaning 9995 clauses out of 20009 with flag 104000/604151
1360.23/687.88	c cleaning 10007 clauses out of 20017 with flag 114003/614154
1384.16/699.93	c cleaning 10002 clauses out of 20009 with flag 124002/624153
1397.51/706.72	c cleaning 9996 clauses out of 20007 with flag 134002/634153
1411.06/713.73	c cleaning 9992 clauses out of 20009 with flag 144000/644151
1435.58/726.13	c cleaning 10002 clauses out of 20018 with flag 154001/654152
1493.52/755.23	c cleaning 9991 clauses out of 20015 with flag 164000/664151
1540.26/778.77	c cleaning 10011 clauses out of 20029 with flag 174005/674156
1565.00/791.36	c cleaning 10003 clauses out of 20020 with flag 184007/684158
1588.50/803.27	c cleaning 10000 clauses out of 20012 with flag 194002/694153
1608.80/813.57	c  And the winner is CuttingPlanes
1608.95/813.62	c Got one! Elapsed wall clock time (in seconds):813.514
1608.95/813.62	o -273040197000
1619.49/818.91	c cleaning 11569 clauses out of 23144 with flag 5000/707285
1629.78/824.20	c cleaning 8779 clauses out of 17574 with flag 11001/713286
1638.10/828.60	c  And the winner is CuttingPlanes
1638.11/828.72	c Got one! Elapsed wall clock time (in seconds):828.605
1638.11/828.72	o -277191839000
1647.67/833.52	c cleaning 9447 clauses out of 18903 with flag 5000/723394
1658.76/839.28	c cleaning 7722 clauses out of 15457 with flag 11001/729395
1669.44/844.79	c cleaning 7357 clauses out of 14734 with flag 18000/736394
1692.52/856.41	c cleaning 7685 clauses out of 15378 with flag 26001/744395
1714.23/867.50	c cleaning 8333 clauses out of 16692 with flag 35000/753394
1727.51/874.39	c cleaning 9179 clauses out of 18360 with flag 45001/763395
1738.40/879.96	c cleaning 9588 clauses out of 19182 with flag 55002/773396
1756.46/889.15	c cleaning 9798 clauses out of 19598 with flag 65006/783400
1781.36/901.89	c cleaning 9892 clauses out of 19795 with flag 75001/793395
1800.04/911.32	c starts		: 12
1800.04/911.32	c conflicts		: 1237
1800.04/911.32	c decisions		: 131104
1800.04/911.32	c propagations		: 318362
1800.04/911.32	c inspects		: 33286166
1800.04/911.32	c shortcuts		: 0
1800.04/911.32	c learnt literals	: 0
1800.04/911.32	c learnt binary clauses	: 0
1800.04/911.32	c learnt ternary clauses	: 0
1800.04/911.32	c learnt constraints	: 1235
1800.04/911.32	c ignored constraints	: 0
1800.04/911.32	c root simplifications	: 0
1800.04/911.32	c removed literals (reason simplification)	: 0
1800.04/911.32	c reason swapping (by a shorter reason)	: 0
1800.04/911.32	c Calls to reduceDB	: 0
1800.04/911.32	c number of reductions to clauses (during analyze)	: 0
1800.04/911.32	c number of learned constraints concerned by reduction	: 0
1800.04/911.32	c number of learning phase by resolution	: 0
1800.04/911.32	c number of learning phase by cutting planes	: 0
1800.04/911.32	c speed (assignments/second)	: 3854.4014915795974
1800.04/911.32	c non guided choices	141
1800.04/911.32	c learnt constraints type 
1800.04/911.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1235
1800.04/911.32	c constraints type 
1800.04/911.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 175
1800.04/911.32	c constraints type 
1800.04/911.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 175
1800.04/911.32	s SATISFIABLE
1800.04/911.33	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 x873 x874 x875 x876 x877 x878 x879 x880 x881 x882 x883 x884 x885 x886 x887 x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 -x943 x944 x945 x946 x947 x948 x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 x1094 x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 -x1238 -x1239 x1240 -x1241 -x1242 x1243 x1244 -x1245 -x1246 x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 -x1334 -x1335 x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 -x1366 -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 
1800.04/911.33	c objective function=-277191839000
1800.04/911.33	c Total wall clock time (in seconds): 911.222

Verifier Data 

OK	-277191839000

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454578-1307190777/watcher-3454578-1307190777 -o /tmp/evaluation-result-3454578-1307190777/solver-3454578-1307190777 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454578-1307190777.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.88 2.29 2.95 2/383 9789
/proc/meminfo: memFree=23609272/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9789/stat : 9789 (java) R 9787 9789 6095 0 -1 4202496 955 0 0 0 0 0 0 0 22 0 1 0 830680443 23580672 698 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218365994472 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/9789/statm: 5757 698 515 9 0 124 0
[pid=9789/tid=9790] ppid=9787 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) R 9787 9789 6095 0 -1 4202560 2356 0 1 0 0 0 0 0 23 0 2 0 830680443 10694979584 3172 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0315341 s]
/proc/loadavg: 1.88 2.29 2.95 2/383 9789
/proc/meminfo: memFree=23609272/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10455492 CPUtime=0.02 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 10742 0 1 0 1 1 0 0 22 0 10 0 830680443 10706423808 10440 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2613873 10440 1515 9 0 2604621 0
[pid=9789/tid=9790] ppid=9787 vsize=10455492 CPUtime=0.02 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) R 9787 9789 6095 0 -1 4202560 9618 0 1 0 1 1 0 0 25 0 10 0 830680443 10706423808 10440 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 47680848466556 0 4 0 16784584 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455492

[startup+0.100522 s]
/proc/loadavg: 1.88 2.29 2.95 2/383 9789
/proc/meminfo: memFree=23609272/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10539584 CPUtime=0.1 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 13041 0 1 0 8 2 0 0 22 0 18 0 830680443 10792534016 12701 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2634896 12701 2092 9 0 2625630 0
[pid=9789/tid=9790] ppid=9787 vsize=10539584 CPUtime=0.08 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) R 9787 9789 6095 0 -1 4202560 11095 0 1 0 7 1 0 0 25 0 18 0 830680443 10792534016 12701 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 47680843623624 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539584

[startup+0.300491 s]
/proc/loadavg: 1.88 2.29 2.95 2/383 9789
/proc/meminfo: memFree=23609272/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10541632 CPUtime=0.57 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 23835 0 1 0 53 4 0 0 22 0 18 0 830680443 10794631168 20537 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2635408 20538 2199 9 0 2626142 0
[pid=9789/tid=9790] ppid=9787 vsize=10541632 CPUtime=0.27 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) R 9787 9789 6095 0 -1 4202560 13309 0 1 0 26 1 0 0 25 0 18 0 830680443 10794631168 20539 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912505176896 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10541632

[startup+0.700418 s]
/proc/loadavg: 1.88 2.29 2.95 2/383 9789
/proc/meminfo: memFree=23609272/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10550864 CPUtime=1.61 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 40646 0 1 0 155 6 0 0 22 0 22 0 830680443 10804084736 36047 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2637716 36055 2222 9 0 2628450 0
[pid=9789/tid=9790] ppid=9787 vsize=10550864 CPUtime=0.57 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9789 6095 0 -1 4202560 26466 0 1 0 53 4 0 0 25 0 22 0 830680443 10804084736 36061 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10550864

[startup+1.50128 s]
/proc/loadavg: 1.88 2.29 2.95 5/425 9834
/proc/meminfo: memFree=23127700/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10551888 CPUtime=3.7 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 111973 0 1 0 354 16 0 0 22 0 22 0 830680443 10805133312 107373 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2637972 107373 2231 9 0 2628706 0
[pid=9789/tid=9790] ppid=9787 vsize=10551888 CPUtime=0.57 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9789 6095 0 -1 4202560 26466 0 1 0 53 4 0 0 20 0 22 0 830680443 10805133312 107373 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9792] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 107373 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9793] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9789 6095 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 107373 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9794] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9795] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9796] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9797] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9798] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9799] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9800] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9789 6095 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830680446 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9801] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9789 6095 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830680446 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9802] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9789 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680446 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9803] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382780849 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9804] ppid=9787 vsize=10551888 CPUtime=0.75 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9787 9789 6095 0 -1 4202560 4240 0 0 0 75 0 0 0 15 0 22 0 830680449 10805133312 107374 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9805] ppid=9787 vsize=10551888 CPUtime=0.6 cores=1,3,5,7
/proc/9789/task/9805/stat : 9805 (java) S 9787 9789 6095 0 -1 4202560 7445 0 0 0 59 1 0 0 15 0 22 0 830680449 10805133312 107375 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9806] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9806/stat : 9806 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10805133312 107375 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9807] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9807/stat : 9807 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830680449 10805133312 107375 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9831] ppid=9787 vsize=10551888 CPUtime=0.9 cores=1,3,5,7
/proc/9789/task/9831/stat : 9831 (java) R 9787 9789 6095 0 -1 4202560 246 0 0 0 90 0 0 0 25 0 22 0 830680501 10805133312 107375 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912505941580 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9789/tid=9832] ppid=9787 vsize=10551888 CPUtime=0.84 cores=1,3,5,7
/proc/9789/task/9832/stat : 9832 (java) R 9787 9789 6095 0 -1 4202560 72410 0 0 0 75 9 0 0 25 0 22 0 830680501 10805133312 107375 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912505839837 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9789/tid=9833] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9833/stat : 9833 (java) S 9787 9789 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680505 10805133312 107375 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9834] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9834/stat : 9834 (java) S 9787 9789 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680509 10805133312 107376 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 10551888

[startup+3.10099 s]
/proc/loadavg: 1.88 2.29 2.95 4/425 9879
/proc/meminfo: memFree=22913092/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10551888 CPUtime=7.12 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 249945 0 1 0 678 34 0 0 22 0 22 0 830680443 10805133312 245343 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2637972 245350 2233 9 0 2628706 0
[pid=9789/tid=9790] ppid=9787 vsize=10551888 CPUtime=0.57 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9789 6095 0 -1 4202560 26466 0 1 0 53 4 0 0 15 0 22 0 830680443 10805133312 245352 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9792] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 245356 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9793] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9789 6095 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 245361 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9794] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 245366 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9795] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 245370 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9796] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 245373 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9797] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 245377 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9798] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 245380 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9799] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680445 10805133312 245384 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9800] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9789 6095 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830680446 10805133312 245388 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9801] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9789 6095 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830680446 10805133312 245392 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9802] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9789 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680446 10805133312 245396 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9803] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10805133312 245399 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382780849 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9804] ppid=9787 vsize=10551888 CPUtime=0.89 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) R 9787 9789 6095 0 -1 4202560 4251 0 0 0 89 0 0 0 15 0 22 0 830680449 10805133312 245403 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 47680848252594 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9789/tid=9805] ppid=9787 vsize=10551888 CPUtime=0.72 cores=1,3,5,7
/proc/9789/task/9805/stat : 9805 (java) S 9787 9789 6095 0 -1 4202560 7459 0 0 0 71 1 0 0 15 0 22 0 830680449 10805133312 245406 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9806] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9806/stat : 9806 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10805133312 245410 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9807] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9807/stat : 9807 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830680449 10805133312 245415 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9831] ppid=9787 vsize=10551888 CPUtime=2.46 cores=1,3,5,7
/proc/9789/task/9831/stat : 9831 (java) R 9787 9789 6095 0 -1 4202560 452 0 0 0 246 0 0 0 25 0 22 0 830680501 10805133312 245419 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912506016960 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9789/tid=9832] ppid=9787 vsize=10551888 CPUtime=2.44 cores=1,3,5,7
/proc/9789/task/9832/stat : 9832 (java) R 9787 9789 6095 0 -1 4202560 210228 0 0 0 217 27 0 0 25 0 22 0 830680501 10805133312 245422 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912505565757 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9789/tid=9833] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9833/stat : 9833 (java) S 9787 9789 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680505 10805133312 245426 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9834] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9834/stat : 9834 (java) S 9787 9789 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830680509 10805133312 245429 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 10551888

[startup+6.30146 s]
/proc/loadavg: 1.97 2.30 2.95 6/425 9971
/proc/meminfo: memFree=22312064/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10551888 CPUtime=13.23 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 330989 0 1 0 1280 43 0 0 22 0 22 0 830680443 10805133312 323042 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2637972 323048 2259 9 0 2628706 0
[pid=9789/tid=9790] ppid=9787 vsize=10551888 CPUtime=0.59 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9789 6095 0 -1 4202560 26467 0 1 0 55 4 0 0 17 0 22 0 830680443 10805133312 323052 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9792] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830680445 10805133312 323055 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9793] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9789 6095 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830680445 10805133312 323060 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9794] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830680445 10805133312 323063 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9795] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830680445 10805133312 323068 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9796] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9789 6095 0 -1 4202560 699 0 0 0 0 0 0 0 18 0 22 0 830680445 10805133312 323071 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9797] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9789 6095 0 -1 4202560 761 0 0 0 0 0 0 0 18 0 22 0 830680445 10805133312 323076 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9798] ppid=9787 vsize=10551888 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9789 6095 0 -1 4202560 642 0 0 0 0 0 0 0 18 0 22 0 830680445 10805133312 323080 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9799] ppid=9787 vsize=10551888 CPUtime=0.01 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9789 6095 0 -1 4202560 788 0 0 0 1 0 0 0 18 0 22 0 830680445 10805133312 323083 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0

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

/proc/9789/task/9794/stat : 9794 (java) S 9787 9789 6095 0 -1 4202560 11726 0 0 0 43 1 0 0 16 0 22 0 830680445 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9795] ppid=9787 vsize=10570640 CPUtime=0.53 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9789 6095 0 -1 4202560 10073 0 0 0 52 1 0 0 15 0 22 0 830680445 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9796] ppid=9787 vsize=10570640 CPUtime=0.39 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9789 6095 0 -1 4202560 10004 0 0 0 38 1 0 0 16 0 22 0 830680445 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9797] ppid=9787 vsize=10570640 CPUtime=0.49 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9789 6095 0 -1 4202560 15183 0 0 0 48 1 0 0 15 0 22 0 830680445 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9798] ppid=9787 vsize=10570640 CPUtime=0.4 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9789 6095 0 -1 4202560 6279 0 0 0 40 0 0 0 16 0 22 0 830680445 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9799] ppid=9787 vsize=10570640 CPUtime=0.4 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9789 6095 0 -1 4202560 11443 0 0 0 39 1 0 0 15 0 22 0 830680445 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9800] ppid=9787 vsize=10570640 CPUtime=17.98 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9789 6095 0 -1 4202560 27807 0 0 0 1794 4 0 0 15 0 22 0 830680446 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9801] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9789 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830680446 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9802] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9789 6095 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 830680446 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9803] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382780849 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9804] ppid=9787 vsize=10570640 CPUtime=2.01 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9787 9789 6095 0 -1 4202560 9630 0 0 0 200 1 0 0 15 0 22 0 830680449 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9805] ppid=9787 vsize=10570640 CPUtime=1.33 cores=1,3,5,7
/proc/9789/task/9805/stat : 9805 (java) S 9787 9789 6095 0 -1 4202560 10854 0 0 0 131 2 0 0 16 0 22 0 830680449 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9806] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9806/stat : 9806 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9807] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9807/stat : 9807 (java) S 9787 9789 6095 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830680449 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=10049] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/10049/stat : 10049 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830715686 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=10069] ppid=9787 vsize=10570640 CPUtime=8.33 cores=1,3,5,7
/proc/9789/task/10069/stat : 10069 (java) R 9787 9789 6095 0 -1 4202560 0 0 0 0 833 0 0 0 21 0 22 0 830761806 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912506284361 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9789/tid=10070] ppid=9787 vsize=10570640 CPUtime=8.33 cores=1,3,5,7
/proc/9789/task/10070/stat : 10070 (java) R 9787 9789 6095 0 -1 4202560 0 0 0 0 833 0 0 0 25 0 22 0 830761806 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912505814870 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9789/tid=10071] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/10071/stat : 10071 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830761806 10824335360 976755 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1625.98
Current children cumulated vsize (KiB) 10570640

[startup+882.301 s]
/proc/loadavg: 3.87 3.77 3.49 5/429 10075
/proc/meminfo: memFree=18394032/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10570640 CPUtime=1742.86 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 991248 0 1 0 174167 119 0 0 22 0 22 0 830680443 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2642660 978807 2260 9 0 2633394 0
[pid=9789/tid=9790] ppid=9787 vsize=10570640 CPUtime=0.67 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9789 6095 0 -1 4202560 26502 0 1 0 63 4 0 0 15 0 22 0 830680443 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9792] ppid=9787 vsize=10570640 CPUtime=0.44 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9789 6095 0 -1 4202560 10712 0 0 0 43 1 0 0 16 0 22 0 830680445 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9793] ppid=9787 vsize=10570640 CPUtime=0.48 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9789 6095 0 -1 4202560 15835 0 0 0 47 1 0 0 16 0 22 0 830680445 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9794] ppid=9787 vsize=10570640 CPUtime=0.47 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9789 6095 0 -1 4202560 11726 0 0 0 46 1 0 0 16 0 22 0 830680445 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9795] ppid=9787 vsize=10570640 CPUtime=0.56 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9789 6095 0 -1 4202560 10174 0 0 0 55 1 0 0 16 0 22 0 830680445 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9796] ppid=9787 vsize=10570640 CPUtime=0.41 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9789 6095 0 -1 4202560 10004 0 0 0 40 1 0 0 15 0 22 0 830680445 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9797] ppid=9787 vsize=10570640 CPUtime=0.52 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9789 6095 0 -1 4202560 15348 0 0 0 51 1 0 0 15 0 22 0 830680445 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9798] ppid=9787 vsize=10570640 CPUtime=0.43 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9789 6095 0 -1 4202560 6356 0 0 0 43 0 0 0 16 0 22 0 830680445 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9799] ppid=9787 vsize=10570640 CPUtime=0.42 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9789 6095 0 -1 4202560 11443 0 0 0 41 1 0 0 16 0 22 0 830680445 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9800] ppid=9787 vsize=10570640 CPUtime=20.94 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9789 6095 0 -1 4202560 29410 0 0 0 2090 4 0 0 15 0 22 0 830680446 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9801] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9789 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830680446 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9802] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9789 6095 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830680446 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9803] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382780849 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9804] ppid=9787 vsize=10570640 CPUtime=2.02 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9787 9789 6095 0 -1 4202560 9631 0 0 0 201 1 0 0 15 0 22 0 830680449 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9805] ppid=9787 vsize=10570640 CPUtime=1.33 cores=1,3,5,7
/proc/9789/task/9805/stat : 9805 (java) S 9787 9789 6095 0 -1 4202560 10854 0 0 0 131 2 0 0 16 0 22 0 830680449 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9806] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9806/stat : 9806 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9807] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9807/stat : 9807 (java) S 9787 9789 6095 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830680449 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=10049] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/10049/stat : 10049 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830715686 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=10072] ppid=9787 vsize=10570640 CPUtime=51.02 cores=1,3,5,7
/proc/9789/task/10072/stat : 10072 (java) R 9787 9789 6095 0 -1 4202560 1 0 0 0 5102 0 0 0 25 0 22 0 830763315 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912505967507 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9789/tid=10073] ppid=9787 vsize=10570640 CPUtime=51.03 cores=1,3,5,7
/proc/9789/task/10073/stat : 10073 (java) R 9787 9789 6095 0 -1 4202560 2 0 0 0 5103 0 0 0 25 0 22 0 830763315 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912505926332 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9789/tid=10074] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/10074/stat : 10074 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830763315 10824335360 978807 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1742.86
Current children cumulated vsize (KiB) 10570640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+911.301 s]
/proc/loadavg: 3.86 3.77 3.50 5/429 10076
/proc/meminfo: memFree=18391888/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=10570640 CPUtime=1800.04 cores=1,3,5,7
/proc/9789/stat : 9789 (java) S 9787 9789 6095 0 -1 4202496 991412 0 1 0 179885 119 0 0 22 0 22 0 830680443 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 2642660 978965 2260 9 0 2633394 0
[pid=9789/tid=9790] ppid=9787 vsize=10570640 CPUtime=0.67 cores=1,3,5,7
/proc/9789/task/9790/stat : 9790 (java) S 9787 9789 6095 0 -1 4202560 26504 0 1 0 63 4 0 0 15 0 22 0 830680443 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9792] ppid=9787 vsize=10570640 CPUtime=0.44 cores=1,3,5,7
/proc/9789/task/9792/stat : 9792 (java) S 9787 9789 6095 0 -1 4202560 10712 0 0 0 43 1 0 0 15 0 22 0 830680445 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9793] ppid=9787 vsize=10570640 CPUtime=0.49 cores=1,3,5,7
/proc/9789/task/9793/stat : 9793 (java) S 9787 9789 6095 0 -1 4202560 15835 0 0 0 48 1 0 0 15 0 22 0 830680445 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9794] ppid=9787 vsize=10570640 CPUtime=0.48 cores=1,3,5,7
/proc/9789/task/9794/stat : 9794 (java) S 9787 9789 6095 0 -1 4202560 11726 0 0 0 47 1 0 0 16 0 22 0 830680445 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9795] ppid=9787 vsize=10570640 CPUtime=0.56 cores=1,3,5,7
/proc/9789/task/9795/stat : 9795 (java) S 9787 9789 6095 0 -1 4202560 10174 0 0 0 55 1 0 0 15 0 22 0 830680445 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9796] ppid=9787 vsize=10570640 CPUtime=0.41 cores=1,3,5,7
/proc/9789/task/9796/stat : 9796 (java) S 9787 9789 6095 0 -1 4202560 10004 0 0 0 40 1 0 0 16 0 22 0 830680445 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9797] ppid=9787 vsize=10570640 CPUtime=0.53 cores=1,3,5,7
/proc/9789/task/9797/stat : 9797 (java) S 9787 9789 6095 0 -1 4202560 15348 0 0 0 52 1 0 0 16 0 22 0 830680445 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9798] ppid=9787 vsize=10570640 CPUtime=0.44 cores=1,3,5,7
/proc/9789/task/9798/stat : 9798 (java) S 9787 9789 6095 0 -1 4202560 6356 0 0 0 44 0 0 0 16 0 22 0 830680445 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9799] ppid=9787 vsize=10570640 CPUtime=0.43 cores=1,3,5,7
/proc/9789/task/9799/stat : 9799 (java) S 9787 9789 6095 0 -1 4202560 11443 0 0 0 42 1 0 0 16 0 22 0 830680445 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9800] ppid=9787 vsize=10570640 CPUtime=21.79 cores=1,3,5,7
/proc/9789/task/9800/stat : 9800 (java) S 9787 9789 6095 0 -1 4202560 29570 0 0 0 2175 4 0 0 15 0 22 0 830680446 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 0 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9801] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9801/stat : 9801 (java) S 9787 9789 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830680446 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9802] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9802/stat : 9802 (java) S 9787 9789 6095 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830680446 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
[pid=9789/tid=9803] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9803/stat : 9803 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382780849 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9804] ppid=9787 vsize=10570640 CPUtime=2.02 cores=1,3,5,7
/proc/9789/task/9804/stat : 9804 (java) S 9787 9789 6095 0 -1 4202560 9631 0 0 0 201 1 0 0 15 0 22 0 830680449 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=9805] ppid=9787 vsize=10570640 CPUtime=1.33 cores=1,3,5,7
/proc/9789/task/9805/stat : 9805 (java) S 9787 9789 6095 0 -1 4202560 10854 0 0 0 131 2 0 0 16 0 22 0 830680449 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=9806] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9806/stat : 9806 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830680449 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773145 0 4 0 16800975 18446604461693347840 0 0 -1 7 0 0 0
[pid=9789/tid=9807] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/9807/stat : 9807 (java) S 9787 9789 6095 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830680449 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 3 0 0 0
[pid=9789/tid=10049] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/10049/stat : 10049 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 830715686 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 5 0 0 0
[pid=9789/tid=10072] ppid=9787 vsize=10570640 CPUtime=79.18 cores=1,3,5,7
/proc/9789/task/10072/stat : 10072 (java) R 9787 9789 6095 0 -1 4202560 1 0 0 0 7918 0 0 0 25 0 22 0 830763315 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912506284361 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9789/tid=10073] ppid=9787 vsize=10570640 CPUtime=79.18 cores=1,3,5,7
/proc/9789/task/10073/stat : 10073 (java) R 9787 9789 6095 0 -1 4202560 2 0 0 0 7918 0 0 0 25 0 22 0 830763315 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 46912505625491 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9789/tid=10074] ppid=9787 vsize=10570640 CPUtime=0 cores=1,3,5,7
/proc/9789/task/10074/stat : 10074 (java) S 9787 9789 6095 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830763315 10824335360 978965 33554432000 1073741824 1073778376 140736859563760 18446744073709551615 218382773760 0 4 0 16800975 18446604461693347840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10570640

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

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

[startup+911.421 s]
/proc/loadavg: 3.86 3.77 3.50 5/429 10076
/proc/meminfo: memFree=18391888/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/9789/stat : 9789 (java) Z 9787 9789 6095 0 -1 4203548 991443 0 1 0 179894 126 0 0 17 0 2 0 830680443 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 0 0 0 0 0 0 0
[pid=9789/tid=10073] ppid=9787 vsize=0 CPUtime=79.26 cores=1,3,5,7
/proc/9789/task/10073/stat : 10073 (java) R 9787 9789 6095 0 -1 4203588 2 0 0 0 7920 6 0 0 25 0 2 0 830763315 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

[startup+911.501 s]
/proc/loadavg: 3.86 3.77 3.50 5/429 10076
/proc/meminfo: memFree=18391888/32951124 swapFree=49244120/67111528
[pid=9789] ppid=9787 vsize=0 CPUtime=1800.28 cores=1,3,5,7
/proc/9789/stat : 9789 (java) Z 9787 9789 6095 0 -1 4203548 991443 0 1 0 179894 134 0 0 17 0 2 0 830680443 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/9789/statm: 0 0 0 0 0 0 0
[pid=9789/tid=10073] ppid=9787 vsize=0 CPUtime=79.34 cores=1,3,5,7
/proc/9789/task/10073/stat : 10073 (java) R 9787 9789 6095 0 -1 4203588 2 0 0 0 7920 14 0 0 25 0 2 0 830763315 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 911.503
CPU time (s): 1800.29
CPU user time (s): 1798.95
CPU system time (s): 1.3428
CPU usage (%): 197.508
Max. virtual memory (cumulated for all children) (KiB): 10570640

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

runsolver used 3.44048 second user time and 8.25574 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-04 14:32:57
IDJOB=3454578
IDBENCH=2379
IDSOLVER=1950
FILE ID=node101/3454578-1307190777
RUNJOBID= node101-1307190777-9776
PBS_JOBID= 13508816
Free space on /tmp= 74004 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-israel.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454578-1307190777/watcher-3454578-1307190777 -o /tmp/evaluation-result-3454578-1307190777/solver-3454578-1307190777 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454578-1307190777.opb

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

MD5SUM BENCH= eda4269ba1a2bb6f24002a9139c11119
RANDOM SEED=1285650481

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23609304 kB
Buffers:        289272 kB
Cached:         636024 kB
SwapCached:      27120 kB
Active:        8499216 kB
Inactive:       566148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23609304 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:            1960 kB
Writeback:           8 kB
AnonPages:     8134872 kB
Mapped:          17560 kB
Slab:           136652 kB
PageTables:      74384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78586264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74004 MiB
End job on node101 at 2011-06-04 14:48:10