Trace number 3718007

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.6 1796.84

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-414_wcsp.wbo
MD5SUMc2a654bdd9be16ff6670711f2793090a
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark40502
Best CPU time to get the best result obtained on this benchmark1800.6
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1056
Total number of constraints14903
Number of soft constraints14539
Number of constraints which are clauses14539
Number of constraints which are cardinality constraints (but not clauses)364
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 60599
Min constraint cost 1
Max constraint cost 60599
Sum of constraints costs 859051423
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.2.v20120528
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		501472288
0.05/0.09	c Max memory 		7480803328
0.05/0.09	c Total memory 		504102912
0.05/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5f934ad
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718007-1338258255.wbo
0.09/0.11	c reading problem ... 
0.97/0.51	c ... done. Wall clock time 0.395s.
0.97/0.51	c declared #vars     1056
0.97/0.51	c internal #vars     15595
0.97/0.51	c #constraints  15268
0.97/0.51	c constraints type 
0.97/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14339
0.97/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 164
0.97/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 764
0.97/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.97/0.51	c 15268 constraints processed.
0.97/0.51	c objective function length is 14539 literals
1.21/0.67	c SATISFIABLE
1.21/0.67	c OPTIMIZING...
1.21/0.67	c Got one! Elapsed wall clock time (in seconds):0.557
1.21/0.67	o 41510
1.61/0.80	c Got one! Elapsed wall clock time (in seconds):0.694
1.61/0.80	o 41507
5.66/4.58	c cleaning 2522 clauses out of 5044 with flag 12295/5044
9.67/8.49	c cleaning 4261 clauses out of 8522 with flag 26570/11044
13.87/12.69	c cleaning 5626 clauses out of 11261 with flag 42000/18044
18.89/17.62	c cleaning 6816 clauses out of 13635 with flag 60436/26044
24.24/22.93	c cleaning 7905 clauses out of 15819 with flag 80946/35044
30.04/28.71	c cleaning 8955 clauses out of 17914 with flag 102937/45044
36.65/35.32	c cleaning 9980 clauses out of 19960 with flag 129735/56045
43.16/41.80	c cleaning 10986 clauses out of 21979 with flag 156161/68044
50.57/49.25	c cleaning 11994 clauses out of 23993 with flag 184872/81044
58.38/57.08	c cleaning 12999 clauses out of 25999 with flag 216033/95044
66.31/64.93	c cleaning 14000 clauses out of 28000 with flag 249978/110044
74.83/73.41	c cleaning 15000 clauses out of 30000 with flag 290617/126044
83.43/82.09	c cleaning 16000 clauses out of 32000 with flag 386178/143044
92.78/91.38	c cleaning 16997 clauses out of 34000 with flag 477921/161044
102.98/101.54	c cleaning 18002 clauses out of 36003 with flag 578927/180044
113.70/112.24	c cleaning 18998 clauses out of 38001 with flag 686856/200044
124.51/123.08	c cleaning 20002 clauses out of 40004 with flag 806256/221045
135.52/134.00	c cleaning 20995 clauses out of 42001 with flag 917793/243044
148.74/147.25	c cleaning 22001 clauses out of 44007 with flag 1013607/266045
159.98/158.49	c cleaning 22997 clauses out of 46005 with flag 1067503/290044
171.49/169.93	c cleaning 23994 clauses out of 48008 with flag 1125176/315044
183.40/181.83	c cleaning 25001 clauses out of 50014 with flag 1184959/341044
195.32/193.80	c cleaning 26004 clauses out of 52013 with flag 1251539/368044
201.03/199.49	c Got one! Elapsed wall clock time (in seconds):199.38
201.03/199.49	o 40536
205.64/204.01	c cleaning 22148 clauses out of 44295 with flag 12480/386330
209.47/207.88	c cleaning 14071 clauses out of 28148 with flag 35823/392331
213.28/211.63	c cleaning 10532 clauses out of 21076 with flag 52361/399330
220.79/219.18	c cleaning 9270 clauses out of 18547 with flag 71384/407333
220.99/219.30	c Got one! Elapsed wall clock time (in seconds):219.19
220.99/219.30	o 40535
220.99/219.36	c Got one! Elapsed wall clock time (in seconds):219.252
220.99/219.36	o 40502
228.31/226.69	c cleaning 7168 clauses out of 14336 with flag 13988/412392
236.63/234.95	c cleaning 6580 clauses out of 13173 with flag 32856/418397
243.24/241.59	c cleaning 6786 clauses out of 13588 with flag 51150/425392
248.97/247.20	c cleaning 7389 clauses out of 14801 with flag 69361/433391
254.38/252.63	c cleaning 8200 clauses out of 16412 with flag 91203/442391
260.40/258.63	c cleaning 9101 clauses out of 18212 with flag 119283/452391
267.01/265.26	c cleaning 10053 clauses out of 20112 with flag 161611/463392
274.11/272.38	c cleaning 11027 clauses out of 22059 with flag 203064/475392
281.42/279.66	c cleaning 12007 clauses out of 24032 with flag 249784/488392
288.94/287.18	c cleaning 13012 clauses out of 26025 with flag 294370/502392
297.13/295.31	c cleaning 14005 clauses out of 28013 with flag 343799/517392
305.64/303.82	c cleaning 15002 clauses out of 30008 with flag 404166/533392
314.76/312.95	c cleaning 16001 clauses out of 32005 with flag 465587/550391
324.57/322.73	c cleaning 17000 clauses out of 34004 with flag 534362/568391
334.98/333.20	c cleaning 17999 clauses out of 36004 with flag 603833/587391
345.78/343.96	c cleaning 19001 clauses out of 38005 with flag 677695/607391
357.00/355.15	c cleaning 20001 clauses out of 40005 with flag 754863/628392
368.30/366.49	c cleaning 21000 clauses out of 42005 with flag 832434/650393
380.53/378.63	c cleaning 22000 clauses out of 44004 with flag 912081/673392
393.84/391.99	c cleaning 23001 clauses out of 46005 with flag 1013122/697393
407.25/405.33	c cleaning 23990 clauses out of 48002 with flag 1109841/722391
422.17/420.28	c cleaning 25002 clauses out of 50012 with flag 1222746/748391
437.26/435.37	c cleaning 26002 clauses out of 52010 with flag 1333613/775391
453.78/451.82	c cleaning 27003 clauses out of 54008 with flag 1449690/803391
470.71/468.73	c cleaning 28000 clauses out of 56007 with flag 1569268/832393
489.24/487.30	c cleaning 29003 clauses out of 58005 with flag 1692649/862391
507.85/505.83	c cleaning 29995 clauses out of 60002 with flag 1825941/893391
526.55/524.56	c cleaning 31001 clauses out of 62008 with flag 1958019/925392
544.77/542.71	c cleaning 32003 clauses out of 64007 with flag 2092085/958392
564.00/561.99	c cleaning 32998 clauses out of 66003 with flag 2230869/992391
584.33/582.25	c cleaning 34001 clauses out of 68005 with flag 2367421/1027391
604.48/602.36	c cleaning 34994 clauses out of 70004 with flag 2507362/1063391
627.29/625.17	c cleaning 36000 clauses out of 72010 with flag 2666774/1100391
650.29/648.14	c cleaning 37001 clauses out of 74010 with flag 2832906/1138391
672.00/669.88	c cleaning 38002 clauses out of 76011 with flag 2991347/1177393
695.60/693.46	c cleaning 39000 clauses out of 78007 with flag 3132614/1217391
718.63/716.41	c cleaning 40004 clauses out of 80007 with flag 3284085/1258391
742.99/740.73	c cleaning 40998 clauses out of 82004 with flag 3444689/1300392
767.41/765.12	c cleaning 41997 clauses out of 84005 with flag 3590315/1343391
792.66/790.33	c cleaning 42998 clauses out of 86008 with flag 3704646/1387391
818.60/816.27	c cleaning 44000 clauses out of 88010 with flag 3830174/1432391
844.02/841.62	c cleaning 45004 clauses out of 90012 with flag 3958708/1478393
868.94/866.56	c cleaning 45995 clauses out of 92006 with flag 4076194/1525391
894.08/891.65	c cleaning 47005 clauses out of 94011 with flag 4192871/1573391
919.38/916.97	c cleaning 48001 clauses out of 96007 with flag 4317305/1622392
949.42/946.93	c cleaning 49000 clauses out of 98006 with flag 4449526/1672392
979.73/977.29	c cleaning 50003 clauses out of 100009 with flag 4581169/1723395
1012.74/1010.19	c cleaning 50995 clauses out of 102002 with flag 4716349/1775391
1045.66/1043.09	c cleaning 51998 clauses out of 104007 with flag 4863596/1828391
1077.42/1074.74	c cleaning 53001 clauses out of 106009 with flag 5008197/1882391
1111.76/1109.06	c cleaning 54003 clauses out of 108008 with flag 5155013/1937391
1146.59/1143.89	c cleaning 54995 clauses out of 110005 with flag 5307195/1993391
1180.40/1177.64	c cleaning 56001 clauses out of 112010 with flag 5498690/2050391
1213.51/1210.73	c cleaning 57002 clauses out of 114010 with flag 5646806/2108392
1246.84/1244.09	c cleaning 57998 clauses out of 116007 with flag 5862064/2167391
1283.05/1280.25	c cleaning 58999 clauses out of 118009 with flag 6050765/2227391
1319.85/1317.07	c cleaning 59999 clauses out of 120010 with flag 6217199/2288391
1357.01/1354.15	c cleaning 61002 clauses out of 122012 with flag 6406812/2350392
1395.73/1392.87	c cleaning 61996 clauses out of 124009 with flag 6592438/2413391
1435.04/1432.16	c cleaning 63005 clauses out of 126013 with flag 6811384/2477391
1476.78/1473.86	c cleaning 64002 clauses out of 128008 with flag 7045098/2542391
1516.71/1513.73	c cleaning 64999 clauses out of 130006 with flag 7258450/2608391
1558.15/1555.14	c cleaning 65996 clauses out of 132007 with flag 7474928/2675391
1599.59/1596.58	c cleaning 67003 clauses out of 134012 with flag 7673964/2743392
1642.04/1638.93	c cleaning 68001 clauses out of 136008 with flag 7879880/2812391
1684.96/1681.82	c cleaning 68999 clauses out of 138007 with flag 8082986/2882391
1726.57/1723.46	c cleaning 69998 clauses out of 140008 with flag 8288342/2953391
1768.60/1765.48	c cleaning 71002 clauses out of 142011 with flag 8493953/3025392
1800.07/1796.81	c starts		: 252
1800.07/1796.81	c conflicts		: 3079225
1800.07/1796.81	c decisions		: 4277499
1800.07/1796.81	c propagations		: 423320132
1800.07/1796.81	c inspects		: 3054748390
1800.07/1796.81	c shortcuts		: 0
1800.07/1796.81	c learnt literals	: 0
1800.07/1796.81	c learnt binary clauses	: 0
1800.07/1796.81	c learnt ternary clauses	: 644
1800.07/1796.81	c learnt constraints	: 3079225
1800.07/1796.81	c ignored constraints	: 0
1800.07/1796.81	c root simplifications	: 0
1800.07/1796.81	c removed literals (reason simplification)	: 0
1800.07/1796.81	c reason swapping (by a shorter reason)	: 0
1800.07/1796.81	c Calls to reduceDB	: 95
1800.07/1796.81	c Number of update (reduction) of LBD	: 187335
1800.07/1796.81	c number of reductions to clauses (during analyze)	: 0
1800.07/1796.81	c number of learned constraints concerned by reduction	: 0
1800.07/1796.81	c number of learning phase by resolution	: 0
1800.07/1796.81	c number of learning phase by cutting planes	: 0
1800.07/1796.81	c speed (assignments/second)	: 235670.06543108638
1800.07/1796.81	c non guided choices	493
1800.07/1796.83	c learnt constraints type 
1800.07/1796.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 124880
1800.07/1796.83	c constraints type 
1800.07/1796.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 14339
1800.07/1796.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 164
1800.07/1796.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 764
1800.07/1796.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.07/1796.83	c 15269 constraints processed.
1800.07/1796.83	s SATISFIABLE
1800.07/1796.84	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 
1800.07/1796.84	c objective function=40502
1800.07/1796.84	c Total wall clock time (in seconds): 1796.727

