Trace number 3688727

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)-78 1800.06 1765.46

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_4.opb
MD5SUM95bfca9fba26d7f8c875796701522876
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-144
Best CPU time to get the best result obtained on this benchmark1796.77
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -139
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12652
Sum of products size (including duplicates)25304
Number of different products6326
Sum of products size12652

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.14	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.14	c See www.sat4j.org for details.
0.02/0.15	c version 2.3.2.v20120418
0.02/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.15	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.15	c java.vm.version	19.1-b02
0.02/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.15	c sun.arch.data.model	64
0.02/0.15	c java.version		1.6.0_24
0.02/0.15	c os.name		Linux
0.02/0.15	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.15	c os.arch		amd64
0.02/0.15	c Free memory 		501472288
0.02/0.15	c Max memory 		7480803328
0.02/0.15	c Total memory 		504102912
0.02/0.15	c Number of processors 	8
0.02/0.17	c Pseudo Boolean Optimization by upper bound
0.02/0.17	c --- Begin Solver configuration ---
0.02/0.17	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.02/0.17	c Learn all clauses as in MiniSAT
0.02/0.17	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.02/0.17	c No reason simplification
0.02/0.17	c Armin Biere (Picosat) restarts strategy
0.02/0.17	c Glucose learned constraints deletion strategy
0.02/0.17	c timeout=2147483s
0.02/0.17	c DB Simplification allowed=false
0.02/0.17	c c --- End Solver configuration ---
0.02/0.17	c solving HOME/instance-3688727-1337886865.opb
0.02/0.17	c reading problem ... 
1.16/0.60	c ... done. Wall clock time 0.428s.
1.16/0.60	c declared #vars     1000
1.16/0.60	c internal #vars     7326
1.16/0.60	c #constraints  14154
1.16/0.60	c constraints type 
1.16/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6326
1.16/0.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
1.16/0.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.16/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6326
1.16/0.60	c 14154 constraints processed.
1.16/0.60	c objective function length is 500 literals
4.69/3.76	c cleaning 2495 clauses out of 5000 with flag 5000/5000
8.26/7.23	c cleaning 4253 clauses out of 8506 with flag 11001/11001
12.67/11.63	c cleaning 5625 clauses out of 11252 with flag 18000/18000
17.98/16.94	c cleaning 6808 clauses out of 13627 with flag 26000/26000
19.83/18.73	c SATISFIABLE
19.83/18.73	c OPTIMIZING...
19.83/18.73	c Got one! Elapsed wall clock time (in seconds):18.554
19.83/18.73	o -73
21.54/20.47	c cleaning 6249 clauses out of 12498 with flag 3001/31679
25.26/24.17	c cleaning 6125 clauses out of 12249 with flag 9001/37679
29.16/28.02	c cleaning 6558 clauses out of 13124 with flag 16001/44679
34.17/33.06	c cleaning 7277 clauses out of 14566 with flag 24001/52679
39.98/38.83	c cleaning 8139 clauses out of 16288 with flag 33000/61678
41.81/40.62	c Got one! Elapsed wall clock time (in seconds):40.45
41.81/40.62	o -78
43.10/41.97	c cleaning 6986 clauses out of 13981 with flag 3000/67510
46.81/45.67	c cleaning 6490 clauses out of 12995 with flag 9000/73510
51.03/49.80	c cleaning 6746 clauses out of 13506 with flag 16001/80511
55.93/54.72	c cleaning 7378 clauses out of 14759 with flag 24000/88510
61.14/59.95	c cleaning 8185 clauses out of 16381 with flag 33000/97510
65.96/64.80	c cleaning 9146 clauses out of 18291 with flag 43095/107605
71.98/70.75	c cleaning 10085 clauses out of 20193 with flag 54143/118653
77.83/76.53	c cleaning 10994 clauses out of 21995 with flag 66030/130540
85.51/84.16	c cleaning 12014 clauses out of 24041 with flag 79070/143580
94.58/93.10	c cleaning 13045 clauses out of 26090 with flag 93133/157643
106.05/104.52	c cleaning 14095 clauses out of 28189 with flag 108277/172787
113.02/111.42	c cleaning 14901 clauses out of 29821 with flag 124004/188514
119.46/117.89	c cleaning 15934 clauses out of 31935 with flag 141019/205529
125.79/124.14	c cleaning 16949 clauses out of 33984 with flag 159002/223512
136.47/134.70	c cleaning 18125 clauses out of 36250 with flag 178217/242727
149.06/147.29	c cleaning 19097 clauses out of 38194 with flag 198286/262796
158.02/156.13	c cleaning 19950 clauses out of 39920 with flag 219109/283619
165.47/163.56	c cleaning 20891 clauses out of 41867 with flag 241006/305516
171.93/169.94	c cleaning 21996 clauses out of 43992 with flag 264022/328532
187.83/185.70	c cleaning 23058 clauses out of 46116 with flag 288142/352652
206.42/204.29	c cleaning 23996 clauses out of 47993 with flag 313077/377587
221.81/219.54	c cleaning 25051 clauses out of 50101 with flag 339181/403691
233.38/231.03	c cleaning 25887 clauses out of 51908 with flag 366039/430549
241.88/239.47	c cleaning 27025 clauses out of 54052 with flag 394070/458580
259.85/257.39	c cleaning 28079 clauses out of 56157 with flag 423200/487710
273.63/271.01	c cleaning 28947 clauses out of 57893 with flag 453015/517525
282.11/279.42	c cleaning 29932 clauses out of 59934 with flag 484003/548513
290.01/287.26	c cleaning 30997 clauses out of 62006 with flag 516007/580517
304.22/301.37	c cleaning 32097 clauses out of 64214 with flag 549212/613722
318.42/315.42	c cleaning 32897 clauses out of 65932 with flag 583027/647537
343.13/340.03	c cleaning 34013 clauses out of 68025 with flag 618017/682527
364.54/361.40	c cleaning 35031 clauses out of 70062 with flag 654067/718577
383.09/379.78	c cleaning 35996 clauses out of 71991 with flag 691027/755537
401.70/398.28	c cleaning 37010 clauses out of 74041 with flag 729073/793583
419.10/415.41	c cleaning 38014 clauses out of 76027 with flag 768069/832579
437.96/434.20	c cleaning 38982 clauses out of 77964 with flag 808020/872530
454.05/450.14	c cleaning 39969 clauses out of 79962 with flag 849000/913510
462.66/458.66	c cleaning 40988 clauses out of 81998 with flag 891005/955515
471.45/467.25	c cleaning 41990 clauses out of 84005 with flag 934000/998510
479.86/475.42	c cleaning 43006 clauses out of 86021 with flag 978006/1042516
489.91/485.45	c cleaning 44002 clauses out of 88009 with flag 1023000/1087510
500.32/495.70	c cleaning 44999 clauses out of 90018 with flag 1069011/1133521
510.82/506.10	c cleaning 45999 clauses out of 92008 with flag 1116000/1180510
520.83/516.04	c cleaning 47003 clauses out of 94014 with flag 1164005/1228515
532.05/527.13	c cleaning 48003 clauses out of 96006 with flag 1213000/1277510
542.36/537.33	c cleaning 48995 clauses out of 98009 with flag 1263006/1327516
565.17/560.01	c cleaning 49950 clauses out of 100016 with flag 1314008/1378518
591.93/586.63	c cleaning 51058 clauses out of 102119 with flag 1366061/1430571
605.84/600.47	c cleaning 51989 clauses out of 104013 with flag 1419013/1483523
618.53/613.03	c cleaning 53009 clauses out of 106017 with flag 1473006/1537516
636.38/630.78	c cleaning 54002 clauses out of 108004 with flag 1528002/1592512
650.74/644.98	c cleaning 55004 clauses out of 110016 with flag 1584016/1648526
665.16/659.21	c cleaning 55997 clauses out of 112015 with flag 1641019/1705529
678.98/672.94	c cleaning 56991 clauses out of 114003 with flag 1699004/1763514
693.00/686.58	c cleaning 58005 clauses out of 116024 with flag 1758016/1822526
707.43/700.37	c cleaning 59008 clauses out of 118017 with flag 1818014/1882524
724.10/716.58	c cleaning 59970 clauses out of 119995 with flag 1879000/1943510
738.10/730.11	c cleaning 61014 clauses out of 122029 with flag 1941004/2005514
792.49/783.91	c cleaning 62039 clauses out of 124078 with flag 2004067/2068577
828.10/818.54	c cleaning 62969 clauses out of 125982 with flag 2068010/2132520
895.07/882.76	c cleaning 64060 clauses out of 128120 with flag 2133117/2197627
939.23/925.79	c cleaning 65029 clauses out of 130073 with flag 2199130/2263640
988.98/974.33	c cleaning 66029 clauses out of 132057 with flag 2266143/2330653
1030.44/1014.96	c cleaning 66948 clauses out of 133895 with flag 2334010/2398520
1083.47/1067.06	c cleaning 67951 clauses out of 135947 with flag 2403010/2467520
1121.57/1103.80	c cleaning 68930 clauses out of 138001 with flag 2473015/2537525
1160.35/1141.84	c cleaning 70135 clauses out of 140270 with flag 2544214/2608724
1198.35/1179.15	c cleaning 70874 clauses out of 141972 with flag 2616051/2680561
1241.89/1221.63	c cleaning 71989 clauses out of 144065 with flag 2689018/2753528
1286.55/1265.32	c cleaning 72996 clauses out of 146134 with flag 2763076/2827586
1336.70/1312.34	c cleaning 74032 clauses out of 148117 with flag 2838055/2902565
1384.27/1358.80	c cleaning 75029 clauses out of 150152 with flag 2914122/2978632
1424.22/1397.76	c cleaning 75893 clauses out of 152011 with flag 2991010/3055520
1492.26/1464.94	c cleaning 77046 clauses out of 154108 with flag 3069000/3133510
1555.01/1525.73	c cleaning 78008 clauses out of 156148 with flag 3148086/3212596
1631.38/1600.54	c cleaning 79033 clauses out of 158145 with flag 3228091/3292601
1677.82/1645.73	c cleaning 80032 clauses out of 160064 with flag 3309043/3373553
1737.64/1704.71	c cleaning 80995 clauses out of 161998 with flag 3391009/3455519
1787.12/1752.99	c cleaning 82076 clauses out of 164152 with flag 3474158/3538668
1800.06/1765.42	c starts		: 253
1800.06/1765.42	c conflicts		: 3569665
1800.06/1765.42	c decisions		: 5113014
1800.06/1765.42	c propagations		: 514481764
1800.06/1765.42	c inspects		: 7697222060
1800.06/1765.42	c shortcuts		: 0
1800.06/1765.42	c learnt literals	: 0
1800.06/1765.42	c learnt binary clauses	: 34
1800.06/1765.42	c learnt ternary clauses	: 501
1800.06/1765.42	c learnt constraints	: 3569665
1800.06/1765.42	c ignored constraints	: 0
1800.06/1765.42	c root simplifications	: 0
1800.06/1765.42	c removed literals (reason simplification)	: 0
1800.06/1765.42	c reason swapping (by a shorter reason)	: 0
1800.06/1765.42	c Calls to reduceDB	: 88
1800.06/1765.42	c number of reductions to clauses (during analyze)	: 0
1800.06/1765.42	c number of learned constraints concerned by reduction	: 0
1800.06/1765.42	c number of learning phase by resolution	: 0
1800.06/1765.42	c number of learning phase by cutting planes	: 0
1800.06/1765.42	c speed (assignments/second)	: 291524.0505870067
1800.06/1765.42	c non guided choices	0
1800.06/1765.44	c learnt constraints type 
1800.06/1765.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 34
1800.06/1765.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 113091
1800.06/1765.44	c constraints type 
1800.06/1765.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6326
1800.06/1765.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.06/1765.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.06/1765.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6326
1800.06/1765.44	c 14155 constraints processed.
1800.06/1765.44	s SATISFIABLE
1800.06/1765.45	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 
1800.06/1765.45	c objective function=-78
1800.06/1765.45	c Total wall clock time (in seconds): 1765.276

