Trace number 3687910

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)-45 1800.89 982.701

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c ManyCore solver with 2 solvers running in parallel
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3687910-1337874801.opb
0.09/0.11	c reading problem ... 
1.96/1.04	c ... done. Wall clock time 0.925s.
1.96/1.04	c declared #vars     1534
1.96/1.04	c #constraints  127011
1.96/1.04	c constraints type 
1.96/1.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 127011
1.96/1.04	c 127011 constraints processed.
1.96/1.04	c constraints type 
1.96/1.04	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 127011
1.96/1.04	c 127011 constraints processed.
1.96/1.04	c objective function length is 1534 literals
1.96/1.07	c  And the winner is solver1
2.14/1.54	c SATISFIABLE
2.14/1.54	c OPTIMIZING...
2.14/1.54	c Got one! Elapsed wall clock time (in seconds):1.429
2.14/1.54	o -40
2.34/1.62	c  And the winner is solver0
2.75/2.05	c Got one! Elapsed wall clock time (in seconds):1.936
2.75/2.05	o -41
4.38/2.64	c  And the winner is solver1
4.50/3.05	c Got one! Elapsed wall clock time (in seconds):2.94
4.50/3.05	o -42
6.81/4.17	c cleaning 2533 clauses out of 5065 with flag 3000/5065
7.57/4.56	c  And the winner is solver1
7.71/5.05	c Got one! Elapsed wall clock time (in seconds):4.943
7.71/5.05	o -43
11.52/6.98	c cleaning 3989 clauses out of 7977 with flag 5003/10510
15.89/9.28	c cleaning 4991 clauses out of 9985 with flag 11000/16507
22.09/12.45	c cleaning 5998 clauses out of 11995 with flag 18001/23508
28.82/16.07	c cleaning 6998 clauses out of 13996 with flag 26000/31507
38.37/21.47	c cleaning 7999 clauses out of 15998 with flag 35000/40507
48.66/26.71	c cleaning 8995 clauses out of 18000 with flag 45001/50508
58.23/31.99	c cleaning 9999 clauses out of 20005 with flag 56001/61508
67.17/36.76	c cleaning 11003 clauses out of 22006 with flag 68001/73508
71.05/39.04	c  And the winner is solver1
71.01/39.12	c Got one! Elapsed wall clock time (in seconds):39.012
71.01/39.12	o -44
71.78/39.57	c cleaning 8214 clauses out of 16436 with flag 1002/78941
77.35/42.79	c cleaning 7103 clauses out of 14220 with flag 7000/84939
84.88/47.10	c cleaning 7058 clauses out of 14117 with flag 14000/91939
90.87/50.60	c cleaning 7527 clauses out of 15060 with flag 22001/99940
98.21/54.61	c cleaning 8267 clauses out of 16534 with flag 31002/108941
106.75/59.38	c cleaning 9133 clauses out of 18265 with flag 41000/118939
117.14/65.31	c cleaning 10062 clauses out of 20134 with flag 52002/129941
127.90/71.91	c cleaning 11030 clauses out of 22071 with flag 64001/141940
140.10/78.30	c cleaning 12014 clauses out of 24040 with flag 77000/154939
157.27/87.78	c cleaning 13014 clauses out of 26027 with flag 91001/168940
174.79/96.99	c cleaning 14006 clauses out of 28012 with flag 106000/183939
191.30/105.70	c cleaning 15000 clauses out of 30007 with flag 122001/199940
206.40/113.85	c cleaning 15996 clauses out of 32008 with flag 139002/216941
223.73/123.65	c cleaning 17001 clauses out of 34010 with flag 157000/234939
241.51/133.11	c cleaning 18002 clauses out of 36009 with flag 176000/253939
260.33/143.20	c cleaning 19002 clauses out of 38007 with flag 196000/273939
278.88/153.28	c cleaning 20001 clauses out of 40005 with flag 217000/294939
300.26/165.20	c cleaning 21002 clauses out of 42004 with flag 239000/316939
321.64/176.76	c cleaning 21993 clauses out of 44003 with flag 262001/339940
343.01/188.21	c cleaning 22995 clauses out of 46010 with flag 286001/363940
373.22/206.02	c cleaning 24008 clauses out of 48015 with flag 311001/388940
404.20/222.11	c cleaning 25005 clauses out of 50009 with flag 337003/414942
436.00/238.93	c cleaning 25998 clauses out of 52001 with flag 364000/441939
449.73/246.89	c cleaning 0 clauses out of 6148 with flag 0/6148
472.59/259.78	c cleaning 27001 clauses out of 54003 with flag 392000/469939
503.87/276.35	c cleaning 27997 clauses out of 56002 with flag 421000/498939
534.90/292.83	c cleaning 29003 clauses out of 58006 with flag 451001/528940
568.28/310.64	c cleaning 30001 clauses out of 60002 with flag 482000/559939
612.43/334.52	c cleaning 31001 clauses out of 62001 with flag 514000/591939
654.71/356.63	c cleaning 32000 clauses out of 64000 with flag 547000/624939
702.00/381.38	c cleaning 33000 clauses out of 66002 with flag 581002/658941
741.31/402.20	c cleaning 33994 clauses out of 68000 with flag 616000/693939
783.16/425.39	c cleaning 35001 clauses out of 70006 with flag 652000/729939
823.77/446.89	c cleaning 35996 clauses out of 72006 with flag 689001/766940
867.18/469.74	c cleaning 37005 clauses out of 74009 with flag 727000/804939
916.94/495.86	c cleaning 37999 clauses out of 76005 with flag 766001/843940
967.94/523.67	c cleaning 38997 clauses out of 78005 with flag 806000/883939
1025.13/555.13	c cleaning 39995 clauses out of 80008 with flag 847000/924939
1082.60/585.18	c cleaning 41005 clauses out of 82016 with flag 889003/966942
1138.18/615.49	c cleaning 41999 clauses out of 84010 with flag 932002/1009941
1195.86/645.65	c cleaning 43004 clauses out of 86010 with flag 976001/1053940
1255.24/676.76	c cleaning 43999 clauses out of 88005 with flag 1021000/1098939
1322.53/711.77	c cleaning 45000 clauses out of 90008 with flag 1067002/1144941
1403.59/754.91	c cleaning 46003 clauses out of 92006 with flag 1114000/1191939
1487.99/798.66	c cleaning 47000 clauses out of 94005 with flag 1162002/1239941
1566.64/839.51	c cleaning 47991 clauses out of 96003 with flag 1211000/1288939
1642.44/878.93	c cleaning 49006 clauses out of 98012 with flag 1261000/1338939
1653.06/887.69	c cleaning 0 clauses out of 12148 with flag 0/12148
1708.12/916.95	c  And the winner is solver1
1704.64/917.32	c Got one! Elapsed wall clock time (in seconds):917.206
1704.64/917.32	o -45
1712.40/921.24	c cleaning 45618 clauses out of 91248 with flag 5001/1381181
1722.24/928.15	c cleaning 25809 clauses out of 51632 with flag 11003/1387183
1731.97/935.07	c cleaning 16405 clauses out of 32824 with flag 18004/1394184
1745.06/945.05	c cleaning 12200 clauses out of 24415 with flag 26000/1402180
1755.47/952.20	c cleaning 10602 clauses out of 21215 with flag 35000/1411180
1766.72/959.81	c cleaning 10302 clauses out of 20613 with flag 45000/1421180
1777.66/967.36	c cleaning 10653 clauses out of 21312 with flag 56001/1432181
1792.90/978.46	c cleaning 11329 clauses out of 22658 with flag 68000/1444180
1797.36/982.67	c starts		: 42
1797.36/982.67	c conflicts		: 12528
1797.36/982.67	c decisions		: 16100
1797.36/982.67	c propagations		: 173702
1797.36/982.67	c inspects		: 697417164
1797.36/982.67	c shortcuts		: 0
1797.36/982.67	c learnt literals	: 0
1797.36/982.67	c learnt binary clauses	: 0
1797.36/982.67	c learnt ternary clauses	: 0
1797.36/982.67	c learnt constraints	: 12528
1797.36/982.67	c ignored constraints	: 0
1797.36/982.67	c root simplifications	: 0
1797.36/982.67	c removed literals (reason simplification)	: 0
1797.36/982.67	c reason swapping (by a shorter reason)	: 0
1797.36/982.67	c Calls to reduceDB	: 2
1797.36/982.67	c number of reductions to clauses (during analyze)	: 0
1797.36/982.67	c number of learned constraints concerned by reduction	: 0
1797.36/982.67	c number of learning phase by resolution	: 0
1797.36/982.67	c number of learning phase by cutting planes	: 0
1797.36/982.67	c speed (assignments/second)	: 177.1359576754972
1797.36/982.67	c non guided choices	0
1797.36/982.67	c learnt constraints type 
1797.36/982.67	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 271
1797.36/982.67	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12257
1797.36/982.67	c constraints type 
1797.36/982.67	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1797.36/982.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 127011
1797.36/982.67	c 127012 constraints processed.
1797.36/982.67	c constraints type 
1797.36/982.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 127011
1797.36/982.67	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1797.36/982.67	c 127012 constraints processed.
1797.36/982.67	s SATISFIABLE
1797.36/982.68	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 
1797.36/982.68	c objective function=-45
1797.36/982.68	c Total wall clock time (in seconds): 982.565

