Trace number 1879549

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT3 1798.01 1798.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb
MD5SUM0b0d874eaa404001e586f84b413e6897
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 benchmark2.80257
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 variables120
Total number of constraints11
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 constraints11
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)320
Sum of products size (including duplicates)640
Number of different products320
Sum of products size640

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.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879549-1245245327.opb
0.00/0.00	c File size is 23753 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 440 Constr: 656 320/0/336 Lit: 2752 Watch. Lit: 1692
0.00/0.00	c Obj. Vars: 8 (1.81818 % of total variables)
0.00/0.00	c Pre-processing Time: 0.007 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    440      656     2752    4     2364    3690      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
157.13/157.22	c      100    440      848    13484   15     5650    4060    192   2702 0.04
157.13/157.22	c      251    440     1143    34270   29    10802    4467    487   2413 0.10
157.13/157.22	c      478    440     1581    61166   38    18428    4914    925   1796 0.27
157.13/157.22	c      818    440     2243   105793   47    31682    5406   1587   1481 0.55
157.13/157.22	c     1326    440     3146   169712   53    40149    5947   2490   1637 0.81
157.13/157.22	c     2090    440     4603   284309   61    65072    6542   3947   1122 1.86
157.13/157.22	c     3236    440     6821   442489   64    91040    7197   6165    660 4.90
157.13/157.22	c     4957    440     6457   392752   60    76109    7917   5801    427 11.61
157.13/157.22	c     7542    440     7018   447487   63    79213    8709   6362    464 16.25
157.13/157.22	c    11421    440     5050   302219   59    49649    9580   4394    331 34.45
157.13/157.22	c    17243    440     6210   384831   61    87004   10539   5554    289 59.54
157.13/157.22	c    25981    440     6667   394070   59    87439   11593   6011    217 119.51
157.13/157.22	o 87
445.68/445.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
445.68/445.95	c    37144    440     7514   481269   64    79531    3706   6858    236 157.16
445.68/445.95	c    37245    440     2687   143010   53    29865    4077   2031    236 157.51
445.68/445.95	c    37495    440     3121   172992   55    33482    4485   2465    237 157.65
445.68/445.95	c    37970    440     3984   229938   57    43918    4934   3328    240 157.97
445.68/445.95	c    38783    430     5477   329562   60    54296    5428   4821    243 159.37
445.68/445.95	c    40104    430     5063   307290   60    40729    5971   4407    249 161.05
445.68/445.95	c    42185    430     6019   348566   57    73520    6569   5363    252 167.15
445.68/445.95	c    45408    430     5389   306879   56    60787    7226   4733    246 184.09
445.68/445.95	c    50344    430     7080   454340   64    85419    7949   6424    248 202.65
445.68/445.95	c    57850    430     8202   495754   60   106832    8744   7546    237 243.68
445.68/445.95	c    69211    430     5422   345850   63    64050    9619   4766    214 323.19
445.68/445.95	c    86356    430     7203   456937   63    77794   10581   6547    193 445.45
445.68/445.95	o 11
489.56/489.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
489.56/489.87	c    86669    430     7817   499983   63   100312    3704   7161    194 445.75
489.56/489.87	c    86770    400     2709   144121   53    28630    4075   2053    194 447.13
489.56/489.87	c    87020    400     3180   175059   55    27233    4483   2524    194 447.62
489.56/489.87	c    87495    400     4101   240766   58    42767    4932   3445    195 447.89
489.56/489.87	c    88310    400     3127   171636   54    31129    5426   2471    196 448.86
489.56/489.87	c    89631    400     5662   392941   69    76827    5969   5006    198 451.71
489.56/489.87	c    91713    400     6276   436351   69    92554    6566   5620    200 456.49
489.56/489.87	c    94936    400     4843   268762   55    41915    7223   4187    203 466.97
489.56/489.87	o 3
1797.98/1798.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.82	c    99653    400     5498   330675   60    57809    3698   4842    203 489.65
1797.98/1798.82	c    99754    369     2697   137225   50    29706    4068   2041    203 489.98
1797.98/1798.82	c   100005    369     3183   168285   52    34793    4475   2527    204 490.10
1797.98/1798.82	c   100480    369     4097   233266   56    52879    4923   3441    204 490.86
1797.98/1798.82	c   101295    369     3125   169294   54    34576    5416   2469    205 491.97
1797.98/1798.82	c   102615    369     5663   341160   60    76837    5958   5007    207 493.41
1797.98/1798.82	c   104696    369     6348   400446   63    77387    6554   5692    209 499.15
1797.98/1798.82	c   107919    369     5238   301465   57    64189    7210   4582    212 508.36
1797.98/1798.82	c   112855    369     6498   409248   62    75931    7932   5842    217 517.83
1797.98/1798.82	c   120363    369     7427   467571   62    75393    8726   6771    218 551.62
1797.98/1798.82	c   131724    369     5524   336903   60    64544    9599   4868    217 604.82
1797.98/1798.82	c   148868    369     6365   381461   59    82741   10559   5709    193 770.09
1797.98/1798.82	c   174687    369     9012   587073   65    88126   11615   8356    178 978.56
1797.98/1798.82	c   213520    369    11785   811198   68   158309   12777  11129    160 1330.81
1797.98/1798.82	c Resources Exceeded
1797.98/1798.82	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 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x49 -x50 -x51 x52 x53 x54 -x55 -x56 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x185 -x186 -x187 x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 x212 x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x65 x66 -x67 -x68 -x69 -x70 x71 x72 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x313 x314 -x315 -x316 -x317 -x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x73 x74 -x75 -x76 -x77 -x78 -x79 x80 x105 -x106 -x107 -x108 x109 x110 -x111 -x112 x377 x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 
1797.98/1798.82	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.82	c   46   245760   3865   262179    10533   691942   9877    136 1798.01
1797.98/1798.82	c Objective: 3
1797.98/1798.82	s SATISFIABLE
1797.98/1798.82	c Total time: 1798.01 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-1879549-1245245327/watcher-1879549-1245245327 -o /tmp/evaluation-result-1879549-1245245327/solver-1879549-1245245327 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879549-1245245327.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 0.95 3/64 9967
/proc/meminfo: memFree=1778672/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=10844 CPUtime=0
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 8862130 11104256 273 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 2711 274 189 640 0 2067 0

