Trace number 3736932

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)43 1800.42 921.943

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_3.opb
MD5SUM12e000f4c238d036e0b89e0774c838fa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark1797.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint61
Maximum length of a constraint108
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
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)75294
Sum of products size (including duplicates)150588
Number of different products75294
Sum of products size150588

Quality of the solution as a function of time


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

Solver Data 

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3736932-1338718519.opb
0.07/0.13	c reading problem ... 
2.59/1.21	c ... done. Wall clock time 1.075s.
2.59/1.21	c #vars     76294
2.59/1.21	c #constraints  151588
2.59/1.21	c constraints type 
2.59/1.21	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76294
2.59/1.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294
2.59/1.21	c constraints type 
2.59/1.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 76294
2.59/1.21	c org.sat4j.pb.constraints.pb.MaxWatchPb => 75294
3.21/1.44	c  And the winner is Resolution
3.35/1.76	c SATISFIABLE
3.35/1.76	c OPTIMIZING...
3.35/1.76	c Got one! Elapsed wall clock time (in seconds):1.627
3.35/1.76	o 50
3.83/1.90	c  And the winner is Resolution
4.07/2.30	c Got one! Elapsed wall clock time (in seconds):2.166
4.07/2.30	o 49
4.60/2.52	c  And the winner is Resolution
4.73/2.84	c Got one! Elapsed wall clock time (in seconds):2.709
4.73/2.84	o 46
8.95/4.81	c  And the winner is Resolution
9.05/4.93	c Got one! Elapsed wall clock time (in seconds):4.801
9.05/4.93	o 45
17.77/9.03	c cleaning 2925 clauses out of 5863 with flag 4000/5863
27.78/14.15	c cleaning 4468 clauses out of 8940 with flag 10002/11865
37.82/19.34	c cleaning 5732 clauses out of 11471 with flag 17001/18864
50.27/25.71	c cleaning 6868 clauses out of 13739 with flag 25001/26864
64.76/33.28	c cleaning 7930 clauses out of 15870 with flag 34000/35863
79.57/40.84	c cleaning 8959 clauses out of 17940 with flag 44000/45863
96.79/49.67	c cleaning 9988 clauses out of 19981 with flag 55000/56863
115.44/59.09	c cleaning 10991 clauses out of 21993 with flag 67000/68863
136.85/70.04	c cleaning 11995 clauses out of 24003 with flag 80001/81864
159.27/81.42	c cleaning 12999 clauses out of 26008 with flag 94001/95864
186.10/95.00	c cleaning 13994 clauses out of 28009 with flag 109001/110864
198.05/101.28	c  And the winner is CuttingPlanes
198.27/101.63	c Got one! Elapsed wall clock time (in seconds):101.498
198.27/101.63	o 44
207.47/106.23	c cleaning 12698 clauses out of 25412 with flag 5000/122261
217.96/111.89	c cleaning 9351 clauses out of 18714 with flag 11000/128261
229.26/117.75	c cleaning 8178 clauses out of 16363 with flag 18000/135261
242.14/124.46	c cleaning 8092 clauses out of 16185 with flag 26000/143261
256.44/131.83	c cleaning 8544 clauses out of 17093 with flag 35000/152261
271.87/139.99	c cleaning 9272 clauses out of 18549 with flag 45000/162261
291.14/149.85	c cleaning 10130 clauses out of 20278 with flag 56001/173262
312.90/160.91	c cleaning 11065 clauses out of 22148 with flag 68001/185262
335.57/172.57	c cleaning 12039 clauses out of 24083 with flag 81001/198262
358.43/184.30	c cleaning 13014 clauses out of 26043 with flag 95000/212261
384.09/197.44	c cleaning 14010 clauses out of 28031 with flag 110002/227263
408.99/210.19	c cleaning 15007 clauses out of 30019 with flag 126000/243261
435.89/223.81	c cleaning 16004 clauses out of 32013 with flag 143001/260262
466.66/239.61	c cleaning 16992 clauses out of 34009 with flag 161001/278262
500.75/256.90	c cleaning 18002 clauses out of 36017 with flag 180001/297262
531.61/272.68	c cleaning 18999 clauses out of 38015 with flag 200001/317262
566.24/290.21	c cleaning 19997 clauses out of 40015 with flag 221000/338261
598.70/306.95	c cleaning 21003 clauses out of 42019 with flag 243001/360262
634.26/325.02	c cleaning 21997 clauses out of 44015 with flag 266000/383261
676.68/346.51	c cleaning 22994 clauses out of 46018 with flag 290000/407261
724.97/371.02	c cleaning 24010 clauses out of 48026 with flag 315002/432263
775.78/396.98	c cleaning 25000 clauses out of 50016 with flag 341002/458263
828.16/423.44	c cleaning 26000 clauses out of 52015 with flag 368001/485262
881.74/450.50	c cleaning 26999 clauses out of 54014 with flag 396000/513261
931.89/476.09	c cleaning 27999 clauses out of 56015 with flag 425000/542261
994.24/507.70	c cleaning 29001 clauses out of 58016 with flag 455000/572261
1059.24/540.54	c cleaning 29999 clauses out of 60015 with flag 486000/603261
1116.98/569.72	c cleaning 31002 clauses out of 62016 with flag 518000/635261
1181.51/602.33	c cleaning 31999 clauses out of 64014 with flag 551000/668261
1244.79/634.48	c cleaning 32998 clauses out of 66016 with flag 585001/702262
1261.20/643.04	c  And the winner is CuttingPlanes
1261.47/643.37	c Got one! Elapsed wall clock time (in seconds):643.237
1261.47/643.37	o 43
1271.56/648.43	c cleaning 23149 clauses out of 46305 with flag 5000/715549
1283.02/654.54	c cleaning 14571 clauses out of 29156 with flag 11000/721549
1295.24/661.06	c cleaning 10786 clauses out of 21586 with flag 18001/728550
1310.43/669.21	c cleaning 9398 clauses out of 18801 with flag 26002/736551
1326.84/677.83	c cleaning 9193 clauses out of 18401 with flag 35000/745549
1342.86/686.24	c cleaning 9598 clauses out of 19210 with flag 45002/755551
1361.66/696.07	c cleaning 10304 clauses out of 20611 with flag 56001/766550
1381.46/706.52	c cleaning 11148 clauses out of 22308 with flag 68002/778551
1404.44/718.42	c cleaning 12075 clauses out of 24159 with flag 81001/791550
1429.66/731.49	c cleaning 13037 clauses out of 26083 with flag 95000/805549
1453.71/743.86	c cleaning 14014 clauses out of 28046 with flag 110000/820549
1480.26/757.74	c cleaning 15008 clauses out of 30033 with flag 126001/836550
1509.91/772.97	c cleaning 16002 clauses out of 32024 with flag 143000/853549
1540.90/788.85	c cleaning 17001 clauses out of 34022 with flag 161000/871549
1572.91/805.23	c cleaning 18004 clauses out of 36021 with flag 180000/890549
1612.36/825.65	c cleaning 19001 clauses out of 38017 with flag 200000/910549
1653.89/846.86	c cleaning 19998 clauses out of 40017 with flag 221001/931550
1700.25/870.44	c cleaning 21002 clauses out of 42018 with flag 243000/953549
1747.01/894.28	c cleaning 22001 clauses out of 44016 with flag 266000/976549
1794.59/918.75	c cleaning 23001 clauses out of 46015 with flag 290000/1000549
1800.13/921.91	c starts		: 21
1800.13/921.91	c conflicts		: 2766
1800.13/921.91	c decisions		: 24668
1800.13/921.91	c propagations		: 4285571
1800.13/921.91	c inspects		: 97903909
1800.13/921.91	c shortcuts		: 0
1800.13/921.91	c learnt literals	: 0
1800.13/921.91	c learnt binary clauses	: 0
1800.13/921.91	c learnt ternary clauses	: 0
1800.13/921.91	c learnt constraints	: 2763
1800.13/921.91	c ignored constraints	: 0
1800.13/921.91	c root simplifications	: 0
1800.13/921.91	c removed literals (reason simplification)	: 0
1800.13/921.91	c reason swapping (by a shorter reason)	: 0
1800.13/921.91	c Calls to reduceDB	: 0
1800.13/921.91	c number of reductions to clauses (during analyze)	: 0
1800.13/921.91	c number of learned constraints concerned by reduction	: 0
1800.13/921.91	c number of learning phase by resolution	: 0
1800.13/921.91	c number of learning phase by cutting planes	: 0
1800.13/921.91	c speed (assignments/second)	: 15385.947339321743
1800.13/921.91	c non guided choices	0
1800.13/921.91	c learnt constraints type 
1800.13/921.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 98
1800.13/921.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2665
1800.13/921.91	c constraints type 
1800.13/921.91	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 76294
1800.13/921.91	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.13/921.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 75294
1800.13/921.91	c constraints type 
1800.13/921.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 76294
1800.13/921.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.13/921.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 75294
1800.13/921.91	s SATISFIABLE
1800.13/921.92	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.13/921.92	c objective function=43
1800.13/921.92	c Total wall clock time (in seconds): 921.786

