Trace number 4109144

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.83 1777.16

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMe57b036b50f33fe5c7ba72826e4a4d5e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3280
Total number of constraints162
Number of soft constraints54
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 2556
Min constraint cost 1
Max constraint cost 87
Sum of constraints costs 2555
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4109144-1466341805.wbo
0.09/0.12	c reading problem ... 
0.26/0.25	c ... done. Wall clock time 0.133s.
0.26/0.25	c declared #vars     3280
0.26/0.25	c internal #vars     3334
0.26/0.25	c #constraints  162
0.26/0.25	c constraints type 
0.26/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 82
0.26/0.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 56
0.26/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 24
0.26/0.25	c 162 constraints processed.
0.26/0.25	c objective function length is 54 literals
1.07/0.75	c cleaning 2496 clauses out of 5000 with flag 33446/5000
1.61/1.20	c cleaning 4233 clauses out of 8504 with flag 72924/11000
2.13/1.67	c cleaning 5596 clauses out of 11271 with flag 121806/18000
2.96/2.40	c cleaning 6794 clauses out of 13677 with flag 174839/26002
3.89/3.39	c cleaning 7896 clauses out of 15882 with flag 246402/35001
5.18/4.63	c cleaning 8949 clauses out of 17986 with flag 314210/45001
6.88/6.34	c cleaning 9966 clauses out of 20036 with flag 382697/56000
8.88/8.37	c cleaning 10978 clauses out of 22070 with flag 469515/68000
9.88/9.34	c SATISFIABLE
9.88/9.34	c OPTIMIZING...
9.88/9.34	c Got one! Elapsed wall clock time (in seconds):9.217
9.88/9.34	o 26
10.18/9.69	c cleaning 11145 clauses out of 22326 with flag 30911/79234
10.68/10.19	c cleaning 8567 clauses out of 17180 with flag 68346/85233
11.48/10.97	c cleaning 7789 clauses out of 15614 with flag 118593/92234
12.38/11.85	c cleaning 7896 clauses out of 15825 with flag 179222/100234
13.52/12.98	c cleaning 8450 clauses out of 16930 with flag 250971/109235
14.72/14.13	c Got one! Elapsed wall clock time (in seconds):14.013
14.72/14.13	o 25
15.04/14.48	c cleaning 11466 clauses out of 22942 with flag 32537/123697
15.53/14.95	c cleaning 8723 clauses out of 17477 with flag 74868/129698
16.04/15.49	c cleaning 7872 clauses out of 15754 with flag 128220/136698
16.73/16.14	c cleaning 7933 clauses out of 15881 with flag 182720/144697
17.53/16.95	c cleaning 8468 clauses out of 16948 with flag 240526/153697
18.43/17.82	c Got one! Elapsed wall clock time (in seconds):17.7
18.43/17.82	o 14
19.26/18.69	c cleaning 11128 clauses out of 22268 with flag 27463/167485
20.06/19.46	c cleaning 8561 clauses out of 17139 with flag 68457/173484
20.66/20.01	c cleaning 7777 clauses out of 15578 with flag 123774/180484
21.36/20.71	c cleaning 7890 clauses out of 15800 with flag 175968/188483
22.16/21.58	c cleaning 8449 clauses out of 16910 with flag 248456/197483
23.26/22.64	c cleaning 9226 clauses out of 18461 with flag 330255/207483
24.46/23.88	c cleaning 10115 clauses out of 20236 with flag 421851/218484
26.07/25.43	c cleaning 11056 clauses out of 22120 with flag 517776/230483
27.29/26.68	c Got one! Elapsed wall clock time (in seconds):26.563
27.29/26.68	o 12
28.44/27.74	c cleaning 13686 clauses out of 27378 with flag 34040/246797
29.35/28.61	c cleaning 9836 clauses out of 19690 with flag 85077/252795
30.04/29.37	c cleaning 8418 clauses out of 16853 with flag 150230/259794
30.64/29.98	c cleaning 8195 clauses out of 16435 with flag 211091/267794
31.65/30.91	c cleaning 8595 clauses out of 17240 with flag 274088/276794
32.75/32.02	c cleaning 9301 clauses out of 18645 with flag 345535/286794
34.14/33.40	c cleaning 10149 clauses out of 20344 with flag 425545/297794
35.64/34.98	c cleaning 11074 clauses out of 22195 with flag 516824/309794
37.54/36.82	c cleaning 12041 clauses out of 24121 with flag 615456/322794
39.84/39.11	c cleaning 13022 clauses out of 26081 with flag 727505/336795
42.44/41.80	c cleaning 14002 clauses out of 28059 with flag 849340/351795
44.04/43.35	c Got one! Elapsed wall clock time (in seconds):43.231
44.04/43.35	o 7
44.57/43.74	c cleaning 14383 clauses out of 28778 with flag 34953/366516
44.98/44.18	c cleaning 10185 clauses out of 20394 with flag 73189/372515
45.57/44.76	c cleaning 8592 clauses out of 17209 with flag 123618/379515
46.27/45.46	c cleaning 8296 clauses out of 16617 with flag 178160/387515
47.08/46.25	c cleaning 8658 clauses out of 17321 with flag 236035/396515
47.87/47.07	c cleaning 9290 clauses out of 18663 with flag 299840/406515
49.17/48.35	c cleaning 10139 clauses out of 20373 with flag 370937/417515
50.17/49.36	c cleaning 11103 clauses out of 22234 with flag 457695/429515
50.97/50.19	c cleaning 12043 clauses out of 24131 with flag 540252/442515
51.17/50.33	c Got one! Elapsed wall clock time (in seconds):50.211
51.17/50.33	o 4
51.27/50.49	c cleaning 8872 clauses out of 17762 with flag 18131/448189
51.77/50.91	c cleaning 7439 clauses out of 14890 with flag 58724/454189
52.27/51.41	c cleaning 7204 clauses out of 14452 with flag 103355/461190
52.88/52.06	c cleaning 7603 clauses out of 15249 with flag 153770/469191
53.69/52.89	c cleaning 8301 clauses out of 16645 with flag 221253/478190
54.89/54.03	c cleaning 9152 clauses out of 18344 with flag 295681/488190
56.28/55.43	c cleaning 10068 clauses out of 20191 with flag 384897/499189
58.09/57.15	c cleaning 11039 clauses out of 22128 with flag 481435/511194
59.59/58.62	c cleaning 12012 clauses out of 24084 with flag 583562/524189
60.79/59.86	c cleaning 13020 clauses out of 26074 with flag 676361/538191
62.19/61.28	c cleaning 14002 clauses out of 28052 with flag 782409/553189
64.29/63.38	c cleaning 14989 clauses out of 30050 with flag 904940/569189
67.02/66.01	c cleaning 15996 clauses out of 32061 with flag 1032153/586189
69.71/68.71	c cleaning 17008 clauses out of 34066 with flag 1164978/604190
71.84/70.79	c cleaning 18006 clauses out of 36057 with flag 1291061/623189
76.74/75.66	c cleaning 19026 clauses out of 38051 with flag 1565690/643189
85.63/84.33	c cleaning 20009 clauses out of 40026 with flag 1858467/664190
94.89/93.47	c cleaning 21008 clauses out of 42019 with flag 2175946/686192
106.47/104.69	c cleaning 21998 clauses out of 44008 with flag 2500669/709189
118.88/116.80	c cleaning 23005 clauses out of 46011 with flag 2843183/733190
132.24/130.11	c cleaning 24002 clauses out of 48005 with flag 3183825/758189
143.23/140.91	c cleaning 24997 clauses out of 50005 with flag 3541761/784191
158.18/155.62	c cleaning 26002 clauses out of 52007 with flag 3927109/811190
170.65/167.92	c cleaning 27002 clauses out of 54006 with flag 4318874/839191
182.98/180.05	c cleaning 28003 clauses out of 56005 with flag 4722753/868192
195.81/192.69	c cleaning 28982 clauses out of 57999 with flag 5150417/898189
211.27/207.92	c cleaning 30005 clauses out of 60019 with flag 5608966/929191
227.66/224.19	c cleaning 30997 clauses out of 62012 with flag 6101385/961189
247.81/244.06	c cleaning 31994 clauses out of 64015 with flag 6629898/994189
266.30/262.26	c cleaning 32992 clauses out of 66022 with flag 7143117/1028190
286.99/282.70	c cleaning 34014 clauses out of 68030 with flag 7680195/1063190
310.08/305.44	c cleaning 35002 clauses out of 70015 with flag 8245724/1099189
327.88/322.90	c cleaning 36004 clauses out of 72015 with flag 8795211/1136191
347.10/341.84	c cleaning 37003 clauses out of 74009 with flag 9372332/1174189
362.33/356.80	c cleaning 38001 clauses out of 76007 with flag 9938763/1213190
377.31/371.58	c cleaning 39000 clauses out of 78009 with flag 10570633/1253193
398.80/392.72	c cleaning 39999 clauses out of 80005 with flag 11205366/1294189
426.98/420.58	c cleaning 40995 clauses out of 82006 with flag 11861010/1336189
460.12/453.41	c cleaning 42003 clauses out of 84011 with flag 12594229/1379189
495.35/488.34	c cleaning 43001 clauses out of 86010 with flag 13312183/1423191
526.01/518.67	c cleaning 43997 clauses out of 88008 with flag 13972968/1468190
565.61/557.80	c cleaning 45003 clauses out of 90011 with flag 14628779/1514190
607.50/599.36	c cleaning 46002 clauses out of 92008 with flag 15295163/1561190
644.35/635.76	c cleaning 47003 clauses out of 94005 with flag 16072787/1609189
684.11/675.17	c cleaning 47999 clauses out of 96002 with flag 16915534/1658189
728.51/719.07	c cleaning 48999 clauses out of 98003 with flag 17750348/1708189
769.26/759.30	c cleaning 50000 clauses out of 100006 with flag 18569336/1759191
803.52/793.12	c cleaning 51003 clauses out of 102005 with flag 19435749/1811190
842.56/831.57	c cleaning 51997 clauses out of 104001 with flag 20296043/1864189
889.40/877.90	c cleaning 52996 clauses out of 106005 with flag 21165850/1918190
919.23/907.07	c cleaning 53998 clauses out of 108009 with flag 21980889/1973190
951.67/938.92	c cleaning 54996 clauses out of 110011 with flag 22777523/2029190
997.38/984.27	c cleaning 56004 clauses out of 112016 with flag 23604541/2086191
1038.11/1024.44	c cleaning 57001 clauses out of 114011 with flag 24438728/2144190
1097.07/1082.99	c cleaning 58001 clauses out of 116011 with flag 25024634/2203191
1142.14/1127.34	c cleaning 58991 clauses out of 118008 with flag 25901146/2263189
1194.10/1178.75	c cleaning 60001 clauses out of 120018 with flag 26854334/2324190
1254.94/1238.83	c cleaning 61008 clauses out of 122016 with flag 27850742/2386189
1314.64/1297.83	c cleaning 62002 clauses out of 124009 with flag 28856561/2449190
1362.09/1344.60	c cleaning 63001 clauses out of 126007 with flag 29607922/2513190
1408.58/1390.53	c cleaning 63995 clauses out of 128005 with flag 30161529/2578189
1456.25/1437.54	c cleaning 65000 clauses out of 130010 with flag 30699511/2644189
1500.87/1481.70	c cleaning 65999 clauses out of 132012 with flag 31128266/2711191
1549.13/1529.18	c cleaning 66998 clauses out of 134013 with flag 31701598/2779191
1606.04/1585.46	c cleaning 67997 clauses out of 136013 with flag 32332792/2848189
1662.18/1641.04	c cleaning 69002 clauses out of 138016 with flag 32912229/2918189
1713.23/1691.48	c cleaning 69998 clauses out of 140014 with flag 33452801/2989189
1767.26/1744.90	c cleaning 70999 clauses out of 142016 with flag 33976719/3061189
1800.01/1777.10	c starts		: 36548
1800.01/1777.10	c conflicts		: 3115274
1800.01/1777.10	c decisions		: 38722010
1800.01/1777.10	c propagations		: 106133336
1800.01/1777.10	c inspects		: 19757573192
1800.01/1777.10	c shortcuts		: 0
1800.01/1777.10	c learnt literals	: 0
1800.01/1777.10	c learnt binary clauses	: 0
1800.01/1777.10	c learnt ternary clauses	: 0
1800.01/1777.10	c learnt constraints	: 3115274
1800.01/1777.10	c ignored constraints	: 0
1800.01/1777.10	c root simplifications	: 0
1800.01/1777.10	c removed literals (reason simplification)	: 0
1800.01/1777.10	c reason swapping (by a shorter reason)	: 0
1800.01/1777.10	c Calls to reduceDB	: 114
1800.01/1777.10	c Number of update (reduction) of LBD	: 1901819
1800.01/1777.10	c Imported unit clauses	: 0
1800.01/1777.10	c number of reductions to clauses (during analyze)	: 0
1800.01/1777.10	c number of learned constraints concerned by reduction	: 0
1800.01/1777.10	c number of learning phase by resolution	: 0
1800.01/1777.10	c number of learning phase by cutting planes	: 0
1800.01/1777.10	c speed (assignments/second)	: 59731.37540493144
1800.01/1777.10	c non guided choices	72825
1800.01/1777.13	c learnt constraints type 
1800.01/1777.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 125103
1800.01/1777.13	s SATISFIABLE
1800.01/1777.13	c Found 6 solution(s)
1800.01/1777.14	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 
1800.01/1777.14	c objective function=4
1800.01/1777.14	c Total wall clock time (in seconds): 1777.023

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109144-1466341805/watcher-4109144-1466341805 -o /tmp/evaluation-result-4109144-1466341805/solver-4109144-1466341805 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466341805-32109 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109144-1466341805.wbo 