Verifier Data

OK	-45

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687910-1337874801/watcher-3687910-1337874801 -o /tmp/evaluation-result-3687910-1337874801/solver-3687910-1337874801 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687910-1337874801.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.73 3.82 3.57 4/197 22662
/proc/meminfo: memFree=25905388/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22662/stat : 22662 (java) R 22660 22662 21381 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253605875 9515008 182 33554432000 1073741824 1073778376 140733206453504 140733206444536 270330052277 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22662/statm: 2323 182 140 9 0 71 0

[startup+0.0122471 s]
/proc/loadavg: 3.73 3.82 3.57 4/197 22662
/proc/meminfo: memFree=25905388/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 1272 0 0 0 0 0 0 0 20 0 2 0 253605875 98570240 974 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 24065 974 740 9 0 16771 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96260

[startup+0.100174 s]
/proc/loadavg: 3.73 3.82 3.57 4/197 22662
/proc/meminfo: memFree=25905388/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 4320 0 1 0 8 1 0 0 20 0 18 0 253605875 9787813888 6026 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 2389603 6026 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300174 s]
/proc/loadavg: 3.73 3.82 3.57 4/197 22662
/proc/meminfo: memFree=25905388/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 5653 0 1 0 45 1 0 0 20 0 18 0 253605875 9787813888 8214 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 2389603 8214 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700186 s]
/proc/loadavg: 3.73 3.82 3.57 4/197 22662
/proc/meminfo: memFree=25905388/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9558412 CPUtime=1.53 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 17637 0 1 0 148 5 0 0 20 0 18 0 253605875 9787813888 37953 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 2389603 37953 2233 9 0 2380296 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9558412