Verifier Data

OK	-78

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-3688727-1337886865/watcher-3688727-1337886865 -o /tmp/evaluation-result-3688727-1337886865/solver-3688727-1337886865 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688727-1337886865.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/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25147/stat : 25147 (runsolver) D 25145 25147 23066 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 254811558 12095488 50 33554432000 4194304 5436572 140735683302960 140735683299256 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/25147/statm: 2953 50 31 304 0 2645 0

[startup+0.0395769 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/25147/stat : 25147 (runsolver) D 25145 25147 23066 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 254811558 12095488 55 33554432000 4194304 5436572 140735683302960 140735683298840 5057063 0 0 4096 24578 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/25147/statm: 2953 55 36 304 0 2645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11812

[startup+0.100251 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 3031 0 1 0 2 0 0 0 20 0 13 0 254811558 9446973440 3730 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2306390 3731 1701 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.300217 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9558412 CPUtime=0.31 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 4875 0 1 0 30 1 0 0 20 0 18 0 254811558 9787813888 6967 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2389603 6967 2199 9 0 2380296 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558412

[startup+0.700176 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 25147
/proc/meminfo: memFree=27518256/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 12685 0 1 0 142 3 0 0 20 0 19 0 254811558 9855975424 27802 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 27802 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9624976

[startup+1.50067 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 25166
/proc/meminfo: memFree=27415492/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=2.48 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 13031 0 1 0 245 3 0 0 20 0 19 0 254811558 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 28376 2257 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=1.41 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 2492 0 1 0 140 1 0 0 20 0 19 0 254811563 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140127146066392 140127016522772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254811566 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4807 0 0 0 52 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4534 0 0 0 52 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 28376 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 25166
/proc/meminfo: memFree=27411016/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=4.09 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 13034 0 1 0 406 3 0 0 20 0 19 0 254811558 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 29400 2257 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=3 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 2495 0 1 0 299 1 0 0 20 0 19 0 254811563 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140127146066072 140127016545883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254811566 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4807 0 0 0 52 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.52 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4534 0 0 0 52 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 29400 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 9624976

[startup+6.30061 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 25166
/proc/meminfo: memFree=27383896/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=7.34 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 13116 0 1 0 729 5 0 0 20 0 19 0 254811558 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 35538 2283 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=6.15 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 2501 0 1 0 614 1 0 0 20 0 19 0 254811563 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140127146066328 140127016527268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811564 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254811565 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 254811566 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4817 0 0 0 53 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.53 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4534 0 0 0 53 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 35538 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 9624976

[startup+12.7006 s]

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

[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4824 0 0 0 58 0 0 0 20 0 19 0 254811570 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4547 0 0 0 60 0 0 0 20 0 19 0 254811570 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0.55 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 93 0 0 0 32 23 0 0 20 0 19 0 254811570 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 231920 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1633.3
Current children cumulated vsize (KiB) 9624976

[startup+1662.3 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 25297
/proc/meminfo: memFree=26519760/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=1694.7 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 42665 0 1 0 169278 192 0 0 20 0 19 0 254811558 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 227638 2284 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=1638.52 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 3429 0 1 0 163823 29 0 0 20 0 19 0 254811563 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140127146065264 140127016563274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=5.57 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 2982 0 0 0 536 21 0 0 20 0 19 0 254811564 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=5.18 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 4111 0 0 0 500 18 0 0 20 0 19 0 254811564 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=5.51 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 3734 0 0 0 529 22 0 0 20 0 19 0 254811564 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=5.53 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 4866 0 0 0 530 23 0 0 20 0 19 0 254811564 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=5.35 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 2546 0 0 0 517 18 0 0 20 0 19 0 254811565 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=5.44 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 3081 0 0 0 523 21 0 0 20 0 19 0 254811565 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=5.27 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 2626 0 0 0 505 22 0 0 20 0 19 0 254811565 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=5.11 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 2798 0 0 0 495 16 0 0 20 0 19 0 254811565 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=7.48 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 1842 0 0 0 739 9 0 0 20 0 19 0 254811566 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4824 0 0 0 58 0 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4547 0 0 0 60 0 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 95 0 0 0 32 25 0 0 20 0 19 0 254811570 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 227638 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1694.7
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 25297
/proc/meminfo: memFree=26413828/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=1755.67 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 44102 0 1 0 175368 199 0 0 20 0 19 0 254811558 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 248380 2284 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=1697.85 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 3439 0 1 0 169755 30 0 0 20 0 19 0 254811563 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140127146065264 140127016563603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=5.74 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 3586 0 0 0 553 21 0 0 20 0 19 0 254811564 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=5.3 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 4391 0 0 0 511 19 0 0 20 0 19 0 254811564 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=5.7 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 3754 0 0 0 547 23 0 0 20 0 19 0 254811564 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=5.73 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 4965 0 0 0 549 24 0 0 20 0 19 0 254811564 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=5.52 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 2595 0 0 0 534 18 0 0 20 0 19 0 254811565 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=5.63 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 3172 0 0 0 541 22 0 0 20 0 19 0 254811565 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=5.41 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 2645 0 0 0 519 22 0 0 20 0 19 0 254811565 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=5.28 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3004 0 0 0 512 16 0 0 20 0 19 0 254811565 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=7.62 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 1897 0 0 0 753 9 0 0 20 0 19 0 254811566 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4824 0 0 0 58 0 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4547 0 0 0 60 0 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 99 0 0 0 34 26 0 0 20 0 19 0 254811570 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 248380 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1755.67
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1765.4 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 25297
/proc/meminfo: memFree=26428212/32873844 swapFree=7108/7108
[pid=25147] ppid=25145 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/25147/stat : 25147 (java) S 25145 25147 23066 0 -1 4202496 44903 0 1 0 179803 203 0 0 20 0 19 0 254811558 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140736925263392 227144663101 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25147/statm: 2406244 244344 2284 9 0 2396937 0
[pid=25147/tid=25149] ppid=25145 vsize=9624976 CPUtime=1740.23 cores=0,2,4,6
/proc/25147/task/25149/stat : 25149 (java) R 25145 25147 23066 0 -1 4202560 3453 0 1 0 173992 31 0 0 20 0 19 0 254811563 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140127146065264 140127016527268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25150] ppid=25145 vsize=9624976 CPUtime=6.01 cores=0,2,4,6
/proc/25147/task/25150/stat : 25150 (java) S 25145 25147 23066 0 -1 4202560 3819 0 0 0 579 22 0 0 20 0 19 0 254811564 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140127135128232 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25151] ppid=25145 vsize=9624976 CPUtime=5.52 cores=0,2,4,6
/proc/25147/task/25151/stat : 25151 (java) S 25145 25147 23066 0 -1 4202560 4399 0 0 0 532 20 0 0 20 0 19 0 254811564 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126988221224 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25152] ppid=25145 vsize=9624976 CPUtime=5.92 cores=0,2,4,6
/proc/25147/task/25152/stat : 25152 (java) S 25145 25147 23066 0 -1 4202560 3899 0 0 0 569 23 0 0 20 0 19 0 254811564 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126987168680 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25153] ppid=25145 vsize=9624976 CPUtime=5.9 cores=0,2,4,6
/proc/25147/task/25153/stat : 25153 (java) S 25145 25147 23066 0 -1 4202560 4965 0 0 0 566 24 0 0 20 0 19 0 254811564 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126986116136 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25154] ppid=25145 vsize=9624976 CPUtime=5.72 cores=0,2,4,6
/proc/25147/task/25154/stat : 25154 (java) S 25145 25147 23066 0 -1 4202560 2700 0 0 0 553 19 0 0 20 0 19 0 254811565 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126985062568 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25155] ppid=25145 vsize=9624976 CPUtime=5.84 cores=0,2,4,6
/proc/25147/task/25155/stat : 25155 (java) S 25145 25147 23066 0 -1 4202560 3172 0 0 0 562 22 0 0 20 0 19 0 254811565 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126984010024 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25156] ppid=25145 vsize=9624976 CPUtime=5.68 cores=0,2,4,6
/proc/25147/task/25156/stat : 25156 (java) S 25145 25147 23066 0 -1 4202560 2815 0 0 0 545 23 0 0 20 0 19 0 254811565 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126982957480 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25147/tid=25157] ppid=25145 vsize=9624976 CPUtime=5.52 cores=0,2,4,6
/proc/25147/task/25157/stat : 25157 (java) S 25145 25147 23066 0 -1 4202560 3111 0 0 0 535 17 0 0 20 0 19 0 254811565 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126981904936 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25158] ppid=25145 vsize=9624976 CPUtime=7.75 cores=0,2,4,6
/proc/25147/task/25158/stat : 25158 (java) S 25145 25147 23066 0 -1 4202560 1914 0 0 0 766 9 0 0 20 0 19 0 254811566 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126969707112 227144677289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25159] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25159/stat : 25159 (java) S 25145 25147 23066 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126968653432 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25160] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25160/stat : 25160 (java) S 25145 25147 23066 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254811567 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126967600776 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25161] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25161/stat : 25161 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126966549520 227144685344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25162] ppid=25145 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/25147/task/25162/stat : 25162 (java) S 25145 25147 23066 0 -1 4202560 4824 0 0 0 58 0 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126965495864 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25163] ppid=25145 vsize=9624976 CPUtime=0.6 cores=0,2,4,6
/proc/25147/task/25163/stat : 25163 (java) S 25145 25147 23066 0 -1 4202560 4547 0 0 0 60 0 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126964443320 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25147/tid=25164] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25164/stat : 25164 (java) S 25145 25147 23066 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126963390968 227144676412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25147/tid=25165] ppid=25145 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/25147/task/25165/stat : 25165 (java) S 25145 25147 23066 0 -1 4202560 101 0 0 0 34 27 0 0 20 0 19 0 254811570 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126962338632 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25147/tid=25166] ppid=25145 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/25147/task/25166/stat : 25166 (java) S 25145 25147 23066 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254811620 9855975424 244344 33554432000 1073741824 1073778376 140736925272256 140126961284392 227144677289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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

