Trace number 3687894

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)-40 1800.3 990.447

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM20471e978018d28aed0ca16c46de4e3d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -51
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
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 1272
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 1272
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 1272
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.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3687894-1337874758.opb
0.11/0.10	c reading problem ... 
1.65/0.88	c ... done. Wall clock time 0.779s.
1.65/0.88	c declared #vars     1272
1.65/0.88	c #constraints  94226
1.65/0.88	c constraints type 
1.65/0.88	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94226
1.65/0.88	c 94226 constraints processed.
1.65/0.88	c constraints type 
1.65/0.88	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94226
1.65/0.88	c 94226 constraints processed.
1.65/0.88	c objective function length is 1272 literals
1.79/0.91	c  And the winner is solver1
1.88/1.39	c SATISFIABLE
1.88/1.39	c OPTIMIZING...
1.88/1.39	c Got one! Elapsed wall clock time (in seconds):1.283
1.88/1.39	o -33
1.90/1.49	c  And the winner is solver0
2.35/1.89	c Got one! Elapsed wall clock time (in seconds):1.789
2.35/1.89	o -34
2.35/1.93	c  And the winner is solver0
2.86/2.40	c Got one! Elapsed wall clock time (in seconds):2.293
2.86/2.40	o -35
3.25/2.54	c  And the winner is solver0
3.59/2.90	c Got one! Elapsed wall clock time (in seconds):2.796
3.59/2.90	o -36
4.63/3.35	c  And the winner is solver1
4.74/3.40	c Got one! Elapsed wall clock time (in seconds):3.298
4.74/3.40	o -38
6.49/4.26	c  And the winner is solver1
6.63/4.40	c Got one! Elapsed wall clock time (in seconds):4.3
6.63/4.40	o -39
8.19/5.19	c cleaning 3600 clauses out of 7199 with flag 2000/7199
12.63/7.39	c cleaning 4800 clauses out of 9599 with flag 8000/13199
18.00/10.02	c cleaning 5900 clauses out of 11799 with flag 15000/20199
24.05/13.20	c cleaning 6945 clauses out of 13901 with flag 23002/28201
30.60/16.63	c cleaning 7974 clauses out of 15955 with flag 32001/37200
37.10/20.07	c cleaning 8984 clauses out of 17980 with flag 42000/47199
45.39/24.35	c cleaning 9994 clauses out of 19997 with flag 53001/58200
53.64/28.74	c cleaning 10998 clauses out of 22003 with flag 65001/70200
63.63/34.37	c cleaning 12003 clauses out of 24005 with flag 78001/83200
73.79/39.99	c cleaning 13001 clauses out of 26002 with flag 92001/97200
88.02/47.61	c cleaning 14000 clauses out of 28000 with flag 107000/112199
102.88/55.87	c cleaning 14993 clauses out of 30000 with flag 123000/128199
123.19/67.68	c cleaning 16004 clauses out of 32007 with flag 140000/145199
143.77/78.19	c cleaning 16994 clauses out of 34004 with flag 158001/163200
162.14/87.86	c cleaning 17995 clauses out of 36009 with flag 177000/182199
179.30/97.53	c cleaning 19007 clauses out of 38014 with flag 197000/202199
198.67/108.07	c cleaning 20001 clauses out of 40009 with flag 218002/223201
219.93/119.55	c cleaning 21000 clauses out of 42006 with flag 240000/245199
245.19/134.48	c cleaning 21997 clauses out of 44008 with flag 263002/268201
267.53/146.19	c cleaning 23001 clauses out of 46009 with flag 287000/292199
293.85/159.80	c cleaning 23997 clauses out of 48008 with flag 312000/317199
320.97/174.06	c cleaning 25004 clauses out of 50012 with flag 338001/343200
350.33/189.86	c cleaning 25998 clauses out of 52007 with flag 365000/370199
359.09/194.90	c cleaning 0 clauses out of 5267 with flag 0/5268
384.25/208.08	c cleaning 27002 clauses out of 54009 with flag 393000/398199
419.62/226.40	c cleaning 27997 clauses out of 56007 with flag 422000/427199
448.24/242.06	c cleaning 28999 clauses out of 58010 with flag 452000/457199
478.54/257.96	c cleaning 30002 clauses out of 60011 with flag 483000/488199
509.63/274.23	c cleaning 31003 clauses out of 62011 with flag 515002/520201
544.18/292.39	c cleaning 32003 clauses out of 64007 with flag 548001/553200
585.28/314.25	c cleaning 33002 clauses out of 66003 with flag 582000/587199
625.26/337.00	c cleaning 33997 clauses out of 68002 with flag 617001/622200
664.53/357.37	c cleaning 34996 clauses out of 70005 with flag 653001/658200
707.26/380.32	c cleaning 35999 clauses out of 72010 with flag 690002/695201
750.19/402.79	c cleaning 37004 clauses out of 74011 with flag 728002/733201
796.41/426.87	c cleaning 38003 clauses out of 76006 with flag 767001/772200
847.87/453.62	c cleaning 39002 clauses out of 78003 with flag 807001/812200
909.14/486.06	c cleaning 40000 clauses out of 80002 with flag 848002/853201
968.55/516.84	c cleaning 40993 clauses out of 82001 with flag 890001/895200
1020.27/543.85	c cleaning 41998 clauses out of 84007 with flag 933000/938199
1075.14/572.40	c cleaning 42999 clauses out of 86011 with flag 977002/982201
1134.41/604.13	c cleaning 43991 clauses out of 88010 with flag 1022000/1027199
1192.24/634.29	c cleaning 45011 clauses out of 90021 with flag 1068002/1073201
1254.51/666.54	c cleaning 46005 clauses out of 92011 with flag 1115003/1120202
1270.39/675.83	c  And the winner is solver1
1270.65/676.00	c Got one! Elapsed wall clock time (in seconds):675.897
1270.65/676.00	o -40
1275.63/678.58	c cleaning 32393 clauses out of 64792 with flag 5001/1138988
1284.13/685.03	c cleaning 19194 clauses out of 38400 with flag 11002/1144989
1290.81/689.74	c cleaning 13096 clauses out of 26204 with flag 18000/1151987
1298.66/695.00	c cleaning 10546 clauses out of 21108 with flag 26000/1159987
1306.54/700.38	c cleaning 9776 clauses out of 19564 with flag 35002/1168989
1316.67/707.75	c cleaning 9885 clauses out of 19786 with flag 45000/1178987
1326.34/714.00	c cleaning 10449 clauses out of 20901 with flag 56000/1189987
1336.60/720.45	c cleaning 11220 clauses out of 22452 with flag 68000/1201987
1347.65/727.39	c cleaning 12113 clauses out of 24233 with flag 81001/1214988
1361.34/736.55	c cleaning 13056 clauses out of 26120 with flag 95001/1228988
1374.37/744.46	c cleaning 14032 clauses out of 28064 with flag 110001/1243988
1388.58/752.90	c cleaning 15005 clauses out of 30032 with flag 126001/1259988
1403.01/761.58	c cleaning 16010 clauses out of 32029 with flag 143003/1276990
1420.60/772.73	c cleaning 17000 clauses out of 34016 with flag 161000/1294987
1439.16/783.48	c cleaning 18003 clauses out of 36016 with flag 180000/1313987
1459.31/794.99	c cleaning 18997 clauses out of 38013 with flag 200000/1333987
1479.28/806.37	c cleaning 19999 clauses out of 40016 with flag 221000/1354987
1502.67/820.40	c cleaning 21004 clauses out of 42017 with flag 243000/1376987
1525.59/833.31	c cleaning 22005 clauses out of 44016 with flag 266003/1399990
1551.49/847.77	c cleaning 22998 clauses out of 46008 with flag 290000/1423987
1580.55/863.78	c cleaning 24004 clauses out of 48012 with flag 315002/1448989
1604.52/878.29	c cleaning 0 clauses out of 10775 with flag 0/10776
1613.21/884.05	c cleaning 25003 clauses out of 50006 with flag 341000/1474987
1643.60/900.77	c cleaning 25994 clauses out of 52003 with flag 368000/1501987
1672.74/916.87	c cleaning 27000 clauses out of 54012 with flag 396003/1529990
1708.85/937.45	c cleaning 28005 clauses out of 56009 with flag 425000/1558987
1744.33/956.63	c cleaning 29003 clauses out of 58007 with flag 455003/1588990
1786.70/981.32	c cleaning 29994 clauses out of 60001 with flag 486000/1619987
1800.08/990.41	c starts		: 42
1800.08/990.41	c conflicts		: 11528
1800.08/990.41	c decisions		: 15460
1800.08/990.41	c propagations		: 150854
1800.08/990.41	c inspects		: 549931677
1800.08/990.41	c shortcuts		: 0
1800.08/990.41	c learnt literals	: 0
1800.08/990.41	c learnt binary clauses	: 0
1800.08/990.41	c learnt ternary clauses	: 0
1800.08/990.41	c learnt constraints	: 11527
1800.08/990.41	c ignored constraints	: 0
1800.08/990.41	c root simplifications	: 0
1800.08/990.41	c removed literals (reason simplification)	: 0
1800.08/990.41	c reason swapping (by a shorter reason)	: 0
1800.08/990.41	c Calls to reduceDB	: 2
1800.08/990.41	c number of reductions to clauses (during analyze)	: 0
1800.08/990.41	c number of learned constraints concerned by reduction	: 0
1800.08/990.41	c number of learning phase by resolution	: 0
1800.08/990.41	c number of learning phase by cutting planes	: 0
1800.08/990.41	c speed (assignments/second)	: 152.76215204114595
1800.08/990.41	c non guided choices	0
1800.08/990.42	c learnt constraints type 
1800.08/990.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 309
1800.08/990.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 11218
1800.08/990.42	c constraints type 
1800.08/990.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/990.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 94226
1800.08/990.42	c 94227 constraints processed.
1800.08/990.42	c constraints type 
1800.08/990.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 94226
1800.08/990.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.08/990.42	c 94227 constraints processed.
1800.08/990.42	s SATISFIABLE
1800.08/990.42	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 
1800.08/990.42	c objective function=-40
1800.08/990.42	c Total wall clock time (in seconds): 990.315