[startup+1.50061 s]
/proc/loadavg: 3.73 3.82 3.57 11/215 22680
/proc/meminfo: memFree=25707992/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9824668 CPUtime=2.14 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 18480 0 1 0 205 9 0 0 20 0 19 0 253605875 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 2456167 51411 2262 9 0 2446860 0
[pid=22662/tid=22664] ppid=22660 vsize=9824668 CPUtime=0.97 cores=1,3,5,7
/proc/22662/task/22664/stat : 22664 (java) S 22660 22662 21381 0 -1 4202560 2518 0 1 0 94 3 0 0 20 0 19 0 253605876 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186280981496 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22665] ppid=22660 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22662/task/22665/stat : 22665 (java) S 22660 22662 21381 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 253605877 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186259081512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22666] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22666/stat : 22666 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253605877 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186258028712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22667] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22667/stat : 22667 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253605877 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186054814248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22668] ppid=22660 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22662/task/22668/stat : 22668 (java) S 22660 22662 21381 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 253605877 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186053761448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22669] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22669/stat : 22669 (java) S 22660 22662 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253605877 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186052709160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22670] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22670/stat : 22670 (java) S 22660 22662 21381 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253605877 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186051656360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22671] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22671/stat : 22671 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253605877 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186050604072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22672] ppid=22660 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22662/task/22672/stat : 22672 (java) S 22660 22662 21381 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 253605877 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186049551272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22673] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22673/stat : 22673 (java) S 22660 22662 21381 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 253605878 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186037352680 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22674] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22674/stat : 22674 (java) S 22660 22662 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253605878 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186036298744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22675] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22675/stat : 22675 (java) S 22660 22662 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253605878 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186035246344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22676] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22676/stat : 22676 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253605881 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186034194832 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22677] ppid=22660 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/22662/task/22677/stat : 22677 (java) S 22660 22662 21381 0 -1 4202560 7500 0 0 0 45 2 0 0 20 0 19 0 253605881 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186033142456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22678] ppid=22660 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/22662/task/22678/stat : 22678 (java) S 22660 22662 21381 0 -1 4202560 7101 0 0 0 44 2 0 0 20 0 19 0 253605881 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186032089656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22679] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22679/stat : 22679 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253605881 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186031037560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22680] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22680/stat : 22680 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253605881 10060460032 51411 33554432000 1073741824 1073778376 140734198073696 140186029984968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9824668