Child status: 143

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

Real time (s): 1765.46
CPU time (s): 1800.06
CPU user time (s): 1798.03
CPU system time (s): 2.03
CPU usage (%): 101.96
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.7
system time used= 2.51262
maximum resident set size= 1124052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44935
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52947
involuntary context switches= 73933

runsolver used 5.38018 second user time and 15.2937 second system time

The end

Launcher Data

Begin job on node138 at 2012-05-24 21:14:25
IDJOB=3688727
IDBENCH=48234
IDSOLVER=2269
FILE ID=node138/3688727-1337886865
RUNJOBID= node138-1337871881-23082
PBS_JOBID= 14620066
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_4.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688727-1337886865/watcher-3688727-1337886865 -o /tmp/evaluation-result-3688727-1337886865/solver-3688727-1337886865 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688727-1337886865.opb

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

MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876
RANDOM SEED=413812369

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
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:        27518528 kB
Buffers:          226148 kB
Cached:          4121092 kB
SwapCached:            0 kB
Active:           790840 kB
Inactive:        3783852 kB
Active(anon):     230308 kB
Inactive(anon):        0 kB
Active(file):     560532 kB
Inactive(file):  3783852 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:        239116 kB
Mapped:            22544 kB
Shmem:               200 kB
Slab:             637592 kB
SReclaimable:      80184 kB
SUnreclaim:       557408 kB
KernelStack:        1600 kB
PageTables:         4440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71720 MiB
End job on node138 at 2012-05-24 21:43:52