Trace number 37033

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4SAT-14 1782.75 1783.43

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark45.2231
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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 (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.18	c starting to Solve
0.18	c #variables read: 450 - #constraints read: 17795
0.18	o 0
0.18	o 1
0.18	o 2
0.26	o 3
0.66	o 4
1.87	o 5
2.37	o 6
32.93	o 7
59.30	o 8
125.14	o 9
219.78	o 10
423.23	o 11
612.96	o 12
812.52	o 13
1709.73	o 14
1783.41	c total time              : 1783 s
1783.41	s SATISFIABLE
1783.41	v -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430
1783.41	v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1783.41	v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388
1783.41	v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1783.41	v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346
1783.41	v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325
1783.41	v -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304
1783.41	v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1783.41	v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262
1783.41	v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1783.41	v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 x224 -x223 -x222 -x221 -x220
1783.41	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199
1783.41	v -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1783.41	v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1783.41	v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1783.41	v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1783.41	v -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
1783.41	v -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
1783.41	v -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41
1783.41	v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1783.41	v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-14

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node70/watcher-37033-1149291203 -o ROOT/results/node70/solver-37033-1149291203 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node70/37033-1149291203/instance-37033-1149291203.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.90 2/64 8318
/proc/meminfo: memFree=1779168/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=172 CPUtime=0
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 38 0 0 0 0 0 0 0 18 0 1 0 194789944 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8413988 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 43 23 18 16 0 2 0

[startup+10.0026 s]
/proc/loadavg: 0.87 0.94 0.90 2/64 8318
/proc/meminfo: memFree=1760880/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=20600 CPUtime=9.99
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 4781 0 0 0 997 2 0 0 25 0 1 0 194789944 21094400 4752 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 5150 4752 205 16 0 4591 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 20600

[startup+20.0084 s]
/proc/loadavg: 0.89 0.94 0.90 2/64 8318
/proc/meminfo: memFree=1748080/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=33712 CPUtime=19.99
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 8005 0 0 0 1995 4 0 0 25 0 1 0 194789944 34521088 7976 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 8428 7976 205 16 0 7869 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 33712

[startup+30.0142 s]
/proc/loadavg: 0.90 0.94 0.90 2/64 8320
/proc/meminfo: memFree=1747568/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=34108 CPUtime=29.99
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 8121 0 0 0 2995 4 0 0 25 0 1 0 194789944 34926592 8092 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 8527 8092 205 16 0 7968 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 34108

[startup+40.02 s]
/proc/loadavg: 0.92 0.94 0.90 2/64 8320
/proc/meminfo: memFree=1744304/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=37484 CPUtime=40
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 8948 0 0 0 3994 6 0 0 25 0 1 0 194789944 38383616 8919 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 9371 8919 205 16 0 8812 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 37484

[startup+50.0258 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 8320
/proc/meminfo: memFree=1742256/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=39588 CPUtime=50
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9471 0 0 0 4993 7 0 0 25 0 1 0 194789944 40538112 9442 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 9897 9442 205 16 0 9338 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 39588

[startup+60.0317 s]
/proc/loadavg: 0.94 0.95 0.90 2/64 8320
/proc/meminfo: memFree=1740912/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=40948 CPUtime=60
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9805 0 0 0 5992 8 0 0 25 0 1 0 194789944 41930752 9776 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 10237 9776 205 16 0 9678 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 40948

[startup+70.0375 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1740528/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=41352 CPUtime=70
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9896 0 0 0 6992 8 0 0 25 0 1 0 194789944 42344448 9867 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 10338 9867 205 16 0 9779 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 41352

[startup+80.0433 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1740464/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=41352 CPUtime=80
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9910 0 0 0 7992 8 0 0 25 0 1 0 194789944 42344448 9881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 10338 9881 205 16 0 9779 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 41352

[startup+90.0491 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1740464/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=41352 CPUtime=90.01
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 9910 0 0 0 8992 9 0 0 25 0 1 0 194789944 42344448 9881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 10338 9881 205 16 0 9779 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 41352

[startup+100.055 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1736752/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=45172 CPUtime=100
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 10838 0 0 0 9990 10 0 0 25 0 1 0 194789944 46256128 10809 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 11293 10809 205 16 0 10734 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 45172

[startup+110.061 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1736752/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=45172 CPUtime=110.01
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 10838 0 0 0 10990 11 0 0 25 0 1 0 194789944 46256128 10809 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 11293 10809 205 16 0 10734 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 45172

[startup+120.067 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1732336/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=49652 CPUtime=120.01
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11954 0 0 0 11989 12 0 0 25 0 1 0 194789944 50843648 11925 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 12413 11925 205 16 0 11854 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 49652

[startup+130.072 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1732336/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=49652 CPUtime=130.01
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11954 0 0 0 12989 12 0 0 25 0 1 0 194789944 50843648 11925 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532733 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 12413 11925 205 16 0 11854 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 49652

[startup+140.078 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1732336/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=49652 CPUtime=140.02
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11954 0 0 0 13989 13 0 0 25 0 1 0 194789944 50843648 11925 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 12413 11925 205 16 0 11854 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 49652

[startup+150.084 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 8320
/proc/meminfo: memFree=1732272/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=49652 CPUtime=150.02
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11957 0 0 0 14988 14 0 0 25 0 1 0 194789944 50843648 11928 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 12413 11928 205 16 0 11854 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 49652

[startup+160.09 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8320
/proc/meminfo: memFree=1732272/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=49652 CPUtime=160.02
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11957 0 0 0 15987 15 0 0 25 0 1 0 194789944 50843648 11928 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 12413 11928 205 16 0 11854 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 49652

[startup+170.096 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8320
/proc/meminfo: memFree=1732144/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=49784 CPUtime=170.02
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11995 0 0 0 16987 15 0 0 25 0 1 0 194789944 50978816 11966 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 12446 11966 205 16 0 11887 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 49784

[startup+180.102 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8320
/proc/meminfo: memFree=1732144/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=49784 CPUtime=180.02
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 11995 0 0 0 17987 15 0 0 25 0 1 0 194789944 50978816 11966 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 12446 11966 205 16 0 11887 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 49784

[startup+190.107 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8320
/proc/meminfo: memFree=1731440/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=50436 CPUtime=190.03
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 12164 0 0 0 18987 16 0 0 25 0 1 0 194789944 51646464 12135 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 12609 12135 205 16 0 12050 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 50436

[startup+200.113 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8320
/proc/meminfo: memFree=1727472/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=54428 CPUtime=200.03
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 13154 0 0 0 19986 17 0 0 25 0 1 0 194789944 55734272 13125 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 13607 13125 205 16 0 13048 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 54428

[startup+210.119 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 8320
/proc/meminfo: memFree=1727472/2055920 swapFree=4182232/4192956

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

/proc/8318/statm: 20462 19937 205 16 0 19903 0
Current children cumulated CPU time (s) 1590.36
Current children cumulated vsize (Kb) 81848

[startup+1600.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8320
/proc/meminfo: memFree=1699696/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=81848 CPUtime=1600.36
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 20225 0 0 0 159944 92 0 0 25 0 1 0 194789944 83812352 19937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519114 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 20462 19937 205 16 0 19903 0
Current children cumulated CPU time (s) 1600.36
Current children cumulated vsize (Kb) 81848

[startup+1610.96 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8320
/proc/meminfo: memFree=1699696/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=81848 CPUtime=1610.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 20225 0 0 0 160944 93 0 0 25 0 1 0 194789944 83812352 19937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 20462 19937 205 16 0 19903 0
Current children cumulated CPU time (s) 1610.37
Current children cumulated vsize (Kb) 81848

[startup+1620.96 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8320
/proc/meminfo: memFree=1699760/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=81848 CPUtime=1620.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 20225 0 0 0 161943 94 0 0 25 0 1 0 194789944 83812352 19937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 20462 19937 205 16 0 19903 0
Current children cumulated CPU time (s) 1620.37
Current children cumulated vsize (Kb) 81848

[startup+1630.97 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8320
/proc/meminfo: memFree=1694640/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=87244 CPUtime=1630.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 21551 0 0 0 162942 95 0 0 25 0 1 0 194789944 89337856 21263 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 21811 21263 205 16 0 21252 0
Current children cumulated CPU time (s) 1630.37
Current children cumulated vsize (Kb) 87244

[startup+1640.97 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8320
/proc/meminfo: memFree=1692528/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=89360 CPUtime=1640.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22064 0 0 0 163941 96 0 0 25 0 1 0 194789944 91504640 21776 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22340 21776 205 16 0 21781 0
Current children cumulated CPU time (s) 1640.37
Current children cumulated vsize (Kb) 89360

[startup+1650.98 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8320
/proc/meminfo: memFree=1692528/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=89360 CPUtime=1650.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22064 0 0 0 164941 96 0 0 25 0 1 0 194789944 91504640 21776 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22340 21776 205 16 0 21781 0
Current children cumulated CPU time (s) 1650.37
Current children cumulated vsize (Kb) 89360

[startup+1660.99 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 8375
/proc/meminfo: memFree=1691328/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=89360 CPUtime=1660.38
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22064 0 0 0 165936 102 0 0 25 0 1 0 194789944 91504640 21776 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22340 21776 205 16 0 21781 0
Current children cumulated CPU time (s) 1660.38
Current children cumulated vsize (Kb) 89360

[startup+1670.99 s]
/proc/loadavg: 0.99 0.97 0.91 2/70 8433
/proc/meminfo: memFree=1691264/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=89360 CPUtime=1670.36
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22066 0 0 0 166933 103 0 0 25 0 1 0 194789944 91504640 21778 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134561739 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22340 21778 205 16 0 21781 0
Current children cumulated CPU time (s) 1670.36
Current children cumulated vsize (Kb) 89360

[startup+1681 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1692080/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=89360 CPUtime=1680.36
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22066 0 0 0 167932 104 0 0 25 0 1 0 194789944 91504640 21778 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134522706 0 0 4096 0 0 0 0 17 0 0 0
/proc/8318/statm: 22340 21778 205 16 0 21781 0
Current children cumulated CPU time (s) 1680.36
Current children cumulated vsize (Kb) 89360

[startup+1691.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1692144/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=89360 CPUtime=1690.35
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22066 0 0 0 168931 104 0 0 25 0 1 0 194789944 91504640 21778 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559475 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22340 21778 205 16 0 21781 0
Current children cumulated CPU time (s) 1690.35
Current children cumulated vsize (Kb) 89360

[startup+1701.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691952/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=89620 CPUtime=1700.36
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22154 0 0 0 169931 105 0 0 25 0 1 0 194789944 91770880 21866 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22405 21866 205 16 0 21846 0
Current children cumulated CPU time (s) 1700.36
Current children cumulated vsize (Kb) 89620

[startup+1711.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691568/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90016 CPUtime=1710.36
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 170931 105 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22504 21955 205 16 0 21945 0
Current children cumulated CPU time (s) 1710.36
Current children cumulated vsize (Kb) 90016

[startup+1721.02 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691568/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90016 CPUtime=1720.36
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 171930 106 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22504 21955 205 16 0 21945 0
Current children cumulated CPU time (s) 1720.36
Current children cumulated vsize (Kb) 90016

[startup+1731.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691568/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90016 CPUtime=1730.36
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 172930 106 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22504 21955 205 16 0 21945 0
Current children cumulated CPU time (s) 1730.36
Current children cumulated vsize (Kb) 90016

[startup+1741.03 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691568/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90016 CPUtime=1740.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 173930 107 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22504 21955 205 16 0 21945 0
Current children cumulated CPU time (s) 1740.37
Current children cumulated vsize (Kb) 90016

[startup+1751.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691632/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90016 CPUtime=1750.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 174930 107 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134524561 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22504 21955 205 16 0 21945 0
Current children cumulated CPU time (s) 1750.37
Current children cumulated vsize (Kb) 90016

[startup+1761.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691632/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90016 CPUtime=1760.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 175930 107 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22504 21955 205 16 0 21945 0
Current children cumulated CPU time (s) 1760.37
Current children cumulated vsize (Kb) 90016

[startup+1771.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691632/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90016 CPUtime=1770.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22243 0 0 0 176929 108 0 0 25 0 1 0 194789944 92176384 21955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22504 21955 205 16 0 21945 0
Current children cumulated CPU time (s) 1770.37
Current children cumulated vsize (Kb) 90016

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691248/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90408 CPUtime=1780.37
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22334 0 0 0 177929 108 0 0 25 0 1 0 194789944 92577792 22046 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22602 22046 205 16 0 22043 0
Current children cumulated CPU time (s) 1780.37
Current children cumulated vsize (Kb) 90408

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691248/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90408 CPUtime=1781.38
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22334 0 0 0 178030 108 0 0 25 0 1 0 194789944 92577792 22046 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519085 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22602 22046 205 16 0 22043 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (Kb) 90408

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 8515
/proc/meminfo: memFree=1691248/2055920 swapFree=4182232/4192956
[pid=8318] ppid=8316 vsize=90408 CPUtime=1782.38
/proc/8318/stat : 8318 (Pueblo) R 8316 8318 8272 0 -1 4194304 22335 0 0 0 178130 108 0 0 25 0 1 0 194789944 92577792 22047 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527800 0 0 4096 0 0 0 0 17 1 0 0
/proc/8318/statm: 22602 22047 205 16 0 22043 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (Kb) 90408

Child status: 10
Real time (s): 1783.43
CPU time (s): 1782.75
CPU user time (s): 1781.65
CPU system time (s): 1.10183
CPU usage (%): 99.9618
Max. virtual memory (cumulated for all children) (Kb): 90408

Launcher Data (download as text)

Begin job on node70 on Fri Jun  2 23:33:23 UTC 2006


FILE ID= 37033-1149291203

PBS_JOBID= 306891

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node70/37033-1149291203/instance-37033-1149291203.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-37033-1149291203 -o ROOT/results/node70/solver-37033-1149291203 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node70/37033-1149291203/instance-37033-1149291203.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  2e8a2f5e2511f10f037e700bd45c84a1

RANDOM SEED= 930909738


/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.265
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.265
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1779376 kB
Buffers:         25240 kB
Cached:         179796 kB
SwapCached:       2364 kB
Active:          47220 kB
Inactive:       166416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779376 kB
SwapTotal:     4192956 kB
SwapFree:      4182232 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15416 kB
Slab:            49032 kB
Committed_AS:   217792 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node70 on Sat Jun  3 00:03:07 UTC 2006