Trace number 3710717

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
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)-45 1800.08 1792.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM98c81efbf429745622d6705fab70d2ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109601
Number of constraints which are clauses109601
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
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 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=true
0.09/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3710717-1338147617.opb
0.09/0.13	c reading problem ... 
0.98/0.73	c ... done. Wall clock time 0.608s.
0.98/0.73	c declared #vars     1400
0.98/0.73	c #constraints  109601
0.98/0.73	c constraints type 
0.98/0.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109601
0.98/0.73	c 109601 constraints processed.
0.98/0.76	c SATISFIABLE
0.98/0.76	c OPTIMIZING...
0.98/0.76	c Got one! Elapsed wall clock time (in seconds):0.639
0.98/0.76	o 0
0.98/0.78	c Got one! Elapsed wall clock time (in seconds):0.657
0.98/0.78	o -1
1.11/0.85	c Got one! Elapsed wall clock time (in seconds):0.728
1.11/0.85	o -2
1.11/0.87	c Got one! Elapsed wall clock time (in seconds):0.744
1.11/0.87	o -38
1.11/0.88	c Got one! Elapsed wall clock time (in seconds):0.757
1.11/0.88	o -39
1.38/0.95	c Got one! Elapsed wall clock time (in seconds):0.824
1.38/0.95	o -43
2.96/2.36	c cleaning 2547 clauses out of 5101 with flag 5000/5101
4.89/4.12	c cleaning 4277 clauses out of 8554 with flag 11000/11101
7.01/6.21	c cleaning 5634 clauses out of 11279 with flag 18002/18103
9.60/8.71	c cleaning 6821 clauses out of 13643 with flag 26000/26101
12.56/11.60	c cleaning 7909 clauses out of 15823 with flag 35001/35102
15.80/14.88	c cleaning 8957 clauses out of 17914 with flag 45001/45102
17.95/16.91	c Got one! Elapsed wall clock time (in seconds):16.782
17.95/16.91	o -44
19.36/18.33	c cleaning 9671 clauses out of 19360 with flag 5001/55505
21.32/20.23	c cleaning 7840 clauses out of 15688 with flag 11000/61504
23.65/22.55	c cleaning 7420 clauses out of 14849 with flag 18001/68505
26.86/25.71	c cleaning 7709 clauses out of 15428 with flag 26000/76504
29.69/28.59	c cleaning 8361 clauses out of 16722 with flag 35003/85507
33.31/32.12	c cleaning 9175 clauses out of 18359 with flag 45001/95505
37.44/36.30	c cleaning 10080 clauses out of 20183 with flag 56000/106504
42.25/41.00	c cleaning 11045 clauses out of 22103 with flag 68000/118504
46.92/45.60	c cleaning 12028 clauses out of 24061 with flag 81003/131507
52.26/50.95	c cleaning 13008 clauses out of 26030 with flag 95000/145504
58.34/56.91	c cleaning 14006 clauses out of 28022 with flag 110000/160504
66.00/64.52	c cleaning 15006 clauses out of 30017 with flag 126001/176505
71.68/70.18	c Got one! Elapsed wall clock time (in seconds):70.055
71.68/70.18	o -45
73.59/72.00	c cleaning 17908 clauses out of 35816 with flag 5001/197310
75.99/74.33	c cleaning 11953 clauses out of 23914 with flag 11007/203316
78.92/77.27	c cleaning 9472 clauses out of 18954 with flag 18000/210309
81.84/80.12	c cleaning 8740 clauses out of 17482 with flag 26000/218309
85.46/83.75	c cleaning 8864 clauses out of 17742 with flag 35000/227309
89.10/87.36	c cleaning 9436 clauses out of 18878 with flag 45000/237309
94.12/92.40	c cleaning 10215 clauses out of 20443 with flag 56001/248310
100.24/98.47	c cleaning 11112 clauses out of 22228 with flag 68001/260310
104.39/102.59	c cleaning 12058 clauses out of 24117 with flag 81002/273311
110.34/108.49	c cleaning 13029 clauses out of 26057 with flag 95000/287309
116.48/114.53	c cleaning 14006 clauses out of 28028 with flag 110000/302309
123.64/121.69	c cleaning 15006 clauses out of 30023 with flag 126001/318310
132.70/130.65	c cleaning 15999 clauses out of 32017 with flag 143001/335310
141.35/139.22	c cleaning 17006 clauses out of 34017 with flag 161000/353309
151.24/149.06	c cleaning 17996 clauses out of 36011 with flag 180000/372309
163.09/160.83	c cleaning 19005 clauses out of 38016 with flag 200001/392310
170.73/168.33	c cleaning 19996 clauses out of 40010 with flag 221000/413309
179.99/177.54	c cleaning 20999 clauses out of 42016 with flag 243002/435311
190.35/187.87	c cleaning 22009 clauses out of 44020 with flag 266005/458314
203.04/200.45	c cleaning 22993 clauses out of 46007 with flag 290001/482310
218.58/215.87	c cleaning 24004 clauses out of 48013 with flag 315000/507309
231.78/228.91	c cleaning 24999 clauses out of 50010 with flag 341001/533310
247.41/244.45	c cleaning 26002 clauses out of 52011 with flag 368001/560310
266.80/263.76	c cleaning 27003 clauses out of 54008 with flag 396000/588309
277.43/274.22	c cleaning 27996 clauses out of 56007 with flag 425002/617311
290.73/287.58	c cleaning 29002 clauses out of 58011 with flag 455002/647311
307.64/304.44	c cleaning 29999 clauses out of 60007 with flag 486000/678309
334.63/331.42	c cleaning 30997 clauses out of 62008 with flag 518000/710309
352.44/349.22	c cleaning 32000 clauses out of 64012 with flag 551001/743310
379.15/375.90	c cleaning 32999 clauses out of 66011 with flag 585000/777309
400.75/397.57	c cleaning 34007 clauses out of 68014 with flag 620002/812311
427.65/424.50	c cleaning 34993 clauses out of 70005 with flag 656000/848309
457.26/454.08	c cleaning 36004 clauses out of 72013 with flag 693001/885310
472.26/469.02	c cleaning 36999 clauses out of 74008 with flag 731000/923309
490.97/487.77	c cleaning 37997 clauses out of 76009 with flag 770000/962309
515.87/512.63	c cleaning 38999 clauses out of 78012 with flag 810000/1002309
539.17/535.97	c cleaning 39998 clauses out of 80013 with flag 851000/1043309
568.88/565.61	c cleaning 41003 clauses out of 82016 with flag 893001/1085310
596.87/593.62	c cleaning 42000 clauses out of 84012 with flag 936000/1128309
633.78/630.54	c cleaning 43004 clauses out of 86013 with flag 980001/1172310
664.67/661.40	c cleaning 44002 clauses out of 88009 with flag 1025001/1217310
710.39/707.13	c cleaning 45001 clauses out of 90007 with flag 1071001/1263310
758.40/755.11	c cleaning 46001 clauses out of 92008 with flag 1118003/1310312
782.29/779.04	c cleaning 46990 clauses out of 94004 with flag 1166000/1358309
806.78/803.03	c cleaning 48004 clauses out of 96015 with flag 1215001/1407310
839.58/835.83	c cleaning 49005 clauses out of 98010 with flag 1265000/1457309
887.29/883.33	c cleaning 50001 clauses out of 100009 with flag 1316004/1508313
919.26/915.17	c cleaning 50997 clauses out of 102004 with flag 1368000/1560309
961.08/956.81	c cleaning 51995 clauses out of 104007 with flag 1421000/1613309
996.64/992.29	c cleaning 52999 clauses out of 106012 with flag 1475000/1667309
1050.59/1046.09	c cleaning 54002 clauses out of 108015 with flag 1530002/1722311
1100.46/1095.72	c cleaning 55000 clauses out of 110011 with flag 1586000/1778309
1143.66/1138.72	c cleaning 56003 clauses out of 112013 with flag 1643002/1835311
1193.83/1188.75	c cleaning 57000 clauses out of 114008 with flag 1701000/1893309
1254.23/1249.09	c cleaning 57993 clauses out of 116008 with flag 1760000/1952309
1298.55/1293.20	c cleaning 58997 clauses out of 118015 with flag 1820000/2012309
1330.08/1324.52	c cleaning 59998 clauses out of 120018 with flag 1881000/2073309
1367.45/1361.77	c cleaning 61001 clauses out of 122020 with flag 1943000/2135309
1420.13/1414.26	c cleaning 62007 clauses out of 124019 with flag 2006000/2198309
1480.47/1474.30	c cleaning 63005 clauses out of 126013 with flag 2070001/2262310
1522.82/1516.58	c cleaning 63999 clauses out of 128007 with flag 2135000/2327309
1590.68/1584.29	c cleaning 65001 clauses out of 130009 with flag 2201001/2393310
1637.46/1630.82	c cleaning 65999 clauses out of 132010 with flag 2268003/2460312
1693.46/1686.69	c cleaning 67003 clauses out of 134009 with flag 2336001/2528310
1760.88/1753.88	c cleaning 67999 clauses out of 136007 with flag 2405002/2597311
1800.08/1792.81	c starts		: 238
1800.08/1792.81	c conflicts		: 2642660
1800.08/1792.81	c decisions		: 2679633
1800.08/1792.81	c propagations		: 14709341
1800.08/1792.81	c inspects		: 3542590194
1800.08/1792.81	c shortcuts		: 0
1800.08/1792.81	c learnt literals	: 0
1800.08/1792.81	c learnt binary clauses	: 0
1800.08/1792.81	c learnt ternary clauses	: 0
1800.08/1792.81	c learnt constraints	: 2642660
1800.08/1792.81	c ignored constraints	: 0
1800.08/1792.81	c root simplifications	: 238
1800.08/1792.81	c removed literals (reason simplification)	: 61144505
1800.08/1792.81	c reason swapping (by a shorter reason)	: 0
1800.08/1792.81	c Calls to reduceDB	: 83
1800.08/1792.81	c number of reductions to clauses (during analyze)	: 0
1800.08/1792.81	c number of learned constraints concerned by reduction	: 0
1800.08/1792.81	c number of learning phase by resolution	: 0
1800.08/1792.81	c number of learning phase by cutting planes	: 0
1800.08/1792.81	c speed (assignments/second)	: 8208.012405758478
1800.08/1792.81	c non guided choices	4197
1800.08/1792.84	c learnt constraints type 
1800.08/1792.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113376
1800.08/1792.84	c constraints type 
1800.08/1792.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 0
1800.08/1792.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1792.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109601
1800.08/1792.84	c 109602 constraints processed.
1800.08/1792.84	s SATISFIABLE
1800.08/1792.84	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 
1800.08/1792.84	c objective function=-45
1800.08/1792.84	c Total wall clock time (in seconds): 1792.715

