Trace number 3689513

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-31 1800.05 1789.55

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
MD5SUMac9944a86f58bd3c1af4c4c4a209f399
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1797.42
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables900
Total number of constraints960
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints960
Minimum length of a constraint88
Maximum length of a constraint116
Number of terms in the objective function 900
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 900
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.2.v20120418
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		501472288
0.02/0.08	c Max memory 		7480803328
0.02/0.08	c Total memory 		504102912
0.02/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3689513-1337891486.opb
0.10/0.11	c reading problem ... 
0.88/0.46	c ... done. Wall clock time 0.356s.
0.88/0.46	c declared #vars     900
0.88/0.46	c #constraints  960
0.88/0.46	c constraints type 
0.88/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 960
0.88/0.46	c 960 constraints processed.
0.88/0.46	c objective function length is 900 literals
0.88/0.49	c SATISFIABLE
0.88/0.49	c OPTIMIZING...
0.88/0.49	c Got one! Elapsed wall clock time (in seconds):0.382
0.88/0.49	o -28
1.04/0.51	c Got one! Elapsed wall clock time (in seconds):0.4
1.04/0.51	o -29
1.04/0.53	c Got one! Elapsed wall clock time (in seconds):0.42
1.04/0.53	o -30
1.29/0.65	c Got one! Elapsed wall clock time (in seconds):0.545
1.29/0.65	o -31
2.74/1.91	c cleaning 2692 clauses out of 5383 with flag 5001/5383
4.03/3.11	c cleaning 4344 clauses out of 8692 with flag 11002/11384
5.56/4.60	c cleaning 5673 clauses out of 11348 with flag 18002/18384
7.28/6.32	c cleaning 6836 clauses out of 13674 with flag 26001/26383
9.25/8.27	c cleaning 7916 clauses out of 15838 with flag 35001/35383
11.46/10.44	c cleaning 8961 clauses out of 17923 with flag 45002/45384
13.70/12.66	c cleaning 9976 clauses out of 19960 with flag 56000/56382
15.93/14.86	c cleaning 10989 clauses out of 21984 with flag 68000/68382
18.44/17.31	c cleaning 11997 clauses out of 23995 with flag 81000/81382
21.06/19.95	c cleaning 12996 clauses out of 25998 with flag 95000/95382
24.03/22.81	c cleaning 13998 clauses out of 28003 with flag 110001/110383
27.24/26.05	c cleaning 14998 clauses out of 30005 with flag 126001/126383
30.56/29.37	c cleaning 15998 clauses out of 32006 with flag 143000/143382
34.48/33.20	c cleaning 17001 clauses out of 34009 with flag 161001/161383
38.53/37.27	c cleaning 18004 clauses out of 36009 with flag 180002/180384
42.96/41.64	c cleaning 18999 clauses out of 38004 with flag 200001/200383
47.48/46.17	c cleaning 19998 clauses out of 40004 with flag 221000/221382
52.00/50.68	c cleaning 21004 clauses out of 42008 with flag 243002/243384
57.23/55.84	c cleaning 22000 clauses out of 44002 with flag 266000/266382
62.81/61.32	c cleaning 22995 clauses out of 46002 with flag 290000/290382
68.54/67.09	c cleaning 24004 clauses out of 48008 with flag 315001/315383
75.11/73.41	c cleaning 25002 clauses out of 50003 with flag 341000/341382
81.55/79.86	c cleaning 26001 clauses out of 52001 with flag 368000/368382
88.73/86.90	c cleaning 26996 clauses out of 54001 with flag 396001/396383
95.90/94.06	c cleaning 27999 clauses out of 56005 with flag 425001/425383
103.04/101.13	c cleaning 29001 clauses out of 58006 with flag 455001/455383
110.87/108.93	c cleaning 29998 clauses out of 60004 with flag 486000/486382
118.72/116.72	c cleaning 31002 clauses out of 62007 with flag 518001/518383
126.46/124.47	c cleaning 32001 clauses out of 64006 with flag 551002/551384
134.30/132.21	c cleaning 33002 clauses out of 66003 with flag 585000/585382
142.02/139.99	c cleaning 34001 clauses out of 68003 with flag 620002/620384
150.07/147.93	c cleaning 34996 clauses out of 70000 with flag 656000/656382
158.02/155.80	c cleaning 36001 clauses out of 72004 with flag 693000/693382
166.27/164.01	c cleaning 36999 clauses out of 74005 with flag 731002/731384
174.98/172.63	c cleaning 38000 clauses out of 76004 with flag 770000/770382
184.30/181.89	c cleaning 38997 clauses out of 78004 with flag 810000/810382
193.97/191.45	c cleaning 40001 clauses out of 80008 with flag 851001/851383
203.71/201.19	c cleaning 40997 clauses out of 82007 with flag 893001/893383
214.79/212.14	c cleaning 42004 clauses out of 84010 with flag 936001/936383
225.52/222.85	c cleaning 43002 clauses out of 86006 with flag 980001/980383
236.71/233.94	c cleaning 44000 clauses out of 88004 with flag 1025001/1025383
248.46/245.69	c cleaning 44999 clauses out of 90003 with flag 1071000/1071382
260.56/257.69	c cleaning 45998 clauses out of 92005 with flag 1118001/1118383
275.12/272.13	c cleaning 46998 clauses out of 94006 with flag 1166000/1166382
289.70/286.64	c cleaning 48000 clauses out of 96008 with flag 1215000/1215382
304.63/301.52	c cleaning 49000 clauses out of 98008 with flag 1265000/1265382
320.20/317.09	c cleaning 50002 clauses out of 100008 with flag 1316000/1316382
336.31/332.92	c cleaning 51001 clauses out of 102008 with flag 1368002/1368384
351.34/347.98	c cleaning 52004 clauses out of 104008 with flag 1421003/1421385
366.29/362.80	c cleaning 52999 clauses out of 106004 with flag 1475003/1475385
381.05/377.59	c cleaning 54002 clauses out of 108003 with flag 1530001/1530383
396.56/393.06	c cleaning 54998 clauses out of 110001 with flag 1586001/1586383
412.76/409.24	c cleaning 55992 clauses out of 112002 with flag 1643000/1643382
429.54/425.95	c cleaning 57000 clauses out of 114011 with flag 1701001/1701383
446.44/442.86	c cleaning 58004 clauses out of 116010 with flag 1760000/1760382
466.23/462.65	c cleaning 59001 clauses out of 118007 with flag 1820001/1820383
485.23/481.66	c cleaning 60004 clauses out of 120007 with flag 1881002/1881384
505.44/501.88	c cleaning 61000 clauses out of 122004 with flag 1943003/1943385
525.93/522.35	c cleaning 61996 clauses out of 124003 with flag 2006002/2006384
546.84/542.92	c cleaning 63000 clauses out of 126005 with flag 2070000/2070382
565.78/561.82	c cleaning 64001 clauses out of 128005 with flag 2135000/2135382
586.38/582.38	c cleaning 64999 clauses out of 130005 with flag 2201001/2201383
606.98/602.85	c cleaning 66000 clauses out of 132005 with flag 2268000/2268382
627.78/623.58	c cleaning 66999 clauses out of 134006 with flag 2336001/2336383
647.56/643.27	c cleaning 68000 clauses out of 136008 with flag 2405002/2405384
668.66/664.27	c cleaning 68999 clauses out of 138008 with flag 2475002/2475384
690.09/685.55	c cleaning 69999 clauses out of 140007 with flag 2546000/2546382
711.78/707.13	c cleaning 71000 clauses out of 142008 with flag 2618000/2618382
736.14/731.46	c cleaning 72002 clauses out of 144010 with flag 2691002/2691384
759.73/754.88	c cleaning 72999 clauses out of 146008 with flag 2765002/2765384
783.26/778.35	c cleaning 74000 clauses out of 148007 with flag 2840000/2840382
807.76/802.72	c cleaning 75000 clauses out of 150008 with flag 2916001/2916383
835.94/830.89	c cleaning 76001 clauses out of 152009 with flag 2993002/2993384
861.97/856.79	c cleaning 77003 clauses out of 154009 with flag 3071003/3071385
889.05/883.79	c cleaning 77994 clauses out of 156003 with flag 3150000/3150382
916.16/910.71	c cleaning 78999 clauses out of 158009 with flag 3230000/3230382
941.14/935.60	c cleaning 80004 clauses out of 160011 with flag 3311001/3311383
969.75/964.12	c cleaning 81001 clauses out of 162006 with flag 3393000/3393382
998.40/992.68	c cleaning 81998 clauses out of 164006 with flag 3476001/3476383
1025.70/1019.88	c cleaning 83003 clauses out of 166008 with flag 3560001/3560383
1058.51/1052.58	c cleaning 84002 clauses out of 168005 with flag 3645001/3645383
1091.08/1084.65	c cleaning 84997 clauses out of 170003 with flag 3731001/3731383
1125.34/1118.69	c cleaning 85998 clauses out of 172005 with flag 3818000/3818382
1159.27/1152.07	c cleaning 86999 clauses out of 174008 with flag 3906001/3906383
1193.58/1186.14	c cleaning 88002 clauses out of 176010 with flag 3995002/3995384
1226.85/1219.33	c cleaning 88999 clauses out of 178008 with flag 4085002/4085384
1259.52/1251.94	c cleaning 90000 clauses out of 180008 with flag 4176001/4176383
1290.11/1282.42	c cleaning 91003 clauses out of 182007 with flag 4268000/4268382
1326.77/1318.84	c cleaning 91997 clauses out of 184004 with flag 4361000/4361382
1365.77/1357.76	c cleaning 93000 clauses out of 186007 with flag 4455000/4455382
1401.82/1393.65	c cleaning 94001 clauses out of 188009 with flag 4550002/4550384
1440.11/1431.85	c cleaning 94998 clauses out of 190006 with flag 4646000/4646382
1478.28/1469.61	c cleaning 96002 clauses out of 192008 with flag 4743000/4743382
1516.67/1507.34	c cleaning 97001 clauses out of 194006 with flag 4841000/4841382
1554.85/1545.31	c cleaning 97997 clauses out of 196006 with flag 4940001/4940383
1593.35/1583.76	c cleaning 99003 clauses out of 198008 with flag 5040000/5040382
1633.11/1623.22	c cleaning 100000 clauses out of 200005 with flag 5141000/5141382
1669.98/1659.94	c cleaning 100999 clauses out of 202005 with flag 5243000/5243382
1711.80/1701.64	c cleaning 101999 clauses out of 204007 with flag 5346001/5346383
1752.68/1742.42	c cleaning 103003 clauses out of 206008 with flag 5450001/5450383
1795.14/1784.70	c cleaning 103995 clauses out of 208005 with flag 5555001/5555383
1800.05/1789.51	c starts		: 279
1800.05/1789.51	c conflicts		: 5573656
1800.05/1789.51	c decisions		: 6606701
1800.05/1789.51	c propagations		: 44302016
1800.05/1789.51	c inspects		: 13464417145
1800.05/1789.51	c shortcuts		: 0
1800.05/1789.51	c learnt literals	: 0
1800.05/1789.51	c learnt binary clauses	: 0
1800.05/1789.51	c learnt ternary clauses	: 0
1800.05/1789.51	c learnt constraints	: 5573656
1800.05/1789.51	c ignored constraints	: 0
1800.05/1789.51	c root simplifications	: 0
1800.05/1789.51	c removed literals (reason simplification)	: 0
1800.05/1789.51	c reason swapping (by a shorter reason)	: 0
1800.05/1789.51	c Calls to reduceDB	: 101
1800.05/1789.51	c number of reductions to clauses (during analyze)	: 0
1800.05/1789.51	c number of learned constraints concerned by reduction	: 0
1800.05/1789.51	c number of learning phase by resolution	: 0
1800.05/1789.51	c number of learning phase by cutting planes	: 0
1800.05/1789.51	c speed (assignments/second)	: 24763.029760670393
1800.05/1789.51	c non guided choices	0
1800.05/1789.54	c learnt constraints type 
1800.05/1789.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 122376
1800.05/1789.54	c constraints type 
1800.05/1789.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.05/1789.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 960
1800.05/1789.54	c 961 constraints processed.
1800.05/1789.54	s SATISFIABLE
1800.05/1789.54	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 
1800.05/1789.54	c objective function=-31
1800.05/1789.54	c Total wall clock time (in seconds): 1789.433

