Trace number 3688663

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-55 1800.08 1791.15

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_1.opb
MD5SUM3262a45f0e59552e467da6c31a32418a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-73
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -70
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint109
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75586
Sum of products size (including duplicates)151172
Number of different products37793
Sum of products size75586

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-2012 Artois University and CNRS
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.08	c version 2.3.2.v20120418
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		501472288
0.04/0.08	c Max memory 		7480803328
0.04/0.08	c Total memory 		504102912
0.04/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3688663-1337886251.opb
0.10/0.11	c reading problem ... 
1.84/0.84	c ... done. Wall clock time 0.727s.
1.84/0.84	c declared #vars     1000
1.84/0.84	c internal #vars     38793
1.84/0.84	c #constraints  76586
1.84/0.84	c constraints type 
1.84/0.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37793
1.84/0.84	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1.84/0.84	c ignored satisfied constraints => 1000
1.84/0.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37793
1.84/0.84	c 77586 constraints processed.
1.84/0.84	c objective function length is 1000 literals
2.03/0.98	c SATISFIABLE
2.03/0.98	c OPTIMIZING...
2.03/0.98	c Got one! Elapsed wall clock time (in seconds):0.872
2.03/0.98	o -53
2.27/1.09	c Got one! Elapsed wall clock time (in seconds):0.981
2.27/1.09	o -54
3.73/2.06	c cleaning 2501 clauses out of 5001 with flag 5000/5001
4.90/3.08	c cleaning 4250 clauses out of 8501 with flag 11001/11002
6.02/4.19	c cleaning 5626 clauses out of 11251 with flag 18001/18002
7.47/5.51	c cleaning 6813 clauses out of 13625 with flag 26001/26002
9.02/7.02	c cleaning 7906 clauses out of 15811 with flag 35000/35001
10.64/8.66	c cleaning 8953 clauses out of 17905 with flag 45000/45001
12.51/10.46	c cleaning 9976 clauses out of 19953 with flag 56001/56002
14.56/12.45	c cleaning 10988 clauses out of 21977 with flag 68001/68002
17.03/14.84	c cleaning 11994 clauses out of 23988 with flag 81000/81001
17.98/15.77	c Got one! Elapsed wall clock time (in seconds):15.657
17.98/15.77	o -55
18.79/16.53	c cleaning 11153 clauses out of 22306 with flag 5001/91313
19.92/17.65	c cleaning 8575 clauses out of 17153 with flag 11001/97313
21.12/18.80	c cleaning 7787 clauses out of 15577 with flag 18000/104312
22.45/20.13	c cleaning 7892 clauses out of 15791 with flag 26001/112313
24.05/21.72	c cleaning 8445 clauses out of 16900 with flag 35002/121314
25.77/23.46	c cleaning 9223 clauses out of 18453 with flag 45000/131312
27.38/25.09	c cleaning 10113 clauses out of 20230 with flag 56000/142312
29.40/27.04	c cleaning 11058 clauses out of 22117 with flag 68000/154312
31.43/29.09	c cleaning 12029 clauses out of 24059 with flag 81000/167312
33.84/31.43	c cleaning 13008 clauses out of 26030 with flag 95000/181312
36.42/33.91	c cleaning 14009 clauses out of 28022 with flag 110000/196312
39.18/36.68	c cleaning 15006 clauses out of 30013 with flag 126000/212312
42.30/39.78	c cleaning 16004 clauses out of 32007 with flag 143000/229312
45.47/42.88	c cleaning 17002 clauses out of 34004 with flag 161001/247313
48.99/46.31	c cleaning 17994 clauses out of 36001 with flag 180000/266312
52.84/50.15	c cleaning 18999 clauses out of 38007 with flag 200000/286312
56.68/53.95	c cleaning 19998 clauses out of 40008 with flag 221000/307312
60.82/58.06	c cleaning 21005 clauses out of 42010 with flag 243000/329312
65.10/62.24	c cleaning 21999 clauses out of 44007 with flag 266002/352314
69.29/66.36	c cleaning 23004 clauses out of 46008 with flag 290002/376314
73.91/70.96	c cleaning 23999 clauses out of 48003 with flag 315001/401313
78.65/75.67	c cleaning 25000 clauses out of 50005 with flag 341002/427314
83.91/80.72	c cleaning 26001 clauses out of 52003 with flag 368000/454312
89.72/86.47	c cleaning 27002 clauses out of 54003 with flag 396001/482313
95.60/92.22	c cleaning 28000 clauses out of 56000 with flag 425000/511312
101.46/98.09	c cleaning 28998 clauses out of 58001 with flag 455001/541313
107.13/103.61	c cleaning 29994 clauses out of 60002 with flag 486000/572312
113.09/109.51	c cleaning 31001 clauses out of 62008 with flag 518000/604312
118.85/115.29	c cleaning 32002 clauses out of 64007 with flag 551000/637312
126.51/122.83	c cleaning 32999 clauses out of 66005 with flag 585000/671312
134.93/131.16	c cleaning 34001 clauses out of 68006 with flag 620000/706312
142.51/138.65	c cleaning 35000 clauses out of 70005 with flag 656000/742312
150.66/146.70	c cleaning 35999 clauses out of 72006 with flag 693001/779313
160.85/156.82	c cleaning 37001 clauses out of 74006 with flag 731000/817312
170.58/166.49	c cleaning 38003 clauses out of 76005 with flag 770000/856312
181.38/177.18	c cleaning 38994 clauses out of 78002 with flag 810000/896312
192.17/187.88	c cleaning 39998 clauses out of 80008 with flag 851000/937312
203.14/198.75	c cleaning 41002 clauses out of 82012 with flag 893002/979314
213.74/209.27	c cleaning 41998 clauses out of 84010 with flag 936002/1022314
224.86/220.37	c cleaning 43003 clauses out of 86010 with flag 980000/1066312
236.16/231.54	c cleaning 44002 clauses out of 88008 with flag 1025001/1111313
248.96/244.27	c cleaning 45000 clauses out of 90005 with flag 1071000/1157312
262.37/257.51	c cleaning 46002 clauses out of 92005 with flag 1118000/1204312
275.64/270.71	c cleaning 47000 clauses out of 94005 with flag 1166002/1252314
290.62/285.64	c cleaning 48001 clauses out of 96004 with flag 1215001/1301313
305.14/300.03	c cleaning 49002 clauses out of 98004 with flag 1265002/1351314
320.04/314.95	c cleaning 50001 clauses out of 100003 with flag 1316003/1402315
334.44/329.36	c cleaning 51000 clauses out of 102000 with flag 1368001/1454313
352.16/346.99	c cleaning 52001 clauses out of 104002 with flag 1421003/1507315
374.85/369.61	c cleaning 52991 clauses out of 105998 with flag 1475000/1561312
399.66/394.45	c cleaning 53999 clauses out of 108007 with flag 1530000/1616312
423.68/418.42	c cleaning 55004 clauses out of 110010 with flag 1586002/1672314
446.71/441.42	c cleaning 55995 clauses out of 112004 with flag 1643000/1729312
470.12/464.83	c cleaning 57001 clauses out of 114012 with flag 1701003/1787315
496.23/490.99	c cleaning 58000 clauses out of 116008 with flag 1760000/1846312
520.54/515.23	c cleaning 59001 clauses out of 118009 with flag 1820001/1906313
545.46/540.15	c cleaning 60001 clauses out of 120008 with flag 1881001/1967313
572.76/567.41	c cleaning 60996 clauses out of 122007 with flag 1943001/2029313
601.36/596.04	c cleaning 61998 clauses out of 124010 with flag 2006000/2092312
634.47/629.13	c cleaning 63003 clauses out of 126012 with flag 2070000/2156312
666.55/661.24	c cleaning 63998 clauses out of 128010 with flag 2135001/2221313
698.36/693.04	c cleaning 65007 clauses out of 130014 with flag 2201003/2287315
732.55/727.23	c cleaning 66002 clauses out of 132004 with flag 2268000/2354312
763.45/758.14	c cleaning 67002 clauses out of 134003 with flag 2336001/2422313
797.74/791.75	c cleaning 67995 clauses out of 136000 with flag 2405000/2491312
831.59/825.56	c cleaning 69002 clauses out of 138008 with flag 2475003/2561315
865.81/859.64	c cleaning 69996 clauses out of 140003 with flag 2546000/2632312
904.98/898.62	c cleaning 70998 clauses out of 142007 with flag 2618000/2704312
944.75/938.20	c cleaning 72001 clauses out of 144009 with flag 2691000/2777312
985.47/978.81	c cleaning 73000 clauses out of 146008 with flag 2765000/2851312
1030.07/1023.37	c cleaning 74003 clauses out of 148010 with flag 2840002/2926314
1073.27/1066.47	c cleaning 74995 clauses out of 150005 with flag 2916000/3002312
1127.48/1120.41	c cleaning 75998 clauses out of 152011 with flag 2993001/3079313
1177.83/1170.68	c cleaning 77002 clauses out of 154012 with flag 3071000/3157312
1231.62/1224.22	c cleaning 78006 clauses out of 156011 with flag 3150001/3236313
1289.58/1282.01	c cleaning 78995 clauses out of 158004 with flag 3230000/3316312
1347.06/1339.36	c cleaning 79998 clauses out of 160010 with flag 3311001/3397313
1406.35/1398.48	c cleaning 81001 clauses out of 162011 with flag 3393000/3479312
1467.65/1459.52	c cleaning 82003 clauses out of 164010 with flag 3476000/3562312
1526.55/1518.36	c cleaning 83000 clauses out of 166007 with flag 3560000/3646312
1584.51/1576.14	c cleaning 84003 clauses out of 168007 with flag 3645000/3731312
1639.76/1631.25	c cleaning 84999 clauses out of 170004 with flag 3731000/3817312
1707.24/1698.68	c cleaning 86003 clauses out of 172006 with flag 3818001/3904313
1768.21/1759.42	c cleaning 86995 clauses out of 174002 with flag 3906000/3992312
1800.08/1791.11	c starts		: 256
1800.08/1791.11	c conflicts		: 4042939
1800.08/1791.11	c decisions		: 4361325
1800.08/1791.11	c propagations		: 22921062
1800.08/1791.11	c inspects		: 13865821126
1800.08/1791.11	c shortcuts		: 0
1800.08/1791.11	c learnt literals	: 0
1800.08/1791.11	c learnt binary clauses	: 0
1800.08/1791.11	c learnt ternary clauses	: 0
1800.08/1791.11	c learnt constraints	: 4042940
1800.08/1791.11	c ignored constraints	: 0
1800.08/1791.11	c root simplifications	: 0
1800.08/1791.11	c removed literals (reason simplification)	: 0
1800.08/1791.11	c reason swapping (by a shorter reason)	: 0
1800.08/1791.11	c Calls to reduceDB	: 93
1800.08/1791.11	c number of reductions to clauses (during analyze)	: 0
1800.08/1791.11	c number of learned constraints concerned by reduction	: 0
1800.08/1791.11	c number of learning phase by resolution	: 0
1800.08/1791.11	c number of learning phase by cutting planes	: 0
1800.08/1791.11	c speed (assignments/second)	: 12803.56326911368
1800.08/1791.11	c non guided choices	0
1800.08/1791.14	c learnt constraints type 
1800.08/1791.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 137661
1800.08/1791.14	c constraints type 
1800.08/1791.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 37793
1800.08/1791.14	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.08/1791.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.08/1791.14	c ignored satisfied constraints => 1000
1800.08/1791.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37793
1800.08/1791.14	c 77587 constraints processed.
1800.08/1791.14	s SATISFIABLE
1800.08/1791.14	v x1 x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 x260 -x261 -x262 x263 -x264 x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 x510 -x511 x512 x513 x514 -x515 x516 -x517 x518 x519 -x520 -x521 -x522 x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 x552 -x553 -x554 x555 -x556 -x557 x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
1800.08/1791.14	c objective function=-55
1800.08/1791.14	c Total wall clock time (in seconds): 1791.034

