Trace number 3718062

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.01 1795.75

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMd97c5722fe377ef62d4d83eb3fe2e1eb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.219966
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables840
Total number of constraints82
Number of soft constraints35
Number of constraints which are clauses42
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint21
Top cost 1734
Min constraint cost 1
Max constraint cost 95
Sum of constraints costs 1733
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 22
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120528
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3718062-1338248652.wbo
0.08/0.12	c reading problem ... 
0.08/0.19	c ... done. Wall clock time 0.066s.
0.08/0.19	c declared #vars     840
0.08/0.19	c internal #vars     875
0.08/0.19	c #constraints  82
0.08/0.19	c constraints type 
0.08/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 42
0.08/0.19	c org.sat4j.minisat.constraints.card.MinWatchCard => 21
0.08/0.19	c ignored satisfied constraints => 1
0.08/0.19	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19
0.08/0.19	c 83 constraints processed.
0.08/0.19	c objective function length is 35 literals
0.50/0.31	c SATISFIABLE
0.50/0.31	c OPTIMIZING...
0.50/0.31	c Got one! Elapsed wall clock time (in seconds):0.184
0.50/0.31	o 23
0.50/0.34	c Got one! Elapsed wall clock time (in seconds):0.216
0.50/0.34	o 20
0.69/0.44	c Got one! Elapsed wall clock time (in seconds):0.312
0.69/0.44	o 10
0.69/0.48	c Got one! Elapsed wall clock time (in seconds):0.36
0.69/0.48	o 6
0.90/0.66	c cleaning 3631 clauses out of 7316 with flag 16845/7316
1.37/1.08	c cleaning 4820 clauses out of 9681 with flag 64329/13312
2.18/1.86	c cleaning 5920 clauses out of 11860 with flag 123356/20311
3.30/2.90	c cleaning 6966 clauses out of 13941 with flag 187649/28312
4.52/4.10	c cleaning 7979 clauses out of 15974 with flag 261159/37311
5.83/5.47	c cleaning 8992 clauses out of 17995 with flag 344862/47311
7.44/7.05	c cleaning 10000 clauses out of 20006 with flag 438549/58314
9.25/8.90	c cleaning 10997 clauses out of 22002 with flag 550274/70310
11.37/10.98	c cleaning 11998 clauses out of 24005 with flag 665963/83310
13.78/13.32	c cleaning 13001 clauses out of 26008 with flag 778628/97311
16.79/16.35	c cleaning 13993 clauses out of 28009 with flag 910851/112313
20.11/19.60	c cleaning 15001 clauses out of 30013 with flag 1053035/128310
23.74/23.26	c cleaning 16001 clauses out of 32013 with flag 1199090/145311
27.96/27.43	c cleaning 17001 clauses out of 34011 with flag 1354413/163310
33.19/32.61	c cleaning 17994 clauses out of 36011 with flag 1534332/182311
37.43/36.82	c cleaning 19005 clauses out of 38016 with flag 1706093/202310
40.55/39.94	c cleaning 19999 clauses out of 40012 with flag 1867321/223311
43.49/42.85	c cleaning 20954 clauses out of 42012 with flag 2032183/245310
47.10/46.43	c cleaning 22000 clauses out of 44061 with flag 2210579/268313
50.74/50.00	c cleaning 23012 clauses out of 46058 with flag 2395987/292310
55.27/54.58	c cleaning 23982 clauses out of 48047 with flag 2580317/317311
60.61/59.87	c cleaning 24960 clauses out of 50064 with flag 2798931/343310
65.15/64.37	c cleaning 26048 clauses out of 52104 with flag 3046755/370310
68.88/68.10	c cleaning 27026 clauses out of 54058 with flag 3309578/398312
75.00/74.18	c cleaning 27997 clauses out of 56030 with flag 3554016/427310
79.53/78.66	c cleaning 28980 clauses out of 58033 with flag 3784202/457310
85.06/84.14	c cleaning 29993 clauses out of 60054 with flag 4042507/488311
91.38/90.46	c cleaning 31030 clauses out of 62067 with flag 4301537/520317
97.84/96.84	c cleaning 32010 clauses out of 64032 with flag 4563340/553312
105.00/103.97	c cleaning 33000 clauses out of 66020 with flag 4796048/587310
112.25/111.19	c cleaning 33988 clauses out of 68021 with flag 5152844/622311
120.06/119.00	c cleaning 34995 clauses out of 70034 with flag 5517602/658312
127.18/126.03	c cleaning 36013 clauses out of 72039 with flag 5847428/695312
135.20/134.00	c cleaning 36999 clauses out of 74025 with flag 6236357/733311
145.93/144.75	c cleaning 38002 clauses out of 76027 with flag 6618569/772312
154.89/153.63	c cleaning 38998 clauses out of 78024 with flag 7008320/812311
165.02/163.77	c cleaning 40008 clauses out of 80030 with flag 7451327/853315
175.99/174.61	c cleaning 40993 clauses out of 82019 with flag 7860751/895312
186.66/185.24	c cleaning 42002 clauses out of 84024 with flag 8296990/938310
198.66/197.30	c cleaning 43001 clauses out of 86022 with flag 8765169/982310
210.70/209.25	c cleaning 44009 clauses out of 88023 with flag 9175962/1027312
224.67/223.20	c cleaning 44994 clauses out of 90012 with flag 9613554/1073310
239.28/237.61	c cleaning 46006 clauses out of 92021 with flag 10082040/1120313
253.54/251.88	c cleaning 46998 clauses out of 94012 with flag 10574283/1168310
269.77/268.04	c cleaning 48003 clauses out of 96016 with flag 11126068/1217312
287.39/285.66	c cleaning 48998 clauses out of 98015 with flag 11617671/1267314
305.24/303.43	c cleaning 49994 clauses out of 100014 with flag 12163917/1318311
323.14/321.23	c cleaning 51006 clauses out of 102020 with flag 12699147/1370311
340.86/338.92	c cleaning 52004 clauses out of 104018 with flag 13246647/1423315
360.59/358.69	c cleaning 52982 clauses out of 106009 with flag 13882473/1477310
382.23/380.25	c cleaning 53997 clauses out of 108027 with flag 14541706/1532310
404.04/402.08	c cleaning 55011 clauses out of 110033 with flag 15185585/1588313
426.69/424.60	c cleaning 56005 clauses out of 112019 with flag 15800683/1645310
449.10/447.02	c cleaning 57002 clauses out of 114016 with flag 16416051/1703312
475.07/472.98	c cleaning 58000 clauses out of 116012 with flag 17041994/1762310
498.73/496.54	c cleaning 59000 clauses out of 118016 with flag 17768792/1822314
525.26/523.02	c cleaning 59999 clauses out of 120012 with flag 18398950/1883310
552.60/550.39	c cleaning 60983 clauses out of 122017 with flag 19123985/1945314
579.77/577.43	c cleaning 62004 clauses out of 124033 with flag 19777245/2008313
602.54/600.14	c cleaning 63007 clauses out of 126026 with flag 20450218/2072310
635.77/633.30	c cleaning 63996 clauses out of 128019 with flag 21277158/2137310
662.20/659.75	c cleaning 65005 clauses out of 130025 with flag 22006167/2203312
691.58/689.01	c cleaning 66001 clauses out of 132019 with flag 22675772/2270311
722.79/720.12	c cleaning 66997 clauses out of 134017 with flag 23416576/2338310
755.07/752.37	c cleaning 68008 clauses out of 136022 with flag 24249650/2407312
785.03/782.22	c cleaning 68999 clauses out of 138012 with flag 24992520/2477310
824.52/821.65	c cleaning 69995 clauses out of 140013 with flag 25833237/2548310
861.15/858.25	c cleaning 71005 clauses out of 142018 with flag 26627424/2620310
894.25/891.28	c cleaning 71995 clauses out of 144013 with flag 27436252/2693310
934.50/931.43	c cleaning 73005 clauses out of 146020 with flag 28256861/2767312
971.65/968.58	c cleaning 74003 clauses out of 148014 with flag 29101919/2842311
1011.84/1008.62	c cleaning 74999 clauses out of 150010 with flag 29970975/2918310
1051.90/1048.68	c cleaning 75997 clauses out of 152011 with flag 30838023/2995310
1090.81/1087.48	c cleaning 77000 clauses out of 154014 with flag 31723790/3073310
1129.26/1125.84	c cleaning 78006 clauses out of 156015 with flag 32554973/3152311
1180.91/1177.40	c cleaning 78994 clauses out of 158008 with flag 33512327/3232310
1233.66/1230.19	c cleaning 80001 clauses out of 160016 with flag 34502065/3313312
1279.22/1275.69	c cleaning 81004 clauses out of 162015 with flag 35403436/3395312
1333.10/1329.42	c cleaning 81999 clauses out of 164009 with flag 36452152/3478310
1375.91/1372.27	c cleaning 82988 clauses out of 166012 with flag 37447508/3562312
1434.57/1430.82	c cleaning 84005 clauses out of 168022 with flag 38393578/3647310
1501.93/1498.11	c cleaning 85002 clauses out of 170017 with flag 39419234/3733310
1564.74/1560.82	c cleaning 86002 clauses out of 172015 with flag 40541667/3820310
1627.62/1623.66	c cleaning 87001 clauses out of 174013 with flag 41648878/3908310
1684.43/1680.38	c cleaning 88001 clauses out of 176012 with flag 42617061/3997310
1750.43/1746.30	c cleaning 89003 clauses out of 178016 with flag 43774650/4087315
1800.01/1795.71	c starts		: 257
1800.01/1795.71	c conflicts		: 4166885
1800.01/1795.71	c decisions		: 5051371
1800.01/1795.71	c propagations		: 71663256
1800.01/1795.71	c inspects		: 22127782343
1800.01/1795.71	c shortcuts		: 0
1800.01/1795.71	c learnt literals	: 0
1800.01/1795.71	c learnt binary clauses	: 0
1800.01/1795.71	c learnt ternary clauses	: 0
1800.01/1795.71	c learnt constraints	: 4166885
1800.01/1795.71	c ignored constraints	: 0
1800.01/1795.71	c root simplifications	: 0
1800.01/1795.71	c removed literals (reason simplification)	: 0
1800.01/1795.71	c reason swapping (by a shorter reason)	: 0
1800.01/1795.71	c Calls to reduceDB	: 86
1800.01/1795.71	c Number of update (reduction) of LBD	: 2474070
1800.01/1795.71	c number of reductions to clauses (during analyze)	: 0
1800.01/1795.71	c number of learned constraints concerned by reduction	: 0
1800.01/1795.71	c number of learning phase by resolution	: 0
1800.01/1795.71	c number of learning phase by cutting planes	: 0
1800.01/1795.71	c speed (assignments/second)	: 39912.394494058804
1800.01/1795.71	c non guided choices	7512
1800.01/1795.74	c learnt constraints type 
1800.01/1795.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 168623
1800.01/1795.74	c constraints type 
1800.01/1795.74	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 42
1800.01/1795.74	c org.sat4j.minisat.constraints.card.MinWatchCard => 21
1800.01/1795.74	c ignored satisfied constraints => 1
1800.01/1795.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 20
1800.01/1795.74	c 84 constraints processed.
1800.01/1795.74	s SATISFIABLE
1800.01/1795.74	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 
1800.01/1795.74	c objective function=6
1800.01/1795.74	c Total wall clock time (in seconds): 1795.619