pid=32123
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.08 0.04 0.01 2/171 32126
/proc/meminfo: memFree=31120068/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/32126/stat : 32126 (java) D 32123 32126 32093 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 36226091 2560000 46 33554432000 1073741824 1073778376 140733477993248 140733477990376 206619897127 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 625 46 37 9 0 29 0

[startup+0.10006 s]
/proc/loadavg: 0.08 0.04 0.01 2/171 32126
/proc/meminfo: memFree=31120068/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 4397 0 1 0 8 1 0 0 20 0 18 0 36226091 9787879424 5520 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2389619 5520 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200207 s]
/proc/loadavg: 0.08 0.04 0.01 2/171 32126
/proc/meminfo: memFree=31120068/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 4963 0 1 0 25 1 0 0 20 0 18 0 36226091 9787879424 6974 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2389619 6974 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300206 s]
/proc/loadavg: 0.08 0.04 0.01 2/171 32126
/proc/meminfo: memFree=31120068/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 5707 0 1 0 46 1 0 0 20 0 19 0 36226091 9856040960 8949 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2406260 8949 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625040

[startup+0.700148 s]
/proc/loadavg: 0.08 0.04 0.01 2/171 32126
/proc/meminfo: memFree=31120068/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 6474 0 1 0 105 2 0 0 20 0 19 0 36226091 9856040960 10224 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2406260 10224 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 0.08 0.04 0.01 4/214 32176
/proc/meminfo: memFree=31029204/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9625040 CPUtime=2.03 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 8922 0 1 0 201 2 0 0 20 0 19 0 36226091 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2406260 14088 2258 9 0 2396937 0
[pid=32126/tid=32128] ppid=32123 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/32126/task/32128/stat : 32128 (java) R 32123 32126 32093 0 -1 4202560 2427 0 1 0 145 1 0 0 20 0 19 0 36226092 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703648898768 139703492259115 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32131] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32131/stat : 32131 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703610399016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32132] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32132/stat : 32132 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703491750056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32133] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32133/stat : 32133 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703490697768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32134] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32134/stat : 32134 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703489644968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32135] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32135/stat : 32135 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703488592680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32136] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32136/stat : 32136 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703487539880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32137] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32137/stat : 32137 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703486487592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32138] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32138/stat : 32138 (java) S 32123 32126 32093 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703485434792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32139] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32139/stat : 32139 (java) S 32123 32126 32093 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36226095 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703003105512 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32140] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32140/stat : 32140 (java) S 32123 32126 32093 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703002051576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32141] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32141/stat : 32141 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139703000999176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32149] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32149/stat : 32149 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139702999947664 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32150] ppid=32123 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/32126/task/32150/stat : 32150 (java) S 32123 32126 32093 0 -1 4202560 3754 0 0 0 32 0 0 0 20 0 19 0 36226098 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139702998895288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32151] ppid=32123 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/32126/task/32151/stat : 32151 (java) S 32123 32126 32093 0 -1 4202560 1468 0 0 0 21 0 0 0 20 0 19 0 36226098 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139702997842488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32154] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32154/stat : 32154 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139702996790392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32156] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32156/stat : 32156 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139702995737800 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32175] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32175/stat : 32175 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226118 9856040960 14088 33554432000 1073741824 1073778376 140733477993248 139702994682792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 9625040