Verifier Data 

OK	43

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-3736932-1338718519/watcher-3736932-1338718519 -o /tmp/evaluation-result-3736932-1338718519/solver-3736932-1338718519 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736932-1338718519.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.88 3.82 3.81 4/197 2551
/proc/meminfo: memFree=30454572/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/2551/stat : 2551 (java) D 2549 2551 1279 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 337978861 9515008 185 33554432000 1073741824 1073778376 140734683484928 140734683476152 233411603895 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/2551/statm: 2323 185 142 9 0 71 0

[startup+0.04258 s]
/proc/loadavg: 3.88 3.82 3.81 4/197 2551
/proc/meminfo: memFree=30454572/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11044572 CPUtime=0.02 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 3923 0 1 0 1 1 0 0 20 0 10 0 337978861 11309641728 11267 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2761143 11278 1457 9 0 2751844 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572

[startup+0.100284 s]
/proc/loadavg: 3.88 3.82 3.81 4/197 2551
/proc/meminfo: memFree=30454572/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 4473 0 1 0 6 1 0 0 20 0 18 0 337978861 11864465408 12835 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2896598 12835 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300189 s]
/proc/loadavg: 3.88 3.82 3.81 4/197 2551
/proc/meminfo: memFree=30454572/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11586392 CPUtime=0.42 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 6277 0 1 0 40 2 0 0 20 0 18 0 337978861 11864465408 15789 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2896598 15789 2216 9 0 2887285 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 11586392