Verifier Data

OK	6

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-3718062-1338248652/watcher-3718062-1338248652 -o /tmp/evaluation-result-3718062-1338248652/solver-3718062-1338248652 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718062-1338248652.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: 2.06 2.02 2.01 3/196 30253
/proc/meminfo: memFree=30973164/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/30253/stat : 30253 (java) D 30251 30253 26693 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 290990547 9515008 175 33554432000 1073741824 1073778376 140735131199392 140735131182120 273589027728 0 0 4096 0 18446744072100748580 0 0 17 2 0 0 0 0 0
/proc/30253/statm: 2323 175 133 9 0 71 0

[startup+0.02736 s]
/proc/loadavg: 2.06 2.02 2.01 3/196 30253
/proc/meminfo: memFree=30973164/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9014776 CPUtime=0 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 2229 0 1 0 0 0 0 0 20 0 10 0 290990547 9231130624 2930 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2253694 2930 1080 9 0 2244803 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9014776

[startup+0.100278 s]
/proc/loadavg: 2.06 2.02 2.01 3/196 30253
/proc/meminfo: memFree=30973164/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 4125 0 1 0 7 1 0 0 20 0 18 0 290990547 9787817984 5327 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2389604 5329 2072 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300191 s]
/proc/loadavg: 2.06 2.02 2.01 3/196 30253
/proc/meminfo: memFree=30973164/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 6397 0 1 0 48 2 0 0 20 0 19 0 290990547 9855979520 7798 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2406245 7798 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624980