Verifier Data 

OK	40502

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-3718007-1338258255/watcher-3718007-1338258255 -o /tmp/evaluation-result-3718007-1338258255/solver-3718007-1338258255 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718007-1338258255.wbo 

running on 4 cores: 0,2,4,6

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.93 2.04 2.02 3/194 31737
/proc/meminfo: memFree=30601416/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/31737/stat : 31737 (java) D 31735 31737 27324 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291951533 9515008 183 33554432000 1073741824 1073778376 140735760577664 140735760568696 217410518709 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2323 183 140 9 0 71 0

[startup+0.0745399 s]
/proc/loadavg: 1.93 2.04 2.02 3/194 31737
/proc/meminfo: memFree=30601416/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9558416 CPUtime=0.05 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 3286 0 1 0 4 1 0 0 20 0 18 0 291951533 9787817984 4494 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2389604 4495 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558416

[startup+0.100209 s]
/proc/loadavg: 1.93 2.04 2.02 3/194 31737
/proc/meminfo: memFree=30601416/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 4286 0 1 0 8 1 0 0 20 0 18 0 291951533 9787817984 5474 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2389604 5474 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300168 s]
/proc/loadavg: 1.93 2.04 2.02 3/194 31737
/proc/meminfo: memFree=30601416/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9558416 CPUtime=0.47 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 5702 0 1 0 45 2 0 0 20 0 18 0 291951533 9787817984 8906 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2389604 8907 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558416