[startup+0.70022 s]
/proc/loadavg: 3.88 3.82 3.81 4/197 2551
/proc/meminfo: memFree=30454572/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11586392 CPUtime=1.58 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 21429 0 1 0 154 4 0 0 20 0 18 0 337978861 11864465408 32053 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2896598 32053 2248 9 0 2887285 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 11586392

[startup+1.50072 s]
/proc/loadavg: 3.88 3.82 3.81 4/215 2569
/proc/meminfo: memFree=30231088/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11852648 CPUtime=3.35 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 21982 0 1 0 325 10 0 0 20 0 19 0 337978861 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2963162 94633 2260 9 0 2953849 0
[pid=2551/tid=2553] ppid=2549 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/2551/task/2553/stat : 2553 (java) S 2549 2551 1279 0 -1 4202560 3505 0 1 0 111 7 0 0 20 0 19 0 337978862 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691195180184 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2554] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2554/stat : 2554 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978865 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691031484584 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2555] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2555/stat : 2555 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978865 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691030432040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2556] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2556/stat : 2556 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978865 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691029379496 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2557] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2557/stat : 2557 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978865 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691028326952 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2558] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2558/stat : 2558 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978865 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691027274408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2559] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2559/stat : 2559 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978865 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691026221864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2560] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2560/stat : 2560 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978865 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691025169320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2561] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2561/stat : 2561 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337978865 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691024116776 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2562] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2562/stat : 2562 (java) S 2549 2551 1279 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337978866 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691011917928 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2563] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2563/stat : 2563 (java) S 2549 2551 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337978867 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691010864248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2564] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2564/stat : 2564 (java) S 2549 2551 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337978867 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691009811592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2565] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2565/stat : 2565 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978869 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691008760336 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2566] ppid=2549 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/2551/task/2566/stat : 2566 (java) S 2549 2551 1279 0 -1 4202560 6947 0 0 0 84 0 0 0 20 0 19 0 337978869 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691007707704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2567] ppid=2549 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/2551/task/2567/stat : 2567 (java) S 2549 2551 1279 0 -1 4202560 10266 0 0 0 83 1 0 0 20 0 19 0 337978869 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691006655160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2568] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2568/stat : 2568 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978869 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691005602808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2569] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2569/stat : 2569 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337978869 12137111552 94633 33554432000 1073741824 1073778376 140736424691600 140691004550472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 11852648