[startup+0.700191 s]
/proc/loadavg: 2.06 2.02 2.01 3/196 30253
/proc/meminfo: memFree=30973164/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9624980 CPUtime=1.04 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 7528 0 1 0 102 2 0 0 20 0 19 0 290990547 9855979520 11612 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2406245 11612 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 9624980

[startup+1.50059 s]
/proc/loadavg: 2.06 2.02 2.01 3/215 30272
/proc/meminfo: memFree=30934424/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9624980 CPUtime=1.88 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 7541 0 1 0 185 3 0 0 20 0 19 0 290990547 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2406245 12640 2264 9 0 2396937 0
[pid=30253/tid=30255] ppid=30251 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/30253/task/30255/stat : 30255 (java) R 30251 30253 26693 0 -1 4202560 2470 0 1 0 142 1 0 0 20 0 19 0 290990549 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257479500064 140257341652578 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30256] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30256/stat : 30256 (java) S 30251 30253 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257468561832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30257] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30257/stat : 30257 (java) S 30251 30253 26693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257467509288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30258] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30258/stat : 30258 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257466456232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30259] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30259/stat : 30259 (java) S 30251 30253 26693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257465403688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30260] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30260/stat : 30260 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257464351656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30261] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30261/stat : 30261 (java) S 30251 30253 26693 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257463299112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30262] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30262/stat : 30262 (java) S 30251 30253 26693 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257462246056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30263] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30263/stat : 30263 (java) S 30251 30253 26693 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257461193512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30264] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30264/stat : 30264 (java) S 30251 30253 26693 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 290990551 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257303542120 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30265] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30265/stat : 30265 (java) S 30251 30253 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257302488440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30266] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30266/stat : 30266 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257301435272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30267] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30267/stat : 30267 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257300384016 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30268] ppid=30251 vsize=9624980 CPUtime=0.2 cores=0,2,4,6
/proc/30253/task/30268/stat : 30268 (java) S 30251 30253 26693 0 -1 4202560 2197 0 0 0 20 0 0 0 20 0 19 0 290990554 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257299331896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30269] ppid=30251 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/30253/task/30269/stat : 30269 (java) S 30251 30253 26693 0 -1 4202560 1624 0 0 0 16 0 0 0 20 0 19 0 290990554 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257298279352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30270] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30270/stat : 30270 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257297226488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30271] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30271/stat : 30271 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257296174152 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30272] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30272/stat : 30272 (java) S 30251 30253 26693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290990567 9855979520 12640 33554432000 1073741824 1073778376 140736681518656 140257295119400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9624980

