Trace number 3689568

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)-66908274 1800.29 915.897

General information on the benchmark

Name/OPT-BIGINT-LIN/
heinz/normalized-harp2.opb
MD5SUM3f0afbcd16b5dd29f67967742a878949
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-67205306
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2993
Total number of constraints112
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints39
Minimum length of a constraint41
Maximum length of a constraint73
Number of terms in the objective function 2993
Biggest coefficient in the objective function 17006200
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 4415092451
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 4208540000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 46909379837
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.2.v20120418
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		501472288
0.06/0.09	c Max memory 		7480803328
0.06/0.09	c Total memory 		504102912
0.06/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3689568-1337883163.opb
0.10/0.12	c reading problem ... 
0.28/0.28	c ... done. Wall clock time 0.166s.
0.28/0.28	c declared #vars     2993
0.28/0.28	c #constraints  185
0.28/0.28	c constraints type 
0.28/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 73
0.28/0.28	c org.sat4j.minisat.constraints.card.MinWatchCard => 73
0.28/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 39
0.28/0.28	c 185 constraints processed.
0.28/0.28	c constraints type 
0.28/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 73
0.28/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 73
0.28/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPb => 39
0.28/0.28	c 185 constraints processed.
0.28/0.28	c objective function length is 2993 literals
0.53/0.36	c  And the winner is solver0
1.04/0.79	c SATISFIABLE
1.04/0.79	c OPTIMIZING...
1.04/0.79	c Got one! Elapsed wall clock time (in seconds):0.673
1.04/0.79	o -42724809
1.46/0.91	c  And the winner is solver1
1.70/1.31	c Got one! Elapsed wall clock time (in seconds):1.188
1.70/1.31	o -66758033
4.37/2.25	c  And the winner is solver1
4.47/2.31	c Got one! Elapsed wall clock time (in seconds):2.197
4.47/2.31	o -66807036
6.26/3.22	c cleaning 2853 clauses out of 5709 with flag 3001/5709
10.33/5.19	c cleaning 4426 clauses out of 8855 with flag 9000/11708
15.29/7.67	c cleaning 5717 clauses out of 11434 with flag 16005/18713
20.25/10.19	c cleaning 6856 clauses out of 13712 with flag 24000/26708
25.41/12.77	c cleaning 7927 clauses out of 15856 with flag 33000/35708
30.54/15.37	c cleaning 8959 clauses out of 17929 with flag 43000/45708
37.65/18.82	c cleaning 9983 clauses out of 19970 with flag 54000/56708
45.75/22.92	c cleaning 10986 clauses out of 21988 with flag 66001/68709
53.68/26.98	c cleaning 12001 clauses out of 24003 with flag 79002/81710
62.76/31.58	c cleaning 12998 clauses out of 26003 with flag 93003/95711
72.48/36.41	c cleaning 13993 clauses out of 28002 with flag 108000/110708
80.78/40.61	c cleaning 15003 clauses out of 30009 with flag 124000/126708
91.11/45.98	c cleaning 16005 clauses out of 32009 with flag 141003/143711
102.40/51.63	c cleaning 16992 clauses out of 34003 with flag 159002/161710
113.86/57.47	c cleaning 18005 clauses out of 36010 with flag 178001/180709
126.96/64.04	c cleaning 19000 clauses out of 38006 with flag 198002/200710
140.67/71.07	c cleaning 19996 clauses out of 40004 with flag 219000/221708
154.50/78.10	c cleaning 21005 clauses out of 42009 with flag 241001/243709
168.67/85.20	c cleaning 22001 clauses out of 44004 with flag 264001/266709
182.48/92.27	c cleaning 22998 clauses out of 46003 with flag 288001/290709
200.37/101.32	c cleaning 24000 clauses out of 48004 with flag 313000/315708
217.97/110.28	c cleaning 24998 clauses out of 50004 with flag 339000/341708
238.38/120.57	c cleaning 26002 clauses out of 52006 with flag 366000/368708
258.36/130.61	c cleaning 27002 clauses out of 54004 with flag 394000/396708
280.82/142.05	c cleaning 27995 clauses out of 56003 with flag 423001/425709
299.01/151.24	c cleaning 28991 clauses out of 58007 with flag 453000/455708
317.21/160.46	c cleaning 30005 clauses out of 60017 with flag 484001/486709
340.18/172.24	c cleaning 31005 clauses out of 62011 with flag 516000/518708
362.55/183.35	c cleaning 32001 clauses out of 64006 with flag 549000/551708
384.69/194.60	c cleaning 32998 clauses out of 66007 with flag 583002/585710
407.63/206.18	c cleaning 33998 clauses out of 68007 with flag 618000/620708
432.01/218.57	c cleaning 35003 clauses out of 70010 with flag 654001/656709
457.40/231.34	c cleaning 36002 clauses out of 72009 with flag 691003/693711
488.66/246.59	c cleaning 37002 clauses out of 74004 with flag 729000/731708
517.42/261.07	c cleaning 37995 clauses out of 76002 with flag 768000/770708
545.99/275.45	c cleaning 39002 clauses out of 78008 with flag 808001/810709
577.56/291.37	c cleaning 40002 clauses out of 80005 with flag 849000/851708
610.32/307.87	c cleaning 40998 clauses out of 82006 with flag 891003/893711
634.41/320.12	c cleaning 41999 clauses out of 84005 with flag 934000/936708
663.96/335.06	c cleaning 42997 clauses out of 86007 with flag 978001/980709
694.72/350.57	c cleaning 44005 clauses out of 88009 with flag 1023000/1025708
731.87/369.23	c cleaning 44997 clauses out of 90004 with flag 1069000/1071708
771.10/389.12	c cleaning 46001 clauses out of 92008 with flag 1116001/1118709
811.85/409.61	c cleaning 47003 clauses out of 94006 with flag 1164000/1166708
853.79/430.71	c cleaning 47994 clauses out of 96003 with flag 1213000/1215708
892.82/450.47	c cleaning 48999 clauses out of 98011 with flag 1263002/1265710
935.57/472.10	c cleaning 49998 clauses out of 100010 with flag 1314000/1316708
974.72/491.87	c cleaning 51001 clauses out of 102013 with flag 1366001/1368709
1012.64/510.95	c cleaning 51998 clauses out of 104012 with flag 1419001/1421709
1050.98/530.29	c cleaning 53007 clauses out of 106013 with flag 1473000/1475708
1103.14/556.69	c cleaning 53998 clauses out of 108007 with flag 1528001/1530709
1155.07/582.78	c cleaning 55002 clauses out of 110008 with flag 1584000/1586708
1172.47/591.79	c  And the winner is solver1
1169.89/592.07	c Got one! Elapsed wall clock time (in seconds):591.952
1169.89/592.07	o -66908274
1175.61/594.77	c cleaning 39889 clauses out of 79784 with flag 5003/1611486
1181.58/597.93	c cleaning 22943 clauses out of 45893 with flag 11001/1617484
1185.98/600.24	c cleaning 14972 clauses out of 29951 with flag 18002/1624485
1191.96/603.37	c cleaning 11480 clauses out of 22977 with flag 26000/1632483
1199.92/607.58	c cleaning 10241 clauses out of 20498 with flag 35001/1641484
1206.67/611.20	c cleaning 10118 clauses out of 20256 with flag 45000/1651483
1213.04/614.55	c cleaning 10564 clauses out of 21139 with flag 56001/1662484
1220.42/618.32	c cleaning 11277 clauses out of 22574 with flag 68000/1674483
1229.19/622.84	c cleaning 12149 clauses out of 24298 with flag 81001/1687484
1238.92/627.94	c cleaning 13065 clauses out of 26148 with flag 95000/1701483
1248.94/633.03	c cleaning 14034 clauses out of 28084 with flag 110001/1716484
1258.86/638.12	c cleaning 15015 clauses out of 30049 with flag 126000/1732483
1269.27/643.47	c cleaning 16011 clauses out of 32035 with flag 143001/1749484
1279.49/648.86	c cleaning 17011 clauses out of 34023 with flag 161000/1767483
1289.13/653.80	c cleaning 18005 clauses out of 36016 with flag 180004/1786487
1300.37/659.66	c cleaning 18993 clauses out of 38008 with flag 200001/1806484
1312.61/665.96	c cleaning 19999 clauses out of 40014 with flag 221000/1827483
1325.79/672.95	c cleaning 21006 clauses out of 42016 with flag 243001/1849484
1338.81/679.68	c cleaning 22000 clauses out of 44010 with flag 266001/1872484
1352.82/686.86	c cleaning 23003 clauses out of 46009 with flag 290000/1896483
1370.08/695.52	c cleaning 24005 clauses out of 48010 with flag 315004/1921487
1386.37/704.15	c cleaning 24992 clauses out of 50001 with flag 341000/1947483
1403.97/713.12	c cleaning 26002 clauses out of 52009 with flag 368000/1974483
1424.02/723.46	c cleaning 26999 clauses out of 54007 with flag 396000/2002483
1442.33/732.80	c cleaning 27994 clauses out of 56009 with flag 425001/2031484
1461.99/743.20	c cleaning 28999 clauses out of 58014 with flag 455000/2061483
1481.66/753.36	c cleaning 30003 clauses out of 60015 with flag 486000/2092483
1501.72/763.61	c cleaning 31004 clauses out of 62016 with flag 518004/2124487
1523.41/774.75	c cleaning 32003 clauses out of 64012 with flag 551004/2157487
1545.54/786.32	c cleaning 32990 clauses out of 66006 with flag 585001/2191484
1569.01/798.37	c cleaning 34004 clauses out of 68016 with flag 620001/2226484
1593.08/810.60	c cleaning 34999 clauses out of 70012 with flag 656001/2262484
1618.73/823.78	c cleaning 36004 clauses out of 72012 with flag 693000/2299483
1647.98/838.91	c cleaning 36997 clauses out of 74009 with flag 731001/2337484
1677.02/853.70	c cleaning 38003 clauses out of 76011 with flag 770000/2376483
1705.47/868.24	c cleaning 39002 clauses out of 78011 with flag 810003/2416486
1735.84/883.76	c cleaning 39997 clauses out of 80006 with flag 851000/2457483
1767.05/899.99	c cleaning 41003 clauses out of 82009 with flag 893000/2499483
1796.94/915.17	c cleaning 42001 clauses out of 84006 with flag 936000/2542483
1797.71/915.86	c starts		: 9
1797.71/915.86	c conflicts		: 596
1797.71/915.86	c decisions		: 4635
1797.71/915.86	c propagations		: 67061
1797.71/915.86	c inspects		: 5266967
1797.71/915.86	c shortcuts		: 0
1797.71/915.86	c learnt literals	: 0
1797.71/915.86	c learnt binary clauses	: 0
1797.71/915.86	c learnt ternary clauses	: 0
1797.71/915.86	c learnt constraints	: 595
1797.71/915.86	c ignored constraints	: 0
1797.71/915.86	c root simplifications	: 0
1797.71/915.86	c removed literals (reason simplification)	: 0
1797.71/915.86	c reason swapping (by a shorter reason)	: 0
1797.71/915.86	c Calls to reduceDB	: 0
1797.71/915.86	c number of reductions to clauses (during analyze)	: 0
1797.71/915.86	c number of learned constraints concerned by reduction	: 0
1797.71/915.86	c number of learning phase by resolution	: 0
1797.71/915.86	c number of learning phase by cutting planes	: 0
1797.71/915.86	c speed (assignments/second)	: 73.28678573497157
1797.71/915.86	c non guided choices	0
1797.71/915.86	c learnt constraints type 
1797.71/915.86	c org.sat4j.pb.constraints.pb.MaxWatchPb => 595
1797.71/915.86	c constraints type 
1797.71/915.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 73
1797.71/915.86	c org.sat4j.minisat.constraints.card.MinWatchCard => 73
1797.71/915.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 40
1797.71/915.86	c 186 constraints processed.
1797.71/915.86	c constraints type 
1797.71/915.86	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 73
1797.71/915.86	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 73
1797.71/915.86	c org.sat4j.pb.constraints.pb.MaxWatchPb => 40
1797.71/915.86	c 186 constraints processed.
1797.71/915.86	s SATISFIABLE
1797.71/915.87	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 
1797.71/915.87	c objective function=-66908274
1797.71/915.87	c Total wall clock time (in seconds): 915.753