[startup+3.10091 s]
/proc/loadavg: 0.24 0.07 0.02 3/214 32176
/proc/meminfo: memFree=30999292/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9625040 CPUtime=3.68 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 9004 0 1 0 365 3 0 0 20 0 19 0 36226091 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2406260 18708 2258 9 0 2396937 0
[pid=32126/tid=32128] ppid=32123 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/32126/task/32128/stat : 32128 (java) R 32123 32126 32093 0 -1 4202560 2437 0 1 0 304 2 0 0 20 0 19 0 36226092 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703648907528 139703492327140 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32131] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32131/stat : 32131 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703610399016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32132] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32132/stat : 32132 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703491750056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32133] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32133/stat : 32133 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703490697768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32134] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32134/stat : 32134 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703489644968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32135] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32135/stat : 32135 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703488592680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32136] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32136/stat : 32136 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703487539880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32137] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32137/stat : 32137 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703486487592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32138] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32138/stat : 32138 (java) S 32123 32126 32093 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703485434792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32139] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32139/stat : 32139 (java) S 32123 32126 32093 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36226095 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703003105512 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32140] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32140/stat : 32140 (java) S 32123 32126 32093 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703002051576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32141] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32141/stat : 32141 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139703000999176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32149] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32149/stat : 32149 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139702999947664 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32150] ppid=32123 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/32126/task/32150/stat : 32150 (java) S 32123 32126 32093 0 -1 4202560 3754 0 0 0 33 0 0 0 20 0 19 0 36226098 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139702998895288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32151] ppid=32123 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32126/task/32151/stat : 32151 (java) S 32123 32126 32093 0 -1 4202560 1540 0 0 0 25 0 0 0 20 0 19 0 36226098 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139702997842488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32154] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32154/stat : 32154 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139702996790392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32156] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32156/stat : 32156 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139702995737800 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32175] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32175/stat : 32175 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226118 9856040960 18708 33554432000 1073741824 1073778376 140733477993248 139702994682792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 0.24 0.07 0.02 3/214 32176
/proc/meminfo: memFree=30948160/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9625040 CPUtime=6.88 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 9019 0 1 0 685 3 0 0 20 0 19 0 36226091 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2406260 25224 2259 9 0 2396937 0
[pid=32126/tid=32128] ppid=32123 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/32126/task/32128/stat : 32128 (java) R 32123 32126 32093 0 -1 4202560 2451 0 1 0 624 2 0 0 20 0 19 0 36226092 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703648898736 139703492260876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32131] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32131/stat : 32131 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703610399016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32132] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32132/stat : 32132 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703491750056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32133] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32133/stat : 32133 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703490697768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32134] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32134/stat : 32134 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703489644968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32135] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32135/stat : 32135 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703488592680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32136] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32136/stat : 32136 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703487539880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32137] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32137/stat : 32137 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703486487592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32138] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32138/stat : 32138 (java) S 32123 32126 32093 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36226094 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703485434792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32139] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32139/stat : 32139 (java) S 32123 32126 32093 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36226095 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703003105512 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32140] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32140/stat : 32140 (java) S 32123 32126 32093 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703002051576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32141] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32141/stat : 32141 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139703000999176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32149] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32149/stat : 32149 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139702999947664 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32150] ppid=32123 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/32126/task/32150/stat : 32150 (java) S 32123 32126 32093 0 -1 4202560 3754 0 0 0 33 0 0 0 20 0 19 0 36226098 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139702998895288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32151] ppid=32123 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/32126/task/32151/stat : 32151 (java) S 32123 32126 32093 0 -1 4202560 1540 0 0 0 25 0 0 0 20 0 19 0 36226098 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139702997842488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32154] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32154/stat : 32154 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139702996790392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32156] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32156/stat : 32156 (java) S 32123 32126 32093 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139702995737800 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32175] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32175/stat : 32175 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226118 9856040960 25224 33554432000 1073741824 1073778376 140733477993248 139702994682792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9625040


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