[startup+3.10067 s]
/proc/loadavg: 2.06 2.02 2.01 3/215 30272
/proc/meminfo: memFree=30923936/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9624980 CPUtime=3.52 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 7574 0 1 0 348 4 0 0 20 0 19 0 290990547 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2406245 16237 2265 9 0 2396937 0
[pid=30253/tid=30255] ppid=30251 vsize=9624980 CPUtime=2.99 cores=0,2,4,6
/proc/30253/task/30255/stat : 30255 (java) R 30251 30253 26693 0 -1 4202560 2473 0 1 0 298 1 0 0 20 0 19 0 290990549 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257479500064 140257341651883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30256] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30256/stat : 30256 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257468561832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30257] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30257/stat : 30257 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257467509288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30258] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30258/stat : 30258 (java) S 30251 30253 26693 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257466456232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30259] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30259/stat : 30259 (java) S 30251 30253 26693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257465403688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30260] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30260/stat : 30260 (java) S 30251 30253 26693 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257464351656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30261] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30261/stat : 30261 (java) S 30251 30253 26693 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257463299112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30262] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30262/stat : 30262 (java) S 30251 30253 26693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257462246056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30263] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30263/stat : 30263 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257461193512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30264] ppid=30251 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/30253/task/30264/stat : 30264 (java) S 30251 30253 26693 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 290990551 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257303542120 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30265] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30265/stat : 30265 (java) S 30251 30253 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257302488440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30266] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30266/stat : 30266 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257301435272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30267] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30267/stat : 30267 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257300384016 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30268] ppid=30251 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/30253/task/30268/stat : 30268 (java) S 30251 30253 26693 0 -1 4202560 2199 0 0 0 22 0 0 0 20 0 19 0 290990554 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257299331896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30269] ppid=30251 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/30253/task/30269/stat : 30269 (java) S 30251 30253 26693 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 290990554 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257298279352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30270] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30270/stat : 30270 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257297226488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30271] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30271/stat : 30271 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257296174152 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30272] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30272/stat : 30272 (java) S 30251 30253 26693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290990567 9855979520 16237 33554432000 1073741824 1073778376 140736681518656 140257295119400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 9624980