Verifier Data

OK	-66908274

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-3689568-1337883163/watcher-3689568-1337883163 -o /tmp/evaluation-result-3689568-1337883163/solver-3689568-1337883163 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689568-1337883163.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: 4.12 4.03 3.74 4/197 22248
/proc/meminfo: memFree=26654164/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22248/stat : 22248 (java) D 22246 22248 18255 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254441724 9515008 183 33554432000 1073741824 1073778376 140736374887264 140736374878296 239873113781 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22248/statm: 2323 183 140 9 0 71 0

[startup+0.0757001 s]
/proc/loadavg: 4.12 4.03 3.74 4/197 22248
/proc/meminfo: memFree=26654164/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 3276 0 1 0 5 1 0 0 20 0 18 0 254441724 9787813888 4484 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2389603 4484 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.10029 s]
/proc/loadavg: 4.12 4.03 3.74 4/197 22248
/proc/meminfo: memFree=26654164/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 4271 0 1 0 9 1 0 0 20 0 18 0 254441724 9787813888 5474 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2389603 5474 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300196 s]
/proc/loadavg: 4.12 4.03 3.74 4/197 22248
/proc/meminfo: memFree=26654164/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9691540 CPUtime=0.53 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 5748 0 1 0 51 2 0 0 20 0 20 0 254441724 9924136960 10369 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2422885 10369 2231 9 0 2413578 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9691540

