Trace number 3454355

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-45 1800.34 945.512

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454355-1307189502.opb
0.11/0.11	c reading problem ... 
1.24/0.87	c ... done. Wall clock time 0.754s.
1.24/0.87	c #vars     1400
1.24/0.87	c #constraints  109601
1.24/0.87	c constraints type 
1.24/0.87	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109601
1.24/0.87	c constraints type 
1.24/0.87	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 109601
1.39/0.90	c  And the winner is Resolution
1.46/1.38	c SATISFIABLE
1.46/1.38	c OPTIMIZING...
1.46/1.38	c Got one! Elapsed wall clock time (in seconds):1.262
1.46/1.38	o -38
1.50/1.47	c  And the winner is Resolution
1.83/1.89	c Got one! Elapsed wall clock time (in seconds):1.775
1.83/1.89	o -39
1.86/1.94	c  And the winner is Resolution
2.47/2.40	c Got one! Elapsed wall clock time (in seconds):2.285
2.47/2.40	o -40
2.47/2.46	c  And the winner is Resolution
2.74/2.91	c Got one! Elapsed wall clock time (in seconds):2.795
2.74/2.91	o -41
3.00/3.01	c  And the winner is Resolution
3.08/3.42	c Got one! Elapsed wall clock time (in seconds):3.301
3.08/3.42	o -42
5.97/4.83	c  And the winner is Resolution
6.09/4.98	c Got one! Elapsed wall clock time (in seconds):4.865
6.09/4.98	o -43
6.82/5.32	c cleaning 3113 clauses out of 6226 with flag 1000/6226
10.62/7.27	c cleaning 4555 clauses out of 9114 with flag 7001/12227
14.75/9.39	c  And the winner is Resolution
15.25/9.77	c Got one! Elapsed wall clock time (in seconds):9.656
15.25/9.77	o -44
18.35/11.33	c cleaning 8041 clauses out of 16085 with flag 5000/23753
22.53/13.41	c cleaning 7023 clauses out of 14045 with flag 11001/29754
27.16/15.87	c cleaning 7012 clauses out of 14024 with flag 18003/36756
32.84/18.76	c cleaning 7505 clauses out of 15009 with flag 26000/44753
39.03/22.00	c cleaning 8247 clauses out of 16505 with flag 35001/53754
46.01/25.54	c cleaning 9115 clauses out of 18257 with flag 45000/63753
54.49/29.99	c cleaning 10072 clauses out of 20143 with flag 56001/74754
62.85/34.29	c cleaning 11033 clauses out of 22070 with flag 68000/86753
73.21/39.56	c cleaning 12016 clauses out of 24037 with flag 81000/99753
84.52/45.30	c cleaning 13011 clauses out of 26021 with flag 95000/113753
95.08/50.84	c cleaning 13997 clauses out of 28010 with flag 110000/128753
108.14/57.52	c cleaning 15002 clauses out of 30013 with flag 126000/144753
122.37/64.83	c cleaning 15997 clauses out of 32011 with flag 143000/161753
137.36/72.54	c cleaning 17002 clauses out of 34014 with flag 161000/179753
151.94/80.19	c cleaning 18003 clauses out of 36013 with flag 180001/198754
169.88/89.39	c cleaning 18989 clauses out of 38009 with flag 200000/218753
188.37/98.81	c cleaning 20005 clauses out of 40020 with flag 221000/239753
209.92/109.82	c cleaning 21002 clauses out of 42015 with flag 243000/261753
227.89/119.28	c cleaning 21994 clauses out of 44013 with flag 266000/284753
247.53/129.39	c cleaning 23000 clauses out of 46019 with flag 290000/308753
269.29/140.58	c cleaning 24010 clauses out of 48020 with flag 315001/333754
292.80/152.60	c cleaning 24997 clauses out of 50011 with flag 341002/359755
321.19/167.33	c cleaning 26000 clauses out of 52012 with flag 368000/386753
342.86/178.58	c cleaning 26994 clauses out of 54013 with flag 396001/414754
367.72/191.40	c cleaning 28008 clauses out of 56018 with flag 425000/443753
396.81/206.21	c cleaning 29005 clauses out of 58010 with flag 455000/473753
425.70/221.27	c cleaning 29994 clauses out of 60005 with flag 486000/504753
457.03/237.34	c cleaning 31003 clauses out of 62011 with flag 518000/536753
493.70/256.20	c cleaning 31997 clauses out of 64009 with flag 551001/569754
524.35/271.91	c cleaning 33007 clauses out of 66013 with flag 585002/603755
555.19/288.00	c cleaning 33995 clauses out of 68005 with flag 620001/638754
589.00/305.41	c cleaning 35003 clauses out of 70010 with flag 656001/674754
632.20/327.57	c cleaning 36000 clauses out of 72006 with flag 693000/711753
672.13/348.07	c cleaning 36996 clauses out of 74007 with flag 731001/749754
715.55/370.58	c cleaning 37992 clauses out of 76010 with flag 770000/788753
719.27/372.95	c cleaning 0 clauses out of 5565 with flag 0/5567
763.80/395.61	c cleaning 38998 clauses out of 78018 with flag 810000/828753
815.46/422.08	c cleaning 40007 clauses out of 80020 with flag 851000/869753
852.57/441.47	c cleaning 41007 clauses out of 82013 with flag 893000/911753
892.98/462.17	c cleaning 42000 clauses out of 84007 with flag 936001/954754
939.34/485.94	c cleaning 43003 clauses out of 86008 with flag 980002/998755
985.70/509.72	c cleaning 43997 clauses out of 88005 with flag 1025002/1043755
1002.88/519.29	c  And the winner is Resolution
1006.56/522.85	c Got one! Elapsed wall clock time (in seconds):522.736
1006.56/522.85	o -45
1010.69/524.92	c cleaning 31847 clauses out of 63707 with flag 5000/1063454
1016.74/528.51	c cleaning 18920 clauses out of 37860 with flag 11000/1069454
1023.54/532.54	c cleaning 12958 clauses out of 25940 with flag 18000/1076454
1031.42/537.19	c cleaning 10483 clauses out of 20983 with flag 26001/1084455
1040.70/542.79	c cleaning 9743 clauses out of 19500 with flag 35001/1093455
1050.94/548.58	c cleaning 9877 clauses out of 19757 with flag 45001/1103455
1062.37/554.93	c cleaning 10434 clauses out of 20879 with flag 56000/1114454
1072.94/560.92	c cleaning 11218 clauses out of 22445 with flag 68000/1126454
1085.47/567.93	c cleaning 12109 clauses out of 24227 with flag 81000/1139454
1099.02/575.33	c cleaning 13059 clauses out of 26118 with flag 95000/1153454
1113.20/583.10	c cleaning 14026 clauses out of 28059 with flag 110000/1168454
1130.25/592.33	c cleaning 15006 clauses out of 30033 with flag 126000/1184454
1147.77/601.93	c cleaning 16014 clauses out of 32028 with flag 143001/1201455
1166.22/611.89	c cleaning 16997 clauses out of 34013 with flag 161000/1219454
1184.00/621.49	c cleaning 18006 clauses out of 36016 with flag 180000/1238454
1204.91/632.57	c cleaning 19005 clauses out of 38010 with flag 200000/1258454
1226.65/644.39	c cleaning 20003 clauses out of 40005 with flag 221000/1279454
1253.20/658.32	c cleaning 20993 clauses out of 42002 with flag 243000/1301454
1280.01/672.39	c cleaning 22005 clauses out of 44009 with flag 266000/1324454
1306.96/686.52	c cleaning 22998 clauses out of 46004 with flag 290000/1348454
1335.47/701.76	c cleaning 24002 clauses out of 48006 with flag 315000/1373454
1356.50/712.93	c cleaning 25002 clauses out of 50004 with flag 341000/1399454
1381.25/726.06	c cleaning 25992 clauses out of 52002 with flag 368000/1426454
1409.10/740.72	c cleaning 26983 clauses out of 54010 with flag 396000/1454454
1437.08/755.71	c cleaning 28010 clauses out of 56027 with flag 425000/1483454
1465.71/770.76	c cleaning 29007 clauses out of 58018 with flag 455001/1513455
1499.69/788.38	c cleaning 30000 clauses out of 60010 with flag 486000/1544454
1530.55/804.57	c cleaning 31000 clauses out of 62010 with flag 518000/1576454
1569.17/824.89	c cleaning 32006 clauses out of 64012 with flag 551002/1609456
1611.38/846.76	c cleaning 33001 clauses out of 66005 with flag 585001/1643455
1646.99/865.30	c cleaning 33994 clauses out of 68003 with flag 620000/1678454
1690.91/888.05	c cleaning 35005 clauses out of 70009 with flag 656000/1714454
1738.44/912.98	c cleaning 35996 clauses out of 72004 with flag 693000/1751454
1791.57/940.35	c cleaning 36997 clauses out of 74008 with flag 731000/1789454
1800.06/945.33	c starts		: 217
1800.06/945.33	c conflicts		: 1795562
1800.06/945.33	c decisions		: 1951025
1800.06/945.33	c propagations		: 10866532
1800.06/945.33	c inspects		: 1745880343
1800.06/945.33	c shortcuts		: 0
1800.06/945.33	c learnt literals	: 0
1800.06/945.33	c learnt binary clauses	: 0
1800.06/945.33	c learnt ternary clauses	: 0
1800.06/945.33	c learnt constraints	: 1795561
1800.06/945.33	c ignored constraints	: 0
1800.06/945.33	c root simplifications	: 0
1800.06/945.33	c removed literals (reason simplification)	: 22194222
1800.06/945.33	c reason swapping (by a shorter reason)	: 0
1800.06/945.33	c Calls to reduceDB	: 77
1800.06/945.33	c number of reductions to clauses (during analyze)	: 0
1800.06/945.33	c number of learned constraints concerned by reduction	: 0
1800.06/945.33	c number of learning phase by resolution	: 0
1800.06/945.33	c number of learning phase by cutting planes	: 0
1800.06/945.33	c speed (assignments/second)	: 25721.124326883248
1800.06/945.33	c non guided choices	0
1800.06/945.35	c learnt constraints type 
1800.06/945.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 43128
1800.06/945.35	c constraints type 
1800.06/945.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/945.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 109601
1800.06/945.35	c constraints type 
1800.06/945.35	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 109601
1800.06/945.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.06/945.35	s SATISFIABLE
1800.06/945.35	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 
1800.06/945.35	c objective function=-45
1800.06/945.35	c Total wall clock time (in seconds): 945.237