Verifier Data 

OK	-40

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-3687894-1337874758/watcher-3687894-1337874758 -o /tmp/evaluation-result-3687894-1337874758/solver-3687894-1337874758 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687894-1337874758.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.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 253600300 24780800 867 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 22434 871 657 9 0 16769 0
[pid=24994/tid=24995] ppid=24992 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 2 0 253600301 91893760 886 33554432000 1073741824 1073778376 140735807341648 140735807330712 225444709760 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.067942 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 3343 0 1 0 5 1 0 0 20 0 18 0 253600300 9787813888 4552 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2389603 4553 1772 9 0 2380296 0
[pid=24994/tid=24995] ppid=24992 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 2135 0 1 0 4 0 0 0 20 0 18 0 253600301 9787813888 4553 33554432000 1073741824 1073778376 140735807341648 140057759201952 225448092941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100327 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 4429 0 1 0 10 1 0 0 20 0 18 0 253600300 9787813888 6088 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2389603 6093 2130 9 0 2380296 0
[pid=24994/tid=24995] ppid=24992 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 2429 0 1 0 7 0 0 0 20 0 18 0 253600301 9787813888 6094 33554432000 1073741824 1073778376 140735807341648 140057759192904 225448092941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300225 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 5536 0 1 0 47 1 0 0 20 0 18 0 253600300 9787813888 8245 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2389603 8245 2217 9 0 2380296 0
[pid=24994/tid=24995] ppid=24992 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 2443 0 1 0 26 1 0 0 20 0 18 0 253600301 9787813888 8245 33554432000 1073741824 1073778376 140735807341648 140057759192904 140057625355580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700289 s]
/proc/loadavg: 3.45 3.69 3.32 4/197 24994
/proc/meminfo: memFree=28891204/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9558412 CPUtime=1.53 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 17166 0 1 0 146 7 0 0 20 0 18 0 253600300 9787813888 39002 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2389603 39002 2233 9 0 2380296 0
[pid=24994/tid=24995] ppid=24992 vsize=9558412 CPUtime=0.67 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) R 24992 24994 23987 0 -1 4202560 2488 0 1 0 64 3 0 0 20 0 18 0 253600301 9787813888 39002 33554432000 1073741824 1073778376 140735807341648 140057759190864 140057625731614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9558412