[startup+0.70023 s]
/proc/loadavg: 4.12 4.03 3.74 4/197 22248
/proc/meminfo: memFree=26654164/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 12624 0 1 0 99 5 0 0 20 0 19 0 254441724 10060460032 15243 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2456167 15243 2240 9 0 2446860 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9824668

[startup+1.50071 s]
/proc/loadavg: 4.12 4.03 3.74 5/216 22273
/proc/meminfo: memFree=26591992/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9824668 CPUtime=2.44 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 18729 0 1 0 235 9 0 0 20 0 22 0 254441724 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2456167 25102 2250 9 0 2446860 0
[pid=22248/tid=22250] ppid=22246 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22248/task/22250/stat : 22250 (java) S 22246 22248 18255 0 -1 4202560 2462 0 1 0 27 1 0 0 20 0 22 0 254441725 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008592741368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22251] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22251/stat : 22251 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008554232872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22252] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22252/stat : 22252 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008553180072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22253] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22253/stat : 22253 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008434428712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22254] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22254/stat : 22254 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008433375912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22255] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22255/stat : 22255 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008432323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22256] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22256/stat : 22256 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008431270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22257] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22257/stat : 22257 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008430217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22258] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22258/stat : 22258 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140008429164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22259] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22259/stat : 22259 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007946836968 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22260] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22260/stat : 22260 (java) S 22246 22248 18255 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007945783032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22261] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22261/stat : 22261 (java) S 22246 22248 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007944730120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22262] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22262/stat : 22262 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007943678608 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22263] ppid=22246 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/22248/task/22263/stat : 22263 (java) R 22246 22248 18255 0 -1 4202560 5393 0 0 0 70 0 0 0 20 0 22 0 254441730 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007942602992 239876497845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22264] ppid=22246 vsize=9824668 CPUtime=0.68 cores=1,3,5,7
/proc/22248/task/22264/stat : 22264 (java) R 22246 22248 18255 0 -1 4202560 9538 0 0 0 66 2 0 0 20 0 22 0 254441730 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007941550168 140008595355569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22265] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22265/stat : 22265 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007940520312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22266] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22266/stat : 22266 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007939467720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22273] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22273/stat : 22273 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441805 10060460032 25102 33554432000 1073741824 1073778376 140733842556000 140007936308136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9824668