[startup+3.10083 s]
/proc/loadavg: 3.88 3.82 3.81 7/216 2576
/proc/meminfo: memFree=30054992/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11852648 CPUtime=5.42 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 22260 0 1 0 524 18 0 0 20 0 22 0 337978861 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2963162 137292 2267 9 0 2953849 0
[pid=2551/tid=2553] ppid=2549 vsize=11852648 CPUtime=1.32 cores=1,3,5,7
/proc/2551/task/2553/stat : 2553 (java) S 2549 2551 1279 0 -1 4202560 3509 0 1 0 125 7 0 0 20 0 22 0 337978862 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691195180200 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2554] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2554/stat : 2554 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691031484584 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2555] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2555/stat : 2555 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691030432040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2556] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2556/stat : 2556 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691029379496 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2557] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2557/stat : 2557 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691028326952 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2558] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2558/stat : 2558 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691027274408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2559] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2559/stat : 2559 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691026221864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2560] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2560/stat : 2560 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691025169320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2561] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2561/stat : 2561 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691024116776 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2562] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2562/stat : 2562 (java) S 2549 2551 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337978866 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691011917928 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2563] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2563/stat : 2563 (java) S 2549 2551 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691010864248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2564] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2564/stat : 2564 (java) S 2549 2551 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691009811592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2565] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2565/stat : 2565 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691008760336 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2566] ppid=2549 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/2551/task/2566/stat : 2566 (java) R 2549 2551 1279 0 -1 4202560 6957 0 0 0 107 0 0 0 20 0 22 0 337978869 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691007707704 140691201620064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2567] ppid=2549 vsize=11852648 CPUtime=1.24 cores=1,3,5,7
/proc/2551/task/2567/stat : 2567 (java) S 2549 2551 1279 0 -1 4202560 10370 0 0 0 123 1 0 0 20 0 22 0 337978869 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691006655160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2568] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2568/stat : 2568 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691005602808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2569] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2569/stat : 2569 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691004550472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2572] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2572/stat : 2572 (java) S 2549 2551 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337978986 12137111552 137292 33554432000 1073741824 1073778376 140736424691600 140691001390120 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 11852648

