Trace number 3718388

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.06 1783.86

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM95c5d91e3a0ca992efaa2a36118a1c06
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1.41578
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints160
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 8094
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 8093
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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-2012 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.00/0.09	c version 2.3.2.v20120528
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3718388-1338252392.wbo
0.08/0.12	c reading problem ... 
0.27/0.25	c ... done. Wall clock time 0.138s.
0.27/0.25	c declared #vars     3150
0.27/0.25	c internal #vars     3310
0.27/0.25	c #constraints  160
0.27/0.25	c constraints type 
0.27/0.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
0.27/0.25	c ignored satisfied constraints => 1
0.27/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.27/0.25	c 161 constraints processed.
0.27/0.25	c objective function length is 160 literals
0.75/0.40	c SATISFIABLE
0.75/0.40	c OPTIMIZING...
0.75/0.40	c Got one! Elapsed wall clock time (in seconds):0.281
0.75/0.40	o 54
0.75/0.44	c Got one! Elapsed wall clock time (in seconds):0.321
0.75/0.44	o 47
0.75/0.48	c Got one! Elapsed wall clock time (in seconds):0.359
0.75/0.48	o 34
0.94/0.53	c Got one! Elapsed wall clock time (in seconds):0.41
0.94/0.53	o 26
0.94/0.58	c Got one! Elapsed wall clock time (in seconds):0.466
0.94/0.58	o 24
1.31/0.70	c Got one! Elapsed wall clock time (in seconds):0.587
1.31/0.70	o 15
1.44/0.82	c Got one! Elapsed wall clock time (in seconds):0.705
1.44/0.82	o 14
1.64/1.04	c Got one! Elapsed wall clock time (in seconds):0.926
1.64/1.04	o 10
1.74/1.16	c cleaning 5048 clauses out of 10109 with flag 7038/10109
2.31/1.62	c cleaning 5519 clauses out of 11058 with flag 42516/16106
2.93/2.23	c cleaning 6238 clauses out of 12538 with flag 88640/23105
3.62/2.88	c cleaning 7117 clauses out of 14300 with flag 140751/31105
4.43/3.69	c cleaning 8046 clauses out of 16184 with flag 200381/40106
5.74/4.91	c cleaning 9033 clauses out of 18137 with flag 272828/50105
6.96/6.12	c cleaning 10003 clauses out of 20104 with flag 352486/61105
8.28/7.48	c cleaning 10992 clauses out of 22102 with flag 431167/73106
9.71/8.82	c cleaning 12051 clauses out of 24111 with flag 515734/86107
11.83/10.96	c cleaning 12992 clauses out of 26059 with flag 630792/100106
14.35/13.41	c cleaning 14018 clauses out of 28069 with flag 744274/115108
16.16/15.27	c cleaning 14982 clauses out of 30049 with flag 857355/131106
18.49/17.60	c cleaning 16023 clauses out of 32067 with flag 986414/148106
21.63/20.69	c cleaning 17013 clauses out of 34044 with flag 1127931/166106
23.75/22.75	c cleaning 17989 clauses out of 36030 with flag 1259800/185105
26.52/25.48	c cleaning 19007 clauses out of 38042 with flag 1403874/205106
29.54/28.46	c cleaning 20002 clauses out of 40034 with flag 1580748/226105
33.08/31.92	c cleaning 21004 clauses out of 42033 with flag 1761106/248106
35.90/34.76	c cleaning 21993 clauses out of 44031 with flag 1943402/271108
39.56/38.33	c cleaning 22950 clauses out of 46035 with flag 2125975/295105
44.20/42.97	c cleaning 24020 clauses out of 48085 with flag 2349766/320105
49.14/47.80	c cleaning 25017 clauses out of 50065 with flag 2595120/346105
55.30/53.91	c cleaning 26016 clauses out of 52055 with flag 2831765/373112
59.83/58.44	c cleaning 26997 clauses out of 54032 with flag 3069614/401105
63.60/62.15	c cleaning 27992 clauses out of 56037 with flag 3288004/430107
69.33/67.85	c cleaning 29012 clauses out of 58044 with flag 3569112/460106
76.21/74.63	c cleaning 29986 clauses out of 60032 with flag 3830573/491106
85.12/83.47	c cleaning 30998 clauses out of 62046 with flag 4130586/523106
94.40/92.62	c cleaning 32008 clauses out of 64052 with flag 4451035/556110
102.05/100.20	c cleaning 33012 clauses out of 66039 with flag 4807902/590105
107.73/105.85	c cleaning 33982 clauses out of 68030 with flag 5070802/625108
114.99/113.05	c cleaning 35008 clauses out of 70047 with flag 5398025/661107
121.87/119.83	c cleaning 36003 clauses out of 72037 with flag 5733898/698105
129.75/127.61	c cleaning 37005 clauses out of 74036 with flag 6066056/736107
140.28/138.17	c cleaning 38001 clauses out of 76030 with flag 6370118/775106
149.57/147.34	c cleaning 39003 clauses out of 78028 with flag 6722912/815105
161.83/159.57	c cleaning 40003 clauses out of 80028 with flag 7145615/856108
170.28/167.95	c cleaning 40994 clauses out of 82022 with flag 7575369/898105
177.75/175.38	c cleaning 42007 clauses out of 84028 with flag 7925928/941105
189.13/186.66	c cleaning 42986 clauses out of 86022 with flag 8296696/985106
199.61/197.00	c cleaning 44009 clauses out of 88037 with flag 8690934/1030107
212.18/209.52	c cleaning 44998 clauses out of 90026 with flag 9156166/1076105
225.09/222.35	c cleaning 46007 clauses out of 92031 with flag 9581813/1123108
238.77/235.97	c cleaning 46997 clauses out of 94022 with flag 10104676/1171106
252.42/249.56	c cleaning 48001 clauses out of 96024 with flag 10509089/1220105
267.41/264.43	c cleaning 49001 clauses out of 98023 with flag 10927449/1270105
283.28/280.22	c cleaning 50001 clauses out of 100024 with flag 11404157/1321107
291.76/288.64	c cleaning 51003 clauses out of 102021 with flag 11800428/1373105
302.24/299.10	c cleaning 51994 clauses out of 104019 with flag 12262936/1426106
316.02/312.74	c cleaning 52997 clauses out of 106025 with flag 12770880/1480106
331.73/328.38	c cleaning 54005 clauses out of 108028 with flag 13268974/1535106
354.02/350.50	c cleaning 55000 clauses out of 110022 with flag 13648788/1591105
370.62/367.04	c cleaning 55993 clauses out of 112024 with flag 14126022/1648107
390.30/386.69	c cleaning 57007 clauses out of 114031 with flag 14639693/1706107
411.04/407.22	c cleaning 57996 clauses out of 116022 with flag 15298573/1765105
430.72/426.83	c cleaning 58998 clauses out of 118026 with flag 15900473/1825105
460.07/456.00	c cleaning 60007 clauses out of 120031 with flag 16481501/1886108
480.17/476.07	c cleaning 61000 clauses out of 122021 with flag 17164253/1948105
495.96/491.73	c cleaning 61987 clauses out of 124021 with flag 17782306/2011105
510.16/505.81	c cleaning 62997 clauses out of 126036 with flag 18361255/2075107
528.26/523.82	c cleaning 64002 clauses out of 128038 with flag 18929862/2140106
544.76/540.27	c cleaning 65008 clauses out of 130039 with flag 19541984/2206109
571.67/567.02	c cleaning 65999 clauses out of 132027 with flag 20191841/2273105
595.67/590.99	c cleaning 66999 clauses out of 134030 with flag 20845492/2341107
620.81/615.91	c cleaning 68004 clauses out of 136034 with flag 21605708/2410110
639.09/634.12	c cleaning 68989 clauses out of 138025 with flag 22332289/2480105
669.94/664.75	c cleaning 70004 clauses out of 140037 with flag 23078453/2551106
699.87/694.68	c cleaning 71003 clauses out of 142034 with flag 23925137/2623107
717.39/712.04	c cleaning 72004 clauses out of 144029 with flag 24668474/2696105
753.28/747.70	c cleaning 73000 clauses out of 146025 with flag 25443743/2770105
787.67/781.98	c cleaning 74001 clauses out of 148026 with flag 26309167/2845106
818.54/812.68	c cleaning 75004 clauses out of 150025 with flag 27156651/2921106
842.20/836.12	c cleaning 75974 clauses out of 152021 with flag 28031129/2998106
860.93/854.56	c cleaning 77014 clauses out of 154046 with flag 28677167/3076105
880.57/873.88	c cleaning 78002 clauses out of 156032 with flag 29424973/3155105
904.29/897.31	c cleaning 78994 clauses out of 158030 with flag 30289396/3235105
927.05/919.87	c cleaning 80010 clauses out of 160038 with flag 31109585/3316107
961.88/954.41	c cleaning 81005 clauses out of 162029 with flag 32033406/3398108
988.52/980.89	c cleaning 81981 clauses out of 164023 with flag 32907426/3481107
1024.22/1016.30	c cleaning 83001 clauses out of 166042 with flag 33809352/3565107
1057.38/1049.24	c cleaning 84002 clauses out of 168039 with flag 34919247/3650105
1097.99/1089.65	c cleaning 85008 clauses out of 170039 with flag 36003418/3736107
1138.19/1129.68	c cleaning 86003 clauses out of 172029 with flag 37012281/3823105
1176.09/1167.33	c cleaning 86997 clauses out of 174026 with flag 38123234/3911105
1206.78/1197.81	c cleaning 88007 clauses out of 176029 with flag 39470280/4000105
1254.29/1245.00	c cleaning 89003 clauses out of 178023 with flag 40438671/4090106
1295.13/1285.55	c cleaning 89997 clauses out of 180021 with flag 41343321/4181107
1334.97/1325.01	c cleaning 91000 clauses out of 182022 with flag 42369555/4273105
1373.15/1362.94	c cleaning 92003 clauses out of 184027 with flag 43508982/4366110
1407.63/1397.15	c cleaning 93001 clauses out of 186022 with flag 44666524/4460108
1429.91/1418.91	c cleaning 93991 clauses out of 188019 with flag 45518375/4555106
1458.93/1447.40	c cleaning 95001 clauses out of 190028 with flag 46458183/4651106
1499.83/1487.70	c cleaning 95995 clauses out of 192026 with flag 47400662/4748105
1536.01/1523.36	c cleaning 96999 clauses out of 194032 with flag 48347872/4846106
1578.23/1565.11	c cleaning 97996 clauses out of 196033 with flag 49511828/4945106
1640.37/1626.60	c cleaning 98999 clauses out of 198036 with flag 50451106/5045105
1693.41/1678.97	c cleaning 100004 clauses out of 200037 with flag 51421429/5146105
1749.17/1733.72	c cleaning 101002 clauses out of 202033 with flag 52395266/5248105
1800.06/1783.81	c starts		: 282
1800.06/1783.81	c conflicts		: 5349393
1800.06/1783.81	c decisions		: 6804374
1800.06/1783.81	c propagations		: 282120989
1800.06/1783.81	c inspects		: 20619461441
1800.06/1783.81	c shortcuts		: 0
1800.06/1783.81	c learnt literals	: 0
1800.06/1783.81	c learnt binary clauses	: 0
1800.06/1783.81	c learnt ternary clauses	: 0
1800.06/1783.81	c learnt constraints	: 5349393
1800.06/1783.81	c ignored constraints	: 0
1800.06/1783.81	c root simplifications	: 0
1800.06/1783.81	c removed literals (reason simplification)	: 0
1800.06/1783.81	c reason swapping (by a shorter reason)	: 0
1800.06/1783.81	c Calls to reduceDB	: 98
1800.06/1783.81	c Number of update (reduction) of LBD	: 3391366
1800.06/1783.81	c number of reductions to clauses (during analyze)	: 0
1800.06/1783.81	c number of learned constraints concerned by reduction	: 0
1800.06/1783.81	c number of learning phase by resolution	: 0
1800.06/1783.81	c number of learning phase by cutting planes	: 0
1800.06/1783.81	c speed (assignments/second)	: 158179.7334188558
1800.06/1783.81	c non guided choices	138886
1800.06/1783.84	c learnt constraints type 
1800.06/1783.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 202339
1800.06/1783.84	c constraints type 
1800.06/1783.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 90
1800.06/1783.84	c ignored satisfied constraints => 1
1800.06/1783.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
1800.06/1783.84	c 162 constraints processed.
1800.06/1783.84	s SATISFIABLE
1800.06/1783.85	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 
1800.06/1783.86	c objective function=10
1800.06/1783.86	c Total wall clock time (in seconds): 1783.739