[startup+3.10072 s]
/proc/loadavg: 4.19 4.04 3.74 5/219 22276
/proc/meminfo: memFree=26466920/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9824668 CPUtime=6.26 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 21654 0 1 0 605 21 0 0 20 0 22 0 254441724 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2456167 58775 2267 9 0 2446860 0
[pid=22248/tid=22250] ppid=22246 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/22248/task/22250/stat : 22250 (java) S 22246 22248 18255 0 -1 4202560 2462 0 1 0 28 1 0 0 20 0 22 0 254441725 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008592741368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22251] ppid=22246 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22248/task/22251/stat : 22251 (java) S 22246 22248 18255 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 254441726 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008554232872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22252] ppid=22246 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22248/task/22252/stat : 22252 (java) S 22246 22248 18255 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254441726 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008553180072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22253] ppid=22246 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22248/task/22253/stat : 22253 (java) S 22246 22248 18255 0 -1 4202560 63 0 0 0 1 0 0 0 20 0 22 0 254441726 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008434428712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22254] ppid=22246 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22248/task/22254/stat : 22254 (java) S 22246 22248 18255 0 -1 4202560 81 0 0 0 2 1 0 0 20 0 22 0 254441726 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008433375912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22255] ppid=22246 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22248/task/22255/stat : 22255 (java) S 22246 22248 18255 0 -1 4202560 197 0 0 0 2 2 0 0 20 0 22 0 254441726 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008432323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22256] ppid=22246 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22248/task/22256/stat : 22256 (java) S 22246 22248 18255 0 -1 4202560 22 0 0 0 0 1 0 0 20 0 22 0 254441726 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008431270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22257] ppid=22246 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22248/task/22257/stat : 22257 (java) S 22246 22248 18255 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254441726 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008430217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22258] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22258/stat : 22258 (java) S 22246 22248 18255 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 22 0 254441726 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140008429164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22259] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22259/stat : 22259 (java) S 22246 22248 18255 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007946836968 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22260] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22260/stat : 22260 (java) S 22246 22248 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007945783032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22261] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22261/stat : 22261 (java) S 22246 22248 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007944730120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22262] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22262/stat : 22262 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007943678608 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22263] ppid=22246 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/22248/task/22263/stat : 22263 (java) S 22246 22248 18255 0 -1 4202560 5397 0 0 0 103 0 0 0 20 0 22 0 254441730 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007942625720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22264] ppid=22246 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/22248/task/22264/stat : 22264 (java) S 22246 22248 18255 0 -1 4202560 11895 0 0 0 97 3 0 0 20 0 22 0 254441730 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007941572920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22265] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22265/stat : 22265 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007940520312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22266] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22266/stat : 22266 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007939467720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22273] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22273/stat : 22273 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441805 10060460032 58775 33554432000 1073741824 1073778376 140733842556000 140007936308136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 9824668