[startup+1.50061 s]
/proc/loadavg: 3.45 3.69 3.32 3/216 25016
/proc/meminfo: memFree=28703792/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=2.29 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 17434 0 1 0 218 11 0 0 20 0 20 0 253600300 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 48423 2266 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2518 0 1 0 81 5 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 253600301 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 20 0 253600302 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 253600303 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 253600303 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) R 24992 24994 23987 0 -1 4202560 7304 0 0 0 58 3 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057579128592 140057761008752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) R 24992 24994 23987 0 -1 4202560 6205 0 0 0 49 2 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057578075792 140057765157053 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 253600305 10060460032 48423 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9824668

[startup+3.10081 s]
/proc/loadavg: 3.45 3.69 3.32 4/216 25022
/proc/meminfo: memFree=28624536/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=4.2 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 20390 0 1 0 400 20 0 0 20 0 22 0 253600300 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 54037 2273 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2520 0 1 0 82 5 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 74 0 0 0 1 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 85 0 0 0 2 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600301 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 253600302 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9667 0 0 0 124 3 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 6433 0 0 0 87 2 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25019] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25019/stat : 25019 (java) S 24992 24994 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253600440 10060460032 54037 33554432000 1073741824 1073778376 140735807341648 140057571771560 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9824668

[startup+6.30094 s]
/proc/loadavg: 3.49 3.70 3.32 3/219 25034
/proc/meminfo: memFree=27833872/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=10.58 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 20974 0 1 0 1008 50 0 0 20 0 22 0 253600300 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 121791 2286 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.87 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2521 0 1 0 82 5 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=0.06 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 37 0 0 0 3 3 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 110 0 0 0 4 3 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 55 0 0 0 6 5 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 87 0 0 0 7 6 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 122 0 0 0 7 4 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 111 0 0 0 6 2 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 150 0 0 0 8 5 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 44 0 0 0 4 3 0 0 20 0 22 0 253600301 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=0.17 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 225 0 0 0 17 0 0 0 20 0 22 0 253600302 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.42 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9671 0 0 0 139 3 0 0 20 0 22 0 253600305 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 6435 0 0 0 94 2 0 0 20 0 22 0 253600305 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 121791 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=24994/tid=25072] ppid=24992 vsize=9824668 CPUtime=84.82 cores=1,3,5,7
/proc/24994/task/25072/stat : 25072 (java) S 24992 24994 23987 0 -1 4202560 5 0 0 0 8481 1 0 0 20 0 22 0 253667901 10060460032 1106123 33554432000 1073741824 1073778376 140735807341648 140057573876312 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25073] ppid=24992 vsize=9824668 CPUtime=84.8 cores=1,3,5,7
/proc/24994/task/25073/stat : 25073 (java) S 24992 24994 23987 0 -1 4202560 9 0 0 0 8479 1 0 0 20 0 22 0 253667901 10060460032 1106123 33554432000 1073741824 1073778376 140735807341648 140057574926968 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25074] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25074/stat : 25074 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253667901 10060460032 1106123 33554432000 1073741824 1073778376 140735807341648 140057571771816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1504.71
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.69 3.75 3.55 5/219 25075
/proc/meminfo: memFree=21052676/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=1609.78 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 41788 0 1 0 160644 334 0 0 20 0 22 0 253600300 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 1121277 2287 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.91 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2564 0 1 0 85 6 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 1589 0 0 0 295 21 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 1520 0 0 0 290 26 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 1527 0 0 0 317 35 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 1360 0 0 0 305 22 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=3.02 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 1537 0 0 0 280 22 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 1782 0 0 0 288 28 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=3.25 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 1719 0 0 0 301 24 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 787 0 0 0 298 24 0 0 20 0 22 0 253600301 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=165.83 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 5161 0 0 0 16547 36 0 0 20 0 22 0 253600302 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9673 0 0 0 160 3 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=1.81 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 9248 0 0 0 179 2 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 51 0 0 0 20 24 0 0 20 0 22 0 253600305 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25028] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25028/stat : 25028 (java) S 24992 24994 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253600591 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057572824104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25072] ppid=24992 vsize=9824668 CPUtime=128.98 cores=1,3,5,7
/proc/24994/task/25072/stat : 25072 (java) R 24992 24994 23987 0 -1 4202560 5 0 0 0 12897 1 0 0 20 0 22 0 253667901 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057573874336 140057626157457 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25073] ppid=24992 vsize=9824668 CPUtime=128.94 cores=1,3,5,7
/proc/24994/task/25073/stat : 25073 (java) R 24992 24994 23987 0 -1 4202560 10 0 0 0 12893 1 0 0 20 0 22 0 253667901 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057574928736 140057626264911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25074] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25074/stat : 25074 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253667901 10060460032 1121277 33554432000 1073741824 1073778376 140735807341648 140057571771816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1609.78
Current children cumulated vsize (KiB) 9824668