Verifier Data 

OK	10

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718388-1338252392/watcher-3718388-1338252392 -o /tmp/evaluation-result-3718388-1338252392/solver-3718388-1338252392 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718388-1338252392.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.04 1.97 3/194 9814
/proc/meminfo: memFree=30758252/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9814/stat : 9814 (java) D 9812 9814 6647 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291363567 9515008 182 33554432000 1073741824 1073778376 140735894389216 140735894380248 209883840181 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/9814/statm: 2323 182 140 9 0 71 0

[startup+0.00634205 s]
/proc/loadavg: 2.02 2.04 1.97 3/194 9814
/proc/meminfo: memFree=30758252/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9814/stat : 9814 (java) D 9812 9814 6647 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291363567 9515008 182 33554432000 1073741824 1073778376 140735894389216 140735894380248 209883840181 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/9814/statm: 2323 182 140 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292

[startup+0.100195 s]
/proc/loadavg: 2.02 2.04 1.97 3/194 9814
/proc/meminfo: memFree=30758252/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 4315 0 1 0 7 1 0 0 20 0 18 0 291363567 9787817984 5001 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2389604 5001 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300221 s]
/proc/loadavg: 2.02 2.04 1.97 3/194 9814
/proc/meminfo: memFree=30758252/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 5780 0 1 0 45 2 0 0 20 0 19 0 291363567 9855979520 8046 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2406245 8046 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9624980