Verifier Data

OK	-55

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-3688663-1337886251/watcher-3688663-1337886251 -o /tmp/evaluation-result-3688663-1337886251/solver-3688663-1337886251 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688663-1337886251.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: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/24536/stat : 24536 (java) R 24534 24536 22462 0 -1 4202496 1147 0 0 0 0 0 0 0 20 0 1 0 254750509 24780800 867 33554432000 1073741824 1073778376 140737050064304 140737050053368 273905752241 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 6050 867 654 9 0 385 0
[pid=24536/tid=24537] ppid=24534 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 2 0 254750509 24780800 870 33554432000 1073741824 1073778376 140737050064304 140737050053368 273905738634 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0534829 s]
/proc/loadavg: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 3085 0 1 0 3 1 0 0 20 0 13 0 254750509 9446973440 4293 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2306390 4298 1714 9 0 2297091 0
[pid=24536/tid=24537] ppid=24534 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 1909 0 1 0 3 0 0 0 20 0 13 0 254750509 9446973440 4298 33554432000 1073741824 1073778376 140737050064304 139634164926184 139634171862832 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.100353 s]
/proc/loadavg: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 4370 0 1 0 9 1 0 0 20 0 18 0 254750509 9787813888 5563 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2389603 5563 2108 9 0 2380296 0
[pid=24536/tid=24537] ppid=24534 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2417 0 1 0 6 1 0 0 20 0 18 0 254750509 9787813888 5563 33554432000 1073741824 1073778376 140737050064304 139634164927976 139634162794280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412

