Trace number 2670762

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClOPT3 176.455 176.552

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=47-P1=43-P2=53-P3=59-P4=67-P5=71-P6=53-P7=67-B.opb
MD5SUMe58f2c3753b703f4a66371ee4fd516c9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.601908
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables147
Total number of constraints15
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints15
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)343
Sum of products size (including duplicates)686
Number of different products343
Sum of products size686

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.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670762-1276705946.opb
0.00/0.00	c File size is 25526 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 490 Constr: 708 343/0/365 Lit: 2982 Watch. Lit: 1843
0.00/0.00	c Obj. Vars: 7 (1.42857 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    490      708     2982    4     2557    4020      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
28.49/28.60	c      100    490      808     7141    8     2717    4423    100   5882 0.02
28.49/28.60	c      250    490      958    13683   14     3010    4866    250   8064 0.03
28.49/28.60	c      476    490     1184    24242   20     3458    5353    476   9153 0.05
28.49/28.60	c      815    490     1523    39245   25     4139    5889    815   9055 0.09
28.49/28.60	c     1323    490     2031    65741   32     5111    6478   1323   9061 0.15
28.49/28.60	c     2087    490     2795   105074   37     6639    7126   2087   8843 0.24
28.49/28.60	c     3233    490     3941   167037   42     8985    7839   3233   8737 0.37
28.49/28.60	c     4954    490     5662   258674   45    12407    8623   4954   7863 0.63
28.49/28.60	c     7538    490     8246   397723   48    17547    9486   7538   7397 1.02
28.49/28.60	c    11418    490     7252   327286   45    15551   10435   6544   5903 1.93
28.49/28.60	c    17240    490     7395   350078   47    15871   11479   6687   5617 3.07
28.49/28.60	c    25977    490     9952   523033   52    20930   12627   9244   4285 6.06
28.49/28.60	c    39089    490     9585   475564   49    20192   13890   8877   3117 12.54
28.49/28.60	c    58759    490     7653   396974   51    16317   15280   6945   2820 20.84
28.49/28.60	o 17
41.26/41.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.26/41.37	c    73436    490    14387   730382   50    29762    4034  13679   2568 28.59
41.26/41.37	c    73537    472     2827   101968   36     6684    4438   2119   2558 28.74
41.26/41.37	c    73790    472     3080   116109   37     7150    4882   2372   2563 28.78
41.26/41.37	c    74266    472     3556   140582   39     8148    5371   2848   2575 28.84
41.26/41.37	c    75080    472     4370   185869   42     9776    5909   3662   2592 28.96
41.26/41.37	c    76400    472     5690   252015   44    12437    6500   4982   2621 29.14
41.26/41.37	c    78481    472     4381   185107   42     9807    7151   3673   2655 29.56
41.26/41.37	c    81706    472     7606   336134   44    16267    7867   6898   2700 30.26
41.26/41.37	c    86642    472     8269   379734   45    17559    8654   7561   2765 31.32
41.26/41.37	c    94149    472     6652   303881   45    14363    9520   5944   2856 32.96
41.26/41.37	c   105511    472     7710   381039   49    16424   10473   7002   2975 35.46
41.26/41.37	c   122656    472     8328   377387   45    17640   11521   7620   2969 41.30
41.26/41.37	o 13
45.37/45.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.37/45.42	c   122952    472     8625   390944   45    18282    4030   7917   2973 41.35
45.37/45.42	c   123053    463     2827   106915   37     6712    4434   2119   2970 41.43
45.37/45.42	c   123304    463     3078   119574   38     7211    4878   2370   2972 41.48
45.37/45.42	c   123780    463     3554   144324   40     8188    5366   2846   2974 41.61
45.37/45.42	c   124594    463     4368   184885   42     9803    5903   3660   2974 41.89
45.37/45.42	c   125914    463     5688   249838   43    12460    6494   4980   2969 42.41
45.37/45.42	c   127995    463     4095   185212   45     9230    7144   3387   2995 42.72
45.37/45.42	c   131218    463     7318   346390   47    15695    7859   6610   3000 43.73
45.37/45.42	c   136154    463     7991   373130   46    17055    8645   7283   3030 44.94
45.37/45.42	o 3
176.39/176.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.39/176.54	c   139042    463     6206   287519   46    13493    4028   5498   3062 45.40
176.39/176.54	c   139142    463     2829   108974   38     6666    4431   2121   3063 45.43
176.39/176.54	c   139392    463     3079   123885   40     7173    4875   2371   3066 45.45
176.39/176.54	c   139869    435     3556   149686   42     8194    5363   2848   3073 45.51
176.39/176.54	c   140682    435     4369   196046   44     9808    5900   3661   3083 45.62
176.39/176.54	c   142002    435     5689   260012   45    12473    6491   4981   3099 45.82
176.39/176.54	c   144084    435     4189   179721   42     9420    7141   3481   3115 46.25
176.39/176.54	c   147307    435     7412   343317   46    15895    7856   6704   3152 46.72
176.39/176.54	c   152243    435     8008   373971   46    17043    8642   7300   3182 47.83
176.39/176.54	c   159750    434     6206   291405   46    13462    9507   5498   3236 49.36
176.39/176.54	c   171111    434     7531   337145   44    16136   10458   6823   3243 52.76
176.39/176.54	c   188256    433     8470   393887   46    18044   11504   7762   3105 60.62
176.39/176.54	c   214075    430    10296   462197   44    21635   12655   9588   3031 70.62
176.39/176.54	c   252907    430     9921   475087   47    20938   13921   9213   2677 94.47
176.39/176.54	c   311260    421    11256   472225   41    23586   15314  10548   2356 132.06
176.39/176.54	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 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 x57 -x58 x59 -x60 x61 -x62 -x63 -x99 -x100 -x101 -x102 -x103 -x104 -x105 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 x64 x65 -x66 -x67 -x68 -x69 -x70 x106 -x107 -x108 x109 -x110 -x111 -x112 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 x71 -x72 -x73 x74 -x75 -x76 -x77 -x113 -x114 -x115 -x116 -x117 -x118 -x119 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 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x120 -x121 x122 -x123 -x124 -x125 -x126 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 x85 x86 -x87 -x88 -x89 -x90 -x91 -x127 -x128 -x129 -x130 -x131 -x132 -x133 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 x92 -x93 -x94 x95 -x96 -x97 -x98 -x134 -x135 -x136 -x137 -x138 -x139 -x140 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 -x141 x142 -x143 -x144 -x145 -x146 -x147 
176.39/176.55	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
176.39/176.55	c   50   369292   5598   392337    14786   571141  14078   2092 176.45
176.39/176.55	c Objective: 3
176.39/176.55	s OPTIMUM FOUND
176.39/176.55	c Total time: 176.452 s

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670762-1276705946/watcher-2670762-1276705946 -o /tmp/evaluation-result-2670762-1276705946/solver-2670762-1276705946 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670762-1276705946.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: 0.94 1.08 1.03 3/106 14352
/proc/meminfo: memFree=1860808/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=10924 CPUtime=0
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 364 0 0 0 0 0 0 0 19 0 1 0 46196206 11186176 275 1992294400 134512640 137138936 4291792960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 2731 275 184 642 0 2087 0

[startup+0.029274 s]
/proc/loadavg: 0.94 1.08 1.03 3/106 14352
/proc/meminfo: memFree=1860808/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=11052 CPUtime=0.02
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 405 0 0 0 2 0 0 0 19 0 1 0 46196206 11317248 316 1992294400 134512640 137138936 4291792960 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 2763 316 190 642 0 2119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11052

[startup+0.101286 s]
/proc/loadavg: 0.94 1.08 1.03 3/106 14352
/proc/meminfo: memFree=1860808/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=11564 CPUtime=0.09
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 527 0 0 0 9 0 0 0 20 0 1 0 46196206 11841536 438 1992294400 134512640 137138936 4291792960 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 2891 439 190 642 0 2247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11564

[startup+0.300322 s]
/proc/loadavg: 0.94 1.08 1.03 3/106 14352
/proc/meminfo: memFree=1860808/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=12952 CPUtime=0.28
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 872 0 0 0 28 0 0 0 20 0 1 0 46196206 13262848 783 1992294400 134512640 137138936 4291792960 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 3238 783 190 642 0 2594 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12952

[startup+0.700393 s]
/proc/loadavg: 0.94 1.08 1.03 3/106 14352
/proc/meminfo: memFree=1860808/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=15096 CPUtime=0.69
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 1413 0 0 0 68 1 0 0 20 0 1 0 46196206 15458304 1324 1992294400 134512640 137138936 4291792960 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 3774 1324 190 642 0 3130 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15096

[startup+1.50054 s]
/proc/loadavg: 0.94 1.08 1.03 2/107 14353
/proc/meminfo: memFree=1854972/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=18364 CPUtime=1.49
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 2231 0 0 0 147 2 0 0 22 0 1 0 46196206 18804736 2142 1992294400 134512640 137138936 4291792960 18446744073709551615 134601114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 4591 2142 190 642 0 3947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18364

[startup+3.10182 s]
/proc/loadavg: 0.94 1.08 1.03 2/107 14353
/proc/meminfo: memFree=1853112/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=19256 CPUtime=3.09
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 2459 0 0 0 305 4 0 0 25 0 1 0 46196206 19718144 2370 1992294400 134512640 137138936 4291792960 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 4814 2370 190 642 0 4170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19256

[startup+6.30139 s]
/proc/loadavg: 0.94 1.08 1.03 2/107 14353
/proc/meminfo: memFree=1850756/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=20640 CPUtime=6.29
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 2807 0 0 0 623 6 0 0 25 0 1 0 46196206 21135360 2718 1992294400 134512640 137138936 4291792960 18446744073709551615 134600328 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 5160 2718 190 642 0 4516 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20640

[startup+12.7015 s]
/proc/loadavg: 0.94 1.08 1.02 2/107 14353
/proc/meminfo: memFree=1849144/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=22152 CPUtime=12.69
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3187 0 0 0 1260 9 0 0 25 0 1 0 46196206 22683648 3098 1992294400 134512640 137138936 4291792960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 5538 3098 190 642 0 4894 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22152

[startup+25.5008 s]
/proc/loadavg: 0.96 1.07 1.02 2/107 14355
/proc/meminfo: memFree=1847408/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=25.48
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3632 0 0 0 2535 13 0 0 25 0 1 0 46196206 24453120 3543 1992294400 134512640 137138936 4291792960 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14352/statm: 5970 3543 190 642 0 5326 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23880

[startup+51.1002 s]
/proc/loadavg: 0.97 1.06 1.02 2/107 14355
/proc/meminfo: memFree=1847160/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=51.06
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 5078 28 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 23880

[startup+102.308 s]
/proc/loadavg: 0.99 1.05 1.02 2/107 14357
/proc/meminfo: memFree=1847036/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=102.25
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 10179 46 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 23880

[startup+162.3 s]
/proc/loadavg: 0.99 1.04 1.01 2/107 14357
/proc/meminfo: memFree=1847036/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=162.2
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 16158 62 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 23880

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

[startup+166.3 s]
/proc/loadavg: 0.99 1.04 1.01 2/107 14359
/proc/meminfo: memFree=1847036/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=166.21
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 16558 63 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 166.21
Current children cumulated vsize (KiB) 23880

[startup+172.708 s]
/proc/loadavg: 0.99 1.04 1.01 2/107 14359
/proc/meminfo: memFree=1847036/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=172.6
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 17195 65 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 172.6
Current children cumulated vsize (KiB) 23880

[startup+174.301 s]
/proc/loadavg: 0.99 1.04 1.01 2/107 14359
/proc/meminfo: memFree=1847036/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=174.19
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 17354 65 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 174.19
Current children cumulated vsize (KiB) 23880

[startup+175.901 s]
/proc/loadavg: 0.99 1.04 1.01 2/107 14359
/proc/meminfo: memFree=1847036/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=175.8
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 17515 65 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 175.8
Current children cumulated vsize (KiB) 23880

[startup+176.301 s]
/proc/loadavg: 0.99 1.04 1.01 2/107 14359
/proc/meminfo: memFree=1847036/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=176.19
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 17554 65 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 176.19
Current children cumulated vsize (KiB) 23880

[startup+176.501 s]
/proc/loadavg: 0.99 1.04 1.01 2/107 14359
/proc/meminfo: memFree=1847036/2059040 swapFree=4136756/4192956
[pid=14352] ppid=14350 vsize=23880 CPUtime=176.39
/proc/14352/stat : 14352 (bsolo_pb10) R 14350 14352 13707 0 -1 4202496 3633 0 0 0 17574 65 0 0 25 0 1 0 46196206 24453120 3544 1992294400 134512640 137138936 4291792960 18446744073709551615 134600299 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/14352/statm: 5970 3544 191 642 0 5326 0
Current children cumulated CPU time (s) 176.39
Current children cumulated vsize (KiB) 23880

Child status: 0
Real time (s): 176.552
CPU time (s): 176.455
CPU user time (s): 175.793
CPU system time (s): 0.661899
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 23880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 175.793
system time used= 0.661899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3634
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= 1
involuntary context switches= 3070

runsolver used 0.317951 second user time and 0.819875 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-16 18:32:26
IDJOB=2670762
IDBENCH=48097
IDSOLVER=1163
FILE ID=node012/2670762-1276705946
PBS_JOBID= 11174122
Free space on /tmp= 62588 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=47-P1=43-P2=53-P3=59-P4=67-P5=71-P6=53-P7=67-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670762-1276705946/watcher-2670762-1276705946 -o /tmp/evaluation-result-2670762-1276705946/solver-2670762-1276705946 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670762-1276705946.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= e58f2c3753b703f4a66371ee4fd516c9
RANDOM SEED=627714503

node012.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.258
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.51
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.258
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1861832 kB
Buffers:          9964 kB
Cached:          96584 kB
SwapCached:       9512 kB
Active:          85180 kB
Inactive:        34576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1861832 kB
SwapTotal:     4192956 kB
SwapFree:      4136756 kB
Dirty:            3860 kB
Writeback:           0 kB
AnonPages:       11656 kB
Mapped:           9468 kB
Slab:            55668 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182584 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670762-1276705946.opb

Free space on /tmp at the end= 62584 MiB
End job on node012 at 2010-06-16 18:35:23