[startup+0.700229 s]
/proc/loadavg: 2.02 2.04 1.97 3/194 9814
/proc/meminfo: memFree=30758252/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9624980 CPUtime=1.31 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 10377 0 1 0 128 3 0 0 20 0 19 0 291363567 9855979520 12610 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2406245 12610 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9624980

[startup+1.50062 s]
/proc/loadavg: 2.02 2.04 1.97 3/213 9833
/proc/meminfo: memFree=30712072/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9624980 CPUtime=2.21 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 11039 0 1 0 217 4 0 0 20 0 19 0 291363567 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2406245 18336 2268 9 0 2396937 0
[pid=9814/tid=9816] ppid=9812 vsize=9624980 CPUtime=1.44 cores=0,2,4,6
/proc/9814/task/9816/stat : 9816 (java) R 9812 9814 6647 0 -1 4202560 2527 0 1 0 142 2 0 0 20 0 19 0 291363568 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650455933304 139650396133445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9817] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9817/stat : 9817 (java) S 9812 9814 6647 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650394663208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9818] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9818/stat : 9818 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650393610408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9819] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9819/stat : 9819 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650297182760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9820] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9820/stat : 9820 (java) S 9812 9814 6647 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650296129960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9821] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9821/stat : 9821 (java) S 9812 9814 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650295077672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9822] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9822/stat : 9822 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650294024872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9823] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9823/stat : 9823 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650292972584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9824] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9824/stat : 9824 (java) S 9812 9814 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650291919784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9825] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9825/stat : 9825 (java) S 9812 9814 6647 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 291363570 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650279721192 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9826] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9826/stat : 9826 (java) S 9812 9814 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650278667256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9827] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9827/stat : 9827 (java) S 9812 9814 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650277614856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9828] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9828/stat : 9828 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650276563344 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9829] ppid=9812 vsize=9624980 CPUtime=0.31 cores=0,2,4,6
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 6647 0 -1 4202560 2681 0 0 0 31 0 0 0 20 0 19 0 291363573 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650275510968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=9624980 CPUtime=0.38 cores=0,2,4,6
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 6647 0 -1 4202560 4585 0 0 0 38 0 0 0 20 0 19 0 291363573 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650274458168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650273406072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650272353480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9833] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9833/stat : 9833 (java) S 9812 9814 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291363594 9855979520 18336 33554432000 1073741824 1073778376 140737104112896 139650271298472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9624980