Verifier Data 

OK	-31

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-3689513-1337891486/watcher-3689513-1337891486 -o /tmp/evaluation-result-3689513-1337891486/solver-3689513-1337891486 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689513-1337891486.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.03 2.18 2/194 27646
/proc/meminfo: memFree=27472104/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 1165 0 0 0 0 0 0 0 20 0 2 0 255277093 91889664 886 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 22435 892 675 9 0 16770 0
[pid=27646/tid=27647] ppid=27644 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 255277094 91889664 894 33554432000 1073741824 1073778376 140733580669200 140733580658264 270109076775 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.0419499 s]
/proc/loadavg: 2.16 2.03 2.18 2/194 27646
/proc/meminfo: memFree=27472104/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 3035 0 1 0 2 0 0 0 20 0 13 0 255277093 9446973440 3733 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2306390 3733 1702 9 0 2297091 0
[pid=27646/tid=27647] ppid=27644 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 1854 0 1 0 2 0 0 0 20 0 13 0 255277094 9446973440 3733 33554432000 1073741824 1073778376 140733580669200 140250169184496 270121624845 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100331 s]
/proc/loadavg: 2.16 2.03 2.18 2/194 27646
/proc/meminfo: memFree=27472104/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 4361 0 1 0 9 1 0 0 20 0 18 0 255277093 9787813888 5562 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2389603 5562 2108 9 0 2380296 0
[pid=27646/tid=27647] ppid=27644 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 2420 0 1 0 7 0 0 0 20 0 18 0 255277094 9787813888 5563 33554432000 1073741824 1073778376 140733580669200 140250169187248 140250173315620 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300223 s]
/proc/loadavg: 2.16 2.03 2.18 2/194 27646
/proc/meminfo: memFree=27472104/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9558412 CPUtime=0.58 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 9964 0 1 0 55 3 0 0 20 0 18 0 255277093 9787813888 11777 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2389603 11777 2217 9 0 2380296 0
[pid=27646/tid=27647] ppid=27644 vsize=9558412 CPUtime=0.27 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 2443 0 1 0 27 0 0 0 20 0 18 0 255277094 9787813888 11777 33554432000 1073741824 1073778376 140733580669200 140250169187248 140250026436403 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558412