[startup+0.300226 s]
/proc/loadavg: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9558412 CPUtime=0.49 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 6084 0 1 0 47 2 0 0 20 0 18 0 254750509 9787813888 8596 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2389603 8596 2227 9 0 2380296 0
[pid=24536/tid=24537] ppid=24534 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2448 0 1 0 26 1 0 0 20 0 18 0 254750509 9787813888 8596 33554432000 1073741824 1073778376 140737050064304 139634164922152 139634034144772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558412

[startup+0.700251 s]
/proc/loadavg: 1.94 1.98 1.99 3/196 24536
/proc/meminfo: memFree=29348712/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9558412 CPUtime=1.69 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 15565 0 1 0 164 5 0 0 20 0 18 0 254750509 9787813888 26105 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2389603 26105 2251 9 0 2380296 0
[pid=24536/tid=24537] ppid=24534 vsize=9558412 CPUtime=0.67 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2481 0 1 0 65 2 0 0 20 0 18 0 254750509 9787813888 26105 33554432000 1073741824 1073778376 140737050064304 139634164920064 139634034590893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9558412

[startup+1.50075 s]
/proc/loadavg: 1.94 1.98 1.99 4/215 24555
/proc/meminfo: memFree=29185500/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=3.22 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 15797 0 1 0 311 11 0 0 20 0 19 0 254750509 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 52346 2274 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2521 0 1 0 138 3 0 0 20 0 19 0 254750509 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634164928920 139634035132763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 254750511 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6092 0 0 0 76 2 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5837 0 0 0 76 2 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 52346 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 9624976