[pid=32126/tid=32140] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32140/stat : 32140 (java) S 32123 32126 32093 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 222619 33554432000 1073741824 1073778376 140733477993248 139703002051576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32141] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32141/stat : 32141 (java) S 32123 32126 32093 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 222619 33554432000 1073741824 1073778376 140733477993248 139703000999176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32149] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32149/stat : 32149 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 222619 33554432000 1073741824 1073778376 140733477993248 139702999947664 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32150] ppid=32123 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/32126/task/32150/stat : 32150 (java) S 32123 32126 32093 0 -1 4202560 3790 0 0 0 47 0 0 0 20 0 19 0 36226098 9856040960 222619 33554432000 1073741824 1073778376 140733477993248 139702998895288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32151] ppid=32123 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/32126/task/32151/stat : 32151 (java) S 32123 32126 32093 0 -1 4202560 1737 0 0 0 29 0 0 0 20 0 19 0 36226098 9856040960 222619 33554432000 1073741824 1073778376 140733477993248 139702997842488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32154] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32154/stat : 32154 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 222619 33554432000 1073741824 1073778376 140733477993248 139702996790392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32156] ppid=32123 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/32126/task/32156/stat : 32156 (java) S 32123 32126 32093 0 -1 4202560 96 0 0 0 26 27 0 0 20 0 19 0 36226098 9856040960 222619 33554432000 1073741824 1073778376 140733477993248 139702995737800 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32175] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32175/stat : 32175 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226118 9856040960 222619 33554432000 1073741824 1073778376 140733477993248 139702994682792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1683.77
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.02 2.08 1.74 3/214 32217
/proc/meminfo: memFree=29954848/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9625040 CPUtime=1744.44 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 31780 0 1 0 174088 356 0 0 20 0 19 0 36226091 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2406260 211269 2282 9 0 2396937 0
[pid=32126/tid=32128] ppid=32123 vsize=9625040 CPUtime=1707.73 cores=0,2,4,6
/proc/32126/task/32128/stat : 32128 (java) R 32123 32126 32093 0 -1 4202560 2787 0 1 0 170743 30 0 0 20 0 19 0 36226092 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703648906560 139703492276291 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32131] ppid=32123 vsize=9625040 CPUtime=3.62 cores=0,2,4,6
/proc/32126/task/32131/stat : 32131 (java) S 32123 32126 32093 0 -1 4202560 2680 0 0 0 320 42 0 0 20 0 19 0 36226094 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703610399016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32132] ppid=32123 vsize=9625040 CPUtime=3.66 cores=0,2,4,6
/proc/32126/task/32132/stat : 32132 (java) S 32123 32126 32093 0 -1 4202560 1643 0 0 0 323 43 0 0 20 0 19 0 36226094 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703491750056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32133] ppid=32123 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/32126/task/32133/stat : 32133 (java) S 32123 32126 32093 0 -1 4202560 2370 0 0 0 322 39 0 0 20 0 19 0 36226094 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703490697768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32134] ppid=32123 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/32126/task/32134/stat : 32134 (java) S 32123 32126 32093 0 -1 4202560 2559 0 0 0 350 38 0 0 20 0 19 0 36226094 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703489644968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32135] ppid=32123 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/32126/task/32135/stat : 32135 (java) S 32123 32126 32093 0 -1 4202560 2243 0 0 0 335 42 0 0 20 0 19 0 36226094 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703488592680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32136] ppid=32123 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/32126/task/32136/stat : 32136 (java) S 32123 32126 32093 0 -1 4202560 2168 0 0 0 332 39 0 0 20 0 19 0 36226094 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703487539880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32137] ppid=32123 vsize=9625040 CPUtime=3.66 cores=0,2,4,6
/proc/32126/task/32137/stat : 32137 (java) S 32123 32126 32093 0 -1 4202560 1779 0 0 0 326 40 0 0 20 0 19 0 36226094 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703486487592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32138] ppid=32123 vsize=9625040 CPUtime=3.82 cores=0,2,4,6
/proc/32126/task/32138/stat : 32138 (java) S 32123 32126 32093 0 -1 4202560 3245 0 0 0 342 40 0 0 20 0 19 0 36226094 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703485434792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32139] ppid=32123 vsize=9625040 CPUtime=6.08 cores=0,2,4,6
/proc/32126/task/32139/stat : 32139 (java) S 32123 32126 32093 0 -1 4202560 3420 0 0 0 602 6 0 0 20 0 19 0 36226095 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703003105512 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32140] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32140/stat : 32140 (java) S 32123 32126 32093 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703002051576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32141] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32141/stat : 32141 (java) S 32123 32126 32093 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139703000999176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32149] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32149/stat : 32149 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139702999947664 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32150] ppid=32123 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/32126/task/32150/stat : 32150 (java) S 32123 32126 32093 0 -1 4202560 3790 0 0 0 47 0 0 0 20 0 19 0 36226098 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139702998895288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32151] ppid=32123 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/32126/task/32151/stat : 32151 (java) S 32123 32126 32093 0 -1 4202560 1737 0 0 0 29 0 0 0 20 0 19 0 36226098 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139702997842488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32154] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32154/stat : 32154 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139702996790392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32156] ppid=32123 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/32126/task/32156/stat : 32156 (java) S 32123 32126 32093 0 -1 4202560 100 0 0 0 27 29 0 0 20 0 19 0 36226098 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139702995737800 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32175] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32175/stat : 32175 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226118 9856040960 211269 33554432000 1073741824 1073778376 140733477993248 139702994682792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1744.44
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1777.1 s]
/proc/loadavg: 2.07 2.08 1.75 3/213 32218
/proc/meminfo: memFree=29808972/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 32330 0 1 0 179626 375 0 0 20 0 19 0 36226091 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2406260 224689 2282 9 0 2396937 0
[pid=32126/tid=32128] ppid=32123 vsize=9625040 CPUtime=1761.82 cores=0,2,4,6
/proc/32126/task/32128/stat : 32128 (java) R 32123 32126 32093 0 -1 4202560 2796 0 1 0 176151 31 0 0 20 0 19 0 36226092 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703648906560 139703492326656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32131] ppid=32123 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/32126/task/32131/stat : 32131 (java) S 32123 32126 32093 0 -1 4202560 2706 0 0 0 333 43 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703610399016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32132] ppid=32123 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/32126/task/32132/stat : 32132 (java) S 32123 32126 32093 0 -1 4202560 1682 0 0 0 333 45 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703491750056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32133] ppid=32123 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/32126/task/32133/stat : 32133 (java) S 32123 32126 32093 0 -1 4202560 2393 0 0 0 333 41 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703490697768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32134] ppid=32123 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/32126/task/32134/stat : 32134 (java) S 32123 32126 32093 0 -1 4202560 2576 0 0 0 361 39 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703489644968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32135] ppid=32123 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/32126/task/32135/stat : 32135 (java) S 32123 32126 32093 0 -1 4202560 2293 0 0 0 348 45 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703488592680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32136] ppid=32123 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/32126/task/32136/stat : 32136 (java) S 32123 32126 32093 0 -1 4202560 2240 0 0 0 344 43 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703487539880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32137] ppid=32123 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/32126/task/32137/stat : 32137 (java) S 32123 32126 32093 0 -1 4202560 1817 0 0 0 338 42 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703486487592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32138] ppid=32123 vsize=9625040 CPUtime=3.96 cores=0,2,4,6
/proc/32126/task/32138/stat : 32138 (java) S 32123 32126 32093 0 -1 4202560 3306 0 0 0 353 43 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703485434792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32139] ppid=32123 vsize=9625040 CPUtime=6.46 cores=0,2,4,6
/proc/32126/task/32139/stat : 32139 (java) S 32123 32126 32093 0 -1 4202560 3631 0 0 0 640 6 0 0 20 0 19 0 36226095 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703003105512 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32140] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32140/stat : 32140 (java) S 32123 32126 32093 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703002051576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32141] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32141/stat : 32141 (java) S 32123 32126 32093 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703000999176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32149] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32149/stat : 32149 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702999947664 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32150] ppid=32123 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/32126/task/32150/stat : 32150 (java) S 32123 32126 32093 0 -1 4202560 3790 0 0 0 47 0 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702998895288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32151] ppid=32123 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/32126/task/32151/stat : 32151 (java) S 32123 32126 32093 0 -1 4202560 1737 0 0 0 29 0 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702997842488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32154] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32154/stat : 32154 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702996790392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32156] ppid=32123 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/32126/task/32156/stat : 32156 (java) S 32123 32126 32093 0 -1 4202560 104 0 0 0 29 29 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702995737800 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32175] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32175/stat : 32175 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226118 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702994682792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1777.1 s]
/proc/loadavg: 2.07 2.08 1.75 3/213 32218
/proc/meminfo: memFree=29808972/32872528 swapFree=534252/566956
[pid=32126] ppid=32123 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/32126/stat : 32126 (java) S 32123 32126 32093 0 -1 4202496 32330 0 1 0 179626 375 0 0 20 0 19 0 36226091 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 140733477984384 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32126/statm: 2406260 224689 2282 9 0 2396937 0
[pid=32126/tid=32128] ppid=32123 vsize=9625040 CPUtime=1761.82 cores=0,2,4,6
/proc/32126/task/32128/stat : 32128 (java) R 32123 32126 32093 0 -1 4202560 2796 0 1 0 176151 31 0 0 20 0 19 0 36226092 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703648906560 139703492326656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32131] ppid=32123 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/32126/task/32131/stat : 32131 (java) S 32123 32126 32093 0 -1 4202560 2706 0 0 0 333 43 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703610399016 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32132] ppid=32123 vsize=9625040 CPUtime=3.78 cores=0,2,4,6
/proc/32126/task/32132/stat : 32132 (java) S 32123 32126 32093 0 -1 4202560 1682 0 0 0 333 45 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703491750056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32133] ppid=32123 vsize=9625040 CPUtime=3.74 cores=0,2,4,6
/proc/32126/task/32133/stat : 32133 (java) S 32123 32126 32093 0 -1 4202560 2393 0 0 0 333 41 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703490697768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=32126/tid=32134] ppid=32123 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/32126/task/32134/stat : 32134 (java) S 32123 32126 32093 0 -1 4202560 2576 0 0 0 361 39 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703489644968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32135] ppid=32123 vsize=9625040 CPUtime=3.93 cores=0,2,4,6
/proc/32126/task/32135/stat : 32135 (java) S 32123 32126 32093 0 -1 4202560 2293 0 0 0 348 45 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703488592680 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32136] ppid=32123 vsize=9625040 CPUtime=3.87 cores=0,2,4,6
/proc/32126/task/32136/stat : 32136 (java) S 32123 32126 32093 0 -1 4202560 2240 0 0 0 344 43 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703487539880 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32137] ppid=32123 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/32126/task/32137/stat : 32137 (java) S 32123 32126 32093 0 -1 4202560 1817 0 0 0 338 42 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703486487592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32138] ppid=32123 vsize=9625040 CPUtime=3.96 cores=0,2,4,6
/proc/32126/task/32138/stat : 32138 (java) S 32123 32126 32093 0 -1 4202560 3306 0 0 0 353 43 0 0 20 0 19 0 36226094 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703485434792 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32139] ppid=32123 vsize=9625040 CPUtime=6.46 cores=0,2,4,6
/proc/32126/task/32139/stat : 32139 (java) S 32123 32126 32093 0 -1 4202560 3631 0 0 0 640 6 0 0 20 0 19 0 36226095 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703003105512 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32140] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32140/stat : 32140 (java) S 32123 32126 32093 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703002051576 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32141] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32141/stat : 32141 (java) S 32123 32126 32093 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36226096 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139703000999176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32149] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32149/stat : 32149 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702999947664 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32150] ppid=32123 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/32126/task/32150/stat : 32150 (java) S 32123 32126 32093 0 -1 4202560 3790 0 0 0 47 0 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702998895288 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32151] ppid=32123 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/32126/task/32151/stat : 32151 (java) S 32123 32126 32093 0 -1 4202560 1737 0 0 0 29 0 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702997842488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=32126/tid=32154] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32154/stat : 32154 (java) S 32123 32126 32093 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702996790392 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32126/tid=32156] ppid=32123 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/32126/task/32156/stat : 32156 (java) S 32123 32126 32093 0 -1 4202560 104 0 0 0 29 29 0 0 20 0 19 0 36226098 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702995737800 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=32126/tid=32175] ppid=32123 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/32126/task/32175/stat : 32175 (java) S 32123 32126 32093 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36226118 9856040960 224689 33554432000 1073741824 1073778376 140733477993248 139702994682792 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1777.16
CPU time (s): 1800.83
CPU user time (s): 1796.62
CPU system time (s): 4.21136
CPU usage (%): 101.332
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.62
system time used= 4.21136
maximum resident set size= 1005768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32436
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47417
involuntary context switches= 44362

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9597 second user time and 8.64569 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-19 15:10:05
IDJOB=4109144
IDBENCH=78674
IDSOLVER=2551
FILE ID=node138/4109144-1466341805
RUNJOBID= node138-1466341805-32109
PBS_JOBID= 19922015
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109144-1466341805/watcher-4109144-1466341805 -o /tmp/evaluation-result-4109144-1466341805/solver-4109144-1466341805 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466341805-32109 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4109144-1466341805.wbo

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

MD5SUM BENCH= e57b036b50f33fe5c7ba72826e4a4d5e
RANDOM SEED=1308387086

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31121356 kB
Buffers:          173684 kB
Cached:           268340 kB
SwapCached:         1136 kB
Active:           112776 kB
Inactive:         332020 kB
Active(anon):       1956 kB
Inactive(anon):     3144 kB
Active(file):     110820 kB
Inactive(file):   328876 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099724 kB
Dirty:               832 kB
Writeback:             4 kB
AnonPages:        569384 kB
Mapped:             7012 kB
Shmem:                 0 kB
Slab:             609480 kB
SReclaimable:      53092 kB
SUnreclaim:       556388 kB
KernelStack:        1368 kB
PageTables:         5012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     663568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node138 at 2016-06-19 15:39:42