Trace number 3734409

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)183 1800.05 1795.84

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark10.9333
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint386
Number of terms in the objective function 3098
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
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 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3734409-1338700697.opb
0.07/0.11	c reading problem ... 
1.11/0.74	c ... done. Wall clock time 0.625s.
1.11/0.74	c CPU time (experimental) 0.7s.
1.11/0.74	c #vars     3098
1.11/0.74	c #constraints  5721
1.22/0.81	c SATISFIABLE
1.22/0.81	c OPTIMIZING...
1.22/0.81	c Got one! Elapsed wall clock time (in seconds):0.699
1.22/0.82	o 183
1217.50/1213.89	c cleaning 848994 clauses out of 1698003 for limit 3.735574173845523E11
1230.91/1227.25	c cleaning 424748 clauses out of 849509 for limit 1.2313562530027446E12
1234.11/1230.49	c cleaning 212625 clauses out of 425261 for limit 4.0565051842892114E12
1238.11/1234.41	c cleaning 106564 clauses out of 213136 for limit 1.3347707084616338E13
1239.41/1235.75	c cleaning 53527 clauses out of 107072 for limit 4.3817081816753734E13
1240.01/1236.30	c cleaning 27013 clauses out of 54045 for limit 1.4315935443006384E14
1240.51/1236.85	c cleaning 13754 clauses out of 27532 for limit 4.634398539207619E14
1240.91/1237.21	c cleaning 7128 clauses out of 14279 for limit 1.4751077497669532E15
1241.22/1237.52	c cleaning 3817 clauses out of 7651 for limit 4.540035233942486E15
1241.51/1237.82	c cleaning 2156 clauses out of 4333 for limit 1.3207180444404966E16
1241.81/1238.12	c cleaning 1330 clauses out of 2677 for limit 3.5253830843506708E16
1242.11/1238.42	c cleaning 914 clauses out of 1847 for limit 8.426431197486224E-4
1242.42/1238.71	c cleaning 705 clauses out of 1434 for limit 0.001791644422742148
1242.71/1239.01	c cleaning 604 clauses out of 1228 for limit 0.0034468626791874487
1243.01/1239.31	c cleaning 550 clauses out of 1124 for limit 0.006210290622786629
1243.31/1239.61	c cleaning 531 clauses out of 1074 for limit 0.010718397056894978
1243.61/1239.91	c cleaning 514 clauses out of 1043 for limit 0.01820143801996255
1243.91/1240.21	c cleaning 504 clauses out of 1029 for limit 0.030424995440274244
1244.21/1240.51	c cleaning 502 clauses out of 1025 for limit 0.050370692103748484
1244.52/1240.81	c cleaning 504 clauses out of 1023 for limit 0.0832304105507896
1244.81/1241.11	c cleaning 501 clauses out of 1019 for limit 0.13779687657971676
1245.11/1241.40	c cleaning 501 clauses out of 1018 for limit 0.22746871100688829
1245.41/1241.70	c cleaning 497 clauses out of 1017 for limit 0.3754951904564012
1245.62/1241.99	c cleaning 500 clauses out of 1020 for limit 0.617420502493099
1245.91/1242.29	c cleaning 499 clauses out of 1021 for limit 1.0182299692064132
1246.21/1242.59	c cleaning 498 clauses out of 1021 for limit 1.6775182381540568
1246.51/1242.88	c cleaning 500 clauses out of 1023 for limit 2.761043480803443
1246.82/1243.18	c cleaning 503 clauses out of 1023 for limit 4.553330065633516
1247.11/1243.48	c cleaning 497 clauses out of 1020 for limit 7.531135854215749
1247.41/1243.77	c cleaning 503 clauses out of 1023 for limit 12.383428671896509
1247.71/1244.07	c cleaning 503 clauses out of 1020 for limit 20.48199500689339
1248.01/1244.36	c cleaning 498 clauses out of 1017 for limit 33.877188588604575
1248.31/1244.66	c cleaning 501 clauses out of 1019 for limit 55.75836335984129
1248.61/1244.96	c cleaning 498 clauses out of 1018 for limit 92.04332751315575
1248.92/1245.25	c cleaning 498 clauses out of 1021 for limit 151.4972485634988
1249.21/1245.55	c cleaning 500 clauses out of 1023 for limit 249.35078557845853
1249.51/1245.84	c cleaning 501 clauses out of 1022 for limit 411.20354867031136
1249.81/1246.14	c cleaning 500 clauses out of 1021 for limit 678.7938434268032
1250.12/1246.44	c cleaning 502 clauses out of 1021 for limit 1119.4218552265638
1250.41/1246.73	c cleaning 499 clauses out of 1020 for limit 1849.736007669385
1250.71/1247.03	c cleaning 498 clauses out of 1020 for limit 3047.411667772901
1251.01/1247.33	c cleaning 498 clauses out of 1022 for limit 5015.754702454749
1251.31/1247.62	c cleaning 501 clauses out of 1024 for limit 8255.494932624566
1251.61/1247.92	c cleaning 504 clauses out of 1023 for limit 13627.72386834167
1251.91/1248.21	c cleaning 498 clauses out of 1019 for limit 22562.159330001283
1252.22/1248.51	c cleaning 502 clauses out of 1021 for limit 37135.13360307307
1252.51/1248.81	c cleaning 502 clauses out of 1019 for limit 61361.00100798673
1252.81/1249.10	c cleaning 499 clauses out of 1017 for limit 101391.5013553935
1253.11/1249.40	c cleaning 502 clauses out of 1018 for limit 167043.8980269482
1253.32/1249.69	c cleaning 495 clauses out of 1016 for limit 276020.0135843942
1253.61/1249.99	c cleaning 500 clauses out of 1021 for limit 452964.7703629998
1253.91/1250.29	c cleaning 502 clauses out of 1022 for limit 747015.5991919033
1254.21/1250.59	c cleaning 499 clauses out of 1019 for limit 1234319.9768336776
1254.52/1250.89	c cleaning 499 clauses out of 1020 for limit 2033563.1203218533
1254.81/1251.19	c cleaning 502 clauses out of 1021 for limit 3350332.9904311895
1255.11/1251.49	c cleaning 509 clauses out of 1019 for limit 5535991.554529567
1255.41/1251.79	c cleaning 505 clauses out of 1010 for limit 9210943.453224732
1255.71/1252.09	c cleaning 502 clauses out of 1005 for limit 1.5265650499563068E7
1256.01/1252.39	c cleaning 493 clauses out of 1003 for limit 2.522529947691596E7
1256.31/1252.69	c cleaning 495 clauses out of 1010 for limit 4.1311577324631386E7
1256.62/1252.98	c cleaning 496 clauses out of 1015 for limit 6.779271009653208E7
1256.91/1253.28	c cleaning 510 clauses out of 1020 for limit 1.1136257514094466E8
1257.21/1253.57	c cleaning 505 clauses out of 1010 for limit 1.8547011872347647E8
1257.51/1253.87	c cleaning 502 clauses out of 1004 for limit 3.0738522331766194E8
1257.82/1254.16	c cleaning 501 clauses out of 1002 for limit 5.0793116958917433E8
1258.11/1254.46	c cleaning 492 clauses out of 1001 for limit 8.384832581075759E8
1258.41/1254.75	c cleaning 492 clauses out of 1010 for limit 1.3718211617218773E9
1258.73/1255.05	c cleaning 508 clauses out of 1017 for limit 2.2444983687282596E9
1259.03/1255.34	c cleaning 504 clauses out of 1009 for limit 3.7308257689839816E9
1259.33/1255.64	c cleaning 491 clauses out of 1005 for limit 6.177118876758858E9
1259.63/1255.94	c cleaning 501 clauses out of 1014 for limit 1.009647915670048E10
1259.93/1256.23	c cleaning 506 clauses out of 1013 for limit 1.6666881579059242E10
1260.23/1256.53	c cleaning 503 clauses out of 1007 for limit 2.7649686499829544E10
1260.53/1256.82	c cleaning 493 clauses out of 1004 for limit 4.573428104654631E10
1260.83/1257.12	c cleaning 505 clauses out of 1011 for limit 7.489973833737625E10
1261.13/1257.41	c cleaning 503 clauses out of 1006 for limit 1.2413360337848064E11
1261.43/1257.71	c cleaning 487 clauses out of 1003 for limit 2.0532522011673093E11
1261.73/1258.00	c cleaning 499 clauses out of 1016 for limit 3.342761635400425E11
1262.03/1258.30	c cleaning 498 clauses out of 1018 for limit 5.507338086024342E11
1262.23/1258.59	c cleaning 509 clauses out of 1019 for limit 9.064350847646309E11
1262.53/1258.89	c cleaning 505 clauses out of 1010 for limit 1.5081530070172703E12
1262.83/1259.19	c cleaning 502 clauses out of 1005 for limit 2.499519926694417E12
1263.13/1259.49	c cleaning 487 clauses out of 1003 for limit 4.130262166108826E12
1263.43/1259.79	c cleaning 497 clauses out of 1016 for limit 6.724201686069172E12
1263.73/1260.09	c cleaning 509 clauses out of 1019 for limit 1.1056461097137424E13
1264.03/1260.39	c cleaning 495 clauses out of 1010 for limit 1.8396060932424227E13
1264.34/1260.69	c cleaning 497 clauses out of 1015 for limit 3.0188119323306516E13
1264.63/1260.99	c cleaning 509 clauses out of 1018 for limit 4.96375353313961E13
1264.93/1261.29	c cleaning 505 clauses out of 1010 for limit 8.258991367891284E13
1265.23/1261.59	c cleaning 492 clauses out of 1005 for limit 1.3687943731431405E14
1265.53/1261.89	c cleaning 494 clauses out of 1012 for limit 2.2394694158739662E14
1265.83/1262.19	c cleaning 500 clauses out of 1018 for limit 3.671417361027844E14
1266.13/1262.49	c cleaning 509 clauses out of 1018 for limit 6.054658381762385E14
1266.43/1262.78	c cleaning 505 clauses out of 1010 for limit 1.0074104400360392E15
1266.73/1263.08	c cleaning 502 clauses out of 1004 for limit 1.6696117154306082E15
1267.03/1263.37	c cleaning 487 clauses out of 1002 for limit 2.758908909886197E15
1267.33/1263.67	c cleaning 497 clauses out of 1015 for limit 4.4915364456930575E15
1267.63/1263.97	c cleaning 497 clauses out of 1018 for limit 7.385315945906448E15
1267.93/1264.26	c cleaning 510 clauses out of 1021 for limit 1.2143587381406034E16
1268.23/1264.56	c cleaning 498 clauses out of 1011 for limit 2.0224485197592604E16
1268.53/1264.85	c cleaning 506 clauses out of 1013 for limit 3.328703195702838E16
1268.83/1265.15	c cleaning 503 clauses out of 1007 for limit 5.5221847815732408E16
1269.13/1265.44	c cleaning 502 clauses out of 1004 for limit 9.134033067354608E16
1269.43/1265.74	c cleaning 491 clauses out of 1002 for limit 0.0015093308809360215
1269.73/1266.04	c cleaning 495 clauses out of 1011 for limit 0.0024669304791404816
1270.03/1266.34	c cleaning 500 clauses out of 1017 for limit 0.0040483449647677194
1270.33/1266.64	c cleaning 499 clauses out of 1016 for limit 0.006676150715686763
1270.63/1266.94	c cleaning 497 clauses out of 1017 for limit 0.010999039823034198
1270.93/1267.24	c cleaning 505 clauses out of 1020 for limit 0.018085538422543086
1271.23/1267.54	c cleaning 497 clauses out of 1015 for limit 0.0299723958076794
1271.53/1267.84	c cleaning 500 clauses out of 1018 for limit 0.049282826794767115
1271.83/1268.14	c cleaning 502 clauses out of 1018 for limit 0.08127397432318696
1272.13/1268.44	c cleaning 501 clauses out of 1016 for limit 0.13429549813980457
1272.43/1268.73	c cleaning 498 clauses out of 1015 for limit 0.2216894404310001
1272.73/1269.03	c cleaning 497 clauses out of 1017 for limit 0.36487657573134274
1273.03/1269.32	c cleaning 501 clauses out of 1021 for limit 0.5999728431201338
1273.33/1269.62	c cleaning 501 clauses out of 1020 for limit 0.9904055160216193
1273.63/1269.92	c cleaning 499 clauses out of 1018 for limit 1.634883532795041
1273.93/1270.21	c cleaning 500 clauses out of 1019 for limit 2.6934957862611206
1274.23/1270.51	c cleaning 502 clauses out of 1019 for limit 4.441934880964326
1274.53/1270.81	c cleaning 497 clauses out of 1018 for limit 7.339880550766624
1274.83/1271.10	c cleaning 500 clauses out of 1020 for limit 12.06863002336859
1275.13/1271.40	c cleaning 500 clauses out of 1020 for limit 19.902785420974556
1275.33/1271.69	c cleaning 501 clauses out of 1020 for limit 32.82235570618582
1275.62/1271.99	c cleaning 500 clauses out of 1019 for limit 54.18157464652039
1275.92/1272.29	c cleaning 496 clauses out of 1019 for limit 89.35266487349162
1276.22/1272.59	c cleaning 503 clauses out of 1023 for limit 146.77833159288244
1276.52/1272.89	c cleaning 504 clauses out of 1020 for limit 242.76903711071665
1276.82/1273.18	c cleaning 500 clauses out of 1016 for limit 401.9348342927604
1277.12/1273.48	c cleaning 502 clauses out of 1016 for limit 662.8443116289117
1277.42/1273.78	c cleaning 495 clauses out of 1014 for limit 1095.2749967448478
1277.71/1274.07	c cleaning 499 clauses out of 1019 for limit 1797.3921126599746
1278.02/1274.37	c cleaning 498 clauses out of 1021 for limit 2961.294992777816
1278.31/1274.66	c cleaning 501 clauses out of 1022 for limit 4873.914359104356
1278.62/1274.96	c cleaning 500 clauses out of 1021 for limit 8045.609214822394
1800.05/1795.81	c starts		: 25
1800.05/1795.81	c conflicts		: 2435965
1800.05/1795.81	c decisions		: 9816244
1800.05/1795.81	c propagations		: 1046465090
1800.05/1795.81	c inspects		: 980896450
1800.05/1795.81	c learnt literals	: 0
1800.05/1795.81	c learnt binary clauses	: 0
1800.05/1795.81	c learnt ternary clauses	: 0
1800.05/1795.81	c learnt clauses	: 2435964
1800.05/1795.81	c root simplifications	: 0
1800.05/1795.81	c removed literals (reason simplification)	: 0
1800.05/1795.81	c reason swapping (by a shorter reason)	: 0
1800.05/1795.81	c Calls to reduceDB	: 135
1800.05/1795.81	c speed (decisions/second)	: 5468.830225344078
1800.05/1795.81	c non guided choices	6984
1800.05/1795.81	s SATISFIABLE
1800.05/1795.82	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 
1800.05/1795.83	c objective function=183
1800.05/1795.83	c Total wall clock time (ms): 1795.714