[startup+0.700163 s]
/proc/loadavg: 1.93 2.04 2.02 3/194 31737
/proc/meminfo: memFree=30601416/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9624980 CPUtime=1.46 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 8905 0 1 0 142 4 0 0 20 0 19 0 291951533 9855979520 20110 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2406245 20110 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9624980

[startup+1.50055 s]
/proc/loadavg: 1.93 2.04 2.02 3/213 31756
/proc/meminfo: memFree=30515928/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9624980 CPUtime=2.6 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 15307 0 1 0 255 5 0 0 20 0 19 0 291951533 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2406245 23568 2256 9 0 2396937 0
[pid=31737/tid=31739] ppid=31735 vsize=9624980 CPUtime=1.46 cores=0,2,4,6
/proc/31737/task/31739/stat : 31739 (java) R 31735 31737 27324 0 -1 4202560 2479 0 1 0 143 3 0 0 20 0 19 0 291951534 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861897314600 139861734725521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31740] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31740/stat : 31740 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861858806696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31741] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31741/stat : 31741 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861857754152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31742] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31742/stat : 31742 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861856701096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31743] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31743/stat : 31743 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861855648552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31744] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31744/stat : 31744 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861854595496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31745] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31745/stat : 31745 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861853542952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31746] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31746/stat : 31746 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861734451368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31747] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31747/stat : 31747 (java) S 31735 31737 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861733398824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31748] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31748/stat : 31748 (java) S 31735 31737 27324 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861721201512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31749] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31749/stat : 31749 (java) S 31735 31737 27324 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861720147832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31750] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31750/stat : 31750 (java) S 31735 31737 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139861719094664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31751] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31751/stat : 31751 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139860979477264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31752] ppid=31735 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/31737/task/31752/stat : 31752 (java) S 31735 31737 27324 0 -1 4202560 5469 0 0 0 50 2 0 0 20 0 19 0 291951539 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139860978424120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31753] ppid=31735 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/31737/task/31753/stat : 31753 (java) S 31735 31737 27324 0 -1 4202560 6159 0 0 0 57 2 0 0 20 0 19 0 291951539 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139860977371576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31754] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31754/stat : 31754 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139860976318712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31755] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31755/stat : 31755 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139860975266376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31756] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31756/stat : 31756 (java) S 31735 31737 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291951590 9855979520 23568 33554432000 1073741824 1073778376 140734618687632 139860974212648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 9624980