[startup+942.301 s]
/proc/loadavg: 3.65 3.73 3.56 5/219 25075
/proc/meminfo: memFree=20986708/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=1715.58 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 42421 0 1 0 171219 339 0 0 20 0 22 0 253600300 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 1133608 2287 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2568 0 1 0 86 6 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=3.36 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 1708 0 0 0 314 22 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 1564 0 0 0 312 26 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=3.67 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 1645 0 0 0 332 35 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 1476 0 0 0 324 22 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=3.17 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 1544 0 0 0 295 22 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 1797 0 0 0 306 28 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 1859 0 0 0 321 25 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 798 0 0 0 310 24 0 0 20 0 22 0 253600301 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=180.73 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 5215 0 0 0 18036 37 0 0 20 0 22 0 253600302 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9673 0 0 0 160 3 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 9248 0 0 0 182 2 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0.47 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 55 0 0 0 22 25 0 0 20 0 22 0 253600305 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25028] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25028/stat : 25028 (java) S 24992 24994 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253600591 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057572824104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25072] ppid=24992 vsize=9824668 CPUtime=173.71 cores=1,3,5,7
/proc/24994/task/25072/stat : 25072 (java) R 24992 24994 23987 0 -1 4202560 6 0 0 0 17369 2 0 0 20 0 22 0 253667901 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057573876192 140057626167311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25073] ppid=24992 vsize=9824668 CPUtime=173.65 cores=1,3,5,7
/proc/24994/task/25073/stat : 25073 (java) R 24992 24994 23987 0 -1 4202560 10 0 0 0 17363 2 0 0 20 0 22 0 253667901 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057574926752 140057626492992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25074] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25074/stat : 25074 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253667901 10060460032 1133608 33554432000 1073741824 1073778376 140735807341648 140057571771816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1715.58
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+990.401 s]
/proc/loadavg: 3.33 3.66 3.54 3/216 25272
/proc/meminfo: memFree=24471560/32873844 swapFree=7900/7900
[pid=24994] ppid=24992 vsize=9824668 CPUtime=1800.08 cores=1,3,5,7
/proc/24994/stat : 24994 (java) S 24992 24994 23987 0 -1 4202496 43981 0 1 0 179662 346 0 0 20 0 22 0 253600300 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140735807332784 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24994/statm: 2456167 1161184 2287 9 0 2446860 0
[pid=24994/tid=24995] ppid=24992 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/24994/task/24995/stat : 24995 (java) S 24992 24994 23987 0 -1 4202560 2569 0 1 0 86 6 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057759200248 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24997] ppid=24992 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 23987 0 -1 4202560 1723 0 0 0 338 22 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057748261672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=24998] ppid=24992 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 23987 0 -1 4202560 1568 0 0 0 330 26 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057747208872 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=24999] ppid=24992 vsize=9824668 CPUtime=3.89 cores=1,3,5,7
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 23987 0 -1 4202560 1649 0 0 0 354 35 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057746156584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25000] ppid=24992 vsize=9824668 CPUtime=3.84 cores=1,3,5,7
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 23987 0 -1 4202560 1528 0 0 0 361 23 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057745103784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25001] ppid=24992 vsize=9824668 CPUtime=3.41 cores=1,3,5,7
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 23987 0 -1 4202560 1557 0 0 0 318 23 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057744050472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25002] ppid=24992 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 23987 0 -1 4202560 1804 0 0 0 330 28 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057597655208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25003] ppid=24992 vsize=9824668 CPUtime=3.72 cores=1,3,5,7
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 23987 0 -1 4202560 1869 0 0 0 347 25 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057596602920 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25004] ppid=24992 vsize=9824668 CPUtime=3.66 cores=1,3,5,7
/proc/24994/task/25004/stat : 25004 (java) S 24992 24994 23987 0 -1 4202560 801 0 0 0 341 25 0 0 20 0 22 0 253600301 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057595550120 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25005] ppid=24992 vsize=9824668 CPUtime=193.48 cores=1,3,5,7
/proc/24994/task/25005/stat : 25005 (java) S 24992 24994 23987 0 -1 4202560 6661 0 0 0 19309 39 0 0 20 0 22 0 253600302 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057583352552 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25006] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25006/stat : 25006 (java) S 24992 24994 23987 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057582298616 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25007] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25007/stat : 25007 (java) S 24992 24994 23987 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253600303 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057581246216 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25008] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25008/stat : 25008 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057580194704 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25009] ppid=24992 vsize=9824668 CPUtime=1.63 cores=1,3,5,7
/proc/24994/task/25009/stat : 25009 (java) S 24992 24994 23987 0 -1 4202560 9673 0 0 0 160 3 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057579141304 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25010] ppid=24992 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/24994/task/25010/stat : 25010 (java) S 24992 24994 23987 0 -1 4202560 9248 0 0 0 182 2 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057578088504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25011] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25011/stat : 25011 (java) S 24992 24994 23987 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057577036408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24994/tid=25012] ppid=24992 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/24994/task/25012/stat : 25012 (java) S 24992 24994 23987 0 -1 4202560 57 0 0 0 23 26 0 0 20 0 22 0 253600305 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057575983816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24994/tid=25028] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25028/stat : 25028 (java) S 24992 24994 23987 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253600591 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057572824104 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25072] ppid=24992 vsize=9824668 CPUtime=208.54 cores=1,3,5,7
/proc/24994/task/25072/stat : 25072 (java) R 24992 24994 23987 0 -1 4202560 7 0 0 0 20851 3 0 0 20 0 22 0 253667901 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057573876192 140057626133143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24994/tid=25073] ppid=24992 vsize=9824668 CPUtime=208.47 cores=1,3,5,7
/proc/24994/task/25073/stat : 25073 (java) R 24992 24994 23987 0 -1 4202560 12 0 0 0 20842 5 0 0 20 0 22 0 253667901 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057574929072 140057626492992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24994/tid=25074] ppid=24992 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/24994/task/25074/stat : 25074 (java) S 24992 24994 23987 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253667901 10060460032 1161184 33554432000 1073741824 1073778376 140735807341648 140057571771816 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824668

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

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