[startup+3.1006 s]
/proc/loadavg: 3.73 3.82 3.57 7/219 22690
/proc/meminfo: memFree=25704572/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9824668 CPUtime=4.61 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 18765 0 1 0 448 13 0 0 20 0 22 0 253605875 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 2456167 65452 2273 9 0 2446860 0
[pid=22662/tid=22664] ppid=22660 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22662/task/22664/stat : 22664 (java) S 22660 22662 21381 0 -1 4202560 2520 0 1 0 95 3 0 0 20 0 22 0 253605876 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186280981496 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22665] ppid=22660 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22662/task/22665/stat : 22665 (java) S 22660 22662 21381 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 253605877 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186259081512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22666] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22666/stat : 22666 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253605877 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186258028712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22667] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22667/stat : 22667 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605877 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186054814248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22668] ppid=22660 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22662/task/22668/stat : 22668 (java) S 22660 22662 21381 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 22 0 253605877 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186053761448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22669] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22669/stat : 22669 (java) S 22660 22662 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253605877 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186052709160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22670] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22670/stat : 22670 (java) S 22660 22662 21381 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253605877 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186051656360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22671] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22671/stat : 22671 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253605877 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186050604072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22672] ppid=22660 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22662/task/22672/stat : 22672 (java) S 22660 22662 21381 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 253605877 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186049551272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22673] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22673/stat : 22673 (java) S 22660 22662 21381 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186037352680 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22674] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22674/stat : 22674 (java) S 22660 22662 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186036298744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22675] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22675/stat : 22675 (java) S 22660 22662 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186035246344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22676] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22676/stat : 22676 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186034194832 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22677] ppid=22660 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/22662/task/22677/stat : 22677 (java) S 22660 22662 21381 0 -1 4202560 7647 0 0 0 101 2 0 0 20 0 22 0 253605881 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186033142456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22678] ppid=22660 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/22662/task/22678/stat : 22678 (java) S 22660 22662 21381 0 -1 4202560 7123 0 0 0 87 2 0 0 20 0 22 0 253605881 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186032089656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22679] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22679/stat : 22679 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186031037560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22680] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22680/stat : 22680 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186029984968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22690] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22690/stat : 22690 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253606081 10060460032 65452 33554432000 1073741824 1073778376 140734198073696 140186026824488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 9824668