[startup+3.10321 s]
/proc/loadavg: 1.94 1.98 1.99 10/215 24555
/proc/meminfo: memFree=29111960/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=5.02 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 16254 0 1 0 486 16 0 0 20 0 19 0 254750509 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 71660 2286 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=2.84 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) S 24534 24536 22462 0 -1 4202560 2522 0 1 0 281 3 0 0 20 0 19 0 254750509 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634164928920 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634153991064 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 118 0 0 0 5 2 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634152938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 18 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634004400536 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 98 0 0 0 4 2 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 186 0 0 0 3 2 0 0 20 0 19 0 254750510 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 103 0 0 0 9 0 0 0 20 0 19 0 254750511 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633989044200 273909068860 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6096 0 0 0 78 2 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5839 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 71660 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 9624976

[startup+6.3008 s]
/proc/loadavg: 1.94 1.98 1.99 3/215 24555
/proc/meminfo: memFree=29047728/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=8.32 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 16308 0 1 0 813 19 0 0 20 0 19 0 254750509 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 79707 2286 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=5.62 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2524 0 1 0 559 3 0 0 20 0 19 0 254750509 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634164928760 139634035048464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 124 0 0 0 6 3 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 18 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 20 0 0 0 2 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 46 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 100 0 0 0 4 2 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 186 0 0 0 3 2 0 0 20 0 19 0 254750510 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 113 0 0 0 46 1 0 0 20 0 19 0 254750511 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5842 0 0 0 82 2 0 0 20 0 19 0 254750514 9855975424 79707 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0

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