[startup+3.10055 s]
/proc/loadavg: 1.93 2.04 2.02 3/213 31756
/proc/meminfo: memFree=30513260/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9624980 CPUtime=4.25 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 15765 0 1 0 420 5 0 0 20 0 19 0 291951533 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2406245 24596 2259 9 0 2396937 0
[pid=31737/tid=31739] ppid=31735 vsize=9624980 CPUtime=3.06 cores=0,2,4,6
/proc/31737/task/31739/stat : 31739 (java) R 31735 31737 27324 0 -1 4202560 2482 0 1 0 303 3 0 0 20 0 19 0 291951534 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861897314536 139861735214320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31740] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31740/stat : 31740 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861858806696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31741] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31741/stat : 31741 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861857754152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31742] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31742/stat : 31742 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861856701096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31743] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31743/stat : 31743 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861855648552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31744] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31744/stat : 31744 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861854595496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31745] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31745/stat : 31745 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861853542952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31746] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31746/stat : 31746 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861734451368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31747] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31747/stat : 31747 (java) S 31735 31737 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861733398824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31748] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31748/stat : 31748 (java) S 31735 31737 27324 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861721201512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31749] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31749/stat : 31749 (java) S 31735 31737 27324 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861720147832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31750] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31750/stat : 31750 (java) S 31735 31737 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139861719094664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31751] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31751/stat : 31751 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139860979477264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31752] ppid=31735 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/31737/task/31752/stat : 31752 (java) S 31735 31737 27324 0 -1 4202560 5922 0 0 0 55 2 0 0 20 0 19 0 291951539 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139860978424120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31753] ppid=31735 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/31737/task/31753/stat : 31753 (java) S 31735 31737 27324 0 -1 4202560 6160 0 0 0 58 2 0 0 20 0 19 0 291951539 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139860977371576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31754] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31754/stat : 31754 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139860976318712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31755] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31755/stat : 31755 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139860975266376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31756] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31756/stat : 31756 (java) S 31735 31737 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291951590 9855979520 24596 33554432000 1073741824 1073778376 140734618687632 139860974212648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9624980