[startup+6.30081 s]
/proc/loadavg: 3.75 3.82 3.58 5/219 22696
/proc/meminfo: memFree=25428728/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9824668 CPUtime=10.21 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 19355 0 1 0 986 35 0 0 20 0 22 0 253605875 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 2456167 159856 2286 9 0 2446860 0
[pid=22662/tid=22664] ppid=22660 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22662/task/22664/stat : 22664 (java) S 22660 22662 21381 0 -1 4202560 2520 0 1 0 95 3 0 0 20 0 22 0 253605876 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186280981496 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22665] ppid=22660 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/22662/task/22665/stat : 22665 (java) S 22660 22662 21381 0 -1 4202560 114 0 0 0 10 4 0 0 20 0 22 0 253605877 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186259081512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22666] ppid=22660 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/22662/task/22666/stat : 22666 (java) S 22660 22662 21381 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 253605877 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186258028712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22667] ppid=22660 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22662/task/22667/stat : 22667 (java) S 22660 22662 21381 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 22 0 253605877 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186054814248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22668] ppid=22660 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/22662/task/22668/stat : 22668 (java) S 22660 22662 21381 0 -1 4202560 62 0 0 0 8 3 0 0 20 0 22 0 253605877 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186053761448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22669] ppid=22660 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22662/task/22669/stat : 22669 (java) S 22660 22662 21381 0 -1 4202560 34 0 0 0 4 1 0 0 20 0 22 0 253605877 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186052709160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22670] ppid=22660 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22662/task/22670/stat : 22670 (java) S 22660 22662 21381 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 22 0 253605877 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186051656360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22671] ppid=22660 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/22662/task/22671/stat : 22671 (java) S 22660 22662 21381 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 22 0 253605877 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186050604072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22672] ppid=22660 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/22662/task/22672/stat : 22672 (java) S 22660 22662 21381 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 253605877 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186049551272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22673] ppid=22660 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/22662/task/22673/stat : 22673 (java) S 22660 22662 21381 0 -1 4202560 237 0 0 0 16 1 0 0 20 0 22 0 253605878 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186037352680 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22674] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22674/stat : 22674 (java) S 22660 22662 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186036298744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22675] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22675/stat : 22675 (java) S 22660 22662 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186035246344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22676] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22676/stat : 22676 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186034194832 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22677] ppid=22660 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/22662/task/22677/stat : 22677 (java) S 22660 22662 21381 0 -1 4202560 7650 0 0 0 110 2 0 0 20 0 22 0 253605881 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186033142456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22678] ppid=22660 vsize=9824668 CPUtime=0.93 cores=1,3,5,7
/proc/22662/task/22678/stat : 22678 (java) S 22660 22662 21381 0 -1 4202560 7128 0 0 0 91 2 0 0 20 0 22 0 253605881 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186032089656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22679] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22679/stat : 22679 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186031037560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22680] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22680/stat : 22680 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186029984968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22690] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22690/stat : 22690 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253606081 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186026824488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22694] ppid=22660 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/22662/task/22694/stat : 22694 (java) R 22660 22662 21381 0 -1 4202560 4 0 0 0 122 0 0 0 20 0 22 0 253606381 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186027876824 140186139541027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22695] ppid=22660 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/22662/task/22695/stat : 22695 (java) R 22660 22662 21381 0 -1 4202560 77 0 0 0 120 2 0 0 20 0 22 0 253606381 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186025771464 140186139812792 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22696] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22696/stat : 22696 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253606381 10060460032 159856 33554432000 1073741824 1073778376 140734198073696 140186028930600 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=22662/tid=22668] ppid=22660 vsize=9824668 CPUtime=5.81 cores=1,3,5,7
/proc/22662/task/22668/stat : 22668 (java) S 22660 22662 21381 0 -1 4202560 1041 0 0 0 560 21 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186053761448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22669] ppid=22660 vsize=9824668 CPUtime=5.38 cores=1,3,5,7
/proc/22662/task/22669/stat : 22669 (java) S 22660 22662 21381 0 -1 4202560 912 0 0 0 519 19 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186052709160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22670] ppid=22660 vsize=9824668 CPUtime=5.17 cores=1,3,5,7
/proc/22662/task/22670/stat : 22670 (java) S 22660 22662 21381 0 -1 4202560 660 0 0 0 500 17 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186051656360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22671] ppid=22660 vsize=9824668 CPUtime=5.45 cores=1,3,5,7
/proc/22662/task/22671/stat : 22671 (java) S 22660 22662 21381 0 -1 4202560 1075 0 0 0 524 21 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186050604072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22672] ppid=22660 vsize=9824668 CPUtime=5.47 cores=1,3,5,7
/proc/22662/task/22672/stat : 22672 (java) S 22660 22662 21381 0 -1 4202560 1036 0 0 0 524 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186049551272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22673] ppid=22660 vsize=9824668 CPUtime=181.98 cores=1,3,5,7
/proc/22662/task/22673/stat : 22673 (java) R 22660 22662 21381 0 -1 4202560 6649 0 0 0 18153 45 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186037351528 140186285142390 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22674] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22674/stat : 22674 (java) S 22660 22662 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186036298744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22675] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22675/stat : 22675 (java) S 22660 22662 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186035246344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22676] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22676/stat : 22676 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186034194376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22677] ppid=22660 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/22662/task/22677/stat : 22677 (java) S 22660 22662 21381 0 -1 4202560 7659 0 0 0 166 2 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186033142456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22678] ppid=22660 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/22662/task/22678/stat : 22678 (java) S 22660 22662 21381 0 -1 4202560 7136 0 0 0 114 2 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186032089656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22679] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22679/stat : 22679 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186031037560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22680] ppid=22660 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22662/task/22680/stat : 22680 (java) S 22660 22662 21381 0 -1 4202560 57 0 0 0 15 24 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186029984968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=22662/tid=22690] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22690/stat : 22690 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253606081 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186026824488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22833] ppid=22660 vsize=9824668 CPUtime=25.87 cores=1,3,5,7
/proc/22662/task/22833/stat : 22833 (java) S 22660 22662 21381 0 -1 4202560 4 0 0 0 2587 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186027876808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22834] ppid=22660 vsize=9824668 CPUtime=25.87 cores=1,3,5,7
/proc/22662/task/22834/stat : 22834 (java) S 22660 22662 21381 0 -1 4202560 9 0 0 0 2587 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186025772024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22835] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22835/stat : 22835 (java) S 22660 22662 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186028930344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 9824668