[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5845 0 0 0 84 2 0 0 20 0 19 0 254750514 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 101 0 0 0 61 34 0 0 20 0 19 0 254750514 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 260426 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1731.1
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.21 2.17 2.07 3/215 24569
/proc/meminfo: memFree=28252972/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=1791.28 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 21093 0 1 0 178985 143 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 261477 2287 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=1757.97 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2683 0 1 0 175765 32 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634164928800 139634035005305 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 489 0 0 0 97 9 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 744 0 0 0 97 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 424 0 0 0 112 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 328 0 0 0 105 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 344 0 0 0 92 12 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 512 0 0 0 100 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 484 0 0 0 110 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 650 0 0 0 99 15 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=17.09 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 1202 0 0 0 1705 4 0 0 20 0 19 0 254750511 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5845 0 0 0 84 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 103 0 0 0 62 35 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.1 s]
/proc/loadavg: 2.18 2.16 2.07 3/215 24685
/proc/meminfo: memFree=28324104/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 21095 0 1 0 179865 143 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 261477 2287 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=1766.76 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2683 0 1 0 176644 32 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634164928800 139634035133207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 489 0 0 0 97 9 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 744 0 0 0 97 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 424 0 0 0 112 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 328 0 0 0 105 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 344 0 0 0 92 12 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 512 0 0 0 100 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 484 0 0 0 110 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 650 0 0 0 99 15 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=17.09 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 1202 0 0 0 1705 4 0 0 20 0 19 0 254750511 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5845 0 0 0 84 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 105 0 0 0 62 36 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1791.1 s]
/proc/loadavg: 2.18 2.16 2.07 3/215 24685
/proc/meminfo: memFree=28324104/32873844 swapFree=7124/7124
[pid=24536] ppid=24534 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/24536/stat : 24536 (java) S 24534 24536 22462 0 -1 4202496 21095 0 1 0 179865 143 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 140737050055440 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24536/statm: 2406244 261477 2287 9 0 2396937 0
[pid=24536/tid=24537] ppid=24534 vsize=9624976 CPUtime=1766.76 cores=1,3,5,7
/proc/24536/task/24537/stat : 24537 (java) R 24534 24536 22462 0 -1 4202560 2683 0 1 0 176644 32 0 0 20 0 19 0 254750509 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634164928800 139634035133207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24539] ppid=24534 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/24536/task/24539/stat : 24539 (java) S 24534 24536 22462 0 -1 4202560 489 0 0 0 97 9 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634153991208 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24540] ppid=24534 vsize=9624976 CPUtime=1.08 cores=1,3,5,7
/proc/24536/task/24540/stat : 24540 (java) S 24534 24536 22462 0 -1 4202560 744 0 0 0 97 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634152938408 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24541] ppid=24534 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/24536/task/24541/stat : 24541 (java) S 24534 24536 22462 0 -1 4202560 424 0 0 0 112 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634006506280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24542] ppid=24534 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/24536/task/24542/stat : 24542 (java) S 24534 24536 22462 0 -1 4202560 328 0 0 0 105 11 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634005453480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24543] ppid=24534 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/24536/task/24543/stat : 24543 (java) S 24534 24536 22462 0 -1 4202560 344 0 0 0 92 12 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634004400680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24536/tid=24544] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24544/stat : 24544 (java) S 24534 24536 22462 0 -1 4202560 512 0 0 0 100 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634003347880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24545] ppid=24534 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/24536/task/24545/stat : 24545 (java) S 24534 24536 22462 0 -1 4202560 484 0 0 0 110 14 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634002295080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24546] ppid=24534 vsize=9624976 CPUtime=1.14 cores=1,3,5,7
/proc/24536/task/24546/stat : 24546 (java) S 24534 24536 22462 0 -1 4202560 650 0 0 0 99 15 0 0 20 0 19 0 254750510 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139634001242280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24547] ppid=24534 vsize=9624976 CPUtime=17.09 cores=1,3,5,7
/proc/24536/task/24547/stat : 24547 (java) S 24534 24536 22462 0 -1 4202560 1202 0 0 0 1705 4 0 0 20 0 19 0 254750511 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633989045224 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24548] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24548/stat : 24548 (java) S 24534 24536 22462 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633987991288 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24549] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24549/stat : 24549 (java) S 24534 24536 22462 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254750512 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633986938376 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24550] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24550/stat : 24550 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633985886864 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24551] ppid=24534 vsize=9624976 CPUtime=0.81 cores=1,3,5,7
/proc/24536/task/24551/stat : 24551 (java) S 24534 24536 22462 0 -1 4202560 6099 0 0 0 79 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633984833976 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24536/tid=24552] ppid=24534 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/24536/task/24552/stat : 24552 (java) S 24534 24536 22462 0 -1 4202560 5845 0 0 0 84 2 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633983781176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24553] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24553/stat : 24553 (java) S 24534 24536 22462 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633982728568 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24536/tid=24554] ppid=24534 vsize=9624976 CPUtime=0.98 cores=1,3,5,7
/proc/24536/task/24554/stat : 24554 (java) S 24534 24536 22462 0 -1 4202560 105 0 0 0 62 36 0 0 20 0 19 0 254750514 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633981675976 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24536/tid=24555] ppid=24534 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24536/task/24555/stat : 24555 (java) S 24534 24536 22462 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254750599 9855975424 261477 33554432000 1073741824 1073778376 140737050064304 139633980622504 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24536 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=69260
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=871715
# CPU time returned by wait4() is 1795.94
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1791.15
CPU time (s): 1800.08
CPU user time (s): 1798.65
CPU system time (s): 1.43
CPU usage (%): 100.498
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 1.87172
maximum resident set size= 1046028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21128
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40022
involuntary context switches= 13399

runsolver used 6.39003 second user time and 16.2445 second system time

The end

Launcher Data

Begin job on node134 at 2012-05-24 21:04:11
IDJOB=3688663
IDBENCH=48171
IDSOLVER=2269
FILE ID=node134/3688663-1337886251
RUNJOBID= node134-1337871881-22479
PBS_JOBID= 14620070
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a
RANDOM SEED=1956433553

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29348868 kB
Buffers:          221572 kB
Cached:          2450028 kB
SwapCached:            0 kB
Active:           557832 kB
Inactive:        2197068 kB
Active(anon):      79428 kB
Inactive(anon):     5996 kB
Active(file):     478404 kB
Inactive(file):  2191072 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2080 kB
Writeback:             0 kB
AnonPages:         94136 kB
Mapped:            22596 kB
Shmem:               212 kB
Slab:             628300 kB
SReclaimable:      70180 kB
SUnreclaim:       558120 kB
KernelStack:        1608 kB
PageTables:         4224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     699404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     47104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node134 at 2012-05-24 21:34:04