Verifier Data 

OK	-45

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454355-1307189502/watcher-3454355-1307189502 -o /tmp/evaluation-result-3454355-1307189502/solver-3454355-1307189502 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454355-1307189502.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.77 3.84 3.53 3/579 10564
/proc/meminfo: memFree=27533304/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 1236 0 0 0 0 0 0 0 25 0 2 0 909180835 31260672 955 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 7632 955 728 9 0 383 0
[pid=10564/tid=10565] ppid=10562 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10562 10564 7463 0 -1 4202560 6823 0 1 0 0 0 0 0 25 0 2 0 909180836 10694979584 7640 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0575479 s]
/proc/loadavg: 3.77 3.84 3.53 3/579 10564
/proc/meminfo: memFree=27533304/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10533172 CPUtime=0.04 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 11498 0 1 0 3 1 0 0 25 0 13 0 909180835 10785968128 11194 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2633293 11196 1685 9 0 2624041 0
[pid=10564/tid=10565] ppid=10562 vsize=10533172 CPUtime=0.04 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10562 10564 7463 0 -1 4202560 10350 0 1 0 3 1 0 0 19 0 13 0 909180836 10785968128 11196 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 47928994977811 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533172

[startup+0.10457 s]
/proc/loadavg: 3.77 3.84 3.53 3/579 10564
/proc/meminfo: memFree=27533304/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10540136 CPUtime=0.11 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 13067 0 1 0 9 2 0 0 25 0 18 0 909180835 10793099264 12763 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2635034 12767 2092 9 0 2625768 0
[pid=10564/tid=10565] ppid=10562 vsize=10540136 CPUtime=0.08 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10562 10564 7463 0 -1 4202560 11160 0 1 0 7 1 0 0 23 0 18 0 909180836 10793099264 12769 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912496197416 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540136