Verifier Data 

OK	183

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-3734409-1338700697/watcher-3734409-1338700697 -o /tmp/evaluation-result-3734409-1338700697/solver-3734409-1338700697 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734409-1338700697.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.99 4/194 21106
/proc/meminfo: memFree=28722436/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21106/stat : 21106 (java) D 21104 21106 15565 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336194567 9515008 182 33554432000 1073741824 1073778376 140734335581808 140734335572840 233220947637 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/21106/statm: 2323 182 140 9 0 71 0

[startup+0.100061 s]
/proc/loadavg: 1.99 1.97 1.99 4/194 21106
/proc/meminfo: memFree=28722436/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 4144 0 1 0 6 1 0 0 20 0 18 0 336194567 3028844544 5862 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 739464 5863 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.200209 s]
/proc/loadavg: 1.99 1.97 1.99 4/194 21106
/proc/meminfo: memFree=28722436/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 5415 0 1 0 25 2 0 0 20 0 18 0 336194567 3028844544 8060 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 739464 8060 2220 9 0 729885 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2957856

[startup+0.300228 s]
/proc/loadavg: 1.99 1.97 1.99 4/194 21106
/proc/meminfo: memFree=28722436/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=2957856 CPUtime=0.53 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 8259 0 1 0 50 3 0 0 20 0 18 0 336194567 3028844544 11027 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 739464 11027 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856