[startup+0.0747879 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 9967
/proc/meminfo: memFree=1778672/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=11364 CPUtime=0.07
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 439 0 0 0 7 0 0 0 18 0 1 0 8862130 11636736 417 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 2841 417 198 640 0 2197 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11364

[startup+0.101792 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 9967
/proc/meminfo: memFree=1778672/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=11492 CPUtime=0.09
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 474 0 0 0 9 0 0 0 18 0 1 0 8862130 11767808 452 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 2873 452 198 640 0 2229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11492

[startup+0.30182 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 9967
/proc/meminfo: memFree=1778672/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=12268 CPUtime=0.29
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 680 0 0 0 29 0 0 0 19 0 1 0 8862130 12562432 658 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 3067 658 198 640 0 2423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12268

[startup+0.701878 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 9967
/proc/meminfo: memFree=1778672/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=13820 CPUtime=0.69
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 1053 0 0 0 69 0 0 0 23 0 1 0 8862130 14151680 1031 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 3455 1031 198 640 0 2811 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13820

[startup+1.50199 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1774248/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=15780 CPUtime=1.49
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 1558 0 0 0 149 0 0 0 25 0 1 0 8862130 16158720 1536 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 3945 1536 198 640 0 3301 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15780

[startup+3.10123 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1772136/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=18128 CPUtime=3.09
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 2133 0 0 0 308 1 0 0 25 0 1 0 8862130 18563072 2111 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 4532 2111 198 640 0 3888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18128

[startup+6.30169 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1769064/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=20032 CPUtime=6.28
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 2629 0 0 0 627 1 0 0 25 0 1 0 8862130 20512768 2607 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 5008 2607 198 640 0 4364 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20032

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1768112/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=20892 CPUtime=12.68
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 2824 0 0 0 1266 2 0 0 25 0 1 0 8862130 21393408 2802 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 5223 2802 198 640 0 4579 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20892

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1766768/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=22176 CPUtime=25.49
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 3143 0 0 0 2546 3 0 0 25 0 1 0 8862130 22708224 3121 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 5544 3121 198 640 0 4900 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22176

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1766192/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=22800 CPUtime=51.07
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 3300 0 0 0 5103 4 0 0 25 0 1 0 8862130 23347200 3278 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 5700 3278 198 640 0 5056 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22800

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1763376/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25524 CPUtime=102.25
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 3995 0 0 0 10217 8 0 0 25 0 1 0 8862130 26136576 3973 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6381 3973 198 640 0 5737 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 25524

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762864/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=26012 CPUtime=162.22
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 16211 11 0 0 25 0 1 0 8862130 26636288 4083 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6503 4083 198 640 0 5859 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 26012

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762864/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25824 CPUtime=222.18
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 22204 14 0 0 25 0 1 0 8862130 26443776 4056 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6456 4056 198 640 0 5812 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 25824

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762864/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25824 CPUtime=282.16
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 28199 17 0 0 25 0 1 0 8862130 26443776 4056 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6456 4056 198 640 0 5812 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 25824

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762800/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25824 CPUtime=342.13
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 34195 18 0 0 25 0 1 0 8862130 26443776 4056 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6456 4056 198 640 0 5812 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 25824

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762800/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25820 CPUtime=402.1
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 40190 20 0 0 25 0 1 0 8862130 26439680 4055 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6455 4055 198 640 0 5811 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 25820

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762736/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25820 CPUtime=462.08
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 46184 24 0 0 25 0 1 0 8862130 26439680 4055 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6455 4055 198 640 0 5811 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 25820

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762736/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25820 CPUtime=522.05
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 52177 28 0 0 25 0 1 0 8862130 26439680 4055 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6455 4055 198 640 0 5811 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 25820

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762672/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25820 CPUtime=582.03
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 58172 31 0 0 25 0 1 0 8862130 26439680 4055 1992294400 134512640 137136520 4294956256 18446744073709551615 134574860 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6455 4055 198 640 0 5811 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 25820

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1762672/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=25820 CPUtime=642
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4105 0 0 0 64167 33 0 0 25 0 1 0 8862130 26439680 4055 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6455 4055 198 640 0 5811 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 25820

[startup+702.302 s]

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

/proc/meminfo: memFree=1761520/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=26972 CPUtime=1121.8
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4386 0 0 0 112131 49 0 0 25 0 1 0 8862130 27619328 4336 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6743 4336 198 640 0 6099 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 26972

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1761456/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=26972 CPUtime=1181.77
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4386 0 0 0 118126 51 0 0 25 0 1 0 8862130 27619328 4336 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6743 4336 198 640 0 6099 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 26972

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1761392/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=26972 CPUtime=1241.75
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4386 0 0 0 124122 53 0 0 25 0 1 0 8862130 27619328 4336 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6743 4336 198 640 0 6099 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 26972

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1760752/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=27624 CPUtime=1301.72
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 4542 0 0 0 130117 55 0 0 25 0 1 0 8862130 28286976 4492 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 6906 4492 198 640 0 6262 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 27624

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 9968
/proc/meminfo: memFree=1758896/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29524 CPUtime=1361.68
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5012 0 0 0 136112 56 0 0 25 0 1 0 8862130 30232576 4962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7381 4962 198 640 0 6737 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 29524

[startup+1422.31 s]
/proc/loadavg: 1.07 1.02 0.95 2/65 9968
/proc/meminfo: memFree=1758896/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29524 CPUtime=1421.67
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5012 0 0 0 142109 58 0 0 25 0 1 0 8862130 30232576 4962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7381 4962 198 640 0 6737 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 29524

[startup+1482.3 s]
/proc/loadavg: 1.08 1.03 0.96 2/65 9970
/proc/meminfo: memFree=1758512/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29524 CPUtime=1481.63
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5012 0 0 0 148104 59 0 0 25 0 1 0 8862130 30232576 4962 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7381 4962 198 640 0 6737 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 29524

[startup+1542.3 s]
/proc/loadavg: 1.03 1.02 0.96 2/65 9970
/proc/meminfo: memFree=1758512/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29524 CPUtime=1541.6
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5012 0 0 0 154101 59 0 0 25 0 1 0 8862130 30232576 4962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7381 4962 198 640 0 6737 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 29524

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 0.96 2/65 9970
/proc/meminfo: memFree=1758512/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29656 CPUtime=1601.58
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5059 0 0 0 160097 61 0 0 25 0 1 0 8862130 30367744 5009 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7414 5009 198 640 0 6770 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 29656

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.96 2/65 9970
/proc/meminfo: memFree=1758384/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29788 CPUtime=1661.55
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5094 0 0 0 166094 61 0 0 25 0 1 0 8862130 30502912 5044 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7447 5044 198 640 0 6803 0
Current children cumulated CPU time (s) 1661.55
Current children cumulated vsize (KiB) 29788

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758320/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1721.52
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 172090 62 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1721.52
Current children cumulated vsize (KiB) 29916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758256/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1781.5
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 178087 63 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1781.5
Current children cumulated vsize (KiB) 29916

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758256/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1791.1
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 179047 63 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1791.1
Current children cumulated vsize (KiB) 29916

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758256/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1794.29
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 179366 63 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1794.29
Current children cumulated vsize (KiB) 29916

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758256/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1795.88
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 179525 63 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1795.88
Current children cumulated vsize (KiB) 29916

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758256/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1796.68
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 179605 63 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 29916

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758256/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1797.48
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 179685 63 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (KiB) 29916

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758256/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1797.88
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 179725 63 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 29916

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 9970
/proc/meminfo: memFree=1758256/2055920 swapFree=4192956/4192956
[pid=9967] ppid=9965 vsize=29916 CPUtime=1797.98
/proc/9967/stat : 9967 (bsolo) R 9965 9967 9726 0 -1 4194304 5116 0 0 0 179735 63 0 0 25 0 1 0 8862130 30633984 5066 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9967/statm: 7479 5066 198 640 0 6835 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 29916

Child status: 0
Real time (s): 1798.83
CPU time (s): 1798.01
CPU user time (s): 1797.37
CPU system time (s): 0.639902
CPU usage (%): 99.9547
Max. virtual memory (cumulated for all children) (KiB): 29916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.37
system time used= 0.639902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5118
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= 2
involuntary context switches= 6298

runsolver used 1.79673 second user time and 4.75228 second system time

The end

Launcher Data 

Begin job on node30 at 2009-06-17 15:28:47
IDJOB=1879549
IDBENCH=48099
IDSOLVER=701
FILE ID=node30/1879549-1245245327
PBS_JOBID= 9372308
Free space on /tmp= 66220 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=79-P1=163-P2=61-P3=127-P4=163-P5=211-B.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879549-1245245327/watcher-1879549-1245245327 -o /tmp/evaluation-result-1879549-1245245327/solver-1879549-1245245327 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879549-1245245327.opb

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

MD5SUM BENCH= 0b0d874eaa404001e586f84b413e6897
RANDOM SEED=1782849429

node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.273
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.273
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:       1779224 kB
Buffers:         38564 kB
Cached:         180804 kB
SwapCached:          0 kB
Active:          23080 kB
Inactive:       209136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1779224 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          22688 kB
Slab:            30576 kB
Committed_AS:    78192 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879549-1245245327.opb

Free space on /tmp at the end= 66216 MiB
End job on node30 at 2009-06-17 15:58:46