[startup+6.3006 s]
/proc/loadavg: 2.06 2.02 2.01 3/215 30272
/proc/meminfo: memFree=30909112/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9624980 CPUtime=6.74 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 7589 0 1 0 670 4 0 0 20 0 19 0 290990547 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2406245 18292 2265 9 0 2396937 0
[pid=30253/tid=30255] ppid=30251 vsize=9624980 CPUtime=6.15 cores=0,2,4,6
/proc/30253/task/30255/stat : 30255 (java) R 30251 30253 26693 0 -1 4202560 2477 0 1 0 614 1 0 0 20 0 19 0 290990549 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257479500280 140257341698720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30256] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30256/stat : 30256 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257468561832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30257] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30257/stat : 30257 (java) S 30251 30253 26693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257467509288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30258] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30258/stat : 30258 (java) S 30251 30253 26693 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257466456232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30259] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30259/stat : 30259 (java) S 30251 30253 26693 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257465403688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30260] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30260/stat : 30260 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257464351656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30261] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30261/stat : 30261 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257463299112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30262] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30262/stat : 30262 (java) S 30251 30253 26693 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257462246056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30263] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30263/stat : 30263 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990550 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257461193512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30264] ppid=30251 vsize=9624980 CPUtime=0.05 cores=0,2,4,6
/proc/30253/task/30264/stat : 30264 (java) S 30251 30253 26693 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 19 0 290990551 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257303542120 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30265] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30265/stat : 30265 (java) S 30251 30253 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257302488440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30266] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30266/stat : 30266 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257301435272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30267] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30267/stat : 30267 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257300384016 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30268] ppid=30251 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/30253/task/30268/stat : 30268 (java) S 30251 30253 26693 0 -1 4202560 2199 0 0 0 22 0 0 0 20 0 19 0 290990554 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257299331896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30269] ppid=30251 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/30253/task/30269/stat : 30269 (java) S 30251 30253 26693 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 290990554 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257298279352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30270] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30270/stat : 30270 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257297226488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30271] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30271/stat : 30271 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257296174152 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30272] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30272/stat : 30272 (java) S 30251 30253 26693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290990567 9855979520 18292 33554432000 1073741824 1073778376 140736681518656 140257295119400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=30253/tid=30268] ppid=30251 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/30253/task/30268/stat : 30268 (java) S 30251 30253 26693 0 -1 4202560 2230 0 0 0 25 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257299331896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30269] ppid=30251 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/30253/task/30269/stat : 30269 (java) S 30251 30253 26693 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257298279352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30270] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30270/stat : 30270 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257297226488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30271] ppid=30251 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/30253/task/30271/stat : 30271 (java) S 30251 30253 26693 0 -1 4202560 99 0 0 0 38 30 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257296174152 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30272] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30272/stat : 30272 (java) S 30251 30253 26693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290990567 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257295119400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.52
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 30371
/proc/meminfo: memFree=30642268/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9624980 CPUtime=1786.59 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 9721 0 1 0 178603 56 0 0 20 0 19 0 290990547 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2406245 83946 2266 9 0 2396937 0
[pid=30253/tid=30255] ppid=30251 vsize=9624980 CPUtime=1772.8 cores=0,2,4,6
/proc/30253/task/30255/stat : 30255 (java) R 30251 30253 26693 0 -1 4202560 2599 0 1 0 177249 31 0 0 20 0 19 0 290990549 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257479500064 140257341699485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30256] ppid=30251 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/30253/task/30256/stat : 30256 (java) S 30251 30253 26693 0 -1 4202560 232 0 0 0 61 4 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257468561832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30257] ppid=30251 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/30253/task/30257/stat : 30257 (java) S 30251 30253 26693 0 -1 4202560 113 0 0 0 52 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257467509288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30258] ppid=30251 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/30253/task/30258/stat : 30258 (java) S 30251 30253 26693 0 -1 4202560 322 0 0 0 55 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257466456232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30259] ppid=30251 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/30253/task/30259/stat : 30259 (java) S 30251 30253 26693 0 -1 4202560 283 0 0 0 60 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257465403688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30260] ppid=30251 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/30253/task/30260/stat : 30260 (java) S 30251 30253 26693 0 -1 4202560 149 0 0 0 54 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257464351656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30261] ppid=30251 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/30253/task/30261/stat : 30261 (java) S 30251 30253 26693 0 -1 4202560 308 0 0 0 60 2 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257463299112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30262] ppid=30251 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/30253/task/30262/stat : 30262 (java) S 30251 30253 26693 0 -1 4202560 280 0 0 0 64 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257462246056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30263] ppid=30251 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/30253/task/30263/stat : 30263 (java) S 30251 30253 26693 0 -1 4202560 166 0 0 0 61 2 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257461193512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30264] ppid=30251 vsize=9624980 CPUtime=3.39 cores=0,2,4,6
/proc/30253/task/30264/stat : 30264 (java) S 30251 30253 26693 0 -1 4202560 131 0 0 0 337 2 0 0 20 0 19 0 290990551 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257303542120 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30265] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30265/stat : 30265 (java) S 30251 30253 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257302488440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30266] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30266/stat : 30266 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257301435272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30267] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30267/stat : 30267 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257300384016 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30268] ppid=30251 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/30253/task/30268/stat : 30268 (java) S 30251 30253 26693 0 -1 4202560 2230 0 0 0 25 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257299331896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30269] ppid=30251 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/30253/task/30269/stat : 30269 (java) S 30251 30253 26693 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257298279352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30270] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30270/stat : 30270 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257297226488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30271] ppid=30251 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/30253/task/30271/stat : 30271 (java) S 30251 30253 26693 0 -1 4202560 103 0 0 0 40 31 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257296174152 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30272] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30272/stat : 30272 (java) S 30251 30253 26693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290990567 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257295119400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 30371
/proc/meminfo: memFree=30593116/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9624980 CPUtime=1800.01 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 9721 0 1 0 179944 57 0 0 20 0 19 0 290990547 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2406245 83946 2266 9 0 2396937 0
[pid=30253/tid=30255] ppid=30251 vsize=9624980 CPUtime=1786.17 cores=0,2,4,6
/proc/30253/task/30255/stat : 30255 (java) R 30251 30253 26693 0 -1 4202560 2599 0 1 0 178585 32 0 0 20 0 19 0 290990549 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257479500064 140257341698715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30256] ppid=30251 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/30253/task/30256/stat : 30256 (java) S 30251 30253 26693 0 -1 4202560 232 0 0 0 61 4 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257468561832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30257] ppid=30251 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/30253/task/30257/stat : 30257 (java) S 30251 30253 26693 0 -1 4202560 113 0 0 0 52 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257467509288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30258] ppid=30251 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/30253/task/30258/stat : 30258 (java) S 30251 30253 26693 0 -1 4202560 322 0 0 0 55 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257466456232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30259] ppid=30251 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/30253/task/30259/stat : 30259 (java) S 30251 30253 26693 0 -1 4202560 283 0 0 0 60 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257465403688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30260] ppid=30251 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/30253/task/30260/stat : 30260 (java) S 30251 30253 26693 0 -1 4202560 149 0 0 0 54 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257464351656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30261] ppid=30251 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/30253/task/30261/stat : 30261 (java) S 30251 30253 26693 0 -1 4202560 308 0 0 0 60 2 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257463299112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30262] ppid=30251 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/30253/task/30262/stat : 30262 (java) S 30251 30253 26693 0 -1 4202560 280 0 0 0 64 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257462246056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30263] ppid=30251 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/30253/task/30263/stat : 30263 (java) S 30251 30253 26693 0 -1 4202560 166 0 0 0 61 2 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257461193512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30264] ppid=30251 vsize=9624980 CPUtime=3.39 cores=0,2,4,6
/proc/30253/task/30264/stat : 30264 (java) S 30251 30253 26693 0 -1 4202560 131 0 0 0 337 2 0 0 20 0 19 0 290990551 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257303542120 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30265] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30265/stat : 30265 (java) S 30251 30253 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257302488440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30266] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30266/stat : 30266 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257301435272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30267] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30267/stat : 30267 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257300384016 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30268] ppid=30251 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/30253/task/30268/stat : 30268 (java) S 30251 30253 26693 0 -1 4202560 2230 0 0 0 25 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257299331896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30269] ppid=30251 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/30253/task/30269/stat : 30269 (java) S 30251 30253 26693 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257298279352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30270] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30270/stat : 30270 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257297226488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30271] ppid=30251 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/30253/task/30271/stat : 30271 (java) S 30251 30253 26693 0 -1 4202560 103 0 0 0 40 31 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257296174152 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30272] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30272/stat : 30272 (java) S 30251 30253 26693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290990567 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257295119400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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