Verifier Data 

OK	-45

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-3710717-1338147617/watcher-3710717-1338147617 -o /tmp/evaluation-result-3710717-1338147617/solver-3710717-1338147617 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710717-1338147617.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: 1.92 1.98 1.99 3/195 25780
/proc/meminfo: memFree=29293360/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25780/stat : 25780 (java) D 25778 25780 22368 0 -1 4202496 252 0 0 0 0 0 0 0 20 0 1 0 280886234 9515008 185 33554432000 1073741824 1073778376 140736689619376 140736689610600 212073082295 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/25780/statm: 2323 185 142 9 0 71 0

[startup+0.0188251 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 25780
/proc/meminfo: memFree=29293360/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=102664 CPUtime=0 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 1429 0 1 0 0 0 0 0 20 0 2 0 280886234 105127936 1109 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.100225 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 25780
/proc/meminfo: memFree=29293360/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 4180 0 1 0 8 1 0 0 20 0 18 0 280886234 9787842560 5386 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2389610 5389 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300218 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 25780
/proc/meminfo: memFree=29293360/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9558440 CPUtime=0.43 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 5191 0 1 0 42 1 0 0 20 0 18 0 280886234 9787842560 7770 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2389610 7770 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558440

[startup+0.700237 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 25780
/proc/meminfo: memFree=29293360/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9558440 CPUtime=0.98 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 7139 0 1 0 94 4 0 0 20 0 18 0 280886234 9787842560 40562 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2389610 40562 2249 9 0 2380296 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9558440

[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.99 4/214 25799
/proc/meminfo: memFree=29136132/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9625004 CPUtime=2.1 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 7682 0 1 0 206 4 0 0 20 0 19 0 280886234 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2406251 41457 2267 9 0 2396937 0
[pid=25780/tid=25782] ppid=25778 vsize=9625004 CPUtime=1.45 cores=0,2,4,6
/proc/25780/task/25782/stat : 25782 (java) R 25778 25780 22368 0 -1 4202560 2574 0 1 0 142 3 0 0 20 0 19 0 280886235 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774769394104 139774627858091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25783] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25783/stat : 25783 (java) S 25778 25780 22368 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774747494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25784] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25784/stat : 25784 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774746442152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25785] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25785/stat : 25785 (java) S 25778 25780 22368 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774543259944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25780/tid=25786] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25786/stat : 25786 (java) S 25778 25780 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774542207144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25787] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25787/stat : 25787 (java) S 25778 25780 22368 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774541155368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25788] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25788/stat : 25788 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774540102568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25780/tid=25789] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25789/stat : 25789 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774539049768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25790] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25790/stat : 25790 (java) S 25778 25780 22368 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774537996968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25791] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25791/stat : 25791 (java) S 25778 25780 22368 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774525798888 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25792] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25792/stat : 25792 (java) S 25778 25780 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774524744952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25793] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25793/stat : 25793 (java) S 25778 25780 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774523692040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25794] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25794/stat : 25794 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774522640528 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25795] ppid=25778 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/25780/task/25795/stat : 25795 (java) S 25778 25780 22368 0 -1 4202560 2069 0 0 0 33 0 0 0 20 0 19 0 280886240 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774521588664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25796] ppid=25778 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/25780/task/25796/stat : 25796 (java) S 25778 25780 22368 0 -1 4202560 1757 0 0 0 27 0 0 0 20 0 19 0 280886240 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774520535864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25797] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25797/stat : 25797 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774519483256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25798] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25798/stat : 25798 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774518430664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25799] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25799/stat : 25799 (java) S 25778 25780 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280886308 9856004096 41457 33554432000 1073741824 1073778376 140734846363152 139774517376168 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625004