[startup+6.30052 s]
/proc/loadavg: 1.93 2.04 2.02 3/213 31756
/proc/meminfo: memFree=30475340/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9624980 CPUtime=7.53 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 15853 0 1 0 746 7 0 0 20 0 19 0 291951533 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2406245 33453 2284 9 0 2396937 0
[pid=31737/tid=31739] ppid=31735 vsize=9624980 CPUtime=6.2 cores=0,2,4,6
/proc/31737/task/31739/stat : 31739 (java) R 31735 31737 27324 0 -1 4202560 2488 0 1 0 617 3 0 0 20 0 19 0 291951534 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861897314680 139861735249300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31740] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31740/stat : 31740 (java) S 31735 31737 27324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861858806696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31741] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31741/stat : 31741 (java) S 31735 31737 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861857754152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31742] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31742/stat : 31742 (java) S 31735 31737 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861856701096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31743] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31743/stat : 31743 (java) S 31735 31737 27324 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861855648552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31744] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31744/stat : 31744 (java) S 31735 31737 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861854595496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31745] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31745/stat : 31745 (java) S 31735 31737 27324 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861853542952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31746] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31746/stat : 31746 (java) S 31735 31737 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861734451368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31747] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31747/stat : 31747 (java) S 31735 31737 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291951535 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861733398824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31748] ppid=31735 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/31737/task/31748/stat : 31748 (java) S 31735 31737 27324 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 19 0 291951536 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861721201512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31749] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31749/stat : 31749 (java) S 31735 31737 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861720147832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31750] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31750/stat : 31750 (java) S 31735 31737 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139861719094664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31751] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31751/stat : 31751 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139860979477264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31752] ppid=31735 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/31737/task/31752/stat : 31752 (java) S 31735 31737 27324 0 -1 4202560 5926 0 0 0 56 2 0 0 20 0 19 0 291951539 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139860978424120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31753] ppid=31735 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/31737/task/31753/stat : 31753 (java) S 31735 31737 27324 0 -1 4202560 6163 0 0 0 60 2 0 0 20 0 19 0 291951539 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139860977371576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31754] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31754/stat : 31754 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139860976318712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31755] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31755/stat : 31755 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139860975266376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31756] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31756/stat : 31756 (java) S 31735 31737 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291951590 9855979520 33453 33554432000 1073741824 1073778376 140734618687632 139860974212648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 9624980

[startup+12.7005 s]

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