[startup+0.300509 s]
/proc/loadavg: 3.77 3.84 3.53 3/579 10564
/proc/meminfo: memFree=27533304/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10541368 CPUtime=0.47 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 15820 0 1 0 45 2 0 0 25 0 18 0 909180835 10794360832 15102 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2635342 15103 2198 9 0 2626076 0
[pid=10564/tid=10565] ppid=10562 vsize=10541368 CPUtime=0.27 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10562 10564 7463 0 -1 4202560 12920 0 1 0 26 1 0 0 24 0 18 0 909180836 10794360832 15104 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912505548269 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541368

[startup+0.700455 s]
/proc/loadavg: 3.77 3.84 3.53 3/579 10564
/proc/meminfo: memFree=27533304/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10545812 CPUtime=1.14 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 55010 0 1 0 105 9 0 0 25 0 18 0 909180835 10798911488 52908 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2636453 52913 2213 9 0 2627187 0
[pid=10564/tid=10565] ppid=10562 vsize=10545812 CPUtime=0.67 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) R 10562 10564 7463 0 -1 4202560 48640 0 1 0 60 7 0 0 25 0 18 0 909180836 10798911488 52915 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912505656256 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10545812

[startup+1.50131 s]
/proc/loadavg: 3.77 3.84 3.53 3/598 10586
/proc/meminfo: memFree=27244364/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10549924 CPUtime=1.83 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 77529 0 1 0 172 11 0 0 25 0 19 0 909180835 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2637481 74625 2235 9 0 2628215 0
[pid=10564/tid=10565] ppid=10562 vsize=10549924 CPUtime=0.85 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) S 10562 10564 7463 0 -1 4202560 69341 0 1 0 76 9 0 0 22 0 19 0 909180836 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10567] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10568] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10562 10564 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909180838 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10569] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10570] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10571] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10572] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10573] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10574] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10575] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10562 10564 7463 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909180839 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 0 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10576] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10562 10564 7463 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 909180839 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10577] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10562 10564 7463 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 909180839 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10578] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909180841 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296749489 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10579] ppid=10562 vsize=10549924 CPUtime=0.39 cores=1,3,5,7
/proc/10564/task/10579/stat : 10579 (java) S 10562 10564 7463 0 -1 4202560 3566 0 0 0 39 0 0 0 15 0 19 0 909180841 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10580] ppid=10562 vsize=10549924 CPUtime=0.33 cores=1,3,5,7
/proc/10564/task/10580/stat : 10580 (java) S 10562 10564 7463 0 -1 4202560 2739 0 0 0 33 0 0 0 15 0 19 0 909180841 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10581] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10581/stat : 10581 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909180841 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10582] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10582/stat : 10582 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909180841 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10585] ppid=10562 vsize=10549924 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10585/stat : 10585 (java) S 10562 10564 7463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909180925 10803122176 74625 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10549924