[startup+6.30092 s]
/proc/loadavg: 3.65 3.77 3.79 4/219 2585
/proc/meminfo: memFree=29153564/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11852648 CPUtime=11.92 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 23294 0 1 0 1152 40 0 0 20 0 22 0 337978861 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2963162 391229 2270 9 0 2953849 0
[pid=2551/tid=2553] ppid=2549 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/2551/task/2553/stat : 2553 (java) S 2549 2551 1279 0 -1 4202560 3509 0 1 0 128 7 0 0 20 0 22 0 337978862 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691195180200 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2554] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2554/stat : 2554 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691031484584 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2555] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2555/stat : 2555 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691030432040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2556] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2556/stat : 2556 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691029379496 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2557] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2557/stat : 2557 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691028326952 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2558] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2558/stat : 2558 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691027274408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2559] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2559/stat : 2559 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691026221864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2560] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2560/stat : 2560 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691025169320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2561] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2561/stat : 2561 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337978865 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691024116776 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2562] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2562/stat : 2562 (java) S 2549 2551 1279 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 337978866 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691011917928 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2563] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2563/stat : 2563 (java) S 2549 2551 1279 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691010864248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2564] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2564/stat : 2564 (java) S 2549 2551 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691009811592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2565] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2565/stat : 2565 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691008760336 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2566] ppid=2549 vsize=11852648 CPUtime=1.22 cores=1,3,5,7
/proc/2551/task/2566/stat : 2566 (java) S 2549 2551 1279 0 -1 4202560 7483 0 0 0 122 0 0 0 20 0 22 0 337978869 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691007707704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2567] ppid=2549 vsize=11852648 CPUtime=1.35 cores=1,3,5,7
/proc/2551/task/2567/stat : 2567 (java) S 2549 2551 1279 0 -1 4202560 10370 0 0 0 134 1 0 0 20 0 22 0 337978869 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691006655160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2568] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2568/stat : 2568 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691005602808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2569] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2569/stat : 2569 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691004550472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2572] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2572/stat : 2572 (java) S 2549 2551 1279 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 337978986 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691001390120 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2583] ppid=2549 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/2551/task/2583/stat : 2583 (java) R 2549 2551 1279 0 -1 4202560 6 0 0 0 134 0 0 0 20 0 22 0 337979355 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691003492912 140691067009435 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2584] ppid=2549 vsize=11852648 CPUtime=1.34 cores=1,3,5,7
/proc/2551/task/2584/stat : 2584 (java) R 2549 2551 1279 0 -1 4202560 213 0 0 0 126 8 0 0 20 0 22 0 337979355 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691002442488 140691067015595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2585] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2585/stat : 2585 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337979356 12137111552 391229 33554432000 1073741824 1073778376 140736424691600 140691000338088 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=2551/tid=2668] ppid=2549 vsize=11852648 CPUtime=163.28 cores=1,3,5,7
/proc/2551/task/2668/stat : 2668 (java) R 2549 2551 1279 0 -1 4202560 7 0 0 0 16326 2 0 0 20 0 22 0 338043199 12137111552 1012441 33554432000 1073741824 1073778376 140736424691600 140691003494864 140691066976492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2669] ppid=2549 vsize=11852648 CPUtime=163.26 cores=1,3,5,7
/proc/2551/task/2669/stat : 2669 (java) R 2549 2551 1279 0 -1 4202560 6 0 0 0 16324 2 0 0 20 0 22 0 338043199 12137111552 1012441 33554432000 1073741824 1073778376 140736424691600 140691002440432 140691066877705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2670] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2670/stat : 2670 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338043200 12137111552 1012441 33554432000 1073741824 1073778376 140736424691600 140691001390504 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1605.77
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.93 3.90 3.84 5/220 2674
/proc/meminfo: memFree=24294636/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11852648 CPUtime=1723.19 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 26860 0 1 0 172102 217 0 0 20 0 22 0 337978861 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2963162 1012512 2295 9 0 2953849 0
[pid=2551/tid=2553] ppid=2549 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/2551/task/2553/stat : 2553 (java) S 2549 2551 1279 0 -1 4202560 3558 0 1 0 140 8 0 0 20 0 22 0 337978862 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691195180168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2554] ppid=2549 vsize=11852648 CPUtime=1.68 cores=1,3,5,7
/proc/2551/task/2554/stat : 2554 (java) S 2549 2551 1279 0 -1 4202560 298 0 0 0 154 14 0 0 20 0 22 0 337978865 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691031484584 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2555] ppid=2549 vsize=11852648 CPUtime=1.74 cores=1,3,5,7
/proc/2551/task/2555/stat : 2555 (java) S 2549 2551 1279 0 -1 4202560 335 0 0 0 162 12 0 0 20 0 22 0 337978865 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691030432040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2556] ppid=2549 vsize=11852648 CPUtime=1.76 cores=1,3,5,7
/proc/2551/task/2556/stat : 2556 (java) S 2549 2551 1279 0 -1 4202560 229 0 0 0 166 10 0 0 20 0 22 0 337978865 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691029379496 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2557] ppid=2549 vsize=11852648 CPUtime=1.64 cores=1,3,5,7
/proc/2551/task/2557/stat : 2557 (java) S 2549 2551 1279 0 -1 4202560 291 0 0 0 153 11 0 0 20 0 22 0 337978865 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691028326952 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2558] ppid=2549 vsize=11852648 CPUtime=1.73 cores=1,3,5,7
/proc/2551/task/2558/stat : 2558 (java) S 2549 2551 1279 0 -1 4202560 312 0 0 0 161 12 0 0 20 0 22 0 337978865 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691027274408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2559] ppid=2549 vsize=11852648 CPUtime=1.8 cores=1,3,5,7
/proc/2551/task/2559/stat : 2559 (java) S 2549 2551 1279 0 -1 4202560 343 0 0 0 167 13 0 0 20 0 22 0 337978865 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691026221864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2560] ppid=2549 vsize=11852648 CPUtime=1.9 cores=1,3,5,7
/proc/2551/task/2560/stat : 2560 (java) S 2549 2551 1279 0 -1 4202560 339 0 0 0 176 14 0 0 20 0 22 0 337978865 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691025169320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2561] ppid=2549 vsize=11852648 CPUtime=1.82 cores=1,3,5,7
/proc/2551/task/2561/stat : 2561 (java) S 2549 2551 1279 0 -1 4202560 254 0 0 0 173 9 0 0 20 0 22 0 337978865 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691024116776 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2562] ppid=2549 vsize=11852648 CPUtime=46.75 cores=1,3,5,7
/proc/2551/task/2562/stat : 2562 (java) S 2549 2551 1279 0 -1 4202560 274 0 0 0 4664 11 0 0 20 0 22 0 337978866 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691011917928 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2563] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2563/stat : 2563 (java) S 2549 2551 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691010864248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2564] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2564/stat : 2564 (java) S 2549 2551 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691009811592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2565] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2565/stat : 2565 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691008760336 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2566] ppid=2549 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/2551/task/2566/stat : 2566 (java) S 2549 2551 1279 0 -1 4202560 7489 0 0 0 147 0 0 0 20 0 22 0 337978869 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691007707704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2567] ppid=2549 vsize=11852648 CPUtime=1.64 cores=1,3,5,7
/proc/2551/task/2567/stat : 2567 (java) S 2549 2551 1279 0 -1 4202560 10388 0 0 0 163 1 0 0 20 0 22 0 337978869 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691006655160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2568] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2568/stat : 2568 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691005602808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2569] ppid=2549 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/2551/task/2569/stat : 2569 (java) S 2549 2551 1279 0 -1 4202560 51 0 0 0 21 23 0 0 20 0 22 0 337978869 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691004550472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2585] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2585/stat : 2585 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337979356 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691000338088 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2668] ppid=2549 vsize=11852648 CPUtime=220.22 cores=1,3,5,7
/proc/2551/task/2668/stat : 2668 (java) R 2549 2551 1279 0 -1 4202560 7 0 0 0 22019 3 0 0 20 0 22 0 338043199 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691003492992 140691066860208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2669] ppid=2549 vsize=11852648 CPUtime=220.19 cores=1,3,5,7
/proc/2551/task/2669/stat : 2669 (java) R 2549 2551 1279 0 -1 4202560 7 0 0 0 22016 3 0 0 20 0 22 0 338043199 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691002441008 140691067156497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2670] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2670/stat : 2670 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338043200 12137111552 1012512 33554432000 1073741824 1073778376 140736424691600 140691001390504 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1723.19
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+921.901 s]
/proc/loadavg: 3.91 3.89 3.84 5/220 2674
/proc/meminfo: memFree=24281868/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 26912 0 1 0 179795 218 0 0 20 0 22 0 337978861 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2963162 1012558 2295 9 0 2953849 0
[pid=2551/tid=2553] ppid=2549 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/2551/task/2553/stat : 2553 (java) S 2549 2551 1279 0 -1 4202560 3560 0 1 0 140 8 0 0 20 0 22 0 337978862 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691195180168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2554] ppid=2549 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/2551/task/2554/stat : 2554 (java) S 2549 2551 1279 0 -1 4202560 316 0 0 0 156 14 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691031484584 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2555] ppid=2549 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/2551/task/2555/stat : 2555 (java) S 2549 2551 1279 0 -1 4202560 337 0 0 0 166 12 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691030432040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2556] ppid=2549 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/2551/task/2556/stat : 2556 (java) S 2549 2551 1279 0 -1 4202560 242 0 0 0 169 10 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691029379496 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2557] ppid=2549 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/2551/task/2557/stat : 2557 (java) S 2549 2551 1279 0 -1 4202560 293 0 0 0 159 11 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691028326952 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2558] ppid=2549 vsize=11852648 CPUtime=1.76 cores=1,3,5,7
/proc/2551/task/2558/stat : 2558 (java) S 2549 2551 1279 0 -1 4202560 317 0 0 0 164 12 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691027274408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2559] ppid=2549 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/2551/task/2559/stat : 2559 (java) S 2549 2551 1279 0 -1 4202560 344 0 0 0 173 13 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691026221864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2560] ppid=2549 vsize=11852648 CPUtime=1.94 cores=1,3,5,7
/proc/2551/task/2560/stat : 2560 (java) S 2549 2551 1279 0 -1 4202560 344 0 0 0 180 14 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691025169320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2561] ppid=2549 vsize=11852648 CPUtime=1.84 cores=1,3,5,7
/proc/2551/task/2561/stat : 2561 (java) S 2549 2551 1279 0 -1 4202560 254 0 0 0 175 9 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691024116776 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2562] ppid=2549 vsize=11852648 CPUtime=49.18 cores=1,3,5,7
/proc/2551/task/2562/stat : 2562 (java) S 2549 2551 1279 0 -1 4202560 276 0 0 0 4907 11 0 0 20 0 22 0 337978866 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691011917928 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2563] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2563/stat : 2563 (java) S 2549 2551 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691010864248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2564] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2564/stat : 2564 (java) S 2549 2551 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691009811592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2565] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2565/stat : 2565 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691008760336 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2566] ppid=2549 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/2551/task/2566/stat : 2566 (java) S 2549 2551 1279 0 -1 4202560 7489 0 0 0 147 0 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691007707704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2567] ppid=2549 vsize=11852648 CPUtime=1.64 cores=1,3,5,7
/proc/2551/task/2567/stat : 2567 (java) S 2549 2551 1279 0 -1 4202560 10388 0 0 0 163 1 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691006655160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2568] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2568/stat : 2568 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691005602808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2569] ppid=2549 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/2551/task/2569/stat : 2569 (java) S 2549 2551 1279 0 -1 4202560 53 0 0 0 22 25 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691004550472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2585] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2585/stat : 2585 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337979356 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691000338088 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2668] ppid=2549 vsize=11852648 CPUtime=257.32 cores=1,3,5,7
/proc/2551/task/2668/stat : 2668 (java) R 2549 2551 1279 0 -1 4202560 7 0 0 0 25729 3 0 0 20 0 22 0 338043199 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691003494864 140691066848980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2669] ppid=2549 vsize=11852648 CPUtime=257.28 cores=1,3,5,7
/proc/2551/task/2669/stat : 2669 (java) R 2549 2551 1279 0 -1 4202560 7 0 0 0 25725 3 0 0 20 0 22 0 338043199 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691002440320 140691066940216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2670] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2670/stat : 2670 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338043200 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691001390504 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 11852648

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

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

