Trace number 3688449

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)17 1800.07 1796.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
MD5SUMb0c7ff7d1fa11c8e15b9d528879223a9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark0.591909
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14
Optimality of the best value was proved YES
Number of variables3659
Total number of constraints9385
Number of constraints which are clauses9385
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 1787
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1787
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1787
Number of bits of the biggest sum of numbers11
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.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688449-1337884410.opb
0.08/0.12	c reading problem ... 
0.50/0.37	c ... done. Wall clock time 0.248s.
0.50/0.37	c declared #vars     3659
0.50/0.37	c #constraints  9382
0.50/0.37	c constraints type 
0.50/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893
0.50/0.37	c ignored satisfied constraints => 3
0.50/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 99
0.50/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390
0.50/0.37	c 9385 constraints processed.
0.50/0.37	c objective function length is 1787 literals
0.75/0.44	c SATISFIABLE
0.75/0.44	c OPTIMIZING...
0.75/0.44	c Got one! Elapsed wall clock time (in seconds):0.316
0.75/0.44	o 22
0.75/0.48	c Got one! Elapsed wall clock time (in seconds):0.356
0.75/0.48	o 21
1.61/0.90	c Got one! Elapsed wall clock time (in seconds):0.773
1.61/0.90	o 20
1.61/0.92	c Got one! Elapsed wall clock time (in seconds):0.792
1.61/0.92	o 19
1.61/0.93	c Got one! Elapsed wall clock time (in seconds):0.804
1.61/0.93	o 18
2.53/1.72	c cleaning 2754 clauses out of 5508 with flag 4001/5508
3.71/2.87	c cleaning 4369 clauses out of 8754 with flag 10001/11508
5.32/4.44	c cleaning 5694 clauses out of 11387 with flag 17003/18510
7.39/6.43	c cleaning 6833 clauses out of 13691 with flag 25001/26508
10.24/8.99	c cleaning 7923 clauses out of 15857 with flag 34000/35507
12.30/10.55	c Got one! Elapsed wall clock time (in seconds):10.426
12.30/10.55	o 17
13.12/11.37	c cleaning 9132 clauses out of 18281 with flag 5000/45854
14.82/13.00	c cleaning 7570 clauses out of 15154 with flag 11005/51859
16.74/14.94	c cleaning 7281 clauses out of 14579 with flag 18000/58854
19.04/17.23	c cleaning 7642 clauses out of 15298 with flag 26000/66854
21.74/19.90	c cleaning 8308 clauses out of 16656 with flag 35000/75854
24.85/23.03	c cleaning 9165 clauses out of 18348 with flag 45000/85854
28.05/26.21	c cleaning 10076 clauses out of 20183 with flag 56000/96854
31.46/29.65	c cleaning 11047 clauses out of 22107 with flag 68000/108854
35.15/33.34	c cleaning 12018 clauses out of 24060 with flag 81000/121854
39.07/37.22	c cleaning 13016 clauses out of 26043 with flag 95001/135855
43.47/41.63	c cleaning 14003 clauses out of 28028 with flag 110002/150856
48.27/46.40	c cleaning 14992 clauses out of 30023 with flag 126000/166854
53.37/51.60	c cleaning 16003 clauses out of 32031 with flag 143000/183854
58.68/56.89	c cleaning 16997 clauses out of 34028 with flag 161000/201854
64.49/62.67	c cleaning 18007 clauses out of 36031 with flag 180000/220854
70.49/68.64	c cleaning 18990 clauses out of 38026 with flag 200002/240856
76.79/74.94	c cleaning 20016 clauses out of 40035 with flag 221001/261855
83.20/81.37	c cleaning 21000 clauses out of 42018 with flag 243000/283854
90.42/88.54	c cleaning 22001 clauses out of 44018 with flag 266000/306854
97.86/95.96	c cleaning 23004 clauses out of 46023 with flag 290006/330860
105.37/103.45	c cleaning 23999 clauses out of 48014 with flag 315001/355855
113.17/111.23	c cleaning 24987 clauses out of 50014 with flag 341000/381854
121.50/119.50	c cleaning 25998 clauses out of 52027 with flag 368000/408854
129.70/127.75	c cleaning 26992 clauses out of 54029 with flag 396000/436854
138.72/136.80	c cleaning 28008 clauses out of 56037 with flag 425000/465854
148.25/146.21	c cleaning 28999 clauses out of 58032 with flag 455003/495857
158.07/156.04	c cleaning 30007 clauses out of 60030 with flag 486000/526854
167.79/165.76	c cleaning 30992 clauses out of 62024 with flag 518001/558855
178.21/176.13	c cleaning 31997 clauses out of 64031 with flag 551000/591854
189.42/187.34	c cleaning 33003 clauses out of 66035 with flag 585001/625855
200.64/198.57	c cleaning 33994 clauses out of 68031 with flag 620000/660854
211.96/209.83	c cleaning 35002 clauses out of 70041 with flag 656004/696858
223.47/221.33	c cleaning 36012 clauses out of 72035 with flag 693000/733854
234.97/232.84	c cleaning 36997 clauses out of 74024 with flag 731001/771855
246.69/244.59	c cleaning 37994 clauses out of 76026 with flag 770000/810854
258.99/256.89	c cleaning 39017 clauses out of 78033 with flag 810001/850855
271.33/269.18	c cleaning 39998 clauses out of 80015 with flag 851000/891854
284.04/281.80	c cleaning 41006 clauses out of 82018 with flag 893001/933855
297.06/294.85	c cleaning 41990 clauses out of 84013 with flag 936002/976856
310.76/308.58	c cleaning 43001 clauses out of 86021 with flag 980000/1020854
324.96/322.78	c cleaning 43993 clauses out of 88021 with flag 1025001/1065855
338.97/336.70	c cleaning 45001 clauses out of 90027 with flag 1071000/1111854
353.39/351.11	c cleaning 46010 clauses out of 92027 with flag 1118001/1158855
368.10/365.86	c cleaning 47001 clauses out of 94016 with flag 1166000/1206854
383.52/381.23	c cleaning 47989 clauses out of 96015 with flag 1215000/1255854
398.73/396.44	c cleaning 49001 clauses out of 98026 with flag 1265000/1305854
415.16/412.85	c cleaning 49990 clauses out of 100025 with flag 1316000/1356854
431.30/428.94	c cleaning 50995 clauses out of 102035 with flag 1368000/1408854
447.90/445.57	c cleaning 51998 clauses out of 104040 with flag 1421000/1461854
464.71/462.37	c cleaning 52992 clauses out of 106042 with flag 1475000/1515854
481.94/479.52	c cleaning 54010 clauses out of 108050 with flag 1530000/1570854
499.47/497.04	c cleaning 55018 clauses out of 110041 with flag 1586001/1626855
516.98/514.54	c cleaning 56001 clauses out of 112022 with flag 1643000/1683854
535.12/532.67	c cleaning 56989 clauses out of 114021 with flag 1701000/1741854
554.13/551.66	c cleaning 58012 clauses out of 116033 with flag 1760001/1800855
573.25/570.71	c cleaning 59006 clauses out of 118020 with flag 1820000/1860854
592.98/590.46	c cleaning 59992 clauses out of 120014 with flag 1881000/1921854
612.59/610.02	c cleaning 61004 clauses out of 122023 with flag 1943001/1983855
632.41/629.85	c cleaning 61989 clauses out of 124018 with flag 2006000/2046854
651.85/649.26	c cleaning 62982 clauses out of 126030 with flag 2070001/2110855
672.16/669.58	c cleaning 64007 clauses out of 128047 with flag 2135000/2175854
692.87/690.24	c cleaning 64994 clauses out of 130040 with flag 2201000/2241854
713.09/710.47	c cleaning 66022 clauses out of 132047 with flag 2268001/2308855
733.80/731.14	c cleaning 66980 clauses out of 134024 with flag 2336000/2376854
755.53/752.89	c cleaning 68003 clauses out of 136044 with flag 2405000/2445854
777.84/775.12	c cleaning 69010 clauses out of 138041 with flag 2475000/2515854
800.45/797.73	c cleaning 70005 clauses out of 140031 with flag 2546000/2586854
823.47/820.79	c cleaning 71001 clauses out of 142028 with flag 2618002/2658856
846.57/843.82	c cleaning 71999 clauses out of 144025 with flag 2691000/2731854
869.58/866.84	c cleaning 72996 clauses out of 146028 with flag 2765002/2805856
892.60/889.82	c cleaning 74012 clauses out of 148032 with flag 2840002/2880856
916.52/913.75	c cleaning 74997 clauses out of 150019 with flag 2916001/2956855
941.65/938.87	c cleaning 76000 clauses out of 152021 with flag 2993000/3033854
966.78/963.91	c cleaning 77007 clauses out of 154026 with flag 3071005/3111859
992.60/989.74	c cleaning 77983 clauses out of 156015 with flag 3150001/3190855
1020.03/1017.17	c cleaning 78982 clauses out of 158031 with flag 3230000/3270854
1047.05/1044.10	c cleaning 80010 clauses out of 160049 with flag 3311000/3351854
1073.57/1070.68	c cleaning 81008 clauses out of 162041 with flag 3393002/3433856
1101.27/1098.40	c cleaning 82018 clauses out of 164043 with flag 3476012/3516866
1129.79/1126.87	c cleaning 82996 clauses out of 166013 with flag 3560000/3600854
1158.42/1155.43	c cleaning 84005 clauses out of 168018 with flag 3645001/3685855
1186.94/1183.96	c cleaning 84987 clauses out of 170013 with flag 3731001/3771855
1216.65/1213.64	c cleaning 85977 clauses out of 172025 with flag 3818000/3858854
1245.76/1242.77	c cleaning 86995 clauses out of 174053 with flag 3906005/3946859
1275.57/1272.55	c cleaning 88009 clauses out of 176060 with flag 3995007/4035861
1305.30/1302.24	c cleaning 89009 clauses out of 178044 with flag 4085000/4125854
1336.05/1332.94	c cleaning 90005 clauses out of 180038 with flag 4176003/4216857
1368.48/1365.30	c cleaning 91011 clauses out of 182030 with flag 4268000/4308854
1399.60/1396.47	c cleaning 91989 clauses out of 184019 with flag 4361000/4401854
1430.74/1427.55	c cleaning 92992 clauses out of 186030 with flag 4455000/4495854
1462.36/1459.14	c cleaning 94001 clauses out of 188039 with flag 4550001/4590855
1495.00/1491.77	c cleaning 94999 clauses out of 190037 with flag 4646000/4686854
1528.04/1524.76	c cleaning 96005 clauses out of 192042 with flag 4743004/4783858
1560.76/1557.40	c cleaning 97018 clauses out of 194036 with flag 4841003/4881857
1593.89/1590.53	c cleaning 97996 clauses out of 196016 with flag 4940001/4980855
1627.79/1624.45	c cleaning 99003 clauses out of 198020 with flag 5040001/5080855
1661.97/1658.53	c cleaning 99990 clauses out of 200016 with flag 5141000/5181854
1696.39/1692.97	c cleaning 101008 clauses out of 202026 with flag 5243000/5283854
1731.12/1727.70	c cleaning 101998 clauses out of 204018 with flag 5346000/5386854
1766.15/1762.66	c cleaning 103008 clauses out of 206020 with flag 5450000/5490854
1800.07/1796.51	c starts		: 281
1800.07/1796.51	c conflicts		: 5595855
1800.07/1796.51	c decisions		: 22022896
1800.07/1796.51	c propagations		: 9193270398
1800.07/1796.51	c inspects		: 10916966056
1800.07/1796.51	c shortcuts		: 0
1800.07/1796.51	c learnt literals	: 0
1800.07/1796.51	c learnt binary clauses	: 9
1800.07/1796.51	c learnt ternary clauses	: 15
1800.07/1796.51	c learnt constraints	: 5595855
1800.07/1796.51	c ignored constraints	: 0
1800.07/1796.51	c root simplifications	: 0
1800.07/1796.51	c removed literals (reason simplification)	: 0
1800.07/1796.51	c reason swapping (by a shorter reason)	: 0
1800.07/1796.51	c Calls to reduceDB	: 106
1800.07/1796.51	c number of reductions to clauses (during analyze)	: 0
1800.07/1796.51	c number of learned constraints concerned by reduction	: 0
1800.07/1796.51	c number of learning phase by resolution	: 0
1800.07/1796.51	c number of learning phase by cutting planes	: 0
1800.07/1796.51	c speed (assignments/second)	: 5118405.450638043
1800.07/1796.51	c non guided choices	0
1800.07/1796.55	c learnt constraints type 
1800.07/1796.55	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 9
1800.07/1796.55	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 208004
1800.07/1796.55	c constraints type 
1800.07/1796.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1893
1800.07/1796.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1796.55	c ignored satisfied constraints => 3
1800.07/1796.55	c org.sat4j.minisat.constraints.cnf.UnitClause => 99
1800.07/1796.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7390
1800.07/1796.55	c 9386 constraints processed.
1800.07/1796.55	s SATISFIABLE
1800.07/1796.56	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 
1800.07/1796.56	c objective function=17
1800.07/1796.56	c Total wall clock time (in seconds): 1796.437