[startup+0.700323 s]
/proc/loadavg: 2.16 2.03 2.18 2/194 27646
/proc/meminfo: memFree=27472104/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 11498 0 1 0 137 4 0 0 20 0 19 0 255277093 9855975424 27845 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2406244 27845 2253 9 0 2396937 0
[pid=27646/tid=27647] ppid=27644 vsize=9624976 CPUtime=0.67 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 2485 0 1 0 66 1 0 0 20 0 19 0 255277094 9855975424 27845 33554432000 1073741824 1073778376 140733580669200 140250169189136 140250026468339 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9624976

[startup+1.50076 s]
/proc/loadavg: 2.16 2.03 2.18 3/213 27665
/proc/meminfo: memFree=27354576/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9624976 CPUtime=2.25 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 11525 0 1 0 221 4 0 0 20 0 19 0 255277093 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2406244 38602 2257 9 0 2396937 0
[pid=27646/tid=27647] ppid=27644 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 2507 0 1 0 145 2 0 0 20 0 19 0 255277094 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140250169186888 140250027031596 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27649] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27649/stat : 27649 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140250147289384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27650] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27650/stat : 27650 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140250146236584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27651] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27651/stat : 27651 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140250145184296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27652] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27652/stat : 27652 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249808234920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27653] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27653/stat : 27653 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249807182632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27654] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27654/stat : 27654 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249806129832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27655] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27655/stat : 27655 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249805077544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27656] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27656/stat : 27656 (java) S 27644 27646 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249804024744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27657] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27657/stat : 27657 (java) S 27644 27646 20503 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249791826152 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27658] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27658/stat : 27658 (java) S 27644 27646 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249790772216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27659] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27659/stat : 27659 (java) S 27644 27646 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249789719816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27660] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27660/stat : 27660 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249788668304 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27661] ppid=27644 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/27646/task/27661/stat : 27661 (java) S 27644 27646 20503 0 -1 4202560 4704 0 0 0 42 0 0 0 20 0 19 0 255277099 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249787615928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27662] ppid=27644 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/27646/task/27662/stat : 27662 (java) S 27644 27646 20503 0 -1 4202560 3120 0 0 0 31 1 0 0 20 0 19 0 255277099 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249786563128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27663] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27663/stat : 27663 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249785511032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27664] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27664/stat : 27664 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249784458440 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27665] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27665/stat : 27665 (java) S 27644 27646 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255277141 9855975424 38602 33554432000 1073741824 1073778376 140733580669200 140249783370664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 9624976