[startup+3.10073 s]
/proc/loadavg: 2.02 2.04 1.97 3/213 9833
/proc/meminfo: memFree=30682772/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9624980 CPUtime=3.93 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 11084 0 1 0 388 5 0 0 20 0 19 0 291363567 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2406245 21943 2268 9 0 2396937 0
[pid=9814/tid=9816] ppid=9812 vsize=9624980 CPUtime=2.96 cores=0,2,4,6
/proc/9814/task/9816/stat : 9816 (java) R 9812 9814 6647 0 -1 4202560 2528 0 1 0 294 2 0 0 20 0 19 0 291363568 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650455933216 139650396195049 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9817] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9817/stat : 9817 (java) S 9812 9814 6647 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650394663208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9818] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9818/stat : 9818 (java) S 9812 9814 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650393610408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9819] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9819/stat : 9819 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650297182760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9820] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9820/stat : 9820 (java) S 9812 9814 6647 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650296129960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9821] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9821/stat : 9821 (java) S 9812 9814 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650295077672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9822] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9822/stat : 9822 (java) S 9812 9814 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650294024872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9823] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9823/stat : 9823 (java) S 9812 9814 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650292972584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9824] ppid=9812 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9814/task/9824/stat : 9824 (java) S 9812 9814 6647 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291363569 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650291919784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9825] ppid=9812 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/9814/task/9825/stat : 9825 (java) S 9812 9814 6647 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 19 0 291363570 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650279721192 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9826] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9826/stat : 9826 (java) S 9812 9814 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650278667256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9827] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9827/stat : 9827 (java) S 9812 9814 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650277614856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9828] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9828/stat : 9828 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650276563344 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9829] ppid=9812 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 6647 0 -1 4202560 2683 0 0 0 32 0 0 0 20 0 19 0 291363573 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650275510968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 6647 0 -1 4202560 4586 0 0 0 44 0 0 0 20 0 19 0 291363573 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650274458168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650273406072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650272353480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9833] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9833/stat : 9833 (java) S 9812 9814 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291363594 9855979520 21943 33554432000 1073741824 1073778376 140737104112896 139650271298472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 9624980