Verifier Data

OK	17

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688449-1337884410/watcher-3688449-1337884410 -o /tmp/evaluation-result-3688449-1337884410/solver-3688449-1337884410 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688449-1337884410.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.92 1.98 1.99 2/194 28946
/proc/meminfo: memFree=29706596/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28946/stat : 28946 (java) R 28944 28946 27542 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254565942 9515008 183 33554432000 1073741824 1073778376 140733790745184 140733790736216 240565173941 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28946/statm: 2323 183 140 9 0 71 0

[startup+0.0268881 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 28946
/proc/meminfo: memFree=29706596/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9014776 CPUtime=0.01 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 2260 0 1 0 0 1 0 0 20 0 10 0 254565942 9231130624 2960 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2253694 2960 1080 9 0 2244803 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9014776

[startup+0.100331 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 28946
/proc/meminfo: memFree=29706596/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 4117 0 1 0 7 1 0 0 20 0 18 0 254565942 9787813888 5316 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2389603 5326 2045 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300296 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 28946
/proc/meminfo: memFree=29706596/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 6029 0 1 0 48 2 0 0 20 0 18 0 254565942 9787813888 8660 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2389603 8660 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412

[startup+0.700312 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 28946
/proc/meminfo: memFree=29706596/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 8526 0 1 0 135 3 0 0 20 0 19 0 254565942 9855975424 13160 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2406244 13160 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9624976

[startup+1.50067 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 28965
/proc/meminfo: memFree=29660200/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9624976 CPUtime=2.33 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 8549 0 1 0 230 3 0 0 20 0 19 0 254565942 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2406244 13678 2252 9 0 2396937 0
[pid=28946/tid=28948] ppid=28944 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/28946/task/28948/stat : 28948 (java) R 28944 28946 27542 0 -1 4202560 2494 0 1 0 145 2 0 0 20 0 19 0 254565943 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098212971144 140098086077105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28949] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28949/stat : 28949 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098056997672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28950] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28950/stat : 28950 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098055944872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28951] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28951/stat : 28951 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098054892584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28952] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28952/stat : 28952 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098053839784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28953] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28953/stat : 28953 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098052786472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28954] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28954/stat : 28954 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098051733672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28955] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28955/stat : 28955 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098050681384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28956] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28956/stat : 28956 (java) S 28944 28946 27542 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098049628584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28957] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28957/stat : 28957 (java) S 28944 28946 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098037218024 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28958] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28958/stat : 28958 (java) S 28944 28946 27542 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098036164088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28959] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28959/stat : 28959 (java) S 28944 28946 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098035111688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28960] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28960/stat : 28960 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098034060176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28961] ppid=28944 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/28946/task/28961/stat : 28961 (java) S 28944 28946 27542 0 -1 4202560 2151 0 0 0 44 0 0 0 20 0 19 0 254565949 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098033006776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28962] ppid=28944 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28946/task/28962/stat : 28962 (java) S 28944 28946 27542 0 -1 4202560 2709 0 0 0 39 0 0 0 20 0 19 0 254565949 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098031953976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28963] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28963/stat : 28963 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098030901880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28964] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28964/stat : 28964 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098029849288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28965] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28965/stat : 28965 (java) S 28944 28946 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254565982 9855975424 13678 33554432000 1073741824 1073778376 140735470103376 140098028795304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9624976