[startup+6.30082 s]
/proc/loadavg: 4.19 4.04 3.74 5/219 22279
/proc/meminfo: memFree=26321700/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9824668 CPUtime=12.67 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 21796 0 1 0 1240 27 0 0 20 0 22 0 254441724 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2456167 84868 2279 9 0 2446860 0
[pid=22248/tid=22250] ppid=22246 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/22248/task/22250/stat : 22250 (java) S 22246 22248 18255 0 -1 4202560 2462 0 1 0 28 1 0 0 20 0 22 0 254441725 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008592741368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22251] ppid=22246 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22248/task/22251/stat : 22251 (java) S 22246 22248 18255 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 22 0 254441726 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008554232872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22252] ppid=22246 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22248/task/22252/stat : 22252 (java) S 22246 22248 18255 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 254441726 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008553180072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22253] ppid=22246 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22248/task/22253/stat : 22253 (java) S 22246 22248 18255 0 -1 4202560 63 0 0 0 2 0 0 0 20 0 22 0 254441726 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008434428712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22254] ppid=22246 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22248/task/22254/stat : 22254 (java) S 22246 22248 18255 0 -1 4202560 90 0 0 0 3 2 0 0 20 0 22 0 254441726 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008433375912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22255] ppid=22246 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22248/task/22255/stat : 22255 (java) S 22246 22248 18255 0 -1 4202560 214 0 0 0 4 2 0 0 20 0 22 0 254441726 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008432323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22256] ppid=22246 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22248/task/22256/stat : 22256 (java) S 22246 22248 18255 0 -1 4202560 31 0 0 0 2 2 0 0 20 0 22 0 254441726 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008431270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22257] ppid=22246 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22248/task/22257/stat : 22257 (java) S 22246 22248 18255 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254441726 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008430217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22258] ppid=22246 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22248/task/22258/stat : 22258 (java) S 22246 22248 18255 0 -1 4202560 81 0 0 0 2 2 0 0 20 0 22 0 254441726 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140008429164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22259] ppid=22246 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/22248/task/22259/stat : 22259 (java) S 22246 22248 18255 0 -1 4202560 104 0 0 0 13 1 0 0 20 0 22 0 254441727 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007946836968 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22260] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22260/stat : 22260 (java) S 22246 22248 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007945783032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22261] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22261/stat : 22261 (java) S 22246 22248 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007944730120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22262] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22262/stat : 22262 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007943678608 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22263] ppid=22246 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/22248/task/22263/stat : 22263 (java) S 22246 22248 18255 0 -1 4202560 5401 0 0 0 106 1 0 0 20 0 22 0 254441730 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007942625720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22264] ppid=22246 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/22248/task/22264/stat : 22264 (java) S 22246 22248 18255 0 -1 4202560 11900 0 0 0 105 3 0 0 20 0 22 0 254441730 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007941572920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22265] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22265/stat : 22265 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007940520312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22266] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22266/stat : 22266 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007939467720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22273] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22273/stat : 22273 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441805 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007936308136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22277] ppid=22246 vsize=9824668 CPUtime=3.68 cores=1,3,5,7
/proc/22248/task/22277/stat : 22277 (java) R 22246 22248 18255 0 -1 4202560 12 0 0 0 368 0 0 0 20 0 22 0 254441956 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007937360608 140008435268673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22278] ppid=22246 vsize=9824668 CPUtime=3.7 cores=1,3,5,7
/proc/22248/task/22278/stat : 22278 (java) R 22246 22248 18255 0 -1 4202560 16 0 0 0 370 0 0 0 20 0 22 0 254441956 10060460032 84868 33554432000 1073741824 1073778376 140733842556000 140007938411056 140008435272170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0

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