[startup+3.10069 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 25799
/proc/meminfo: memFree=29135628/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9625004 CPUtime=3.86 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 7963 0 1 0 378 8 0 0 20 0 19 0 280886234 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2406251 52437 2285 9 0 2396937 0
[pid=25780/tid=25782] ppid=25778 vsize=9625004 CPUtime=2.99 cores=0,2,4,6
/proc/25780/task/25782/stat : 25782 (java) R 25778 25780 22368 0 -1 4202560 2576 0 1 0 296 3 0 0 20 0 19 0 280886235 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774769393832 139774627879678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25783] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25783/stat : 25783 (java) S 25778 25780 22368 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774747494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25784] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25784/stat : 25784 (java) S 25778 25780 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774746442152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25785] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25785/stat : 25785 (java) S 25778 25780 22368 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774543259944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25780/tid=25786] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25786/stat : 25786 (java) S 25778 25780 22368 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774542207144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25787] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25787/stat : 25787 (java) S 25778 25780 22368 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774541155368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25788] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25788/stat : 25788 (java) S 25778 25780 22368 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774540102568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25789] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25789/stat : 25789 (java) S 25778 25780 22368 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774539049768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25790] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25790/stat : 25790 (java) S 25778 25780 22368 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774537996968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25791] ppid=25778 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25780/task/25791/stat : 25791 (java) S 25778 25780 22368 0 -1 4202560 101 0 0 0 2 0 0 0 20 0 19 0 280886237 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774525798888 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25792] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25792/stat : 25792 (java) S 25778 25780 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774524744952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25793] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25793/stat : 25793 (java) S 25778 25780 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774523692040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25794] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25794/stat : 25794 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774522640528 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25795] ppid=25778 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25780/task/25795/stat : 25795 (java) S 25778 25780 22368 0 -1 4202560 2070 0 0 0 35 0 0 0 20 0 19 0 280886240 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774521588664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25796] ppid=25778 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/25780/task/25796/stat : 25796 (java) S 25778 25780 22368 0 -1 4202560 1767 0 0 0 33 0 0 0 20 0 19 0 280886240 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774520535864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25797] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25797/stat : 25797 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774519483256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25798] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25798/stat : 25798 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774518430664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25799] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25799/stat : 25799 (java) S 25778 25780 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280886308 9856004096 52437 33554432000 1073741824 1073778376 140734846363152 139774517376168 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9625004