[startup+982.701 s]
/proc/loadavg: 3.15 3.75 3.72 4/220 23294
/proc/meminfo: memFree=23883400/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=0 CPUtime=1796.97 cores=1,3,5,7
/proc/22662/stat : 22662 (java) R 22660 22662 21381 0 -1 4203524 34006 0 1 0 179383 314 0 0 20 0 1 0 253605875 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22662/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 0
#
############


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

[startup+982.201 s]
/proc/loadavg: 3.15 3.75 3.72 4/220 23294
/proc/meminfo: memFree=23883400/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9824668 CPUtime=1796.97 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 33975 0 1 0 179405 292 0 0 20 0 22 0 253605875 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 2456167 1312465 2287 9 0 2446860 0
[pid=22662/tid=22664] ppid=22660 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/22662/task/22664/stat : 22664 (java) S 22660 22662 21381 0 -1 4202560 2547 0 1 0 98 4 0 0 20 0 22 0 253605876 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186280981208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22665] ppid=22660 vsize=9824668 CPUtime=5.34 cores=1,3,5,7
/proc/22662/task/22665/stat : 22665 (java) S 22660 22662 21381 0 -1 4202560 949 0 0 0 511 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186259081512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22666] ppid=22660 vsize=9824668 CPUtime=5.21 cores=1,3,5,7
/proc/22662/task/22666/stat : 22666 (java) S 22660 22662 21381 0 -1 4202560 794 0 0 0 498 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186258028712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22667] ppid=22660 vsize=9824668 CPUtime=5.67 cores=1,3,5,7
/proc/22662/task/22667/stat : 22667 (java) S 22660 22662 21381 0 -1 4202560 1020 0 0 0 544 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186054814248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22668] ppid=22660 vsize=9824668 CPUtime=5.81 cores=1,3,5,7
/proc/22662/task/22668/stat : 22668 (java) S 22660 22662 21381 0 -1 4202560 1041 0 0 0 560 21 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186053761448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22669] ppid=22660 vsize=9824668 CPUtime=5.38 cores=1,3,5,7
/proc/22662/task/22669/stat : 22669 (java) S 22660 22662 21381 0 -1 4202560 912 0 0 0 519 19 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186052709160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22670] ppid=22660 vsize=9824668 CPUtime=5.17 cores=1,3,5,7
/proc/22662/task/22670/stat : 22670 (java) S 22660 22662 21381 0 -1 4202560 660 0 0 0 500 17 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186051656360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22671] ppid=22660 vsize=9824668 CPUtime=5.45 cores=1,3,5,7
/proc/22662/task/22671/stat : 22671 (java) S 22660 22662 21381 0 -1 4202560 1075 0 0 0 524 21 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186050604072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22672] ppid=22660 vsize=9824668 CPUtime=5.47 cores=1,3,5,7
/proc/22662/task/22672/stat : 22672 (java) S 22660 22662 21381 0 -1 4202560 1036 0 0 0 524 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186049551272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22673] ppid=22660 vsize=9824668 CPUtime=181.58 cores=1,3,5,7
/proc/22662/task/22673/stat : 22673 (java) R 22660 22662 21381 0 -1 4202560 6649 0 0 0 18113 45 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186037351528 140186285142213 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22674] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22674/stat : 22674 (java) S 22660 22662 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186036298744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22675] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22675/stat : 22675 (java) S 22660 22662 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186035246344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22676] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22676/stat : 22676 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186034194376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22677] ppid=22660 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/22662/task/22677/stat : 22677 (java) S 22660 22662 21381 0 -1 4202560 7659 0 0 0 166 2 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186033142456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22678] ppid=22660 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/22662/task/22678/stat : 22678 (java) S 22660 22662 21381 0 -1 4202560 7136 0 0 0 114 2 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186032089656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22679] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22679/stat : 22679 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186031037560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22680] ppid=22660 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22662/task/22680/stat : 22680 (java) S 22660 22662 21381 0 -1 4202560 57 0 0 0 15 24 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186029984968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=22662/tid=22690] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22690/stat : 22690 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253606081 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186026824488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22833] ppid=22660 vsize=9824668 CPUtime=25.87 cores=1,3,5,7
/proc/22662/task/22833/stat : 22833 (java) S 22660 22662 21381 0 -1 4202560 4 0 0 0 2587 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186027876808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22834] ppid=22660 vsize=9824668 CPUtime=25.87 cores=1,3,5,7
/proc/22662/task/22834/stat : 22834 (java) S 22660 22662 21381 0 -1 4202560 9 0 0 0 2587 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186025772024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22835] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22835/stat : 22835 (java) S 22660 22662 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186028930344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 9824668