[pid=22248/tid=22254] ppid=22246 vsize=9824668 CPUtime=1.78 cores=1,3,5,7
/proc/22248/task/22254/stat : 22254 (java) S 22246 22248 18255 0 -1 4202560 756 0 0 0 127 51 0 0 20 0 22 0 254441726 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140008433375912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22255] ppid=22246 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/22248/task/22255/stat : 22255 (java) S 22246 22248 18255 0 -1 4202560 919 0 0 0 128 43 0 0 20 0 22 0 254441726 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140008432323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22256] ppid=22246 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/22248/task/22256/stat : 22256 (java) S 22246 22248 18255 0 -1 4202560 643 0 0 0 122 49 0 0 20 0 22 0 254441726 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140008431270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22257] ppid=22246 vsize=9824668 CPUtime=1.69 cores=1,3,5,7
/proc/22248/task/22257/stat : 22257 (java) S 22246 22248 18255 0 -1 4202560 695 0 0 0 127 42 0 0 20 0 22 0 254441726 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140008430217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22258] ppid=22246 vsize=9824668 CPUtime=1.82 cores=1,3,5,7
/proc/22248/task/22258/stat : 22258 (java) S 22246 22248 18255 0 -1 4202560 915 0 0 0 128 54 0 0 20 0 22 0 254441726 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140008429164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22259] ppid=22246 vsize=9824668 CPUtime=35.43 cores=1,3,5,7
/proc/22248/task/22259/stat : 22259 (java) S 22246 22248 18255 0 -1 4202560 4542 0 0 0 3498 45 0 0 20 0 22 0 254441727 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007946836968 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22260] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22260/stat : 22260 (java) S 22246 22248 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007945783032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22261] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22261/stat : 22261 (java) S 22246 22248 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007944730120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22262] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22262/stat : 22262 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007943678608 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22263] ppid=22246 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/22248/task/22263/stat : 22263 (java) S 22246 22248 18255 0 -1 4202560 7813 0 0 0 141 2 0 0 20 0 22 0 254441730 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007942625720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22264] ppid=22246 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/22248/task/22264/stat : 22264 (java) S 22246 22248 18255 0 -1 4202560 11924 0 0 0 117 3 0 0 20 0 22 0 254441730 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007941572920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22265] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22265/stat : 22265 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007940520312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22266] ppid=22246 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/22248/task/22266/stat : 22266 (java) S 22246 22248 18255 0 -1 4202560 50 0 0 0 13 16 0 0 20 0 22 0 254441730 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007939467720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22273] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22273/stat : 22273 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441805 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007936308136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22347] ppid=22246 vsize=9824668 CPUtime=266.71 cores=1,3,5,7
/proc/22248/task/22347/stat : 22347 (java) R 22246 22248 18255 0 -1 4202560 17 0 0 0 26667 4 0 0 20 0 22 0 254500931 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007937360224 140008435268694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22348] ppid=22246 vsize=9824668 CPUtime=266.71 cores=1,3,5,7
/proc/22248/task/22348/stat : 22348 (java) R 22246 22248 18255 0 -1 4202560 8 0 0 0 26667 4 0 0 20 0 22 0 254500931 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007938410768 140008435272112 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22349] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22349/stat : 22349 (java) S 22246 22248 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254500932 10060460032 1141397 33554432000 1073741824 1073778376 140733842556000 140007935255336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1733.04
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+915.601 s]
/proc/loadavg: 3.92 3.93 3.84 4/219 22350
/proc/meminfo: memFree=21852220/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9824668 CPUtime=1797.52 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 35511 0 1 0 179258 494 0 0 20 0 22 0 254441724 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2456167 1145528 2280 9 0 2446860 0
[pid=22248/tid=22250] ppid=22246 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/22248/task/22250/stat : 22250 (java) S 22246 22248 18255 0 -1 4202560 2520 0 1 0 31 3 0 0 20 0 22 0 254441725 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008592741368 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22251] ppid=22246 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/22248/task/22251/stat : 22251 (java) S 22246 22248 18255 0 -1 4202560 543 0 0 0 127 37 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008554232872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22252] ppid=22246 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/22248/task/22252/stat : 22252 (java) S 22246 22248 18255 0 -1 4202560 663 0 0 0 126 50 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008553180072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22253] ppid=22246 vsize=9824668 CPUtime=1.97 cores=1,3,5,7
/proc/22248/task/22253/stat : 22253 (java) S 22246 22248 18255 0 -1 4202560 965 0 0 0 141 56 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008434428712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22254] ppid=22246 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/22248/task/22254/stat : 22254 (java) S 22246 22248 18255 0 -1 4202560 764 0 0 0 128 51 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008433375912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22255] ppid=22246 vsize=9824668 CPUtime=1.73 cores=1,3,5,7
/proc/22248/task/22255/stat : 22255 (java) S 22246 22248 18255 0 -1 4202560 923 0 0 0 130 43 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008432323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22256] ppid=22246 vsize=9824668 CPUtime=1.73 cores=1,3,5,7
/proc/22248/task/22256/stat : 22256 (java) S 22246 22248 18255 0 -1 4202560 644 0 0 0 124 49 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008431270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22257] ppid=22246 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/22248/task/22257/stat : 22257 (java) S 22246 22248 18255 0 -1 4202560 695 0 0 0 129 42 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008430217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22258] ppid=22246 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/22248/task/22258/stat : 22258 (java) S 22246 22248 18255 0 -1 4202560 919 0 0 0 129 54 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008429164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22259] ppid=22246 vsize=9824668 CPUtime=37.68 cores=1,3,5,7
/proc/22248/task/22259/stat : 22259 (java) R 22246 22248 18255 0 -1 4202560 4559 0 0 0 3723 45 0 0 20 0 22 0 254441727 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007946836784 140008599595607 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22260] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22260/stat : 22260 (java) S 22246 22248 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007945783032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22261] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22261/stat : 22261 (java) S 22246 22248 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007944730120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22262] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22262/stat : 22262 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007943678608 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22263] ppid=22246 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/22248/task/22263/stat : 22263 (java) S 22246 22248 18255 0 -1 4202560 7813 0 0 0 141 2 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007942625720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22264] ppid=22246 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/22248/task/22264/stat : 22264 (java) S 22246 22248 18255 0 -1 4202560 11924 0 0 0 117 3 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007941572920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22265] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22265/stat : 22265 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007940520312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22266] ppid=22246 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/22248/task/22266/stat : 22266 (java) S 22246 22248 18255 0 -1 4202560 52 0 0 0 14 17 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007939467720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22273] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22273/stat : 22273 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441805 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007936308136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22347] ppid=22246 vsize=9824668 CPUtime=297.62 cores=1,3,5,7
/proc/22248/task/22347/stat : 22347 (java) S 22246 22248 18255 0 -1 4202560 17 0 0 0 29758 4 0 0 20 0 22 0 254500931 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007937360344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22348] ppid=22246 vsize=9824668 CPUtime=297.63 cores=1,3,5,7
/proc/22248/task/22348/stat : 22348 (java) S 22246 22248 18255 0 -1 4202560 8 0 0 0 29759 4 0 0 20 0 22 0 254500931 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007938410568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22349] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22349/stat : 22349 (java) S 22246 22248 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254500932 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007935255336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 9824668

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

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