[startup+3.10106 s]
/proc/loadavg: 3.63 3.81 3.52 4/598 10592
/proc/meminfo: memFree=27099408/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10550264 CPUtime=3.08 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 92851 0 1 0 295 13 0 0 25 0 19 0 909180835 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2637566 85912 2240 9 0 2628300 0
[pid=10564/tid=10565] ppid=10562 vsize=10550264 CPUtime=0.87 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) S 10562 10564 7463 0 -1 4202560 69506 0 1 0 78 9 0 0 16 0 19 0 909180836 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10567] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10568] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10562 10564 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909180838 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10569] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10570] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10571] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10572] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10573] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10574] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909180838 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10575] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10562 10564 7463 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909180839 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 0 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10576] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10562 10564 7463 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 19 0 909180839 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10577] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10562 10564 7463 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 909180839 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10578] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909180841 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296749489 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10579] ppid=10562 vsize=10550264 CPUtime=0.87 cores=1,3,5,7
/proc/10564/task/10579/stat : 10579 (java) S 10562 10564 7463 0 -1 4202560 9581 0 0 0 86 1 0 0 15 0 19 0 909180841 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10580] ppid=10562 vsize=10550264 CPUtime=0.64 cores=1,3,5,7
/proc/10564/task/10580/stat : 10580 (java) S 10562 10564 7463 0 -1 4202560 5433 0 0 0 63 1 0 0 15 0 19 0 909180841 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10581] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10581/stat : 10581 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909180841 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10582] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10582/stat : 10582 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909180841 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10585] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10585/stat : 10585 (java) S 10562 10564 7463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909180925 10803470336 85912 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10550264