[pid=31737/tid=31745] ppid=31735 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/31737/task/31745/stat : 31745 (java) S 31735 31737 27324 0 -1 4202560 37 0 0 0 32 2 0 0 20 0 19 0 291951535 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139861853542952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31746] ppid=31735 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/31737/task/31746/stat : 31746 (java) S 31735 31737 27324 0 -1 4202560 232 0 0 0 36 0 0 0 20 0 19 0 291951535 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139861734451368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31747] ppid=31735 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/31737/task/31747/stat : 31747 (java) S 31735 31737 27324 0 -1 4202560 54 0 0 0 34 2 0 0 20 0 19 0 291951535 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139861733398824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31748] ppid=31735 vsize=9624980 CPUtime=4.16 cores=0,2,4,6
/proc/31737/task/31748/stat : 31748 (java) S 31735 31737 27324 0 -1 4202560 158 0 0 0 413 3 0 0 20 0 19 0 291951536 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139861721201512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31749] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31749/stat : 31749 (java) S 31735 31737 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139861720147832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31750] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31750/stat : 31750 (java) S 31735 31737 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139861719094664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31751] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31751/stat : 31751 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139860979477264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31752] ppid=31735 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/31737/task/31752/stat : 31752 (java) S 31735 31737 27324 0 -1 4202560 6508 0 0 0 65 2 0 0 20 0 19 0 291951539 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139860978424120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31753] ppid=31735 vsize=9624980 CPUtime=0.66 cores=0,2,4,6
/proc/31737/task/31753/stat : 31753 (java) S 31735 31737 27324 0 -1 4202560 6172 0 0 0 64 2 0 0 20 0 19 0 291951539 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139860977371576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31754] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31754/stat : 31754 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139860976318712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31755] ppid=31735 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/31737/task/31755/stat : 31755 (java) S 31735 31737 27324 0 -1 4202560 95 0 0 0 8 10 0 0 20 0 19 0 291951539 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139860975266376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31756] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31756/stat : 31756 (java) S 31735 31737 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291951590 9855979520 71981 33554432000 1073741824 1073778376 140734618687632 139860974212648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.46
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 31831
/proc/meminfo: memFree=30679832/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9624980 CPUtime=1725.47 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 17664 0 1 0 172498 49 0 0 20 0 19 0 291951533 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2406245 72493 2285 9 0 2396937 0
[pid=31737/tid=31739] ppid=31735 vsize=9624980 CPUtime=1717.09 cores=0,2,4,6
/proc/31737/task/31739/stat : 31739 (java) R 31735 31737 27324 0 -1 4202560 2591 0 1 0 171669 40 0 0 20 0 19 0 291951534 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861897314592 139861735163291 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31740] ppid=31735 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/31737/task/31740/stat : 31740 (java) S 31735 31737 27324 0 -1 4202560 66 0 0 0 35 0 0 0 20 0 19 0 291951535 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861858806696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31741] ppid=31735 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/31737/task/31741/stat : 31741 (java) S 31735 31737 27324 0 -1 4202560 189 0 0 0 35 0 0 0 20 0 19 0 291951535 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861857754152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31742] ppid=31735 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/31737/task/31742/stat : 31742 (java) S 31735 31737 27324 0 -1 4202560 158 0 0 0 35 0 0 0 20 0 19 0 291951535 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861856701096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31743] ppid=31735 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/31737/task/31743/stat : 31743 (java) S 31735 31737 27324 0 -1 4202560 58 0 0 0 36 1 0 0 20 0 19 0 291951535 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861855648552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31744] ppid=31735 vsize=9624980 CPUtime=0.34 cores=0,2,4,6
/proc/31737/task/31744/stat : 31744 (java) S 31735 31737 27324 0 -1 4202560 154 0 0 0 34 0 0 0 20 0 19 0 291951535 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861854595496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31745] ppid=31735 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/31737/task/31745/stat : 31745 (java) S 31735 31737 27324 0 -1 4202560 37 0 0 0 33 2 0 0 20 0 19 0 291951535 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861853542952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31746] ppid=31735 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/31737/task/31746/stat : 31746 (java) S 31735 31737 27324 0 -1 4202560 232 0 0 0 36 0 0 0 20 0 19 0 291951535 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861734451368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31747] ppid=31735 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/31737/task/31747/stat : 31747 (java) S 31735 31737 27324 0 -1 4202560 54 0 0 0 34 2 0 0 20 0 19 0 291951535 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861733398824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31748] ppid=31735 vsize=9624980 CPUtime=4.21 cores=0,2,4,6
/proc/31737/task/31748/stat : 31748 (java) S 31735 31737 27324 0 -1 4202560 160 0 0 0 418 3 0 0 20 0 19 0 291951536 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861721201512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31749] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31749/stat : 31749 (java) S 31735 31737 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861720147832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31750] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31750/stat : 31750 (java) S 31735 31737 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139861719094664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31751] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31751/stat : 31751 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139860979477264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31752] ppid=31735 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/31737/task/31752/stat : 31752 (java) S 31735 31737 27324 0 -1 4202560 6508 0 0 0 65 2 0 0 20 0 19 0 291951539 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139860978424120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31753] ppid=31735 vsize=9624980 CPUtime=0.66 cores=0,2,4,6
/proc/31737/task/31753/stat : 31753 (java) S 31735 31737 27324 0 -1 4202560 6172 0 0 0 64 2 0 0 20 0 19 0 291951539 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139860977371576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31754] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31754/stat : 31754 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139860976318712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31755] ppid=31735 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/31737/task/31755/stat : 31755 (java) S 31735 31737 27324 0 -1 4202560 99 0 0 0 8 11 0 0 20 0 19 0 291951539 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139860975266376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31756] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31756/stat : 31756 (java) S 31735 31737 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291951590 9855979520 72493 33554432000 1073741824 1073778376 140734618687632 139860974212648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.47
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/213 31831
/proc/meminfo: memFree=30663276/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9624980 CPUtime=1785.56 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 17700 0 1 0 178505 51 0 0 20 0 19 0 291951533 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2406245 76077 2285 9 0 2396937 0
[pid=31737/tid=31739] ppid=31735 vsize=9624980 CPUtime=1776.92 cores=0,2,4,6
/proc/31737/task/31739/stat : 31739 (java) R 31735 31737 27324 0 -1 4202560 2594 0 1 0 177651 41 0 0 20 0 19 0 291951534 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861897314592 139861735225361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31740] ppid=31735 vsize=9624980 CPUtime=0.38 cores=0,2,4,6
/proc/31737/task/31740/stat : 31740 (java) S 31735 31737 27324 0 -1 4202560 71 0 0 0 37 1 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861858806696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31741] ppid=31735 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/31737/task/31741/stat : 31741 (java) S 31735 31737 27324 0 -1 4202560 193 0 0 0 35 2 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861857754152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31742] ppid=31735 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/31737/task/31742/stat : 31742 (java) S 31735 31737 27324 0 -1 4202560 162 0 0 0 36 0 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861856701096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31743] ppid=31735 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/31737/task/31743/stat : 31743 (java) S 31735 31737 27324 0 -1 4202560 59 0 0 0 36 1 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861855648552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31744] ppid=31735 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/31737/task/31744/stat : 31744 (java) S 31735 31737 27324 0 -1 4202560 156 0 0 0 35 0 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861854595496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31745] ppid=31735 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/31737/task/31745/stat : 31745 (java) S 31735 31737 27324 0 -1 4202560 38 0 0 0 35 2 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861853542952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31746] ppid=31735 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/31737/task/31746/stat : 31746 (java) S 31735 31737 27324 0 -1 4202560 238 0 0 0 38 2 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861734451368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31747] ppid=31735 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/31737/task/31747/stat : 31747 (java) S 31735 31737 27324 0 -1 4202560 56 0 0 0 34 2 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861733398824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31748] ppid=31735 vsize=9624980 CPUtime=4.33 cores=0,2,4,6
/proc/31737/task/31748/stat : 31748 (java) S 31735 31737 27324 0 -1 4202560 164 0 0 0 430 3 0 0 20 0 19 0 291951536 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861721201512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31749] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31749/stat : 31749 (java) S 31735 31737 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861720147832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31750] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31750/stat : 31750 (java) S 31735 31737 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861719094664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31751] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31751/stat : 31751 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860979477264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31752] ppid=31735 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/31737/task/31752/stat : 31752 (java) S 31735 31737 27324 0 -1 4202560 6508 0 0 0 65 2 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860978424120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31753] ppid=31735 vsize=9624980 CPUtime=0.66 cores=0,2,4,6
/proc/31737/task/31753/stat : 31753 (java) S 31735 31737 27324 0 -1 4202560 6172 0 0 0 64 2 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860977371576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31754] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31754/stat : 31754 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860976318712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31755] ppid=31735 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/31737/task/31755/stat : 31755 (java) S 31735 31737 27324 0 -1 4202560 103 0 0 0 8 11 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860975266376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31756] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31756/stat : 31756 (java) S 31735 31737 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291951590 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860974212648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 31831
/proc/meminfo: memFree=30663648/32873648 swapFree=7372/7372
[pid=31737] ppid=31735 vsize=9624980 CPUtime=1800.07 cores=0,2,4,6
/proc/31737/stat : 31737 (java) S 31735 31737 27324 0 -1 4202496 17700 0 1 0 179956 51 0 0 20 0 19 0 291951533 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 140734618678768 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/31737/statm: 2406245 76077 2285 9 0 2396937 0
[pid=31737/tid=31739] ppid=31735 vsize=9624980 CPUtime=1791.43 cores=0,2,4,6
/proc/31737/task/31739/stat : 31739 (java) R 31735 31737 27324 0 -1 4202560 2594 0 1 0 179102 41 0 0 20 0 19 0 291951534 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861897314592 139861735214419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31740] ppid=31735 vsize=9624980 CPUtime=0.38 cores=0,2,4,6
/proc/31737/task/31740/stat : 31740 (java) S 31735 31737 27324 0 -1 4202560 71 0 0 0 37 1 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861858806696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31741] ppid=31735 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/31737/task/31741/stat : 31741 (java) S 31735 31737 27324 0 -1 4202560 193 0 0 0 35 2 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861857754152 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31742] ppid=31735 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/31737/task/31742/stat : 31742 (java) S 31735 31737 27324 0 -1 4202560 162 0 0 0 36 0 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861856701096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31743] ppid=31735 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/31737/task/31743/stat : 31743 (java) S 31735 31737 27324 0 -1 4202560 59 0 0 0 36 1 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861855648552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31744] ppid=31735 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/31737/task/31744/stat : 31744 (java) S 31735 31737 27324 0 -1 4202560 156 0 0 0 35 0 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861854595496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31745] ppid=31735 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/31737/task/31745/stat : 31745 (java) S 31735 31737 27324 0 -1 4202560 38 0 0 0 35 2 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861853542952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31746] ppid=31735 vsize=9624980 CPUtime=0.4 cores=0,2,4,6
/proc/31737/task/31746/stat : 31746 (java) S 31735 31737 27324 0 -1 4202560 238 0 0 0 38 2 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861734451368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31747] ppid=31735 vsize=9624980 CPUtime=0.36 cores=0,2,4,6
/proc/31737/task/31747/stat : 31747 (java) S 31735 31737 27324 0 -1 4202560 56 0 0 0 34 2 0 0 20 0 19 0 291951535 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861733398824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=31737/tid=31748] ppid=31735 vsize=9624980 CPUtime=4.33 cores=0,2,4,6
/proc/31737/task/31748/stat : 31748 (java) S 31735 31737 27324 0 -1 4202560 164 0 0 0 430 3 0 0 20 0 19 0 291951536 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861721201512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31749] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31749/stat : 31749 (java) S 31735 31737 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861720147832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31750] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31750/stat : 31750 (java) S 31735 31737 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291951536 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139861719094664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31751] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31751/stat : 31751 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860979477264 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31752] ppid=31735 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/31737/task/31752/stat : 31752 (java) S 31735 31737 27324 0 -1 4202560 6508 0 0 0 65 2 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860978424120 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31753] ppid=31735 vsize=9624980 CPUtime=0.66 cores=0,2,4,6
/proc/31737/task/31753/stat : 31753 (java) S 31735 31737 27324 0 -1 4202560 6172 0 0 0 64 2 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860977371576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=31737/tid=31754] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31754/stat : 31754 (java) S 31735 31737 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860976318712 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=31737/tid=31755] ppid=31735 vsize=9624980 CPUtime=0.2 cores=0,2,4,6
/proc/31737/task/31755/stat : 31755 (java) S 31735 31737 27324 0 -1 4202560 103 0 0 0 9 11 0 0 20 0 19 0 291951539 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860975266376 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=31737/tid=31756] ppid=31735 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/31737/task/31756/stat : 31756 (java) S 31735 31737 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291951590 9855979520 76077 33554432000 1073741824 1073778376 140734618687632 139860974212648 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

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): 1796.84
CPU time (s): 1800.6
CPU user time (s): 1799.77
CPU system time (s): 0.833873
CPU usage (%): 100.209
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.833873
maximum resident set size= 304428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17733
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40757
involuntary context switches= 36667