[startup+921.901 s]
/proc/loadavg: 3.91 3.89 3.84 5/220 2674
/proc/meminfo: memFree=24281868/32873844 swapFree=7116/7116
[pid=2551] ppid=2549 vsize=11852648 CPUtime=1800.13 cores=1,3,5,7
/proc/2551/stat : 2551 (java) S 2549 2551 1279 0 -1 4202496 26912 0 1 0 179795 218 0 0 20 0 22 0 337978861 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140736424682736 233415147581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/2551/statm: 2963162 1012558 2295 9 0 2953849 0
[pid=2551/tid=2553] ppid=2549 vsize=11852648 CPUtime=1.48 cores=1,3,5,7
/proc/2551/task/2553/stat : 2553 (java) S 2549 2551 1279 0 -1 4202560 3560 0 1 0 140 8 0 0 20 0 22 0 337978862 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691195180168 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2554] ppid=2549 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/2551/task/2554/stat : 2554 (java) S 2549 2551 1279 0 -1 4202560 316 0 0 0 156 14 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691031484584 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2555] ppid=2549 vsize=11852648 CPUtime=1.78 cores=1,3,5,7
/proc/2551/task/2555/stat : 2555 (java) S 2549 2551 1279 0 -1 4202560 337 0 0 0 166 12 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691030432040 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2556] ppid=2549 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/2551/task/2556/stat : 2556 (java) S 2549 2551 1279 0 -1 4202560 242 0 0 0 169 10 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691029379496 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2557] ppid=2549 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/2551/task/2557/stat : 2557 (java) S 2549 2551 1279 0 -1 4202560 293 0 0 0 159 11 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691028326952 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2558] ppid=2549 vsize=11852648 CPUtime=1.76 cores=1,3,5,7
/proc/2551/task/2558/stat : 2558 (java) S 2549 2551 1279 0 -1 4202560 317 0 0 0 164 12 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691027274408 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2559] ppid=2549 vsize=11852648 CPUtime=1.86 cores=1,3,5,7
/proc/2551/task/2559/stat : 2559 (java) S 2549 2551 1279 0 -1 4202560 344 0 0 0 173 13 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691026221864 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2560] ppid=2549 vsize=11852648 CPUtime=1.94 cores=1,3,5,7
/proc/2551/task/2560/stat : 2560 (java) S 2549 2551 1279 0 -1 4202560 344 0 0 0 180 14 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691025169320 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2561] ppid=2549 vsize=11852648 CPUtime=1.84 cores=1,3,5,7
/proc/2551/task/2561/stat : 2561 (java) S 2549 2551 1279 0 -1 4202560 254 0 0 0 175 9 0 0 20 0 22 0 337978865 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691024116776 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2562] ppid=2549 vsize=11852648 CPUtime=49.18 cores=1,3,5,7
/proc/2551/task/2562/stat : 2562 (java) S 2549 2551 1279 0 -1 4202560 276 0 0 0 4907 11 0 0 20 0 22 0 337978866 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691011917928 233415161769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2563] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2563/stat : 2563 (java) S 2549 2551 1279 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691010864248 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2564] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2564/stat : 2564 (java) S 2549 2551 1279 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 337978867 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691009811592 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2565] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2565/stat : 2565 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691008760336 233415169824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2566] ppid=2549 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/2551/task/2566/stat : 2566 (java) S 2549 2551 1279 0 -1 4202560 7489 0 0 0 147 0 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691007707704 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2551/tid=2567] ppid=2549 vsize=11852648 CPUtime=1.64 cores=1,3,5,7
/proc/2551/task/2567/stat : 2567 (java) S 2549 2551 1279 0 -1 4202560 10388 0 0 0 163 1 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691006655160 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2568] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2568/stat : 2568 (java) S 2549 2551 1279 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691005602808 233415160892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2569] ppid=2549 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/2551/task/2569/stat : 2569 (java) S 2549 2551 1279 0 -1 4202560 53 0 0 0 22 25 0 0 20 0 22 0 337978869 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691004550472 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2585] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2585/stat : 2585 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337979356 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691000338088 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2551/tid=2668] ppid=2549 vsize=11852648 CPUtime=257.32 cores=1,3,5,7
/proc/2551/task/2668/stat : 2668 (java) R 2549 2551 1279 0 -1 4202560 7 0 0 0 25729 3 0 0 20 0 22 0 338043199 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691003494864 140691066848980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2551/tid=2669] ppid=2549 vsize=11852648 CPUtime=257.28 cores=1,3,5,7
/proc/2551/task/2669/stat : 2669 (java) R 2549 2551 1279 0 -1 4202560 7 0 0 0 25725 3 0 0 20 0 22 0 338043199 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691002440320 140691066940216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2551/tid=2670] ppid=2549 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/2551/task/2670/stat : 2670 (java) S 2549 2551 1279 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338043200 12137111552 1012558 33554432000 1073741824 1073778376 140736424691600 140691001390504 233415161769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 11852648

