Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.06 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-mlp4.r.opb |
MD5SUM | c216dcb87e9001dad9e1252e03860f2a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 109 |
Best CPU time to get the best result obtained on this benchmark | 0.222966 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 109 |
Optimality of the best value was proved | YES |
Number of variables | 594 |
Total number of constraints | 530 |
Number of constraints which are clauses | 530 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 594 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 594 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 594 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.45 c 594 530 0 0 0 0 0 0 0.00/0.45 o 136 0.00/0.45 c 512 ~x1135+256 ~x1134+128 ~x1133+64 ~x1132+32 ~x1131+16 ~x1130+8 ~x1129+4 ~x1128+2 ~x1127+1 ~x1126+1 ~x595+1 ~x594+1 ~x593+1 ~x592+1 ~x591+1 ~x590+1 ~x589+1 ~x588+1 ~x587+1 ~x586+1 ~x585+1 ~x584+1 ~x583+1 ~x582+1 ~x581+1 ~x580+1 ~x579+1 ~x578+1 ~x577+1 ~x576+1 ~x575+1 ~x574+1 ~x573+1 ~x572+1 ~x571+1 ~x570+1 ~x569+1 ~x568+1 ~x567+1 ~x566+1 ~x565+1 ~x564+1 ~x563+1 ~x562+1 ~x561+1 ~x560+1 ~x559+1 ~x558+1 ~x557+1 ~x556+1 ~x555+1 ~x554+1 ~x553+1 ~x552+1 ~x551+1 ~x550+1 ~x549+1 ~x548+1 ~x547+1 ~x546+1 ~x545+1 ~x544+1 ~x543+1 ~x542+1 ~x541+1 ~x540+1 ~x539+1 ~x538+1 ~x537+1 ~x536+1 ~x535+1 ~x534+1 ~x533+1 ~x532+1 ~x531+1 ~x530+1 ~x529+1 ~x528+1 ~x527+1 ~x526+1 ~x525+1 ~x524+1 ~x523+1 ~x522+1 ~x521+1 ~x520+1 ~x519+1 ~x518+1 ~x517+1 ~x516+1 ~x515+1 ~x514+1 ~x513+1 ~x512+1 ~x511+1 ~x510+1 ~x509+1 ~x508+1 ~x507+1 ~x506+1 ~x505+1 ~x504+1 ~x503+1 ~x502+1 ~x501+1 ~x500+1 ~x499+1 ~x498+1 ~x497+1 ~x496+1 ~x495+1 ~x494+1 ~x493+1 ~x492+1 ~x491+1 ~x490+1 ~x489+1 ~x488+1 ~x487+1 ~x486+1 ~x485+1 ~x484+1 ~x483+1 ~x482+1 ~x481+1 ~x480+1 ~x479+1 ~x478+1 ~x477+1 ~x476+1 ~x475+1 ~x474+1 ~x473+1 ~x472+1 ~x471+1 ~x470+1 ~x469+1 ~x468+1 ~x467+1 ~x466+1 ~x465+1 ~x464+1 ~x463+1 ~x462+1 ~x461+1 ~x460+1 ~x459+1 ~x458+1 ~x457+1 ~x456+1 ~x455+1 ~x454+1 ~x453+1 ~x452+1 ~x451+1 ~x450+1 ~x449+1 ~x448+1 ~x447+1 ~x446+1 ~x445+1 ~x444+1 ~x443+1 ~x442+1 ~x441+1 ~x440+1 ~x439+1 ~x438+1 ~x437+1 ~x436+1 ~x435+1 ~x434+1 ~x433+1 ~x432+1 ~x431+1 ~x430+1 ~x429+1 ~x428+1 ~x427+1 ~x426+1 ~x425+1 ~x424+1 ~x423+1 ~x422+1 ~x421+1 ~x420+1 ~x419+1 ~x418+1 ~x417+1 ~x416+1 ~x415+1 ~x414+1 ~x413+1 ~x412+1 ~x411+1 ~x410+1 ~x409+1 ~x408+1 ~x407+1 ~x406+1 ~x405+1 ~x404+1 ~x403+1 ~x402+1 ~x401+1 ~x400+1 ~x399+1 ~x398+1 ~x397+1 ~x396+1 ~x395+1 ~x394+1 ~x393+1 ~x392+1 ~x391+1 ~x390+1 ~x389+1 ~x388+1 ~x387+1 ~x386+1 ~x385+1 ~x384+1 ~x383+1 ~x382+1 ~x381+1 ~x380+1 ~x379+1 ~x378+1 ~x377+1 ~x376+1 ~x375+1 ~x374+1 ~x373+1 ~x372+1 ~x371+1 ~x370+1 ~x369+1 ~x368+1 ~x367+1 ~x366+1 ~x365+1 ~x364+1 ~x363+1 ~x362+1 ~x361+1 ~x360+1 ~x359+1 ~x358+1 ~x357+1 ~x356+1 ~x355+1 ~x354+1 ~x353+1 ~x352+1 ~x351+1 ~x350+1 ~x349+1 ~x348+1 ~x347+1 ~x346+1 ~x345+1 ~x344+1 ~x343+1 ~x342+1 ~x341+1 ~x340+1 ~x339+1 ~x338+1 ~x337+1 ~x336+1 ~x335+1 ~x334+1 ~x333+1 ~x332+1 ~x331+1 ~x330+1 ~x329+1 ~x328+1 ~x327+1 ~x326+1 ~x325+1 ~x324+1 ~x323+1 ~x322+1 ~x321+1 ~x320+1 ~x319+1 ~x318+1 ~x317+1 ~x316+1 ~x315+1 ~x314+1 ~x313+1 ~x312+1 ~x311+1 ~x310+1 ~x309+1 ~x308+1 ~x307+1 ~x306+1 ~x305+1 ~x304+1 ~x303+1 ~x302+1 ~x301+1 ~x300+1 ~x299+1 ~x298+1 ~x297+1 ~x296+1 ~x295+1 ~x294+1 ~x293+1 ~x292+1 ~x291+1 ~x290+1 ~x289+1 ~x288+1 ~x287+1 ~x286+1 ~x285+1 ~x284+1 ~x283+1 ~x282+1 ~x281+1 ~x280+1 ~x279+1 ~x278+1 ~x277+1 ~x276+1 ~x275+1 ~x274+1 ~x273+1 ~x272+1 ~x271+1 ~x270+1 ~x269+1 ~x268+1 ~x267+1 ~x266+1 ~x265+1 ~x264+1 ~x263+1 ~x262+1 ~x261+1 ~x260+1 ~x259+1 ~x258+1 ~x257+1 ~x256+1 ~x255+1 ~x254+1 ~x253+1 ~x252+1 ~x251+1 ~x250+1 ~x249+1 ~x248+1 ~x247+1 ~x246+1 ~x245+1 ~x244+1 ~x243+1 ~x242+1 ~x241+1 ~x240+1 ~x239+1 ~x238+1 ~x237+1 ~x236+1 ~x235+1 ~x234+1 ~x233+1 ~x232+1 ~x231+1 ~x230+1 ~x229+1 ~x228+1 ~x227+1 ~x226+1 ~x225+1 ~x224+1 ~x223+1 ~x222+1 ~x221+1 ~x220+1 ~x219+1 ~x218+1 ~x217+1 ~x216+1 ~x215+1 ~x214+1 ~x213+1 ~x212+1 ~x211+1 ~x210+1 ~x209+1 ~x208+1 ~x207+1 ~x206+1 ~x205+1 ~x204+1 ~x203+1 ~x202+1 ~x201+1 ~x200+1 ~x199+1 ~x198+1 ~x197+1 ~x196+1 ~x195+1 ~x194+1 ~x193+1 ~x192+1 ~x191+1 ~x190+1 ~x189+1 ~x188+1 ~x187+1 ~x186+1 ~x185+1 ~x184+1 ~x183+1 ~x182+1 ~x181+1 ~x180+1 ~x179+1 ~x178+1 ~x177+1 ~x176+1 ~x175+1 ~x174+1 ~x173+1 ~x172+1 ~x171+1 ~x170+1 ~x169+1 ~x168+1 ~x167+1 ~x166+1 ~x165+1 ~x164+1 ~x163+1 ~x162+1 ~x161+1 ~x160+1 ~x159+1 ~x158+1 ~x157+1 ~x156+1 ~x155+1 ~x154+1 ~x153+1 ~x152+1 ~x151+1 ~x150+1 ~x149+1 ~x148+1 ~x147+1 ~x146+1 ~x145+1 ~x144+1 ~x143+1 ~x142+1 ~x141+1 ~x140+1 ~x139+1 ~x138+1 ~x137+1 ~x136+1 ~x135+1 ~x134+1 ~x133+1 ~x132+1 ~x131+1 ~x130+1 ~x129+1 ~x128+1 ~x127+1 ~x126+1 ~x125+1 ~x124+1 ~x123+1 ~x122+1 ~x121+1 ~x120+1 ~x119+1 ~x118+1 ~x117+1 ~x116+1 ~x115+1 ~x114+1 ~x113+1 ~x112+1 ~x111+1 ~x110+1 ~x109+1 ~x108+1 ~x107+1 ~x106+1 ~x105+1 ~x104+1 ~x103+1 ~x102+1 ~x101+1 ~x100+1 ~x99+1 ~x98+1 ~x97+1 ~x96+1 ~x95+1 ~x94+1 ~x93+1 ~x92+1 ~x91+1 ~x90+1 ~x89+1 ~x88+1 ~x87+1 ~x86+1 ~x85+1 ~x84+1 ~x83+1 ~x82+1 ~x81+1 ~x80+1 ~x79+1 ~x78+1 ~x77+1 ~x76+1 ~x75+1 ~x74+1 ~x73+1 ~x72+1 ~x71+1 ~x70+1 ~x69+1 ~x68+1 ~x67+1 ~x66+1 ~x65+1 ~x64+1 ~x63+1 ~x62+1 ~x61+1 ~x60+1 ~x59+1 ~x58+1 ~x57+1 ~x56+1 ~x55+1 ~x54+1 ~x53+1 ~x52+1 ~x51+1 ~x50+1 ~x49+1 ~x48+1 ~x47+1 ~x46+1 ~x45+1 ~x44+1 ~x43+1 ~x42+1 ~x41+1 ~x40+1 ~x39+1 ~x38+1 ~x37+1 ~x36+1 ~x35+1 ~x34+1 ~x33+1 ~x32+1 ~x31+1 ~x30+1 ~x29+1 ~x28+1 ~x27+
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674799-1276801717/watcher-2674799-1276801717 -o /tmp/evaluation-result-2674799-1276801717/solver-2674799-1276801717 -C 1800 -W 2000 -M 1800 run HOME/instance-2674799-1276801717.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22688 /proc/meminfo: memFree=1874264/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [startup+0.0310031 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22688 /proc/meminfo: memFree=1874264/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101011 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22688 /proc/meminfo: memFree=1874264/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301033 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22688 /proc/meminfo: memFree=1874264/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701064 s] /proc/loadavg: 1.00 1.00 1.00 3/106 22688 /proc/meminfo: memFree=1874264/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50113 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22691 /proc/meminfo: memFree=1796128/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=74524 CPUtime=1.48 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 21802 0 0 0 130 18 0 0 25 0 1 0 21463564 76312576 17843 1992294400 134512640 134902295 4292172000 18446744073709551615 4159909079 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 18631 17843 262 96 0 17843 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 83224 [startup+3.10128 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22691 /proc/meminfo: memFree=1802824/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=75052 CPUtime=3.08 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 21929 0 0 0 290 18 0 0 25 0 1 0 21463564 76853248 17970 1992294400 134512640 134902295 4292172000 18446744073709551615 4159903830 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 18763 17970 269 96 0 17975 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 83752 [startup+6.30158 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22691 /proc/meminfo: memFree=1801336/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=76652 CPUtime=6.28 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 22339 0 0 0 610 18 0 0 25 0 1 0 21463564 78491648 18380 1992294400 134512640 134902295 4292172000 18446744073709551615 4159909306 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 19163 18380 269 96 0 18375 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 85352 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22691 /proc/meminfo: memFree=1798112/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=79560 CPUtime=12.68 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 23073 0 0 0 1249 19 0 0 25 0 1 0 21463564 81469440 19114 1992294400 134512640 134902295 4292172000 18446744073709551615 4159908697 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 19890 19114 269 96 0 19102 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 88260 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22691 /proc/meminfo: memFree=1792904/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=84528 CPUtime=25.47 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 24313 0 0 0 2527 20 0 0 25 0 1 0 21463564 86556672 20354 1992294400 134512640 134902295 4292172000 18446744073709551615 4159902172 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 21132 20354 269 96 0 20344 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 93228 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22693 /proc/meminfo: memFree=1783852/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=94108 CPUtime=51.07 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 26658 0 0 0 5085 22 0 0 25 0 1 0 21463564 96366592 22699 1992294400 134512640 134902295 4292172000 18446744073709551615 4159890181 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 23527 22699 269 96 0 22739 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 102808 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22693 /proc/meminfo: memFree=1760664/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=116660 CPUtime=102.26 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 32299 0 0 0 10202 24 0 0 25 0 1 0 21463564 119459840 28340 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920580 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 29165 28340 269 96 0 28377 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 125360 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22695 /proc/meminfo: memFree=1747768/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=129492 CPUtime=162.24 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 35526 0 0 0 16197 27 0 0 25 0 1 0 21463564 132599808 31567 1992294400 134512640 134902295 4292172000 18446744073709551615 4159890146 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 32373 31567 269 96 0 31585 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 138192 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22697 /proc/meminfo: memFree=1733136/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=144064 CPUtime=222.22 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 39142 0 0 0 22192 30 0 0 25 0 1 0 21463564 147521536 35183 1992294400 134512640 134902295 4292172000 18446744073709551615 4159890055 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 36016 35183 269 96 0 35228 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 152764 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22699 /proc/meminfo: memFree=1722348/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=155256 CPUtime=282.21 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 41866 0 0 0 28188 33 0 0 25 0 1 0 21463564 158982144 37907 1992294400 134512640 134902295 4292172000 18446744073709551615 4159902449 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 38814 37907 269 96 0 38026 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 163956 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22701 /proc/meminfo: memFree=1712428/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=165036 CPUtime=342.19 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 44326 0 0 0 34184 35 0 0 25 0 1 0 21463564 168996864 40367 1992294400 134512640 134902295 4292172000 18446744073709551615 4159902324 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 41259 40367 269 96 0 40471 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 173736 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22701 /proc/meminfo: memFree=1703996/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=173364 CPUtime=402.17 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 46440 0 0 0 40179 38 0 0 25 0 1 0 21463564 177524736 42481 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920620 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 43341 42481 269 96 0 42553 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 182064 [startup+462.301 s] ################ # More data... # ################ /proc/22690/statm: 46749 45897 269 96 0 45961 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 195696 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22723 /proc/meminfo: memFree=1689736/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=186996 CPUtime=1181.95 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 49858 0 0 0 118154 41 0 0 25 0 1 0 21463564 191483904 45899 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920604 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 46749 45899 269 96 0 45961 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 195696 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22725 /proc/meminfo: memFree=1686760/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=189800 CPUtime=1241.93 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 50538 0 0 0 124152 41 0 0 25 0 1 0 21463564 194355200 46579 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920254 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 47450 46579 269 96 0 46662 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 198500 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22725 /proc/meminfo: memFree=1683784/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=192704 CPUtime=1301.91 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 51274 0 0 0 130149 42 0 0 25 0 1 0 21463564 197328896 47315 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920254 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 48176 47315 269 96 0 47388 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 201404 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22727 /proc/meminfo: memFree=1680932/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=195476 CPUtime=1361.89 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 51987 0 0 0 136146 43 0 0 25 0 1 0 21463564 200167424 48028 1992294400 134512640 134902295 4292172000 18446744073709551615 4159890055 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 48869 48028 269 96 0 48081 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 204176 [startup+1422.31 s] /proc/loadavg: 1.08 1.02 1.01 2/108 22732 /proc/meminfo: memFree=1676964/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=199004 CPUtime=1421.87 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 52812 0 0 0 142143 44 0 0 25 0 1 0 21463564 203780096 48853 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920467 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 49751 48853 269 96 0 48963 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 207704 [startup+1482.3 s] /proc/loadavg: 1.07 1.03 1.00 2/108 22734 /proc/meminfo: memFree=1673492/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=202444 CPUtime=1481.85 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 53685 0 0 0 148140 45 0 0 25 0 1 0 21463564 207302656 49726 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920254 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 50611 49726 269 96 0 49823 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 211144 [startup+1542.3 s] /proc/loadavg: 1.02 1.02 1.00 2/108 22736 /proc/meminfo: memFree=1669772/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=206140 CPUtime=1541.83 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 54614 0 0 0 154137 46 0 0 25 0 1 0 21463564 211087360 50655 1992294400 134512640 134902295 4292172000 18446744073709551615 4159923203 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 51535 50655 269 96 0 50747 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 214840 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/108 22736 /proc/meminfo: memFree=1666052/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=210108 CPUtime=1601.81 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 55552 0 0 0 160134 47 0 0 25 0 1 0 21463564 215150592 51593 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920254 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 52527 51593 269 96 0 51739 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 218808 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 22738 /proc/meminfo: memFree=1663324/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=212764 CPUtime=1661.79 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 56231 0 0 0 166131 48 0 0 25 0 1 0 21463564 217870336 52272 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920254 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 53191 52272 269 96 0 52403 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 221464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22740 /proc/meminfo: memFree=1660720/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=215932 CPUtime=1721.77 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 56882 0 0 0 172129 48 0 0 25 0 1 0 21463564 221114368 52923 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920416 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 53983 52923 269 96 0 53195 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 224632 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22742 /proc/meminfo: memFree=1657868/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=218800 CPUtime=1781.75 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 57579 0 0 0 178126 49 0 0 25 0 1 0 21463564 224051200 53620 1992294400 134512640 134902295 4292172000 18446744073709551615 4159890033 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 54700 53620 269 96 0 53912 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 227500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22742 /proc/meminfo: memFree=1656876/2059040 swapFree=4140524/4192956 [pid=22688] ppid=22686 vsize=8700 CPUtime=0 /proc/22688/stat : 22688 (run) S 22686 22688 22270 0 -1 4202496 390 134 0 0 0 0 0 0 21 0 1 0 21463563 8908800 251 1992294400 4194304 4922060 140733675099456 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22688/statm: 2175 251 211 178 0 68 0 [pid=22690] ppid=22688 vsize=219740 CPUtime=1800.06 /proc/22690/stat : 22690 (PBPASSolver) R 22688 22688 22270 0 -1 4202496 57828 0 0 0 179956 50 0 0 25 0 1 0 21463564 225013760 53869 1992294400 134512640 134902295 4292172000 18446744073709551615 4159920474 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22690/statm: 54935 53869 269 96 0 54147 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 228440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22688 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1799.56 CPU system time (s): 0.5 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 228440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 524 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 4 runsolver used 2.90656 second user time and 8.5737 second system time The end
Begin job on node048 at 2010-06-17 21:08:37 IDJOB=2674799 IDBENCH=2841 IDSOLVER=1174 FILE ID=node048/2674799-1276801717 PBS_JOBID= 11176673 Free space on /tmp= 62452 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-mlp4.r.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674799-1276801717/watcher-2674799-1276801717 -o /tmp/evaluation-result-2674799-1276801717/solver-2674799-1276801717 -C 1800 -W 2000 -M 1800 run HOME/instance-2674799-1276801717.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c216dcb87e9001dad9e1252e03860f2a RANDOM SEED=751202547 node048.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1874784 kB Buffers: 12548 kB Cached: 84704 kB SwapCached: 5276 kB Active: 69000 kB Inactive: 40572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1874784 kB SwapTotal: 4192956 kB SwapFree: 4140524 kB Dirty: 668 kB Writeback: 0 kB AnonPages: 10900 kB Mapped: 13004 kB Slab: 52924 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183216 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62448 MiB End job on node048 at 2010-06-17 21:38:39