[startup+915.801 s]
/proc/loadavg: 3.92 3.93 3.84 4/219 22350
/proc/meminfo: memFree=21852220/32873844 swapFree=7384/7384
[pid=22248] ppid=22246 vsize=9824668 CPUtime=1797.71 cores=1,3,5,7
/proc/22248/stat : 22248 (java) S 22246 22248 18255 0 -1 4202496 35512 0 1 0 179277 494 0 0 20 0 22 0 254441724 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140733842547136 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22248/statm: 2456167 1145528 2280 9 0 2446860 0
[pid=22248/tid=22250] ppid=22246 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/22248/task/22250/stat : 22250 (java) S 22246 22248 18255 0 -1 4202560 2520 0 1 0 31 3 0 0 20 0 22 0 254441725 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008592741080 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22251] ppid=22246 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/22248/task/22251/stat : 22251 (java) S 22246 22248 18255 0 -1 4202560 543 0 0 0 127 37 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008554232872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22252] ppid=22246 vsize=9824668 CPUtime=1.76 cores=1,3,5,7
/proc/22248/task/22252/stat : 22252 (java) S 22246 22248 18255 0 -1 4202560 663 0 0 0 126 50 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008553180072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22253] ppid=22246 vsize=9824668 CPUtime=1.97 cores=1,3,5,7
/proc/22248/task/22253/stat : 22253 (java) S 22246 22248 18255 0 -1 4202560 965 0 0 0 141 56 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008434428712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22254] ppid=22246 vsize=9824668 CPUtime=1.79 cores=1,3,5,7
/proc/22248/task/22254/stat : 22254 (java) S 22246 22248 18255 0 -1 4202560 764 0 0 0 128 51 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008433375912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22255] ppid=22246 vsize=9824668 CPUtime=1.73 cores=1,3,5,7
/proc/22248/task/22255/stat : 22255 (java) S 22246 22248 18255 0 -1 4202560 923 0 0 0 130 43 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008432323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22256] ppid=22246 vsize=9824668 CPUtime=1.73 cores=1,3,5,7
/proc/22248/task/22256/stat : 22256 (java) S 22246 22248 18255 0 -1 4202560 644 0 0 0 124 49 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008431270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22257] ppid=22246 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/22248/task/22257/stat : 22257 (java) S 22246 22248 18255 0 -1 4202560 695 0 0 0 129 42 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008430217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22258] ppid=22246 vsize=9824668 CPUtime=1.83 cores=1,3,5,7
/proc/22248/task/22258/stat : 22258 (java) S 22246 22248 18255 0 -1 4202560 919 0 0 0 129 54 0 0 20 0 22 0 254441726 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140008429164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22259] ppid=22246 vsize=9824668 CPUtime=37.87 cores=1,3,5,7
/proc/22248/task/22259/stat : 22259 (java) R 22246 22248 18255 0 -1 4202560 4559 0 0 0 3742 45 0 0 20 0 22 0 254441727 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007946836784 140008596902201 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22260] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22260/stat : 22260 (java) S 22246 22248 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007945783032 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22261] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22261/stat : 22261 (java) S 22246 22248 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254441727 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007944730120 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22262] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22262/stat : 22262 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007943678152 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22263] ppid=22246 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/22248/task/22263/stat : 22263 (java) S 22246 22248 18255 0 -1 4202560 7813 0 0 0 141 2 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007942625720 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22264] ppid=22246 vsize=9824668 CPUtime=1.2 cores=1,3,5,7
/proc/22248/task/22264/stat : 22264 (java) S 22246 22248 18255 0 -1 4202560 11924 0 0 0 117 3 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007941572920 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22265] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22265/stat : 22265 (java) S 22246 22248 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007940520312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22266] ppid=22246 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/22248/task/22266/stat : 22266 (java) S 22246 22248 18255 0 -1 4202560 52 0 0 0 14 17 0 0 20 0 22 0 254441730 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007939467720 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22248/tid=22273] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22273/stat : 22273 (java) S 22246 22248 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254441805 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007936308136 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22248/tid=22347] ppid=22246 vsize=9824668 CPUtime=297.62 cores=1,3,5,7
/proc/22248/task/22347/stat : 22347 (java) S 22246 22248 18255 0 -1 4202560 17 0 0 0 29758 4 0 0 20 0 22 0 254500931 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007937360344 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22248/tid=22348] ppid=22246 vsize=9824668 CPUtime=297.63 cores=1,3,5,7
/proc/22248/task/22348/stat : 22348 (java) S 22246 22248 18255 0 -1 4202560 8 0 0 0 29759 4 0 0 20 0 22 0 254500931 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007938410568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22248/tid=22349] ppid=22246 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22248/task/22349/stat : 22349 (java) S 22246 22248 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254500932 10060460032 1145528 33554432000 1073741824 1073778376 140733842556000 140007935255336 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22248 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=220693
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=211207
# CPU time returned by wait4() is 1796.43
# while last known CPU time is 1797.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.57996
#  lost CPU user time (s): 2.75
#  lost CPU system time (s): -0.17