[startup+6.30148 s]
/proc/loadavg: 3.63 3.81 3.52 4/601 10604
/proc/meminfo: memFree=26669476/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10550264 CPUtime=8.79 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 199810 0 1 0 852 27 0 0 25 0 22 0 909180835 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2637566 192286 2268 9 0 2628300 0
[pid=10564/tid=10565] ppid=10562 vsize=10550264 CPUtime=0.87 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) S 10562 10564 7463 0 -1 4202560 69618 0 1 0 78 9 0 0 15 0 22 0 909180836 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10567] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909180838 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10568] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10562 10564 7463 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909180838 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10569] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909180838 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10570] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909180838 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10571] ppid=10562 vsize=10550264 CPUtime=0.02 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10562 10564 7463 0 -1 4202560 4045 0 0 0 2 0 0 0 18 0 22 0 909180838 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10572] ppid=10562 vsize=10550264 CPUtime=0.02 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10562 10564 7463 0 -1 4202560 2914 0 0 0 2 0 0 0 18 0 22 0 909180838 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10573] ppid=10562 vsize=10550264 CPUtime=0.02 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10562 10564 7463 0 -1 4202560 2980 0 0 0 2 0 0 0 18 0 22 0 909180838 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10574] ppid=10562 vsize=10550264 CPUtime=0.02 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10562 10564 7463 0 -1 4202560 3059 0 0 0 2 0 0 0 18 0 22 0 909180838 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10575] ppid=10562 vsize=10550264 CPUtime=0.13 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10562 10564 7463 0 -1 4202560 14397 0 0 0 12 1 0 0 16 0 22 0 909180839 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 0 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10576] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10562 10564 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909180839 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10577] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10562 10564 7463 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909180839 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10578] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909180841 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296749489 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10579] ppid=10562 vsize=10550264 CPUtime=0.98 cores=1,3,5,7
/proc/10564/task/10579/stat : 10579 (java) S 10562 10564 7463 0 -1 4202560 9599 0 0 0 97 1 0 0 16 0 22 0 909180841 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10580] ppid=10562 vsize=10550264 CPUtime=0.73 cores=1,3,5,7
/proc/10564/task/10580/stat : 10580 (java) S 10562 10564 7463 0 -1 4202560 5445 0 0 0 72 1 0 0 15 0 22 0 909180841 10803470336 192286 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0

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