Child status: 143
Real time (s): 921.943
CPU time (s): 1800.42
CPU user time (s): 1797.98
CPU system time (s): 2.44263
CPU usage (%): 195.285
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.44263
maximum resident set size= 4050344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26942
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24453
involuntary context switches= 28341

runsolver used 4.23036 second user time and 8.48371 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-03 12:15:19
IDJOB=3736932
IDBENCH=48149
IDSOLVER=2328
FILE ID=node111/3736932-1338718519
RUNJOBID= node111-1338712999-1296
PBS_JOBID= 14636722
Free space on /tmp= 67396 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736932-1338718519/watcher-3736932-1338718519 -o /tmp/evaluation-result-3736932-1338718519/solver-3736932-1338718519 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736932-1338718519.opb

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

MD5SUM BENCH= 12e000f4c238d036e0b89e0774c838fa
RANDOM SEED=1921214277

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
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:       32873844 kB
MemFree:        30455332 kB
Buffers:          186136 kB
Cached:           507904 kB
SwapCached:         1404 kB
Active:          1097028 kB
Inactive:         534496 kB
Active(anon):     938624 kB
Inactive(anon):     1276 kB
Active(file):     158404 kB
Inactive(file):   533220 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100152 kB
Dirty:              1256 kB
Writeback:             0 kB
AnonPages:        945688 kB
Mapped:            17064 kB
Shmem:                 0 kB
Slab:             646208 kB
SReclaimable:      88264 kB
SUnreclaim:       557944 kB
KernelStack:        1624 kB
PageTables:         6080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10460068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    894976 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= 67396 MiB
End job on node111 at 2012-06-03 12:30:43