[startup+3.10068 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 28965
/proc/meminfo: memFree=29649464/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9624976 CPUtime=4.01 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 8616 0 1 0 397 4 0 0 20 0 19 0 254565942 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2406244 16800 2278 9 0 2396937 0
[pid=28946/tid=28948] ppid=28944 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/28946/task/28948/stat : 28948 (java) R 28944 28946 27542 0 -1 4202560 2499 0 1 0 301 2 0 0 20 0 19 0 254565943 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098212970904 140098086089248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28949] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28949/stat : 28949 (java) S 28944 28946 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098056997672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28950] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28950/stat : 28950 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098055944872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28951] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28951/stat : 28951 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098054892584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28952] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28952/stat : 28952 (java) S 28944 28946 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098053839784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28953] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28953/stat : 28953 (java) S 28944 28946 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098052786472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28954] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28954/stat : 28954 (java) S 28944 28946 27542 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098051733672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28955] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28955/stat : 28955 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098050681384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28956] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28956/stat : 28956 (java) S 28944 28946 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098049628584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28957] ppid=28944 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/28946/task/28957/stat : 28957 (java) S 28944 28946 27542 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 254565946 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098037218024 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28958] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28958/stat : 28958 (java) S 28944 28946 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098036164088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28959] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28959/stat : 28959 (java) S 28944 28946 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098035111688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28960] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28960/stat : 28960 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098034060176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28961] ppid=28944 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/28946/task/28961/stat : 28961 (java) S 28944 28946 27542 0 -1 4202560 2155 0 0 0 46 0 0 0 20 0 19 0 254565949 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098033006776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28962] ppid=28944 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/28946/task/28962/stat : 28962 (java) S 28944 28946 27542 0 -1 4202560 2711 0 0 0 41 1 0 0 20 0 19 0 254565949 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098031953976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28963] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28963/stat : 28963 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098030901880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28964] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28964/stat : 28964 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098029849288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28965] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28965/stat : 28965 (java) S 28944 28946 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254565982 9855975424 16800 33554432000 1073741824 1073778376 140735470103376 140098028795304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9624976