[startup+1795.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 30371
/proc/meminfo: memFree=30593116/32873844 swapFree=7112/7112
[pid=30253] ppid=30251 vsize=9624980 CPUtime=1800.01 cores=0,2,4,6
/proc/30253/stat : 30253 (java) S 30251 30253 26693 0 -1 4202496 9721 0 1 0 179944 57 0 0 20 0 19 0 290990547 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140736681509792 273592385597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/30253/statm: 2406245 83946 2266 9 0 2396937 0
[pid=30253/tid=30255] ppid=30251 vsize=9624980 CPUtime=1786.17 cores=0,2,4,6
/proc/30253/task/30255/stat : 30255 (java) R 30251 30253 26693 0 -1 4202560 2599 0 1 0 178585 32 0 0 20 0 19 0 290990549 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257479500064 140257341698715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30256] ppid=30251 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/30253/task/30256/stat : 30256 (java) S 30251 30253 26693 0 -1 4202560 232 0 0 0 61 4 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257468561832 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30257] ppid=30251 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/30253/task/30257/stat : 30257 (java) S 30251 30253 26693 0 -1 4202560 113 0 0 0 52 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257467509288 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30258] ppid=30251 vsize=9624980 CPUtime=0.58 cores=0,2,4,6
/proc/30253/task/30258/stat : 30258 (java) S 30251 30253 26693 0 -1 4202560 322 0 0 0 55 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257466456232 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30259] ppid=30251 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/30253/task/30259/stat : 30259 (java) S 30251 30253 26693 0 -1 4202560 283 0 0 0 60 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257465403688 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30260] ppid=30251 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/30253/task/30260/stat : 30260 (java) S 30251 30253 26693 0 -1 4202560 149 0 0 0 54 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257464351656 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30261] ppid=30251 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/30253/task/30261/stat : 30261 (java) S 30251 30253 26693 0 -1 4202560 308 0 0 0 60 2 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257463299112 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30262] ppid=30251 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/30253/task/30262/stat : 30262 (java) S 30251 30253 26693 0 -1 4202560 280 0 0 0 64 3 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257462246056 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30253/tid=30263] ppid=30251 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/30253/task/30263/stat : 30263 (java) S 30251 30253 26693 0 -1 4202560 166 0 0 0 61 2 0 0 20 0 19 0 290990550 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257461193512 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30264] ppid=30251 vsize=9624980 CPUtime=3.39 cores=0,2,4,6
/proc/30253/task/30264/stat : 30264 (java) S 30251 30253 26693 0 -1 4202560 131 0 0 0 337 2 0 0 20 0 19 0 290990551 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257303542120 273592399785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30265] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30265/stat : 30265 (java) S 30251 30253 26693 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257302488440 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30266] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30266/stat : 30266 (java) S 30251 30253 26693 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290990552 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257301435272 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30267] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30267/stat : 30267 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257300384016 273592407840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30253/tid=30268] ppid=30251 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/30253/task/30268/stat : 30268 (java) S 30251 30253 26693 0 -1 4202560 2230 0 0 0 25 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257299331896 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30269] ppid=30251 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/30253/task/30269/stat : 30269 (java) S 30251 30253 26693 0 -1 4202560 1624 0 0 0 17 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257298279352 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30270] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30270/stat : 30270 (java) S 30251 30253 26693 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257297226488 273592398908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30253/tid=30271] ppid=30251 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/30253/task/30271/stat : 30271 (java) S 30251 30253 26693 0 -1 4202560 103 0 0 0 40 31 0 0 20 0 19 0 290990554 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257296174152 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30253/tid=30272] ppid=30251 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30253/task/30272/stat : 30272 (java) S 30251 30253 26693 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290990567 9855979520 83946 33554432000 1073741824 1073778376 140736681518656 140257295119400 273592399785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624980