[startup+3.10076 s]
/proc/loadavg: 2.16 2.03 2.18 3/213 27665
/proc/meminfo: memFree=27259872/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9624976 CPUtime=4.03 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 11728 0 1 0 394 9 0 0 20 0 19 0 255277093 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2406244 55095 2283 9 0 2396937 0
[pid=27646/tid=27647] ppid=27644 vsize=9624976 CPUtime=3 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 2518 0 1 0 298 2 0 0 20 0 19 0 255277094 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140250169188888 140250026975908 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27649] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27649/stat : 27649 (java) S 27644 27646 20503 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 19 0 255277095 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140250147289384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27650] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27650/stat : 27650 (java) S 27644 27646 20503 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 255277095 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140250146236584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27651] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27651/stat : 27651 (java) S 27644 27646 20503 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 255277095 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140250145184296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27652] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27652/stat : 27652 (java) S 27644 27646 20503 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 19 0 255277095 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249808234920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27653] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27653/stat : 27653 (java) S 27644 27646 20503 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249807182632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27654] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27654/stat : 27654 (java) S 27644 27646 20503 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249806129832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27655] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27655/stat : 27655 (java) S 27644 27646 20503 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249805077544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27656] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27656/stat : 27656 (java) S 27644 27646 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249804024744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27657] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27657/stat : 27657 (java) S 27644 27646 20503 0 -1 4202560 99 0 0 0 1 0 0 0 20 0 19 0 255277096 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249791826152 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27658] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27658/stat : 27658 (java) S 27644 27646 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249790772216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27659] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27659/stat : 27659 (java) S 27644 27646 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249789719816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27660] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27660/stat : 27660 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249788668304 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27661] ppid=27644 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/27646/task/27661/stat : 27661 (java) S 27644 27646 20503 0 -1 4202560 4708 0 0 0 45 0 0 0 20 0 19 0 255277099 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249787615928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27662] ppid=27644 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/27646/task/27662/stat : 27662 (java) S 27644 27646 20503 0 -1 4202560 3121 0 0 0 34 2 0 0 20 0 19 0 255277099 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249786563128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27663] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27663/stat : 27663 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249785511032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27664] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27664/stat : 27664 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249784458440 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27665] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27665/stat : 27665 (java) S 27644 27646 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255277141 9855975424 55095 33554432000 1073741824 1073778376 140733580669200 140249783370664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 9624976