[startup+6.30074 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 28965
/proc/meminfo: memFree=29648292/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9624976 CPUtime=7.23 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 8621 0 1 0 718 5 0 0 20 0 19 0 254565942 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2406244 16462 2279 9 0 2396937 0
[pid=28946/tid=28948] ppid=28944 vsize=9624976 CPUtime=6.2 cores=1,3,5,7
/proc/28946/task/28948/stat : 28948 (java) R 28944 28946 27542 0 -1 4202560 2501 0 1 0 618 2 0 0 20 0 19 0 254565943 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098212971000 140098086071009 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28949] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28949/stat : 28949 (java) S 28944 28946 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098056997672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28950] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28950/stat : 28950 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098055944872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28951] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28951/stat : 28951 (java) S 28944 28946 27542 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098054892584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28952] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28952/stat : 28952 (java) S 28944 28946 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098053839784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28953] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28953/stat : 28953 (java) S 28944 28946 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098052786472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28954] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28954/stat : 28954 (java) S 28944 28946 27542 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098051733672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28955] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28955/stat : 28955 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098050681384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28956] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28956/stat : 28956 (java) S 28944 28946 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254565945 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098049628584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28957] ppid=28944 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/28946/task/28957/stat : 28957 (java) S 28944 28946 27542 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 254565946 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098037218024 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28958] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28958/stat : 28958 (java) S 28944 28946 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098036164088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28959] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28959/stat : 28959 (java) S 28944 28946 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098035111688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28960] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28960/stat : 28960 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098034060176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28961] ppid=28944 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/28946/task/28961/stat : 28961 (java) S 28944 28946 27542 0 -1 4202560 2156 0 0 0 47 0 0 0 20 0 19 0 254565949 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098033006776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28962] ppid=28944 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/28946/task/28962/stat : 28962 (java) S 28944 28946 27542 0 -1 4202560 2711 0 0 0 42 1 0 0 20 0 19 0 254565949 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098031953976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28963] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28963/stat : 28963 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098030901880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28964] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28964/stat : 28964 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098029849288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28965] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28965/stat : 28965 (java) S 28944 28946 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254565982 9855975424 16462 33554432000 1073741824 1073778376 140735470103376 140098028795304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=28946/tid=28961] ppid=28944 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/28946/task/28961/stat : 28961 (java) S 28944 28946 27542 0 -1 4202560 8689 0 0 0 128 2 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098033006776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28962] ppid=28944 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/28946/task/28962/stat : 28962 (java) S 28944 28946 27542 0 -1 4202560 4323 0 0 0 57 1 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098031953976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28963] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28963/stat : 28963 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098030901880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28964] ppid=28944 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/28946/task/28964/stat : 28964 (java) S 28944 28946 27542 0 -1 4202560 99 0 0 0 23 14 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098029849288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28965] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28965/stat : 28965 (java) S 28944 28946 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254565982 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098028795304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.81
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29062
/proc/meminfo: memFree=29622324/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9624976 CPUtime=1785.86 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 17808 0 1 0 178561 25 0 0 20 0 19 0 254565942 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2406244 37096 2280 9 0 2396937 0
[pid=28946/tid=28948] ppid=28944 vsize=9624976 CPUtime=1773.18 cores=1,3,5,7
/proc/28946/task/28948/stat : 28948 (java) R 28944 28946 27542 0 -1 4202560 2604 0 1 0 177290 28 0 0 20 0 19 0 254565943 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098212970784 140098086089383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28949] ppid=28944 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/28946/task/28949/stat : 28949 (java) S 28944 28946 27542 0 -1 4202560 148 0 0 0 29 2 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098056997672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28950] ppid=28944 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/28946/task/28950/stat : 28950 (java) S 28944 28946 27542 0 -1 4202560 98 0 0 0 31 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098055944872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28951] ppid=28944 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/28946/task/28951/stat : 28951 (java) S 28944 28946 27542 0 -1 4202560 59 0 0 0 27 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098054892584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28952] ppid=28944 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/28946/task/28952/stat : 28952 (java) S 28944 28946 27542 0 -1 4202560 40 0 0 0 29 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098053839784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28953] ppid=28944 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/28946/task/28953/stat : 28953 (java) S 28944 28946 27542 0 -1 4202560 44 0 0 0 29 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098052786472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28954] ppid=28944 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/28946/task/28954/stat : 28954 (java) S 28944 28946 27542 0 -1 4202560 49 0 0 0 32 2 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098051733672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28955] ppid=28944 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/28946/task/28955/stat : 28955 (java) S 28944 28946 27542 0 -1 4202560 38 0 0 0 27 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098050681384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28956] ppid=28944 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/28946/task/28956/stat : 28956 (java) S 28944 28946 27542 0 -1 4202560 267 0 0 0 32 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098049628584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28957] ppid=28944 vsize=9624976 CPUtime=3.71 cores=1,3,5,7
/proc/28946/task/28957/stat : 28957 (java) S 28944 28946 27542 0 -1 4202560 165 0 0 0 368 3 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098037218024 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28958] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28958/stat : 28958 (java) S 28944 28946 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098036164088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28959] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28959/stat : 28959 (java) S 28944 28946 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098035111688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28960] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28960/stat : 28960 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098034060176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28961] ppid=28944 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/28946/task/28961/stat : 28961 (java) S 28944 28946 27542 0 -1 4202560 8689 0 0 0 128 2 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098033006776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28962] ppid=28944 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/28946/task/28962/stat : 28962 (java) S 28944 28946 27542 0 -1 4202560 4323 0 0 0 57 1 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098031953976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28963] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28963/stat : 28963 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098030901880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28964] ppid=28944 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28946/task/28964/stat : 28964 (java) S 28944 28946 27542 0 -1 4202560 103 0 0 0 24 15 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098029849288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28965] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28965/stat : 28965 (java) S 28944 28946 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254565982 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098028795304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.86
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29063
/proc/meminfo: memFree=29622324/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 17808 0 1 0 179982 25 0 0 20 0 19 0 254565942 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2406244 37096 2280 9 0 2396937 0
[pid=28946/tid=28948] ppid=28944 vsize=9624976 CPUtime=1787.35 cores=1,3,5,7
/proc/28946/task/28948/stat : 28948 (java) R 28944 28946 27542 0 -1 4202560 2604 0 1 0 178706 29 0 0 20 0 19 0 254565943 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098212970784 140098086248960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28949] ppid=28944 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/28946/task/28949/stat : 28949 (java) S 28944 28946 27542 0 -1 4202560 148 0 0 0 29 2 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098056997672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28950] ppid=28944 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/28946/task/28950/stat : 28950 (java) S 28944 28946 27542 0 -1 4202560 98 0 0 0 31 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098055944872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28951] ppid=28944 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/28946/task/28951/stat : 28951 (java) S 28944 28946 27542 0 -1 4202560 59 0 0 0 27 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098054892584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28952] ppid=28944 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/28946/task/28952/stat : 28952 (java) S 28944 28946 27542 0 -1 4202560 40 0 0 0 29 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098053839784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28953] ppid=28944 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/28946/task/28953/stat : 28953 (java) S 28944 28946 27542 0 -1 4202560 44 0 0 0 29 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098052786472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28954] ppid=28944 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/28946/task/28954/stat : 28954 (java) S 28944 28946 27542 0 -1 4202560 49 0 0 0 32 2 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098051733672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28955] ppid=28944 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/28946/task/28955/stat : 28955 (java) S 28944 28946 27542 0 -1 4202560 38 0 0 0 27 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098050681384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28956] ppid=28944 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/28946/task/28956/stat : 28956 (java) S 28944 28946 27542 0 -1 4202560 267 0 0 0 32 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098049628584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28957] ppid=28944 vsize=9624976 CPUtime=3.71 cores=1,3,5,7
/proc/28946/task/28957/stat : 28957 (java) S 28944 28946 27542 0 -1 4202560 165 0 0 0 368 3 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098037218024 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28958] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28958/stat : 28958 (java) S 28944 28946 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098036164088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28959] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28959/stat : 28959 (java) S 28944 28946 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098035111688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28960] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28960/stat : 28960 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098034060176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28961] ppid=28944 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/28946/task/28961/stat : 28961 (java) S 28944 28946 27542 0 -1 4202560 8689 0 0 0 128 2 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098033006776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28962] ppid=28944 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/28946/task/28962/stat : 28962 (java) S 28944 28946 27542 0 -1 4202560 4323 0 0 0 57 1 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098031953976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28963] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28963/stat : 28963 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098030901880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28964] ppid=28944 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28946/task/28964/stat : 28964 (java) S 28944 28946 27542 0 -1 4202560 103 0 0 0 24 15 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098029849288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28965] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28965/stat : 28965 (java) S 28944 28946 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254565982 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098028795304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1796.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 29063
/proc/meminfo: memFree=29622324/32873844 swapFree=7116/7116
[pid=28946] ppid=28944 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/28946/stat : 28946 (java) S 28944 28946 27542 0 -1 4202496 17808 0 1 0 179982 25 0 0 20 0 19 0 254565942 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140735470094512 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28946/statm: 2406244 37096 2280 9 0 2396937 0
[pid=28946/tid=28948] ppid=28944 vsize=9624976 CPUtime=1787.35 cores=1,3,5,7
/proc/28946/task/28948/stat : 28948 (java) R 28944 28946 27542 0 -1 4202560 2604 0 1 0 178706 29 0 0 20 0 19 0 254565943 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098212970784 140098086248960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28949] ppid=28944 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/28946/task/28949/stat : 28949 (java) S 28944 28946 27542 0 -1 4202560 148 0 0 0 29 2 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098056997672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28950] ppid=28944 vsize=9624976 CPUtime=0.31 cores=1,3,5,7
/proc/28946/task/28950/stat : 28950 (java) S 28944 28946 27542 0 -1 4202560 98 0 0 0 31 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098055944872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28951] ppid=28944 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/28946/task/28951/stat : 28951 (java) S 28944 28946 27542 0 -1 4202560 59 0 0 0 27 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098054892584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28952] ppid=28944 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/28946/task/28952/stat : 28952 (java) S 28944 28946 27542 0 -1 4202560 40 0 0 0 29 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098053839784 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28953] ppid=28944 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/28946/task/28953/stat : 28953 (java) S 28944 28946 27542 0 -1 4202560 44 0 0 0 29 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098052786472 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28954] ppid=28944 vsize=9624976 CPUtime=0.34 cores=1,3,5,7
/proc/28946/task/28954/stat : 28954 (java) S 28944 28946 27542 0 -1 4202560 49 0 0 0 32 2 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098051733672 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28946/tid=28955] ppid=28944 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/28946/task/28955/stat : 28955 (java) S 28944 28946 27542 0 -1 4202560 38 0 0 0 27 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098050681384 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28956] ppid=28944 vsize=9624976 CPUtime=0.32 cores=1,3,5,7
/proc/28946/task/28956/stat : 28956 (java) S 28944 28946 27542 0 -1 4202560 267 0 0 0 32 0 0 0 20 0 19 0 254565945 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098049628584 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28957] ppid=28944 vsize=9624976 CPUtime=3.71 cores=1,3,5,7
/proc/28946/task/28957/stat : 28957 (java) S 28944 28946 27542 0 -1 4202560 165 0 0 0 368 3 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098037218024 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28958] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28958/stat : 28958 (java) S 28944 28946 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098036164088 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28959] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28959/stat : 28959 (java) S 28944 28946 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254565946 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098035111688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28960] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28960/stat : 28960 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098034060176 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28946/tid=28961] ppid=28944 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/28946/task/28961/stat : 28961 (java) S 28944 28946 27542 0 -1 4202560 8689 0 0 0 128 2 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098033006776 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28962] ppid=28944 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/28946/task/28962/stat : 28962 (java) S 28944 28946 27542 0 -1 4202560 4323 0 0 0 57 1 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098031953976 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28963] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28963/stat : 28963 (java) S 28944 28946 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098030901880 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28946/tid=28964] ppid=28944 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/28946/task/28964/stat : 28964 (java) S 28944 28946 27542 0 -1 4202560 103 0 0 0 24 15 0 0 20 0 19 0 254565949 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098029849288 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28946/tid=28965] ppid=28944 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/28946/task/28965/stat : 28965 (java) S 28944 28946 27542 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254565982 9855975424 37096 33554432000 1073741824 1073778376 140735470103376 140098028795304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28946 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=449050
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=682896
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.57
CPU time (s): 1800.07
CPU user time (s): 1799.82
CPU system time (s): 0.25
CPU usage (%): 100.195
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.45
system time used= 0.682896
maximum resident set size= 150552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17842
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40694
involuntary context switches= 11589

runsolver used 6.10907 second user time and 14.8667 second system time

The end

Launcher Data

Begin job on node146 at 2012-05-24 20:33:30
IDJOB=3688449
IDBENCH=25007
IDSOLVER=2269
FILE ID=node146/3688449-1337884410
RUNJOBID= node146-1337871880-27559
PBS_JOBID= 14620058
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688449-1337884410/watcher-3688449-1337884410 -o /tmp/evaluation-result-3688449-1337884410/solver-3688449-1337884410 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688449-1337884410.opb

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

MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9
RANDOM SEED=481459869

node146.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29706760 kB
Buffers:          215008 kB
Cached:          2000764 kB
SwapCached:         2348 kB
Active:           525324 kB
Inactive:        1879760 kB
Active(anon):     188468 kB
Inactive(anon):     3064 kB
Active(file):     336856 kB
Inactive(file):  1876696 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:        194620 kB
Mapped:            16216 kB
Shmem:                 0 kB
Slab:             622196 kB
SReclaimable:      63752 kB
SUnreclaim:       558444 kB
KernelStack:        1608 kB
PageTables:         4660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node146 at 2012-05-24 21:03:29