[startup+6.3007 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 25799
/proc/meminfo: memFree=29054640/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9625004 CPUtime=7.17 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 8190 0 1 0 705 12 0 0 20 0 19 0 280886234 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2406251 66199 2285 9 0 2396937 0
[pid=25780/tid=25782] ppid=25778 vsize=9625004 CPUtime=6.09 cores=0,2,4,6
/proc/25780/task/25782/stat : 25782 (java) R 25778 25780 22368 0 -1 4202560 2578 0 1 0 606 3 0 0 20 0 19 0 280886235 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774769394088 139774627419570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25783] ppid=25778 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25780/task/25783/stat : 25783 (java) S 25778 25780 22368 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 19 0 280886236 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774747494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25784] ppid=25778 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25780/task/25784/stat : 25784 (java) S 25778 25780 22368 0 -1 4202560 49 0 0 0 1 1 0 0 20 0 19 0 280886236 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774746442152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25785] ppid=25778 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25780/task/25785/stat : 25785 (java) S 25778 25780 22368 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 19 0 280886236 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774543259944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25780/tid=25786] ppid=25778 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25780/task/25786/stat : 25786 (java) S 25778 25780 22368 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 280886236 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774542207144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25787] ppid=25778 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25780/task/25787/stat : 25787 (java) S 25778 25780 22368 0 -1 4202560 58 0 0 0 0 1 0 0 20 0 19 0 280886236 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774541155368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25788] ppid=25778 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25780/task/25788/stat : 25788 (java) S 25778 25780 22368 0 -1 4202560 112 0 0 0 1 1 0 0 20 0 19 0 280886236 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774540102568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25789] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25789/stat : 25789 (java) S 25778 25780 22368 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 19 0 280886236 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774539049768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25790] ppid=25778 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25780/task/25790/stat : 25790 (java) S 25778 25780 22368 0 -1 4202560 66 0 0 0 0 2 0 0 20 0 19 0 280886236 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774537996968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25780/tid=25791] ppid=25778 vsize=9625004 CPUtime=0.08 cores=0,2,4,6
/proc/25780/task/25791/stat : 25791 (java) S 25778 25780 22368 0 -1 4202560 111 0 0 0 8 0 0 0 20 0 19 0 280886237 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774525798888 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25792] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25792/stat : 25792 (java) S 25778 25780 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774524744952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25793] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25793/stat : 25793 (java) S 25778 25780 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774523692040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25794] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25794/stat : 25794 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774522640528 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25795] ppid=25778 vsize=9625004 CPUtime=0.37 cores=0,2,4,6
/proc/25780/task/25795/stat : 25795 (java) S 25778 25780 22368 0 -1 4202560 2071 0 0 0 37 0 0 0 20 0 19 0 280886240 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774521588664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25796] ppid=25778 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25780/task/25796/stat : 25796 (java) S 25778 25780 22368 0 -1 4202560 1767 0 0 0 35 0 0 0 20 0 19 0 280886240 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774520535864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25797] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25797/stat : 25797 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774519483256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25798] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25798/stat : 25798 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774518430664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25799] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25799/stat : 25799 (java) S 25778 25780 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280886308 9856004096 66199 33554432000 1073741824 1073778376 140734846363152 139774517376168 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=25780/tid=25795] ppid=25778 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/25780/task/25795/stat : 25795 (java) S 25778 25780 22368 0 -1 4202560 2210 0 0 0 45 0 0 0 20 0 19 0 280886240 9856004096 296384 33554432000 1073741824 1073778376 140734846363152 139774521588664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25796] ppid=25778 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25780/task/25796/stat : 25796 (java) S 25778 25780 22368 0 -1 4202560 1767 0 0 0 35 0 0 0 20 0 19 0 280886240 9856004096 296384 33554432000 1073741824 1073778376 140734846363152 139774520535864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25797] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25797/stat : 25797 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 296384 33554432000 1073741824 1073778376 140734846363152 139774519483256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25798] ppid=25778 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/25780/task/25798/stat : 25798 (java) S 25778 25780 22368 0 -1 4202560 97 0 0 0 34 34 0 0 20 0 19 0 280886240 9856004096 296384 33554432000 1073741824 1073778376 140734846363152 139774518430664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25799] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25799/stat : 25799 (java) S 25778 25780 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280886308 9856004096 296384 33554432000 1073741824 1073778376 140734846363152 139774517376168 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1669.16
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 25893
/proc/meminfo: memFree=29153856/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9625004 CPUtime=1729.37 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 11973 0 1 0 172807 130 0 0 20 0 19 0 280886234 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2406251 297920 2286 9 0 2396937 0
[pid=25780/tid=25782] ppid=25778 vsize=9625004 CPUtime=1708.91 cores=0,2,4,6
/proc/25780/task/25782/stat : 25782 (java) R 25778 25780 22368 0 -1 4202560 2923 0 1 0 170858 33 0 0 20 0 19 0 280886235 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774769393968 139774627767706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25783] ppid=25778 vsize=9625004 CPUtime=1.06 cores=0,2,4,6
/proc/25780/task/25783/stat : 25783 (java) S 25778 25780 22368 0 -1 4202560 348 0 0 0 93 13 0 0 20 0 19 0 280886236 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774747494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25784] ppid=25778 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/25780/task/25784/stat : 25784 (java) S 25778 25780 22368 0 -1 4202560 351 0 0 0 84 10 0 0 20 0 19 0 280886236 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774746442152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25785] ppid=25778 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/25780/task/25785/stat : 25785 (java) S 25778 25780 22368 0 -1 4202560 403 0 0 0 99 10 0 0 20 0 19 0 280886236 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774543259944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25786] ppid=25778 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/25780/task/25786/stat : 25786 (java) S 25778 25780 22368 0 -1 4202560 186 0 0 0 89 12 0 0 20 0 19 0 280886236 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774542207144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25787] ppid=25778 vsize=9625004 CPUtime=1.12 cores=0,2,4,6
/proc/25780/task/25787/stat : 25787 (java) S 25778 25780 22368 0 -1 4202560 322 0 0 0 98 14 0 0 20 0 19 0 280886236 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774541155368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25788] ppid=25778 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/25780/task/25788/stat : 25788 (java) S 25778 25780 22368 0 -1 4202560 386 0 0 0 86 10 0 0 20 0 19 0 280886236 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774540102568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25789] ppid=25778 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/25780/task/25789/stat : 25789 (java) S 25778 25780 22368 0 -1 4202560 253 0 0 0 94 10 0 0 20 0 19 0 280886236 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774539049768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25780/tid=25790] ppid=25778 vsize=9625004 CPUtime=1.19 cores=0,2,4,6
/proc/25780/task/25790/stat : 25790 (java) S 25778 25780 22368 0 -1 4202560 432 0 0 0 104 15 0 0 20 0 19 0 280886236 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774537996968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25791] ppid=25778 vsize=9625004 CPUtime=6.46 cores=0,2,4,6
/proc/25780/task/25791/stat : 25791 (java) S 25778 25780 22368 0 -1 4202560 1111 0 0 0 643 3 0 0 20 0 19 0 280886237 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774525798888 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25792] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25792/stat : 25792 (java) S 25778 25780 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774524744952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25793] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25793/stat : 25793 (java) S 25778 25780 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774523692040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25794] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25794/stat : 25794 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774522640528 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25795] ppid=25778 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/25780/task/25795/stat : 25795 (java) S 25778 25780 22368 0 -1 4202560 2210 0 0 0 45 0 0 0 20 0 19 0 280886240 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774521588664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25796] ppid=25778 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25780/task/25796/stat : 25796 (java) S 25778 25780 22368 0 -1 4202560 1767 0 0 0 35 0 0 0 20 0 19 0 280886240 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774520535864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25797] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25797/stat : 25797 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774519483256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25798] ppid=25778 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/25780/task/25798/stat : 25798 (java) S 25778 25780 22368 0 -1 4202560 99 0 0 0 36 35 0 0 20 0 19 0 280886240 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774518430664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25799] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25799/stat : 25799 (java) S 25778 25780 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280886308 9856004096 297920 33554432000 1073741824 1073778376 140734846363152 139774517376168 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1729.37
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/213 25893
/proc/meminfo: memFree=29146408/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9625004 CPUtime=1789.57 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 11982 0 1 0 178826 131 0 0 20 0 19 0 280886234 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2406251 298944 2286 9 0 2396937 0
[pid=25780/tid=25782] ppid=25778 vsize=9625004 CPUtime=1768.59 cores=0,2,4,6
/proc/25780/task/25782/stat : 25782 (java) R 25778 25780 22368 0 -1 4202560 2926 0 1 0 176825 34 0 0 20 0 19 0 280886235 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774769393968 139774627767155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25783] ppid=25778 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/25780/task/25783/stat : 25783 (java) S 25778 25780 22368 0 -1 4202560 348 0 0 0 95 13 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774747494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25784] ppid=25778 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/25780/task/25784/stat : 25784 (java) S 25778 25780 22368 0 -1 4202560 351 0 0 0 90 10 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774746442152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25785] ppid=25778 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/25780/task/25785/stat : 25785 (java) S 25778 25780 22368 0 -1 4202560 403 0 0 0 101 10 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774543259944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25786] ppid=25778 vsize=9625004 CPUtime=1.03 cores=0,2,4,6
/proc/25780/task/25786/stat : 25786 (java) S 25778 25780 22368 0 -1 4202560 186 0 0 0 91 12 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774542207144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25787] ppid=25778 vsize=9625004 CPUtime=1.14 cores=0,2,4,6
/proc/25780/task/25787/stat : 25787 (java) S 25778 25780 22368 0 -1 4202560 322 0 0 0 100 14 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774541155368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25788] ppid=25778 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/25780/task/25788/stat : 25788 (java) S 25778 25780 22368 0 -1 4202560 386 0 0 0 88 10 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774540102568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25789] ppid=25778 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/25780/task/25789/stat : 25789 (java) S 25778 25780 22368 0 -1 4202560 253 0 0 0 100 10 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774539049768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25780/tid=25790] ppid=25778 vsize=9625004 CPUtime=1.22 cores=0,2,4,6
/proc/25780/task/25790/stat : 25790 (java) S 25778 25780 22368 0 -1 4202560 432 0 0 0 107 15 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774537996968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25791] ppid=25778 vsize=9625004 CPUtime=6.56 cores=0,2,4,6
/proc/25780/task/25791/stat : 25791 (java) S 25778 25780 22368 0 -1 4202560 1113 0 0 0 653 3 0 0 20 0 19 0 280886237 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774525798888 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25792] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25792/stat : 25792 (java) S 25778 25780 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774524744952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25793] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25793/stat : 25793 (java) S 25778 25780 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774523692040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25794] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25794/stat : 25794 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774522640528 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25795] ppid=25778 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/25780/task/25795/stat : 25795 (java) S 25778 25780 22368 0 -1 4202560 2210 0 0 0 45 0 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774521588664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25796] ppid=25778 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25780/task/25796/stat : 25796 (java) S 25778 25780 22368 0 -1 4202560 1767 0 0 0 35 0 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774520535864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25797] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25797/stat : 25797 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774519483256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25798] ppid=25778 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/25780/task/25798/stat : 25798 (java) S 25778 25780 22368 0 -1 4202560 103 0 0 0 37 36 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774518430664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25799] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25799/stat : 25799 (java) S 25778 25780 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280886308 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774517376168 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/214 25896
/proc/meminfo: memFree=29140092/32873648 swapFree=6612/6612
[pid=25780] ppid=25778 vsize=9625004 CPUtime=1800.08 cores=0,2,4,6
/proc/25780/stat : 25780 (java) S 25778 25780 22368 0 -1 4202496 11982 0 1 0 179877 131 0 0 20 0 19 0 280886234 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 140734846354288 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25780/statm: 2406251 298944 2286 9 0 2396937 0
[pid=25780/tid=25782] ppid=25778 vsize=9625004 CPUtime=1779.07 cores=0,2,4,6
/proc/25780/task/25782/stat : 25782 (java) R 25778 25780 22368 0 -1 4202560 2926 0 1 0 177872 35 0 0 20 0 19 0 280886235 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774769393968 139774627786243 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25783] ppid=25778 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/25780/task/25783/stat : 25783 (java) S 25778 25780 22368 0 -1 4202560 348 0 0 0 95 13 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774747494952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25784] ppid=25778 vsize=9625004 CPUtime=1 cores=0,2,4,6
/proc/25780/task/25784/stat : 25784 (java) S 25778 25780 22368 0 -1 4202560 351 0 0 0 90 10 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774746442152 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25785] ppid=25778 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/25780/task/25785/stat : 25785 (java) S 25778 25780 22368 0 -1 4202560 403 0 0 0 101 10 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774543259944 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25786] ppid=25778 vsize=9625004 CPUtime=1.03 cores=0,2,4,6
/proc/25780/task/25786/stat : 25786 (java) S 25778 25780 22368 0 -1 4202560 186 0 0 0 91 12 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774542207144 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25787] ppid=25778 vsize=9625004 CPUtime=1.14 cores=0,2,4,6
/proc/25780/task/25787/stat : 25787 (java) S 25778 25780 22368 0 -1 4202560 322 0 0 0 100 14 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774541155368 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25788] ppid=25778 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/25780/task/25788/stat : 25788 (java) S 25778 25780 22368 0 -1 4202560 386 0 0 0 88 10 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774540102568 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25789] ppid=25778 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/25780/task/25789/stat : 25789 (java) S 25778 25780 22368 0 -1 4202560 253 0 0 0 100 10 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774539049768 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25780/tid=25790] ppid=25778 vsize=9625004 CPUtime=1.22 cores=0,2,4,6
/proc/25780/task/25790/stat : 25790 (java) S 25778 25780 22368 0 -1 4202560 432 0 0 0 107 15 0 0 20 0 19 0 280886236 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774537996968 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25791] ppid=25778 vsize=9625004 CPUtime=6.56 cores=0,2,4,6
/proc/25780/task/25791/stat : 25791 (java) S 25778 25780 22368 0 -1 4202560 1113 0 0 0 653 3 0 0 20 0 19 0 280886237 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774525798888 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25792] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25792/stat : 25792 (java) S 25778 25780 22368 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774524744952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25793] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25793/stat : 25793 (java) S 25778 25780 22368 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280886237 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774523692040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25794] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25794/stat : 25794 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774522640528 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25795] ppid=25778 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/25780/task/25795/stat : 25795 (java) S 25778 25780 22368 0 -1 4202560 2210 0 0 0 45 0 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774521588664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25780/tid=25796] ppid=25778 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/25780/task/25796/stat : 25796 (java) S 25778 25780 22368 0 -1 4202560 1767 0 0 0 35 0 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774520535864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25797] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25797/stat : 25797 (java) S 25778 25780 22368 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774519483256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25780/tid=25798] ppid=25778 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/25780/task/25798/stat : 25798 (java) S 25778 25780 22368 0 -1 4202560 103 0 0 0 38 36 0 0 20 0 19 0 280886240 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774518430664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25780/tid=25799] ppid=25778 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25780/task/25799/stat : 25799 (java) S 25778 25780 22368 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280886308 9856004096 298944 33554432000 1073741824 1073778376 140734846363152 139774517376168 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

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