/proc/10564/task/10567/stat : 10567 (java) S 10562 10564 7463 0 -1 4202560 15613 0 0 0 149 2 0 0 16 0 22 0 909180838 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10568] ppid=10562 vsize=10550264 CPUtime=1.34 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10562 10564 7463 0 -1 4202560 6911 0 0 0 133 1 0 0 16 0 22 0 909180838 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10569] ppid=10562 vsize=10550264 CPUtime=1.51 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10562 10564 7463 0 -1 4202560 20319 0 0 0 148 3 0 0 16 0 22 0 909180838 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10570] ppid=10562 vsize=10550264 CPUtime=1.36 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10562 10564 7463 0 -1 4202560 12969 0 0 0 134 2 0 0 16 0 22 0 909180838 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10571] ppid=10562 vsize=10550264 CPUtime=1.52 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10562 10564 7463 0 -1 4202560 20718 0 0 0 149 3 0 0 15 0 22 0 909180838 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10572] ppid=10562 vsize=10550264 CPUtime=1.3 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10562 10564 7463 0 -1 4202560 9444 0 0 0 129 1 0 0 16 0 22 0 909180838 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10573] ppid=10562 vsize=10550264 CPUtime=1.35 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10562 10564 7463 0 -1 4202560 15485 0 0 0 134 1 0 0 16 0 22 0 909180838 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10574] ppid=10562 vsize=10550264 CPUtime=1.34 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10562 10564 7463 0 -1 4202560 14297 0 0 0 132 2 0 0 15 0 22 0 909180838 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10575] ppid=10562 vsize=10550264 CPUtime=83.35 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10562 10564 7463 0 -1 4202560 248175 0 0 0 8311 24 0 0 15 0 22 0 909180839 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 0 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10576] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10562 10564 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909180839 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10577] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10562 10564 7463 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 909180839 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10578] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909180841 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296749489 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10579] ppid=10562 vsize=10550264 CPUtime=1.64 cores=1,3,5,7
/proc/10564/task/10579/stat : 10579 (java) S 10562 10564 7463 0 -1 4202560 9704 0 0 0 163 1 0 0 15 0 22 0 909180841 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10580] ppid=10562 vsize=10550264 CPUtime=0.85 cores=1,3,5,7
/proc/10564/task/10580/stat : 10580 (java) S 10562 10564 7463 0 -1 4202560 5450 0 0 0 84 1 0 0 15 0 22 0 909180841 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10581] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10581/stat : 10581 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909180841 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10582] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10582/stat : 10582 (java) S 10562 10564 7463 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909180841 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10585] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10585/stat : 10585 (java) S 10562 10564 7463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909180925 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10622] ppid=10562 vsize=10550264 CPUtime=309.98 cores=1,3,5,7
/proc/10564/task/10622/stat : 10622 (java) R 10562 10564 7463 0 -1 4202560 22 0 0 0 30998 0 0 0 25 0 22 0 909233121 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912505879687 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10564/tid=10623] ppid=10562 vsize=10550264 CPUtime=309.97 cores=1,3,5,7
/proc/10564/task/10623/stat : 10623 (java) R 10562 10564 7463 0 -1 4202560 0 0 0 0 30997 0 0 0 25 0 22 0 909233121 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10564/tid=10624] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10624/stat : 10624 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909233121 10803470336 999920 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1679.51
Current children cumulated vsize (KiB) 10550264