Real time (s): 915.897
CPU time (s): 1800.29
CPU user time (s): 1795.52
CPU system time (s): 4.77
CPU usage (%): 196.56
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.22
system time used= 5.21121
maximum resident set size= 4649812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35578
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23825
involuntary context switches= 27952

runsolver used 3.36149 second user time and 9.1746 second system time

The end

Launcher Data

Begin job on node136 at 2012-05-24 20:12:43
IDJOB=3689568
IDBENCH=89903
IDSOLVER=2268
FILE ID=node136/3689568-1337883163
RUNJOBID= node136-1337871880-18272
PBS_JOBID= 14620068
Free space on /tmp= 71712 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-harp2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689568-1337883163/watcher-3689568-1337883163 -o /tmp/evaluation-result-3689568-1337883163/solver-3689568-1337883163 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3689568-1337883163.opb

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

MD5SUM BENCH= 3f0afbcd16b5dd29f67967742a878949
RANDOM SEED=1950177806

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
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:        26654808 kB
Buffers:          286232 kB
Cached:          1913392 kB
SwapCached:        24460 kB
Active:          3818908 kB
Inactive:        1624648 kB
Active(anon):    3218260 kB
Inactive(anon):    25096 kB
Active(file):     600648 kB
Inactive(file):  1599552 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:               440 kB
Writeback:             0 kB
AnonPages:       3230972 kB
Mapped:            17840 kB
Shmem:                 0 kB
Slab:             626648 kB
SReclaimable:      68520 kB
SUnreclaim:       558128 kB
KernelStack:        1624 kB
PageTables:        10520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3527484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3166208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node136 at 2012-05-24 20:28:00