[startup+6.30076 s]
/proc/loadavg: 2.15 2.03 2.18 3/213 27665
/proc/meminfo: memFree=27223380/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9624976 CPUtime=7.28 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 12123 0 1 0 717 11 0 0 20 0 19 0 255277093 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2406244 64165 2283 9 0 2396937 0
[pid=27646/tid=27647] ppid=27644 vsize=9624976 CPUtime=6.13 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 2520 0 1 0 611 2 0 0 20 0 19 0 255277094 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140250169188640 140250027031977 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27649] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27649/stat : 27649 (java) S 27644 27646 20503 0 -1 4202560 49 0 0 0 1 0 0 0 20 0 19 0 255277095 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140250147289384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27650] ppid=27644 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/27646/task/27650/stat : 27650 (java) S 27644 27646 20503 0 -1 4202560 110 0 0 0 2 0 0 0 20 0 19 0 255277095 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140250146236584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27651] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27651/stat : 27651 (java) S 27644 27646 20503 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 19 0 255277095 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140250145184296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27652] ppid=27644 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/27646/task/27652/stat : 27652 (java) S 27644 27646 20503 0 -1 4202560 60 0 0 0 2 0 0 0 20 0 19 0 255277095 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249808234920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27653] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27653/stat : 27653 (java) S 27644 27646 20503 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255277095 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249807182632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27654] ppid=27644 vsize=9624976 CPUtime=0.02 cores=0,2,4,6
/proc/27646/task/27654/stat : 27654 (java) S 27644 27646 20503 0 -1 4202560 115 0 0 0 2 0 0 0 20 0 19 0 255277095 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249806129832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27655] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27655/stat : 27655 (java) S 27644 27646 20503 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255277095 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249805077544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27656] ppid=27644 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/27646/task/27656/stat : 27656 (java) S 27644 27646 20503 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 255277095 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249804024744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27657] ppid=27644 vsize=9624976 CPUtime=0.06 cores=0,2,4,6
/proc/27646/task/27657/stat : 27657 (java) S 27644 27646 20503 0 -1 4202560 106 0 0 0 6 0 0 0 20 0 19 0 255277096 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249791826152 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27658] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27658/stat : 27658 (java) S 27644 27646 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249790772216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27659] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27659/stat : 27659 (java) S 27644 27646 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249789719816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27660] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27660/stat : 27660 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249788668304 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27661] ppid=27644 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/27646/task/27661/stat : 27661 (java) S 27644 27646 20503 0 -1 4202560 4708 0 0 0 45 0 0 0 20 0 19 0 255277099 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249787615928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27662] ppid=27644 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/27646/task/27662/stat : 27662 (java) S 27644 27646 20503 0 -1 4202560 3122 0 0 0 34 2 0 0 20 0 19 0 255277099 9855975424 64165 33554432000 1073741824 1073778376 140733580669200 140249786563128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=27646/tid=27661] ppid=27644 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/27646/task/27661/stat : 27661 (java) S 27644 27646 20503 0 -1 4202560 4709 0 0 0 46 0 0 0 20 0 19 0 255277099 9855975424 658731 33554432000 1073741824 1073778376 140733580669200 140249787615928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27662] ppid=27644 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/27646/task/27662/stat : 27662 (java) S 27644 27646 20503 0 -1 4202560 3129 0 0 0 42 2 0 0 20 0 19 0 255277099 9855975424 658731 33554432000 1073741824 1073778376 140733580669200 140249786563128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27663] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27663/stat : 27663 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 658731 33554432000 1073741824 1073778376 140733580669200 140249785511032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27664] ppid=27644 vsize=9624976 CPUtime=0.7 cores=0,2,4,6
/proc/27646/task/27664/stat : 27664 (java) S 27644 27646 20503 0 -1 4202560 98 0 0 0 44 26 0 0 20 0 19 0 255277099 9855975424 658731 33554432000 1073741824 1073778376 140733580669200 140249784458440 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27665] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27665/stat : 27665 (java) S 27644 27646 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255277141 9855975424 658731 33554432000 1073741824 1073778376 140733580669200 140249783370664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1732.57
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/214 27764
/proc/meminfo: memFree=25622412/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9624976 CPUtime=1792.74 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 27239 0 1 0 179031 243 0 0 20 0 19 0 255277093 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2406244 658741 2284 9 0 2396937 0
[pid=27646/tid=27647] ppid=27644 vsize=9624976 CPUtime=1765.73 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 3950 0 1 0 176533 40 0 0 20 0 19 0 255277094 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140250169188640 140250026986843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27649] ppid=27644 vsize=9624976 CPUtime=1.66 cores=0,2,4,6
/proc/27646/task/27649/stat : 27649 (java) S 27644 27646 20503 0 -1 4202560 1023 0 0 0 137 29 0 0 20 0 19 0 255277095 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140250147289384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27650] ppid=27644 vsize=9624976 CPUtime=1.66 cores=0,2,4,6
/proc/27646/task/27650/stat : 27650 (java) S 27644 27646 20503 0 -1 4202560 2032 0 0 0 134 32 0 0 20 0 19 0 255277095 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140250146236584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27651] ppid=27644 vsize=9624976 CPUtime=1.61 cores=0,2,4,6
/proc/27646/task/27651/stat : 27651 (java) S 27644 27646 20503 0 -1 4202560 1191 0 0 0 138 23 0 0 20 0 19 0 255277095 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140250145184296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27652] ppid=27644 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/27646/task/27652/stat : 27652 (java) S 27644 27646 20503 0 -1 4202560 1243 0 0 0 132 25 0 0 20 0 19 0 255277095 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249808234920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27653] ppid=27644 vsize=9624976 CPUtime=1.47 cores=0,2,4,6
/proc/27646/task/27653/stat : 27653 (java) S 27644 27646 20503 0 -1 4202560 1030 0 0 0 126 21 0 0 20 0 19 0 255277095 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249807182632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27654] ppid=27644 vsize=9624976 CPUtime=1.63 cores=0,2,4,6
/proc/27646/task/27654/stat : 27654 (java) S 27644 27646 20503 0 -1 4202560 2009 0 0 0 139 24 0 0 20 0 19 0 255277095 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249806129832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27655] ppid=27644 vsize=9624976 CPUtime=1.57 cores=0,2,4,6
/proc/27646/task/27655/stat : 27655 (java) S 27644 27646 20503 0 -1 4202560 2168 0 0 0 134 23 0 0 20 0 19 0 255277095 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249805077544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27656] ppid=27644 vsize=9624976 CPUtime=1.59 cores=0,2,4,6
/proc/27646/task/27656/stat : 27656 (java) S 27644 27646 20503 0 -1 4202560 1045 0 0 0 134 25 0 0 20 0 19 0 255277095 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249804024744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27657] ppid=27644 vsize=9624976 CPUtime=8.43 cores=0,2,4,6
/proc/27646/task/27657/stat : 27657 (java) S 27644 27646 20503 0 -1 4202560 2428 0 0 0 840 3 0 0 20 0 19 0 255277096 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249791826152 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27658] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27658/stat : 27658 (java) S 27644 27646 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249790772216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27659] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27659/stat : 27659 (java) S 27644 27646 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249789719816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27660] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27660/stat : 27660 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249788668304 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27661] ppid=27644 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/27646/task/27661/stat : 27661 (java) S 27644 27646 20503 0 -1 4202560 4709 0 0 0 46 0 0 0 20 0 19 0 255277099 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249787615928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27662] ppid=27644 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/27646/task/27662/stat : 27662 (java) S 27644 27646 20503 0 -1 4202560 3129 0 0 0 42 2 0 0 20 0 19 0 255277099 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249786563128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27663] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27663/stat : 27663 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249785511032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27664] ppid=27644 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/27646/task/27664/stat : 27664 (java) S 27644 27646 20503 0 -1 4202560 102 0 0 0 47 26 0 0 20 0 19 0 255277099 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249784458440 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27665] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27665/stat : 27665 (java) S 27644 27646 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255277141 9855975424 658741 33554432000 1073741824 1073778376 140733580669200 140249783370664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1792.74
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.5 s]
/proc/loadavg: 2.00 2.03 2.03 3/214 27764
/proc/meminfo: memFree=25626368/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 27242 0 1 0 179762 243 0 0 20 0 19 0 255277093 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2406244 657801 2284 9 0 2396937 0
[pid=27646/tid=27647] ppid=27644 vsize=9624976 CPUtime=1772.79 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 3951 0 1 0 177239 40 0 0 20 0 19 0 255277094 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140250169188640 140250027064516 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27649] ppid=27644 vsize=9624976 CPUtime=1.67 cores=0,2,4,6
/proc/27646/task/27649/stat : 27649 (java) S 27644 27646 20503 0 -1 4202560 1023 0 0 0 138 29 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140250147289384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27650] ppid=27644 vsize=9624976 CPUtime=1.69 cores=0,2,4,6
/proc/27646/task/27650/stat : 27650 (java) S 27644 27646 20503 0 -1 4202560 2032 0 0 0 137 32 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140250146236584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27651] ppid=27644 vsize=9624976 CPUtime=1.63 cores=0,2,4,6
/proc/27646/task/27651/stat : 27651 (java) S 27644 27646 20503 0 -1 4202560 1191 0 0 0 140 23 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140250145184296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27652] ppid=27644 vsize=9624976 CPUtime=1.61 cores=0,2,4,6
/proc/27646/task/27652/stat : 27652 (java) S 27644 27646 20503 0 -1 4202560 1243 0 0 0 136 25 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249808234920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27653] ppid=27644 vsize=9624976 CPUtime=1.49 cores=0,2,4,6
/proc/27646/task/27653/stat : 27653 (java) S 27644 27646 20503 0 -1 4202560 1030 0 0 0 128 21 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249807182632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27654] ppid=27644 vsize=9624976 CPUtime=1.64 cores=0,2,4,6
/proc/27646/task/27654/stat : 27654 (java) S 27644 27646 20503 0 -1 4202560 2009 0 0 0 140 24 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249806129832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27655] ppid=27644 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/27646/task/27655/stat : 27655 (java) S 27644 27646 20503 0 -1 4202560 2168 0 0 0 135 23 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249805077544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27656] ppid=27644 vsize=9624976 CPUtime=1.6 cores=0,2,4,6
/proc/27646/task/27656/stat : 27656 (java) S 27644 27646 20503 0 -1 4202560 1045 0 0 0 135 25 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249804024744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27657] ppid=27644 vsize=9624976 CPUtime=8.51 cores=0,2,4,6
/proc/27646/task/27657/stat : 27657 (java) S 27644 27646 20503 0 -1 4202560 2430 0 0 0 848 3 0 0 20 0 19 0 255277096 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249791826152 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27658] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27658/stat : 27658 (java) S 27644 27646 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249790772216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27659] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27659/stat : 27659 (java) S 27644 27646 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249789719816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27660] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27660/stat : 27660 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249788668304 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27661] ppid=27644 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/27646/task/27661/stat : 27661 (java) S 27644 27646 20503 0 -1 4202560 4709 0 0 0 46 0 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249787615928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27662] ppid=27644 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/27646/task/27662/stat : 27662 (java) S 27644 27646 20503 0 -1 4202560 3129 0 0 0 42 2 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249786563128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27663] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27663/stat : 27663 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249785511032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27664] ppid=27644 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/27646/task/27664/stat : 27664 (java) S 27644 27646 20503 0 -1 4202560 102 0 0 0 47 26 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249784458440 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27665] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27665/stat : 27665 (java) S 27644 27646 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255277141 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249783370664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1789.5 s]
/proc/loadavg: 2.00 2.03 2.03 3/214 27764
/proc/meminfo: memFree=25626368/32873844 swapFree=6856/6856
[pid=27646] ppid=27644 vsize=9624976 CPUtime=1800.05 cores=0,2,4,6
/proc/27646/stat : 27646 (java) S 27644 27646 20503 0 -1 4202496 27242 0 1 0 179762 243 0 0 20 0 19 0 255277093 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140733580660336 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2406244 657801 2284 9 0 2396937 0
[pid=27646/tid=27647] ppid=27644 vsize=9624976 CPUtime=1772.79 cores=0,2,4,6
/proc/27646/task/27647/stat : 27647 (java) R 27644 27646 20503 0 -1 4202560 3951 0 1 0 177239 40 0 0 20 0 19 0 255277094 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140250169188640 140250027064516 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27649] ppid=27644 vsize=9624976 CPUtime=1.67 cores=0,2,4,6
/proc/27646/task/27649/stat : 27649 (java) S 27644 27646 20503 0 -1 4202560 1023 0 0 0 138 29 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140250147289384 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27650] ppid=27644 vsize=9624976 CPUtime=1.69 cores=0,2,4,6
/proc/27646/task/27650/stat : 27650 (java) S 27644 27646 20503 0 -1 4202560 2032 0 0 0 137 32 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140250146236584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27651] ppid=27644 vsize=9624976 CPUtime=1.63 cores=0,2,4,6
/proc/27646/task/27651/stat : 27651 (java) S 27644 27646 20503 0 -1 4202560 1191 0 0 0 140 23 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140250145184296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27652] ppid=27644 vsize=9624976 CPUtime=1.61 cores=0,2,4,6
/proc/27646/task/27652/stat : 27652 (java) S 27644 27646 20503 0 -1 4202560 1243 0 0 0 136 25 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249808234920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27653] ppid=27644 vsize=9624976 CPUtime=1.49 cores=0,2,4,6
/proc/27646/task/27653/stat : 27653 (java) S 27644 27646 20503 0 -1 4202560 1030 0 0 0 128 21 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249807182632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27654] ppid=27644 vsize=9624976 CPUtime=1.64 cores=0,2,4,6
/proc/27646/task/27654/stat : 27654 (java) S 27644 27646 20503 0 -1 4202560 2009 0 0 0 140 24 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249806129832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27655] ppid=27644 vsize=9624976 CPUtime=1.58 cores=0,2,4,6
/proc/27646/task/27655/stat : 27655 (java) S 27644 27646 20503 0 -1 4202560 2168 0 0 0 135 23 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249805077544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27656] ppid=27644 vsize=9624976 CPUtime=1.6 cores=0,2,4,6
/proc/27646/task/27656/stat : 27656 (java) S 27644 27646 20503 0 -1 4202560 1045 0 0 0 135 25 0 0 20 0 19 0 255277095 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249804024744 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27657] ppid=27644 vsize=9624976 CPUtime=8.51 cores=0,2,4,6
/proc/27646/task/27657/stat : 27657 (java) S 27644 27646 20503 0 -1 4202560 2430 0 0 0 848 3 0 0 20 0 19 0 255277096 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249791826152 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27646/tid=27658] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27658/stat : 27658 (java) S 27644 27646 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249790772216 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27659] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27659/stat : 27659 (java) S 27644 27646 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255277096 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249789719816 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27660] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27660/stat : 27660 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249788668304 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27661] ppid=27644 vsize=9624976 CPUtime=0.46 cores=0,2,4,6
/proc/27646/task/27661/stat : 27661 (java) S 27644 27646 20503 0 -1 4202560 4709 0 0 0 46 0 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249787615928 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27646/tid=27662] ppid=27644 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/27646/task/27662/stat : 27662 (java) S 27644 27646 20503 0 -1 4202560 3129 0 0 0 42 2 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249786563128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27663] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27663/stat : 27663 (java) S 27644 27646 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249785511032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27646/tid=27664] ppid=27644 vsize=9624976 CPUtime=0.73 cores=0,2,4,6
/proc/27646/task/27664/stat : 27664 (java) S 27644 27646 20503 0 -1 4202560 102 0 0 0 47 26 0 0 20 0 19 0 255277099 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249784458440 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27646/tid=27665] ppid=27644 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/27646/task/27665/stat : 27665 (java) S 27644 27646 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255277141 9855975424 657801 33554432000 1073741824 1073778376 140733580669200 140249783370664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976