runsolver used 6.14007 second user time and 13.304 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-29 04:24:15
IDJOB=3718007
IDBENCH=79601
IDSOLVER=2301
FILE ID=node122/3718007-1338258255
RUNJOBID= node122-1338247599-29940
PBS_JOBID= 14624660
Free space on /tmp= 71676 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-414_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718007-1338258255/watcher-3718007-1338258255 -o /tmp/evaluation-result-3718007-1338258255/solver-3718007-1338258255 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718007-1338258255.wbo

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

MD5SUM BENCH= c2a654bdd9be16ff6670711f2793090a
RANDOM SEED=861286159

node122.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.533
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.06
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.533
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.533
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.04
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.533
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.533
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.533
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	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        30601680 kB
Buffers:          344952 kB
Cached:           498192 kB
SwapCached:         1100 kB
Active:          1310704 kB
Inactive:         102520 kB
Active(anon):     566492 kB
Inactive(anon):     6052 kB
Active(file):     744212 kB
Inactive(file):    96468 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102816 kB
Dirty:               856 kB
Writeback:             4 kB
AnonPages:        576252 kB
Mapped:            19108 kB
Shmem:                 8 kB
Slab:             717780 kB
SReclaimable:     161656 kB
SUnreclaim:       556124 kB
KernelStack:        1592 kB
PageTables:         5320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1085408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71684 MiB
End job on node122 at 2012-05-29 04:54:14