[startup+982.601 s]
/proc/loadavg: 3.15 3.75 3.72 4/220 23294
/proc/meminfo: memFree=23883400/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=9824668 CPUtime=1797.36 cores=1,3,5,7
/proc/22662/stat : 22662 (java) S 22660 22662 21381 0 -1 4202496 33975 0 1 0 179444 292 0 0 20 0 22 0 253605875 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140734198064832 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22662/statm: 2456167 1312465 2287 9 0 2446860 0
[pid=22662/tid=22664] ppid=22660 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/22662/task/22664/stat : 22664 (java) S 22660 22662 21381 0 -1 4202560 2547 0 1 0 98 4 0 0 20 0 22 0 253605876 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186280981208 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22665] ppid=22660 vsize=9824668 CPUtime=5.34 cores=1,3,5,7
/proc/22662/task/22665/stat : 22665 (java) S 22660 22662 21381 0 -1 4202560 949 0 0 0 511 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186259081512 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22666] ppid=22660 vsize=9824668 CPUtime=5.21 cores=1,3,5,7
/proc/22662/task/22666/stat : 22666 (java) S 22660 22662 21381 0 -1 4202560 794 0 0 0 498 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186258028712 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22667] ppid=22660 vsize=9824668 CPUtime=5.67 cores=1,3,5,7
/proc/22662/task/22667/stat : 22667 (java) S 22660 22662 21381 0 -1 4202560 1020 0 0 0 544 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186054814248 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22668] ppid=22660 vsize=9824668 CPUtime=5.81 cores=1,3,5,7
/proc/22662/task/22668/stat : 22668 (java) S 22660 22662 21381 0 -1 4202560 1041 0 0 0 560 21 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186053761448 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22669] ppid=22660 vsize=9824668 CPUtime=5.38 cores=1,3,5,7
/proc/22662/task/22669/stat : 22669 (java) S 22660 22662 21381 0 -1 4202560 912 0 0 0 519 19 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186052709160 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22670] ppid=22660 vsize=9824668 CPUtime=5.17 cores=1,3,5,7
/proc/22662/task/22670/stat : 22670 (java) S 22660 22662 21381 0 -1 4202560 660 0 0 0 500 17 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186051656360 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22671] ppid=22660 vsize=9824668 CPUtime=5.45 cores=1,3,5,7
/proc/22662/task/22671/stat : 22671 (java) S 22660 22662 21381 0 -1 4202560 1075 0 0 0 524 21 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186050604072 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22672] ppid=22660 vsize=9824668 CPUtime=5.47 cores=1,3,5,7
/proc/22662/task/22672/stat : 22672 (java) S 22660 22662 21381 0 -1 4202560 1036 0 0 0 524 23 0 0 20 0 22 0 253605877 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186049551272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22673] ppid=22660 vsize=9824668 CPUtime=181.98 cores=1,3,5,7
/proc/22662/task/22673/stat : 22673 (java) R 22660 22662 21381 0 -1 4202560 6649 0 0 0 18153 45 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186037351528 140186285142390 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22674] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22674/stat : 22674 (java) S 22660 22662 21381 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186036298744 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22675] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22675/stat : 22675 (java) S 22660 22662 21381 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253605878 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186035246344 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22662/tid=22676] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22676/stat : 22676 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186034194376 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22662/tid=22677] ppid=22660 vsize=9824668 CPUtime=1.68 cores=1,3,5,7
/proc/22662/task/22677/stat : 22677 (java) S 22660 22662 21381 0 -1 4202560 7659 0 0 0 166 2 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186033142456 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22678] ppid=22660 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/22662/task/22678/stat : 22678 (java) S 22660 22662 21381 0 -1 4202560 7136 0 0 0 114 2 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186032089656 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22679] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22679/stat : 22679 (java) S 22660 22662 21381 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186031037560 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22680] ppid=22660 vsize=9824668 CPUtime=0.39 cores=1,3,5,7
/proc/22662/task/22680/stat : 22680 (java) S 22660 22662 21381 0 -1 4202560 57 0 0 0 15 24 0 0 20 0 22 0 253605881 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186029984968 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=22662/tid=22690] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22690/stat : 22690 (java) S 22660 22662 21381 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253606081 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186026824488 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22833] ppid=22660 vsize=9824668 CPUtime=25.87 cores=1,3,5,7
/proc/22662/task/22833/stat : 22833 (java) S 22660 22662 21381 0 -1 4202560 4 0 0 0 2587 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186027876808 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22662/tid=22834] ppid=22660 vsize=9824668 CPUtime=25.87 cores=1,3,5,7
/proc/22662/task/22834/stat : 22834 (java) S 22660 22662 21381 0 -1 4202560 9 0 0 0 2587 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186025772024 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22662/tid=22835] ppid=22660 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22662/task/22835/stat : 22835 (java) S 22660 22662 21381 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253697607 10060460032 1312465 33554432000 1073741824 1073778376 140734198073696 140186028930344 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (KiB) 9824668