Child status: 143

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

Real time (s): 1789.55
CPU time (s): 1800.05
CPU user time (s): 1797.62
CPU system time (s): 2.43
CPU usage (%): 100.586
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.31
system time used= 2.88256
maximum resident set size= 2650944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27275
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40880
involuntary context switches= 16372

runsolver used 5.83211 second user time and 15.1417 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-24 22:31:26
IDJOB=3689513
IDBENCH=89874
IDSOLVER=2269
FILE ID=node106/3689513-1337891486
RUNJOBID= node106-1337889496-26304
PBS_JOBID= 14620098
Free space on /tmp= 71612 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689513-1337891486/watcher-3689513-1337891486 -o /tmp/evaluation-result-3689513-1337891486/solver-3689513-1337891486 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689513-1337891486.opb

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

MD5SUM BENCH= ac9944a86f58bd3c1af4c4c4a209f399
RANDOM SEED=651914850

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.065
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:        27472104 kB
Buffers:          217500 kB
Cached:          2988072 kB
SwapCached:            0 kB
Active:          2178300 kB
Inactive:        2447996 kB
Active(anon):    1423180 kB
Inactive(anon):        0 kB
Active(file):     755120 kB
Inactive(file):  2447996 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1156 kB
Writeback:             0 kB
AnonPages:       1457876 kB
Mapped:            22596 kB
Shmem:               200 kB
Slab:             628584 kB
SReclaimable:      70840 kB
SUnreclaim:       557744 kB
KernelStack:        1760 kB
PageTables:         7312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2710404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1404928 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= 71660 MiB
End job on node106 at 2012-05-24 23:01:18