[startup+0.700283 s]
/proc/loadavg: 1.99 1.97 1.99 4/194 21106
/proc/meminfo: memFree=28722436/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=2957856 CPUtime=1.11 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 9369 0 1 0 105 6 0 0 20 0 18 0 336194567 3028844544 49471 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 739464 49471 2258 9 0 729885 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2957856

[startup+1.50067 s]
/proc/loadavg: 1.99 1.97 1.99 4/213 21126
/proc/meminfo: memFree=28509288/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=3024420 CPUtime=2.28 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 10943 0 1 0 221 7 0 0 20 0 19 0 336194567 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 756105 55788 2282 9 0 746526 0
[pid=21106/tid=21108] ppid=21104 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/21106/task/21108/stat : 21108 (java) R 21104 21106 15565 0 -1 4202560 3114 0 1 0 141 5 0 0 20 0 19 0 336194568 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627464325672 140627313121944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21109] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21109/stat : 21109 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627447753512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21110] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21110/stat : 21110 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627446700712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21111] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21111/stat : 21111 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627445648424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21112] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21112/stat : 21112 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627444595624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21113] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21113/stat : 21113 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627443542312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21114] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21114/stat : 21114 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627442489512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21115] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21115/stat : 21115 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627441437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21116] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21116/stat : 21116 (java) S 21104 21106 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627440384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21117] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21117/stat : 21117 (java) S 21104 21106 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627310267112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21118] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21118/stat : 21118 (java) S 21104 21106 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627309213176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21119] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21119/stat : 21119 (java) S 21104 21106 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627308160776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21120] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21120/stat : 21120 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627307109264 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21121] ppid=21104 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/21106/task/21121/stat : 21121 (java) S 21104 21106 15565 0 -1 4202560 2713 0 0 0 39 0 0 0 20 0 19 0 336194574 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627306055864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21122] ppid=21104 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/21106/task/21122/stat : 21122 (java) S 21104 21106 15565 0 -1 4202560 3918 0 0 0 39 0 0 0 20 0 19 0 336194574 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627305003064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21123] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21123/stat : 21123 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627303950968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21124] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21124/stat : 21124 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627302898376 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21126] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21126/stat : 21126 (java) S 21104 21106 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336194654 3097006080 55788 33554432000 1073741824 1073778376 140737046305728 140627300767016 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 3024420