Real time (s): 1792.85
CPU time (s): 1800.08
CPU user time (s): 1798.77
CPU system time (s): 1.31
CPU usage (%): 100.403
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.37
system time used= 1.82272
maximum resident set size= 1195928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12025
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39849
involuntary context switches= 12717

runsolver used 5.8911 second user time and 15.0237 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-27 21:40:17
IDJOB=3710717
IDBENCH=2247
IDSOLVER=2289
FILE ID=node148/3710717-1338147617
RUNJOBID= node148-1338138660-24908
PBS_JOBID= 14624498
Free space on /tmp= 71696 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710717-1338147617/watcher-3710717-1338147617 -o /tmp/evaluation-result-3710717-1338147617/solver-3710717-1338147617 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710717-1338147617.opb

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

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=35027980

node148.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.284
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.56
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.284
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.94
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.284
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.92
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.284
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.91
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.284
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.284
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.284
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.90
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.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29293632 kB
Buffers:          291044 kB
Cached:           337376 kB
SwapCached:          576 kB
Active:          2553568 kB
Inactive:         179812 kB
Active(anon):    2095376 kB
Inactive(anon):    11760 kB
Active(file):     458192 kB
Inactive(file):   168052 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:              3676 kB
Writeback:             0 kB
AnonPages:       2110500 kB
Mapped:            19176 kB
Shmem:                96 kB
Slab:             704820 kB
SReclaimable:     148540 kB
SUnreclaim:       556280 kB
KernelStack:        1608 kB
PageTables:         8360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3027220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2015232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node148 at 2012-05-27 22:10:12