[startup+942.301 s]
/proc/loadavg: 3.71 3.86 3.74 4/601 10687
/proc/meminfo: memFree=23855840/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10550264 CPUtime=1794.04 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 1017411 0 1 0 179269 135 0 0 25 0 22 0 909180835 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2637566 1009284 2269 9 0 2628300 0
[pid=10564/tid=10565] ppid=10562 vsize=10550264 CPUtime=0.88 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) S 10562 10564 7463 0 -1 4202560 69639 0 1 0 79 9 0 0 15 0 22 0 909180836 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10567] ppid=10562 vsize=10550264 CPUtime=1.63 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10562 10564 7463 0 -1 4202560 15618 0 0 0 161 2 0 0 16 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10568] ppid=10562 vsize=10550264 CPUtime=1.35 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10562 10564 7463 0 -1 4202560 6911 0 0 0 134 1 0 0 15 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10569] ppid=10562 vsize=10550264 CPUtime=1.52 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10562 10564 7463 0 -1 4202560 20319 0 0 0 149 3 0 0 15 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10570] ppid=10562 vsize=10550264 CPUtime=1.48 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10562 10564 7463 0 -1 4202560 12977 0 0 0 146 2 0 0 16 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10571] ppid=10562 vsize=10550264 CPUtime=1.57 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10562 10564 7463 0 -1 4202560 20718 0 0 0 154 3 0 0 15 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10572] ppid=10562 vsize=10550264 CPUtime=1.48 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10562 10564 7463 0 -1 4202560 9450 0 0 0 147 1 0 0 16 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10573] ppid=10562 vsize=10550264 CPUtime=1.47 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10562 10564 7463 0 -1 4202560 15485 0 0 0 146 1 0 0 16 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10574] ppid=10562 vsize=10550264 CPUtime=1.46 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10562 10564 7463 0 -1 4202560 14305 0 0 0 144 2 0 0 15 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10575] ppid=10562 vsize=10550264 CPUtime=89.2 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10562 10564 7463 0 -1 4202560 257516 0 0 0 8894 26 0 0 17 0 22 0 909180839 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 0 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10576] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10562 10564 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909180839 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10577] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10562 10564 7463 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 909180839 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10578] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296749489 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10579] ppid=10562 vsize=10550264 CPUtime=1.64 cores=1,3,5,7
/proc/10564/task/10579/stat : 10579 (java) S 10562 10564 7463 0 -1 4202560 9704 0 0 0 163 1 0 0 15 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10580] ppid=10562 vsize=10550264 CPUtime=0.85 cores=1,3,5,7
/proc/10564/task/10580/stat : 10580 (java) S 10562 10564 7463 0 -1 4202560 5450 0 0 0 84 1 0 0 15 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10581] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10581/stat : 10581 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10582] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10582/stat : 10582 (java) S 10562 10564 7463 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10585] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10585/stat : 10585 (java) S 10562 10564 7463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909180925 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10622] ppid=10562 vsize=10550264 CPUtime=363.95 cores=1,3,5,7
/proc/10564/task/10622/stat : 10622 (java) R 10562 10564 7463 0 -1 4202560 23 0 0 0 36395 0 0 0 18 0 22 0 909233121 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912505880127 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10564/tid=10623] ppid=10562 vsize=10550264 CPUtime=363.94 cores=1,3,5,7
/proc/10564/task/10623/stat : 10623 (java) R 10562 10564 7463 0 -1 4202560 0 0 0 0 36394 0 0 0 18 0 22 0 909233121 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912505993702 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10564/tid=10624] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10624/stat : 10624 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909233121 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1794.04
Current children cumulated vsize (KiB) 10550264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+945.302 s]
/proc/loadavg: 3.71 3.86 3.74 5/601 10687
/proc/meminfo: memFree=23839092/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=10550264 CPUtime=1800.06 cores=1,3,5,7
/proc/10564/stat : 10564 (java) S 10562 10564 7463 0 -1 4202496 1017413 0 1 0 179871 135 0 0 25 0 22 0 909180835 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 2637566 1009284 2269 9 0 2628300 0
[pid=10564/tid=10565] ppid=10562 vsize=10550264 CPUtime=0.88 cores=1,3,5,7
/proc/10564/task/10565/stat : 10565 (java) S 10562 10564 7463 0 -1 4202560 69639 0 1 0 79 9 0 0 15 0 22 0 909180836 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10567] ppid=10562 vsize=10550264 CPUtime=1.63 cores=1,3,5,7
/proc/10564/task/10567/stat : 10567 (java) S 10562 10564 7463 0 -1 4202560 15618 0 0 0 161 2 0 0 16 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10568] ppid=10562 vsize=10550264 CPUtime=1.35 cores=1,3,5,7
/proc/10564/task/10568/stat : 10568 (java) S 10562 10564 7463 0 -1 4202560 6911 0 0 0 134 1 0 0 15 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10569] ppid=10562 vsize=10550264 CPUtime=1.52 cores=1,3,5,7
/proc/10564/task/10569/stat : 10569 (java) S 10562 10564 7463 0 -1 4202560 20319 0 0 0 149 3 0 0 15 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10570] ppid=10562 vsize=10550264 CPUtime=1.48 cores=1,3,5,7
/proc/10564/task/10570/stat : 10570 (java) S 10562 10564 7463 0 -1 4202560 12977 0 0 0 146 2 0 0 16 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10571] ppid=10562 vsize=10550264 CPUtime=1.57 cores=1,3,5,7
/proc/10564/task/10571/stat : 10571 (java) S 10562 10564 7463 0 -1 4202560 20718 0 0 0 154 3 0 0 15 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10572] ppid=10562 vsize=10550264 CPUtime=1.48 cores=1,3,5,7
/proc/10564/task/10572/stat : 10572 (java) S 10562 10564 7463 0 -1 4202560 9450 0 0 0 147 1 0 0 16 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10573] ppid=10562 vsize=10550264 CPUtime=1.47 cores=1,3,5,7
/proc/10564/task/10573/stat : 10573 (java) S 10562 10564 7463 0 -1 4202560 15485 0 0 0 146 1 0 0 16 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10574] ppid=10562 vsize=10550264 CPUtime=1.46 cores=1,3,5,7
/proc/10564/task/10574/stat : 10574 (java) S 10562 10564 7463 0 -1 4202560 14305 0 0 0 144 2 0 0 15 0 22 0 909180838 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10575] ppid=10562 vsize=10550264 CPUtime=89.2 cores=1,3,5,7
/proc/10564/task/10575/stat : 10575 (java) S 10562 10564 7463 0 -1 4202560 257516 0 0 0 8894 26 0 0 15 0 22 0 909180839 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 0 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
[pid=10564/tid=10576] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10576/stat : 10576 (java) S 10562 10564 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909180839 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10577] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10577/stat : 10577 (java) S 10562 10564 7463 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 909180839 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10578] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10578/stat : 10578 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296749489 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10579] ppid=10562 vsize=10550264 CPUtime=1.64 cores=1,3,5,7
/proc/10564/task/10579/stat : 10579 (java) S 10562 10564 7463 0 -1 4202560 9704 0 0 0 163 1 0 0 15 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10580] ppid=10562 vsize=10550264 CPUtime=0.85 cores=1,3,5,7
/proc/10564/task/10580/stat : 10580 (java) S 10562 10564 7463 0 -1 4202560 5450 0 0 0 84 1 0 0 15 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 7 0 0 0
[pid=10564/tid=10581] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10581/stat : 10581 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296741785 0 4 0 16800975 18446604455806828864 0 0 -1 5 0 0 0
[pid=10564/tid=10582] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10582/stat : 10582 (java) S 10562 10564 7463 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 909180841 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10585] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10585/stat : 10585 (java) S 10562 10564 7463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909180925 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 1 0 0 0
[pid=10564/tid=10622] ppid=10562 vsize=10550264 CPUtime=366.97 cores=1,3,5,7
/proc/10564/task/10622/stat : 10622 (java) R 10562 10564 7463 0 -1 4202560 23 0 0 0 36697 0 0 0 25 0 22 0 909233121 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912505880210 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10564/tid=10623] ppid=10562 vsize=10550264 CPUtime=366.96 cores=1,3,5,7
/proc/10564/task/10623/stat : 10623 (java) R 10562 10564 7463 0 -1 4202560 0 0 0 0 36696 0 0 0 25 0 22 0 909233121 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 46912505996898 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10564/tid=10624] ppid=10562 vsize=10550264 CPUtime=0 cores=1,3,5,7
/proc/10564/task/10624/stat : 10624 (java) S 10562 10564 7463 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909233121 10803470336 1009284 33554432000 1073741824 1073778376 140736233008080 18446744073709551615 224296742400 0 4 0 16800975 18446604455806828864 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10550264

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

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