[startup+3.1007 s]
/proc/loadavg: 1.99 1.97 1.99 4/213 21126
/proc/meminfo: memFree=28505192/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=3024420 CPUtime=3.89 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 10946 0 1 0 382 7 0 0 20 0 19 0 336194567 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 756105 56300 2282 9 0 746526 0
[pid=21106/tid=21108] ppid=21104 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/21106/task/21108/stat : 21108 (java) R 21104 21106 15565 0 -1 4202560 3117 0 1 0 300 5 0 0 20 0 19 0 336194568 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627464327816 140627313045408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21109] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21109/stat : 21109 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627447753512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21110] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21110/stat : 21110 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627446700712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21111] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21111/stat : 21111 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627445648424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21112] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21112/stat : 21112 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627444595624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21113] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21113/stat : 21113 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627443542312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21114] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21114/stat : 21114 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627442489512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21115] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21115/stat : 21115 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627441437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21116] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21116/stat : 21116 (java) S 21104 21106 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627440384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21117] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21117/stat : 21117 (java) S 21104 21106 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627310267112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21118] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21118/stat : 21118 (java) S 21104 21106 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627309213176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21119] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21119/stat : 21119 (java) S 21104 21106 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627308160776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21120] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21120/stat : 21120 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627307109264 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21121] ppid=21104 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/21106/task/21121/stat : 21121 (java) S 21104 21106 15565 0 -1 4202560 2713 0 0 0 39 0 0 0 20 0 19 0 336194574 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627306055864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21122] ppid=21104 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/21106/task/21122/stat : 21122 (java) S 21104 21106 15565 0 -1 4202560 3918 0 0 0 39 0 0 0 20 0 19 0 336194574 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627305003064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21123] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21123/stat : 21123 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627303950968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21124] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21124/stat : 21124 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627302898376 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21126] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21126/stat : 21126 (java) S 21104 21106 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336194654 3097006080 56300 33554432000 1073741824 1073778376 140737046305728 140627300767016 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 3024420