[startup+6.30072 s]
/proc/loadavg: 2.02 2.04 1.97 3/213 9833
/proc/meminfo: memFree=30660556/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9624980 CPUtime=7.18 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 11112 0 1 0 712 6 0 0 20 0 19 0 291363567 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2406245 24444 2268 9 0 2396937 0
[pid=9814/tid=9816] ppid=9812 vsize=9624980 CPUtime=6.09 cores=0,2,4,6
/proc/9814/task/9816/stat : 9816 (java) R 9812 9814 6647 0 -1 4202560 2532 0 1 0 607 2 0 0 20 0 19 0 291363568 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650455933216 139650396300921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9817] ppid=9812 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9814/task/9817/stat : 9817 (java) S 9812 9814 6647 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 291363569 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650394663208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9818] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9818/stat : 9818 (java) S 9812 9814 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650393610408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9819] ppid=9812 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/9814/task/9819/stat : 9819 (java) S 9812 9814 6647 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 291363569 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650297182760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9820] ppid=9812 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9814/task/9820/stat : 9820 (java) S 9812 9814 6647 0 -1 4202560 28 0 0 0 1 0 0 0 20 0 19 0 291363569 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650296129960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9821] ppid=9812 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9814/task/9821/stat : 9821 (java) S 9812 9814 6647 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 291363569 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650295077672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9822] ppid=9812 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9814/task/9822/stat : 9822 (java) S 9812 9814 6647 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 291363569 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650294024872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9823] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9823/stat : 9823 (java) S 9812 9814 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291363569 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650292972584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9824] ppid=9812 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/9814/task/9824/stat : 9824 (java) S 9812 9814 6647 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 291363569 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650291919784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9825] ppid=9812 vsize=9624980 CPUtime=0.09 cores=0,2,4,6
/proc/9814/task/9825/stat : 9825 (java) S 9812 9814 6647 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 19 0 291363570 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650279721192 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9826] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9826/stat : 9826 (java) S 9812 9814 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650278667256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9827] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9827/stat : 9827 (java) S 9812 9814 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650277614856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9828] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9828/stat : 9828 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650276563344 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9829] ppid=9812 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 6647 0 -1 4202560 2683 0 0 0 32 0 0 0 20 0 19 0 291363573 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650275510968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 6647 0 -1 4202560 4586 0 0 0 44 0 0 0 20 0 19 0 291363573 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650274458168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650273406072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650272353480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9833] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9833/stat : 9833 (java) S 9812 9814 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291363594 9855979520 24444 33554432000 1073741824 1073778376 140737104112896 139650271298472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=9814/tid=9829] ppid=9812 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 6647 0 -1 4202560 2683 0 0 0 32 0 0 0 20 0 19 0 291363573 9855979520 201122 33554432000 1073741824 1073778376 140737104112896 139650275510968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 6647 0 -1 4202560 4590 0 0 0 45 0 0 0 20 0 19 0 291363573 9855979520 201122 33554432000 1073741824 1073778376 140737104112896 139650274458168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 201122 33554432000 1073741824 1073778376 140737104112896 139650273406072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 6647 0 -1 4202560 95 0 0 0 23 34 0 0 20 0 19 0 291363573 9855979520 201122 33554432000 1073741824 1073778376 140737104112896 139650272353480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9833] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9833/stat : 9833 (java) S 9812 9814 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291363594 9855979520 201122 33554432000 1073741824 1073778376 140737104112896 139650271298472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1676.66
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.23 2.08 2.02 3/214 9930
/proc/meminfo: memFree=30002036/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9624980 CPUtime=1737.62 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 15577 0 1 0 173660 102 0 0 20 0 19 0 291363567 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2406245 201132 2269 9 0 2396937 0
[pid=9814/tid=9816] ppid=9812 vsize=9624980 CPUtime=1704.65 cores=0,2,4,6
/proc/9814/task/9816/stat : 9816 (java) R 9812 9814 6647 0 -1 4202560 2736 0 1 0 170436 29 0 0 20 0 19 0 291363568 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650455932272 139650396194987 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9817] ppid=9812 vsize=9624980 CPUtime=2.58 cores=0,2,4,6
/proc/9814/task/9817/stat : 9817 (java) S 9812 9814 6647 0 -1 4202560 407 0 0 0 248 10 0 0 20 0 19 0 291363569 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650394663208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9818] ppid=9812 vsize=9624980 CPUtime=2.61 cores=0,2,4,6
/proc/9814/task/9818/stat : 9818 (java) S 9812 9814 6647 0 -1 4202560 358 0 0 0 252 9 0 0 20 0 19 0 291363569 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650393610408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9819] ppid=9812 vsize=9624980 CPUtime=2.53 cores=0,2,4,6
/proc/9814/task/9819/stat : 9819 (java) S 9812 9814 6647 0 -1 4202560 267 0 0 0 243 10 0 0 20 0 19 0 291363569 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650297182760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9820] ppid=9812 vsize=9624980 CPUtime=2.45 cores=0,2,4,6
/proc/9814/task/9820/stat : 9820 (java) S 9812 9814 6647 0 -1 4202560 430 0 0 0 233 12 0 0 20 0 19 0 291363569 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650296129960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9821] ppid=9812 vsize=9624980 CPUtime=2.37 cores=0,2,4,6
/proc/9814/task/9821/stat : 9821 (java) S 9812 9814 6647 0 -1 4202560 720 0 0 0 227 10 0 0 20 0 19 0 291363569 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650295077672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9822] ppid=9812 vsize=9624980 CPUtime=2.57 cores=0,2,4,6
/proc/9814/task/9822/stat : 9822 (java) S 9812 9814 6647 0 -1 4202560 496 0 0 0 247 10 0 0 20 0 19 0 291363569 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650294024872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9823] ppid=9812 vsize=9624980 CPUtime=2.46 cores=0,2,4,6
/proc/9814/task/9823/stat : 9823 (java) S 9812 9814 6647 0 -1 4202560 406 0 0 0 237 9 0 0 20 0 19 0 291363569 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650292972584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9824] ppid=9812 vsize=9624980 CPUtime=2.39 cores=0,2,4,6
/proc/9814/task/9824/stat : 9824 (java) S 9812 9814 6647 0 -1 4202560 456 0 0 0 229 10 0 0 20 0 19 0 291363569 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650291919784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9825] ppid=9812 vsize=9624980 CPUtime=7.66 cores=0,2,4,6
/proc/9814/task/9825/stat : 9825 (java) S 9812 9814 6647 0 -1 4202560 748 0 0 0 763 3 0 0 20 0 19 0 291363570 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650279721192 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9826] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9826/stat : 9826 (java) S 9812 9814 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650278667256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9827] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9827/stat : 9827 (java) S 9812 9814 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650277614856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9828] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9828/stat : 9828 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650276563344 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9829] ppid=9812 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 6647 0 -1 4202560 2683 0 0 0 32 0 0 0 20 0 19 0 291363573 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650275510968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 6647 0 -1 4202560 4590 0 0 0 45 0 0 0 20 0 19 0 291363573 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650274458168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650273406072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 6647 0 -1 4202560 99 0 0 0 25 34 0 0 20 0 19 0 291363573 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650272353480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9833] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9833/stat : 9833 (java) S 9812 9814 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291363594 9855979520 201132 33554432000 1073741824 1073778376 140737104112896 139650271298472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1737.62
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/214 9930
/proc/meminfo: memFree=30032736/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9624980 CPUtime=1798.55 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 15613 0 1 0 179751 104 0 0 20 0 19 0 291363567 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2406245 194958 2269 9 0 2396937 0
[pid=9814/tid=9816] ppid=9812 vsize=9624980 CPUtime=1764 cores=0,2,4,6
/proc/9814/task/9816/stat : 9816 (java) R 9812 9814 6647 0 -1 4202560 2746 0 1 0 176369 31 0 0 20 0 19 0 291363568 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650455932272 139650396138403 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9817] ppid=9812 vsize=9624980 CPUtime=2.69 cores=0,2,4,6
/proc/9814/task/9817/stat : 9817 (java) S 9812 9814 6647 0 -1 4202560 407 0 0 0 259 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650394663208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9818] ppid=9812 vsize=9624980 CPUtime=2.77 cores=0,2,4,6
/proc/9814/task/9818/stat : 9818 (java) S 9812 9814 6647 0 -1 4202560 358 0 0 0 268 9 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650393610408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9819] ppid=9812 vsize=9624980 CPUtime=2.66 cores=0,2,4,6
/proc/9814/task/9819/stat : 9819 (java) S 9812 9814 6647 0 -1 4202560 267 0 0 0 256 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650297182760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9820] ppid=9812 vsize=9624980 CPUtime=2.65 cores=0,2,4,6
/proc/9814/task/9820/stat : 9820 (java) S 9812 9814 6647 0 -1 4202560 430 0 0 0 253 12 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650296129960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9821] ppid=9812 vsize=9624980 CPUtime=2.58 cores=0,2,4,6
/proc/9814/task/9821/stat : 9821 (java) S 9812 9814 6647 0 -1 4202560 720 0 0 0 248 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650295077672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9822] ppid=9812 vsize=9624980 CPUtime=2.74 cores=0,2,4,6
/proc/9814/task/9822/stat : 9822 (java) S 9812 9814 6647 0 -1 4202560 496 0 0 0 264 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650294024872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9823] ppid=9812 vsize=9624980 CPUtime=2.63 cores=0,2,4,6
/proc/9814/task/9823/stat : 9823 (java) S 9812 9814 6647 0 -1 4202560 406 0 0 0 254 9 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650292972584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9824] ppid=9812 vsize=9624980 CPUtime=2.53 cores=0,2,4,6
/proc/9814/task/9824/stat : 9824 (java) S 9812 9814 6647 0 -1 4202560 456 0 0 0 243 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650291919784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9825] ppid=9812 vsize=9624980 CPUtime=7.8 cores=0,2,4,6
/proc/9814/task/9825/stat : 9825 (java) S 9812 9814 6647 0 -1 4202560 770 0 0 0 777 3 0 0 20 0 19 0 291363570 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650279721192 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9826] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9826/stat : 9826 (java) S 9812 9814 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650278667256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9827] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9827/stat : 9827 (java) S 9812 9814 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650277614856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9828] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9828/stat : 9828 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650276563344 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9829] ppid=9812 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 6647 0 -1 4202560 2683 0 0 0 32 0 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650275510968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 6647 0 -1 4202560 4590 0 0 0 45 0 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650274458168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650273406072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 6647 0 -1 4202560 103 0 0 0 25 36 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650272353480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9833] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9833/stat : 9833 (java) S 9812 9814 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291363594 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650271298472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.8 s]
/proc/loadavg: 2.07 2.06 2.02 3/214 9930
/proc/meminfo: memFree=30032672/32873844 swapFree=7632/7632
[pid=9814] ppid=9812 vsize=9624980 CPUtime=1800.06 cores=0,2,4,6
/proc/9814/stat : 9814 (java) S 9812 9814 6647 0 -1 4202496 15613 0 1 0 179902 104 0 0 20 0 19 0 291363567 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 140737104104032 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9814/statm: 2406245 194958 2269 9 0 2396937 0
[pid=9814/tid=9816] ppid=9812 vsize=9624980 CPUtime=1765.5 cores=0,2,4,6
/proc/9814/task/9816/stat : 9816 (java) R 9812 9814 6647 0 -1 4202560 2746 0 1 0 176519 31 0 0 20 0 19 0 291363568 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650455932272 139650396138348 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9817] ppid=9812 vsize=9624980 CPUtime=2.69 cores=0,2,4,6
/proc/9814/task/9817/stat : 9817 (java) S 9812 9814 6647 0 -1 4202560 407 0 0 0 259 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650394663208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9818] ppid=9812 vsize=9624980 CPUtime=2.77 cores=0,2,4,6
/proc/9814/task/9818/stat : 9818 (java) S 9812 9814 6647 0 -1 4202560 358 0 0 0 268 9 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650393610408 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9819] ppid=9812 vsize=9624980 CPUtime=2.66 cores=0,2,4,6
/proc/9814/task/9819/stat : 9819 (java) S 9812 9814 6647 0 -1 4202560 267 0 0 0 256 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650297182760 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9820] ppid=9812 vsize=9624980 CPUtime=2.65 cores=0,2,4,6
/proc/9814/task/9820/stat : 9820 (java) S 9812 9814 6647 0 -1 4202560 430 0 0 0 253 12 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650296129960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9821] ppid=9812 vsize=9624980 CPUtime=2.58 cores=0,2,4,6
/proc/9814/task/9821/stat : 9821 (java) S 9812 9814 6647 0 -1 4202560 720 0 0 0 248 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650295077672 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9822] ppid=9812 vsize=9624980 CPUtime=2.74 cores=0,2,4,6
/proc/9814/task/9822/stat : 9822 (java) S 9812 9814 6647 0 -1 4202560 496 0 0 0 264 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650294024872 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9823] ppid=9812 vsize=9624980 CPUtime=2.63 cores=0,2,4,6
/proc/9814/task/9823/stat : 9823 (java) S 9812 9814 6647 0 -1 4202560 406 0 0 0 254 9 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650292972584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9824] ppid=9812 vsize=9624980 CPUtime=2.53 cores=0,2,4,6
/proc/9814/task/9824/stat : 9824 (java) S 9812 9814 6647 0 -1 4202560 456 0 0 0 243 10 0 0 20 0 19 0 291363569 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650291919784 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9814/tid=9825] ppid=9812 vsize=9624980 CPUtime=7.8 cores=0,2,4,6
/proc/9814/task/9825/stat : 9825 (java) S 9812 9814 6647 0 -1 4202560 770 0 0 0 777 3 0 0 20 0 19 0 291363570 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650279721192 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9826] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9826/stat : 9826 (java) S 9812 9814 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650278667256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9827] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9827/stat : 9827 (java) S 9812 9814 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291363571 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650277614856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9828] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9828/stat : 9828 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650276563344 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9814/tid=9829] ppid=9812 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/9814/task/9829/stat : 9829 (java) S 9812 9814 6647 0 -1 4202560 2683 0 0 0 32 0 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650275510968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9830] ppid=9812 vsize=9624980 CPUtime=0.45 cores=0,2,4,6
/proc/9814/task/9830/stat : 9830 (java) S 9812 9814 6647 0 -1 4202560 4590 0 0 0 45 0 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650274458168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9831] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9831/stat : 9831 (java) S 9812 9814 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650273406072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9814/tid=9832] ppid=9812 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/9814/task/9832/stat : 9832 (java) S 9812 9814 6647 0 -1 4202560 103 0 0 0 25 36 0 0 20 0 19 0 291363573 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650272353480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9814/tid=9833] ppid=9812 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9814/task/9833/stat : 9833 (java) S 9812 9814 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291363594 9855979520 194958 33554432000 1073741824 1073778376 140737104112896 139650271298472 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9814 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=659170
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=651748
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1783.86
CPU time (s): 1800.06
CPU user time (s): 1799.02
CPU system time (s): 1.04
CPU usage (%): 100.908
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 1.65175
maximum resident set size= 814724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15658
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42583
involuntary context switches= 30440

runsolver used 4.50131 second user time and 15.9046 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-29 02:46:32
IDJOB=3718388
IDBENCH=79156
IDSOLVER=2301
FILE ID=node141/3718388-1338252392
RUNJOBID= node141-1338248797-9481
PBS_JOBID= 14624658
Free space on /tmp= 71232 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718388-1338252392/watcher-3718388-1338252392 -o /tmp/evaluation-result-3718388-1338252392/solver-3718388-1338252392 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718388-1338252392.wbo

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

MD5SUM BENCH= 95c5d91e3a0ca992efaa2a36118a1c06
RANDOM SEED=234850696

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30758896 kB
Buffers:          228820 kB
Cached:           401620 kB
SwapCached:          220 kB
Active:          1219052 kB
Inactive:          25640 kB
Active(anon):     603964 kB
Inactive(anon):    12056 kB
Active(file):     615088 kB
Inactive(file):    13584 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:        620756 kB
Mapped:            18140 kB
Shmem:               172 kB
Slab:             728784 kB
SReclaimable:     171136 kB
SUnreclaim:       557648 kB
KernelStack:        1608 kB
PageTables:         5424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     973556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    577536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71232 MiB
End job on node141 at 2012-05-29 03:16:18