Child status: 143
Real time (s): 990.447
CPU time (s): 1800.3
CPU user time (s): 1796.59
CPU system time (s): 3.70944
CPU usage (%): 181.766
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.59
system time used= 3.70944
maximum resident set size= 4644848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44012
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25933
involuntary context switches= 40052

runsolver used 3.83342 second user time and 9.98148 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-24 17:52:38
IDJOB=3687894
IDBENCH=2258
IDSOLVER=2268
FILE ID=node137/3687894-1337874758
RUNJOBID= node137-1337871881-24004
PBS_JOBID= 14620067
Free space on /tmp= 71516 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/frb53-24-opb/normalized-frb53-24-5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687894-1337874758/watcher-3687894-1337874758 -o /tmp/evaluation-result-3687894-1337874758/solver-3687894-1337874758 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687894-1337874758.opb

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

MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d
RANDOM SEED=563635495

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28891856 kB
Buffers:          211812 kB
Cached:          2169232 kB
SwapCached:        22060 kB
Active:          1511688 kB
Inactive:        1673860 kB
Active(anon):     783940 kB
Inactive(anon):    22680 kB
Active(file):     727748 kB
Inactive(file):  1651180 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081504 kB
Dirty:              4736 kB
Writeback:             0 kB
AnonPages:        808276 kB
Mapped:            17864 kB
Shmem:                 0 kB
Slab:             639276 kB
SReclaimable:      80600 kB
SUnreclaim:       558676 kB
KernelStack:        1632 kB
PageTables:         5964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1691584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    747520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71516 MiB
End job on node137 at 2012-05-24 18:09:10