[startup+6.30075 s]
/proc/loadavg: 1.99 1.97 1.99 4/213 21126
/proc/meminfo: memFree=28498180/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=3024420 CPUtime=7.13 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 10952 0 1 0 706 7 0 0 20 0 19 0 336194567 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 756105 57656 2283 9 0 746526 0
[pid=21106/tid=21108] ppid=21104 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/21106/task/21108/stat : 21108 (java) R 21104 21106 15565 0 -1 4202560 3122 0 1 0 619 5 0 0 20 0 19 0 336194568 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627464327816 140627313073321 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21109] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21109/stat : 21109 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627447753512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21110] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21110/stat : 21110 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627446700712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21111] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21111/stat : 21111 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627445648424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21112] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21112/stat : 21112 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627444595624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21113] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21113/stat : 21113 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627443542312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21114] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21114/stat : 21114 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627442489512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21115] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21115/stat : 21115 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627441437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21116] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21116/stat : 21116 (java) S 21104 21106 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336194570 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627440384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21117] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21117/stat : 21117 (java) S 21104 21106 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627310267112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21118] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21118/stat : 21118 (java) S 21104 21106 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627309213176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21119] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21119/stat : 21119 (java) S 21104 21106 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627308160776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21120] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21120/stat : 21120 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627307109264 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21121] ppid=21104 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/21106/task/21121/stat : 21121 (java) S 21104 21106 15565 0 -1 4202560 2713 0 0 0 41 0 0 0 20 0 19 0 336194574 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627306055864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21122] ppid=21104 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/21106/task/21122/stat : 21122 (java) S 21104 21106 15565 0 -1 4202560 3918 0 0 0 41 0 0 0 20 0 19 0 336194574 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627305003064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21123] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21123/stat : 21123 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627303950968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21124] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21124/stat : 21124 (java) S 21104 21106 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627302898376 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21126] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21126/stat : 21126 (java) S 21104 21106 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336194654 3097006080 57656 33554432000 1073741824 1073778376 140737046305728 140627300767016 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=21106/tid=21121] ppid=21104 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/21106/task/21121/stat : 21121 (java) S 21104 21106 15565 0 -1 4202560 2746 0 0 0 47 0 0 0 20 0 19 0 336194574 3097006080 411740 33554432000 1073741824 1073778376 140737046305728 140627306055864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21122] ppid=21104 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/21106/task/21122/stat : 21122 (java) S 21104 21106 15565 0 -1 4202560 3924 0 0 0 48 0 0 0 20 0 19 0 336194574 3097006080 411740 33554432000 1073741824 1073778376 140737046305728 140627305003064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21123] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21123/stat : 21123 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 411740 33554432000 1073741824 1073778376 140737046305728 140627303950968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21124] ppid=21104 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/21106/task/21124/stat : 21124 (java) S 21104 21106 15565 0 -1 4202560 100 0 0 0 18 15 0 0 20 0 19 0 336194574 3097006080 411740 33554432000 1073741824 1073778376 140737046305728 140627302898376 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21126] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21126/stat : 21126 (java) S 21104 21106 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336194654 3097006080 411740 33554432000 1073741824 1073778376 140737046305728 140627300767016 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1726.02
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 21200
/proc/meminfo: memFree=26583412/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=3024420 CPUtime=1786.55 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 14168 0 1 0 178460 195 0 0 20 0 19 0 336194567 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 756105 412193 2307 9 0 746526 0
[pid=21106/tid=21108] ppid=21104 vsize=3024420 CPUtime=1775.47 cores=1,3,5,7
/proc/21106/task/21108/stat : 21108 (java) R 21104 21106 15565 0 -1 4202560 3236 0 1 0 177512 35 0 0 20 0 19 0 336194568 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627464326448 140627313070711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21109] ppid=21104 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/21106/task/21109/stat : 21109 (java) S 21104 21106 15565 0 -1 4202560 501 0 0 0 41 25 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627447753512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21110] ppid=21104 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/21106/task/21110/stat : 21110 (java) S 21104 21106 15565 0 -1 4202560 422 0 0 0 43 23 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627446700712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21111] ppid=21104 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/21106/task/21111/stat : 21111 (java) S 21104 21106 15565 0 -1 4202560 312 0 0 0 24 18 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627445648424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21112] ppid=21104 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/21106/task/21112/stat : 21112 (java) S 21104 21106 15565 0 -1 4202560 286 0 0 0 30 19 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627444595624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21113] ppid=21104 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/21106/task/21113/stat : 21113 (java) S 21104 21106 15565 0 -1 4202560 195 0 0 0 23 13 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627443542312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21114] ppid=21104 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/21106/task/21114/stat : 21114 (java) S 21104 21106 15565 0 -1 4202560 403 0 0 0 34 27 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627442489512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21115] ppid=21104 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/21106/task/21115/stat : 21115 (java) S 21104 21106 15565 0 -1 4202560 475 0 0 0 43 29 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627441437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21116] ppid=21104 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/21106/task/21116/stat : 21116 (java) S 21104 21106 15565 0 -1 4202560 307 0 0 0 33 21 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627440384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21117] ppid=21104 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/21106/task/21117/stat : 21117 (java) S 21104 21106 15565 0 -1 4202560 70 0 0 0 97 2 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627310267112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21118] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21118/stat : 21118 (java) S 21104 21106 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627309213176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21119] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21119/stat : 21119 (java) S 21104 21106 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627308160776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21120] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21120/stat : 21120 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627307109264 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21121] ppid=21104 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/21106/task/21121/stat : 21121 (java) S 21104 21106 15565 0 -1 4202560 2746 0 0 0 47 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627306055864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21122] ppid=21104 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/21106/task/21122/stat : 21122 (java) S 21104 21106 15565 0 -1 4202560 3924 0 0 0 48 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627305003064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21123] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21123/stat : 21123 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627303950968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21124] ppid=21104 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/21106/task/21124/stat : 21124 (java) S 21104 21106 15565 0 -1 4202560 104 0 0 0 18 16 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627302898376 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21126] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21126/stat : 21126 (java) S 21104 21106 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336194654 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627300767016 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1786.55
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 21200
/proc/meminfo: memFree=26583536/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 14168 0 1 0 179810 195 0 0 20 0 19 0 336194567 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 756105 412193 2307 9 0 746526 0
[pid=21106/tid=21108] ppid=21104 vsize=3024420 CPUtime=1788.94 cores=1,3,5,7
/proc/21106/task/21108/stat : 21108 (java) R 21104 21106 15565 0 -1 4202560 3236 0 1 0 178858 36 0 0 20 0 19 0 336194568 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627464326448 140627313070757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21109] ppid=21104 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/21106/task/21109/stat : 21109 (java) S 21104 21106 15565 0 -1 4202560 501 0 0 0 41 25 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627447753512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21110] ppid=21104 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/21106/task/21110/stat : 21110 (java) S 21104 21106 15565 0 -1 4202560 422 0 0 0 43 23 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627446700712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21111] ppid=21104 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/21106/task/21111/stat : 21111 (java) S 21104 21106 15565 0 -1 4202560 312 0 0 0 24 18 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627445648424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21112] ppid=21104 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/21106/task/21112/stat : 21112 (java) S 21104 21106 15565 0 -1 4202560 286 0 0 0 30 19 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627444595624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21113] ppid=21104 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/21106/task/21113/stat : 21113 (java) S 21104 21106 15565 0 -1 4202560 195 0 0 0 23 13 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627443542312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21114] ppid=21104 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/21106/task/21114/stat : 21114 (java) S 21104 21106 15565 0 -1 4202560 403 0 0 0 34 27 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627442489512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21115] ppid=21104 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/21106/task/21115/stat : 21115 (java) S 21104 21106 15565 0 -1 4202560 475 0 0 0 43 29 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627441437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21116] ppid=21104 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/21106/task/21116/stat : 21116 (java) S 21104 21106 15565 0 -1 4202560 307 0 0 0 33 21 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627440384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21117] ppid=21104 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/21106/task/21117/stat : 21117 (java) S 21104 21106 15565 0 -1 4202560 70 0 0 0 97 2 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627310267112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21118] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21118/stat : 21118 (java) S 21104 21106 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627309213176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21119] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21119/stat : 21119 (java) S 21104 21106 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627308160776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21120] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21120/stat : 21120 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627307109264 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21121] ppid=21104 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/21106/task/21121/stat : 21121 (java) S 21104 21106 15565 0 -1 4202560 2746 0 0 0 47 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627306055864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21122] ppid=21104 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/21106/task/21122/stat : 21122 (java) S 21104 21106 15565 0 -1 4202560 3924 0 0 0 48 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627305003064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21123] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21123/stat : 21123 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627303950968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21124] ppid=21104 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/21106/task/21124/stat : 21124 (java) S 21104 21106 15565 0 -1 4202560 104 0 0 0 18 16 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627302898376 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21126] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21126/stat : 21126 (java) S 21104 21106 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336194654 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627300767016 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1795.8 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 21200
/proc/meminfo: memFree=26583536/32873844 swapFree=7120/7120
[pid=21106] ppid=21104 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7
/proc/21106/stat : 21106 (java) S 21104 21106 15565 0 -1 4202496 14168 0 1 0 179810 195 0 0 20 0 19 0 336194567 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140737046296864 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21106/statm: 756105 412193 2307 9 0 746526 0
[pid=21106/tid=21108] ppid=21104 vsize=3024420 CPUtime=1788.94 cores=1,3,5,7
/proc/21106/task/21108/stat : 21108 (java) R 21104 21106 15565 0 -1 4202560 3236 0 1 0 178858 36 0 0 20 0 19 0 336194568 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627464326448 140627313070757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21109] ppid=21104 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/21106/task/21109/stat : 21109 (java) S 21104 21106 15565 0 -1 4202560 501 0 0 0 41 25 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627447753512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21110] ppid=21104 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/21106/task/21110/stat : 21110 (java) S 21104 21106 15565 0 -1 4202560 422 0 0 0 43 23 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627446700712 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21111] ppid=21104 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/21106/task/21111/stat : 21111 (java) S 21104 21106 15565 0 -1 4202560 312 0 0 0 24 18 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627445648424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21112] ppid=21104 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/21106/task/21112/stat : 21112 (java) S 21104 21106 15565 0 -1 4202560 286 0 0 0 30 19 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627444595624 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21113] ppid=21104 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/21106/task/21113/stat : 21113 (java) S 21104 21106 15565 0 -1 4202560 195 0 0 0 23 13 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627443542312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21114] ppid=21104 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/21106/task/21114/stat : 21114 (java) S 21104 21106 15565 0 -1 4202560 403 0 0 0 34 27 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627442489512 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21115] ppid=21104 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/21106/task/21115/stat : 21115 (java) S 21104 21106 15565 0 -1 4202560 475 0 0 0 43 29 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627441437224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21116] ppid=21104 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/21106/task/21116/stat : 21116 (java) S 21104 21106 15565 0 -1 4202560 307 0 0 0 33 21 0 0 20 0 19 0 336194570 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627440384424 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21106/tid=21117] ppid=21104 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/21106/task/21117/stat : 21117 (java) S 21104 21106 15565 0 -1 4202560 70 0 0 0 97 2 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627310267112 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21118] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21118/stat : 21118 (java) S 21104 21106 15565 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627309213176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21119] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21119/stat : 21119 (java) S 21104 21106 15565 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336194571 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627308160776 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21120] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21120/stat : 21120 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627307109264 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21121] ppid=21104 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/21106/task/21121/stat : 21121 (java) S 21104 21106 15565 0 -1 4202560 2746 0 0 0 47 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627306055864 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21106/tid=21122] ppid=21104 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/21106/task/21122/stat : 21122 (java) S 21104 21106 15565 0 -1 4202560 3924 0 0 0 48 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627305003064 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21123] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21123/stat : 21123 (java) S 21104 21106 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627303950968 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21106/tid=21124] ppid=21104 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/21106/task/21124/stat : 21124 (java) S 21104 21106 15565 0 -1 4202560 104 0 0 0 18 16 0 0 20 0 19 0 336194574 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627302898376 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21106/tid=21126] ppid=21104 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/21106/task/21126/stat : 21126 (java) S 21104 21106 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336194654 3097006080 412193 33554432000 1073741824 1073778376 140737046305728 140627300767016 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1795.84
CPU time (s): 1800.05
CPU user time (s): 1798.1
CPU system time (s): 1.95
CPU usage (%): 100.234
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 2.43263
maximum resident set size= 1648884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14200
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38083
involuntary context switches= 9901

runsolver used 6.10307 second user time and 14.6128 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-03 07:18:17
IDJOB=3734409
IDBENCH=2848
IDSOLVER=2319
FILE ID=node142/3734409-1338700697
RUNJOBID= node142-1338678627-15586
PBS_JOBID= 14636671
Free space on /tmp= 71184 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734409-1338700697/watcher-3734409-1338700697 -o /tmp/evaluation-result-3734409-1338700697/solver-3734409-1338700697 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734409-1338700697.opb           

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

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=1972391655

node142.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.776
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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.776
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	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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:        28722436 kB
Buffers:          252096 kB
Cached:          2755240 kB
SwapCached:            0 kB
Active:          1449724 kB
Inactive:        1881988 kB
Active(anon):     315320 kB
Inactive(anon):    11220 kB
Active(file):    1134404 kB
Inactive(file):  1870768 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5872 kB
Writeback:             0 kB
AnonPages:        335012 kB
Mapped:            18464 kB
Shmem:               200 kB
Slab:             675040 kB
SReclaimable:     116892 kB
SUnreclaim:       558148 kB
KernelStack:        1600 kB
PageTables:         4824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    299008 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= 71180 MiB
End job on node142 at 2012-06-03 07:48:15