[startup+982.701 s]
/proc/loadavg: 3.15 3.75 3.72 4/220 23294
/proc/meminfo: memFree=23883400/32873660 swapFree=7108/7108
[pid=22662] ppid=22660 vsize=0 CPUtime=1796.97 cores=1,3,5,7
/proc/22662/stat : 22662 (java) R 22660 22662 21381 0 -1 4203524 34006 0 1 0 179383 314 0 0 20 0 1 0 253605875 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22662/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 0

Child status: 143

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

Real time (s): 982.701
CPU time (s): 1800.89
CPU user time (s): 1798.19
CPU system time (s): 2.70052
CPU usage (%): 183.259
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.84
system time used= 3.14052
maximum resident set size= 5250020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34006
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26935
involuntary context switches= 54475

runsolver used 3.73043 second user time and 8.82566 second system time

The end

Launcher Data

Begin job on node117 at 2012-05-24 17:53:21
IDJOB=3687910
IDBENCH=2266
IDSOLVER=2268
FILE ID=node117/3687910-1337874801
RUNJOBID= node117-1337871880-21398
PBS_JOBID= 14620087
Free space on /tmp= 71620 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687910-1337874801/watcher-3687910-1337874801 -o /tmp/evaluation-result-3687910-1337874801/solver-3687910-1337874801 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687910-1337874801.opb

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

MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b
RANDOM SEED=1445735046

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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:       32873660 kB
MemFree:        25905644 kB
Buffers:          217288 kB
Cached:          2286280 kB
SwapCached:            0 kB
Active:          4073504 kB
Inactive:        2110868 kB
Active(anon):    3683168 kB
Inactive(anon):        0 kB
Active(file):     390336 kB
Inactive(file):  2110868 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3276 kB
Writeback:             0 kB
AnonPages:       3689680 kB
Mapped:            22600 kB
Shmem:               200 kB
Slab:             638256 kB
SReclaimable:      82504 kB
SUnreclaim:       555752 kB
KernelStack:        1616 kB
PageTables:        11332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:    4100660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3600384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71620 MiB
End job on node117 at 2012-05-24 18:09:45