Child status: 143

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

Real time (s): 1795.75
CPU time (s): 1800.01
CPU user time (s): 1799.44
CPU system time (s): 0.57
CPU usage (%): 100.237
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.94
system time used= 1.02184
maximum resident set size= 335948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9767
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40464
involuntary context switches= 15827

runsolver used 6.20006 second user time and 15.2027 second system time

The end

Launcher Data

Begin job on node132 at 2012-05-29 01:44:12
IDJOB=3718062
IDBENCH=78666
IDSOLVER=2301
FILE ID=node132/3718062-1338248652
RUNJOBID= node132-1338248099-29404
PBS_JOBID= 14624620
Free space on /tmp= 71636 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718062-1338248652/watcher-3718062-1338248652 -o /tmp/evaluation-result-3718062-1338248652/solver-3718062-1338248652 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718062-1338248652.wbo

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

MD5SUM BENCH= d97c5722fe377ef62d4d83eb3fe2e1eb
RANDOM SEED=648130962

node132.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.832
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.66
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.832
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.55
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.832
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.56
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.832
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.56
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.832
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		: 2666.832
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.56
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.832
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.55
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.832
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30973436 kB
Buffers:          492156 kB
Cached:           256320 kB
SwapCached:         2028 kB
Active:           679816 kB
Inactive:         328356 kB
Active(anon):     252012 kB
Inactive(anon):     8200 kB
Active(file):     427804 kB
Inactive(file):   320156 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:                80 kB
Writeback:             0 kB
AnonPages:        355244 kB
Mapped:            19288 kB
Shmem:                 8 kB
Slab:             754400 kB
SReclaimable:     195780 kB
SUnreclaim:       558620 kB
KernelStack:        1776 kB
PageTables:         4460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     826276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 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= 71636 MiB
End job on node132 at 2012-05-29 02:14:10