[startup+945.429 s]
/proc/loadavg: 3.71 3.86 3.74 5/601 10687
/proc/meminfo: memFree=23839092/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/10564/stat : 10564 (java) Z 10562 10564 7463 0 -1 4203548 1017444 0 1 0 179883 142 0 0 17 0 2 0 909180835 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

[startup+945.501 s]
/proc/loadavg: 3.71 3.86 3.74 5/601 10687
/proc/meminfo: memFree=23839092/32951124 swapFree=34426104/67111528
[pid=10564] ppid=10562 vsize=0 CPUtime=1800.32 cores=1,3,5,7
/proc/10564/stat : 10564 (java) Z 10562 10564 7463 0 -1 4203548 1017444 0 1 0 179883 149 0 0 17 0 2 0 909180835 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10564/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 945.512
CPU time (s): 1800.34
CPU user time (s): 1798.83
CPU system time (s): 1.50877
CPU usage (%): 190.409
Max. virtual memory (cumulated for all children) (KiB): 10550264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.50877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1017444
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23853
involuntary context switches= 24021

runsolver used 5.35219 second user time and 13.292 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-04 14:11:42
IDJOB=3454355
IDBENCH=2247
IDSOLVER=1950
FILE ID=node118/3454355-1307189502
RUNJOBID= node118-1307187422-9871
PBS_JOBID= 13508852
Free space on /tmp= 73764 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454355-1307189502/watcher-3454355-1307189502 -o /tmp/evaluation-result-3454355-1307189502/solver-3454355-1307189502 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454355-1307189502.opb

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

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=643254134

node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27533584 kB
Buffers:        325792 kB
Cached:        2012336 kB
SwapCached:      56168 kB
Active:        2072288 kB
Inactive:      3004796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27533584 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:            3132 kB
Writeback:          16 kB
AnonPages:     2696040 kB
Mapped:          23084 kB
Slab:           151272 kB
PageTables:     117972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 194168756 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73764 MiB
End job on node118 at 2011-06-04 14:27:29