Trace number 1879342

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 pbOPT3 546.952 547.111

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=7-P0=127-P1=47-P2=7-P3=127-P4=17-P5=97-P6=127-B.opb
MD5SUMa92642ddb77f2466b803e375801dde37
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 benchmark3.57346
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 variables126
Total number of constraints13
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 constraints13
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)294
Sum of products size (including duplicates)588
Number of different products294
Sum of products size588

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-1879342-1245243478.opb
0.00/0.00	c File size is 21871 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.002 s
0.00/0.00	c Var: 420 Constr: 607 294/0/313 Lit: 2555 Watch. Lit: 1580
0.00/0.00	c Obj. Vars: 7 (1.66667 % 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    420      607     2555    4     2191    3443      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
8.39/8.43	c      101    420      804    11501   14     4605    3788    197   3740 0.03
8.39/8.43	c      252    420     1103    25218   22     9011    4167    496   2964 0.09
8.39/8.43	c      478    420     1552    48447   31    13595    4584    945   2862 0.17
8.39/8.43	c      817    420     2208    84823   38    24016    5043   1601   1922 0.42
8.39/8.43	c     1326    420     3194   134105   41    38042    5548   2587   1578 0.84
8.39/8.43	c     2092    420     4672   222366   47    57848    6103   4065    997 2.10
8.39/8.43	c     3238    420     3660   177708   48    27049    6714   3053    979 3.31
8.39/8.43	c     4961    420     6876   343952   50    56371    7386   6269    912 5.44
8.39/8.43	o 17
17.19/17.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.19/17.27	c     6872    420     6714   321738   47    55982    3457   6107    815 8.43
17.19/17.27	c     6972    420     2484   107476   43    20211    3803   1877    804 8.66
17.19/17.27	c     7223    420     2868   128430   44    23192    4184   2261    821 8.79
17.19/17.27	c     7699    420     3787   178505   47    37649    4603   3180    838 9.18
17.19/17.27	c     8515    420     5087   251751   49    40352    5064   4480    889 9.57
17.19/17.27	c     9835    420     4801   240154   50    35449    5571   4194    872 11.27
17.19/17.27	c    11916    402     5389   249116   46    42227    6129   4782    881 13.52
17.19/17.27	o 3
546.93/547.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
546.93/547.10	c    13922    402     5885   260936   44    41463    3453   5278    805 17.27
546.93/547.10	c    14023    365     2531   104459   41    21167    3799   1924    803 17.45
546.93/547.10	c    14273    365     3010   132501   44    28956    4179   2403    810 17.61
546.93/547.10	c    14748    365     3886   183130   47    36782    4597   3279    809 18.21
546.93/547.10	c    15562    365     2989   133507   44    24092    5057   2382    806 19.29
546.93/547.10	c    16884    365     5396   256735   47    40756    5563   4789    838 20.13
546.93/547.10	c    18966    365     6195   288312   46    57038    6120   5588    820 23.13
546.93/547.10	c    22189    362     5515   280138   50    58138    6733   4908    697 31.80
546.93/547.10	c    27125    362     4088   188413   46    35110    7407   3481    520 52.09
546.93/547.10	c    34632    362     6433   351911   54    61737    8148   5826    464 74.50
546.93/547.10	c    45994    361     6342   328336   51    57935    8963   5735    374 122.81
546.93/547.10	c    63138    361     9269   471558   50    73429    9860   8662    299 210.85
546.93/547.10	c    88958    360     5580   265199   47    46667   10847   4973    227 391.54
546.93/547.10	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 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 x50 -x51 -x52 -x53 x54 x55 -x56 x85 -x86 -x87 -x88 -x89 -x90 -x91 x176 -x177 -x178 -x179 x180 x181 -x182 x183 -x184 -x185 -x186 x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x57 x58 -x59 -x60 x61 -x62 -x63 x92 -x93 -x94 -x95 -x96 -x97 -x98 x225 x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 x268 -x269 -x270 x271 -x272 -x273 x64 x65 -x66 -x67 -x68 -x69 -x70 -x99 -x100 x101 x102 -x103 -x104 -x105 x274 x275 -x276 -x277 -x278 -x279 -x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 x71 -x72 -x73 x74 -x75 -x76 -x77 -x106 -x107 -x108 -x109 -x110 -x111 -x112 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 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x113 -x114 x115 -x116 -x117 -x118 -x119 x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x120 -x121 -x122 -x123 -x124 -x125 -x126 
546.93/547.10	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
546.93/547.10	c   28   113854   1914   123836    11046   508597  10439    208 546.95
546.93/547.10	c Objective: 3
546.93/547.10	s OPTIMUM FOUND
546.93/547.10	c Total time: 546.948 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-1879342-1245243478/watcher-1879342-1245243478 -o /tmp/evaluation-result-1879342-1245243478/solver-1879342-1245243478 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879342-1245243478.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.02 1.02 0.93 3/64 7155
/proc/meminfo: memFree=1800104/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=10708 CPUtime=0
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 191947997 10964992 265 1992294400 134512640 137136520 4294956256 18446744073709551615 136379950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 2678 266 188 640 0 2034 0

[startup+0.0646261 s]
/proc/loadavg: 1.02 1.02 0.93 3/64 7155
/proc/meminfo: memFree=1800104/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=11232 CPUtime=0.06
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 400 0 0 0 6 0 0 0 18 0 1 0 191947997 11501568 378 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 2808 378 198 640 0 2164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11232

[startup+0.101584 s]
/proc/loadavg: 1.02 1.02 0.93 3/64 7155
/proc/meminfo: memFree=1800104/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=11368 CPUtime=0.09
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 455 0 0 0 9 0 0 0 18 0 1 0 191947997 11640832 433 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 2842 433 198 640 0 2198 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11368

[startup+0.301602 s]
/proc/loadavg: 1.02 1.02 0.93 3/64 7155
/proc/meminfo: memFree=1800104/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=12272 CPUtime=0.29
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 674 0 0 0 29 0 0 0 19 0 1 0 191947997 12566528 652 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 3068 652 198 640 0 2424 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12272

[startup+0.701641 s]
/proc/loadavg: 1.02 1.02 0.93 3/64 7155
/proc/meminfo: memFree=1800104/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=13436 CPUtime=0.69
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 957 0 0 0 69 0 0 0 22 0 1 0 191947997 13758464 935 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 3359 935 198 640 0 2715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13436

[startup+1.50172 s]
/proc/loadavg: 1.02 1.02 0.93 2/65 7156
/proc/meminfo: memFree=1796448/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=14744 CPUtime=1.49
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 1295 0 0 0 149 0 0 0 25 0 1 0 191947997 15097856 1273 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 3686 1273 198 640 0 3042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14744

[startup+3.10187 s]
/proc/loadavg: 1.02 1.02 0.93 2/65 7156
/proc/meminfo: memFree=1794784/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=17340 CPUtime=3.09
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 1952 0 0 0 309 0 0 0 25 0 1 0 191947997 17756160 1930 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 4335 1930 198 640 0 3691 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17340

[startup+6.30118 s]
/proc/loadavg: 1.01 1.02 0.93 2/65 7156
/proc/meminfo: memFree=1792416/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=17848 CPUtime=6.29
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 2058 0 0 0 628 1 0 0 25 0 1 0 191947997 18276352 2036 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 4462 2036 198 640 0 3818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17848

[startup+12.7028 s]
/proc/loadavg: 1.01 1.02 0.93 2/65 7156
/proc/meminfo: memFree=1792232/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=17976 CPUtime=12.69
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 2097 0 0 0 1267 2 0 0 25 0 1 0 191947997 18407424 2075 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 4494 2075 198 640 0 3850 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17976

[startup+25.502 s]
/proc/loadavg: 1.01 1.01 0.93 2/65 7156
/proc/meminfo: memFree=1792232/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=17976 CPUtime=25.49
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 2097 0 0 0 2546 3 0 0 25 0 1 0 191947997 18407424 2075 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 4494 2075 198 640 0 3850 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17976

[startup+51.1015 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 7156
/proc/meminfo: memFree=1791528/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=18892 CPUtime=51.07
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 2320 0 0 0 5102 5 0 0 25 0 1 0 191947997 19345408 2298 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 4723 2298 198 640 0 4079 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18892

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 0.93 2/65 7156
/proc/meminfo: memFree=1789992/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=20184 CPUtime=102.26
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 2655 0 0 0 10218 8 0 0 25 0 1 0 191947997 20668416 2633 1992294400 134512640 137136520 4294956256 18446744073709551615 136502439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5046 2633 198 640 0 4402 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20184

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7156
/proc/meminfo: memFree=1788840/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=21304 CPUtime=162.24
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 2925 0 0 0 16214 10 0 0 25 0 1 0 191947997 21815296 2903 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5326 2903 198 640 0 4682 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 21304

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1788584/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=21440 CPUtime=222.22
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 2980 0 0 0 22210 12 0 0 25 0 1 0 191947997 21954560 2958 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5360 2958 198 640 0 4716 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 21440

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1787368/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=22688 CPUtime=282.2
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3281 0 0 0 28206 14 0 0 25 0 1 0 191947997 23232512 3259 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5672 3259 198 640 0 5028 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 22688

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1787304/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=22788 CPUtime=342.19
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3297 0 0 0 34203 16 0 0 25 0 1 0 191947997 23334912 3275 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5697 3275 198 640 0 5053 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 22788

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1787112/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=22908 CPUtime=402.17
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3330 0 0 0 40197 20 0 0 25 0 1 0 191947997 23457792 3308 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5727 3308 198 640 0 5083 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 22908

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1787048/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=22904 CPUtime=462.16
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3330 0 0 0 46193 23 0 0 25 0 1 0 191947997 23453696 3308 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5726 3308 198 640 0 5082 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 22904

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1786856/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=23036 CPUtime=522.14
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3372 0 0 0 52189 25 0 0 25 0 1 0 191947997 23588864 3350 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5759 3350 198 640 0 5115 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 23036

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

[startup+524.706 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1786920/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=23036 CPUtime=524.54
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3372 0 0 0 52429 25 0 0 25 0 1 0 191947997 23588864 3350 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5759 3350 198 640 0 5115 0
Current children cumulated CPU time (s) 524.54
Current children cumulated vsize (KiB) 23036

[startup+537.501 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1786920/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=23036 CPUtime=537.33
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3372 0 0 0 53708 25 0 0 25 0 1 0 191947997 23588864 3350 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5759 3350 198 640 0 5115 0
Current children cumulated CPU time (s) 537.33
Current children cumulated vsize (KiB) 23036

[startup+543.902 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1786920/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=23036 CPUtime=543.74
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3372 0 0 0 54348 26 0 0 25 0 1 0 191947997 23588864 3350 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5759 3350 198 640 0 5115 0
Current children cumulated CPU time (s) 543.74
Current children cumulated vsize (KiB) 23036

[startup+545.502 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1786920/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=23036 CPUtime=545.34
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3372 0 0 0 54508 26 0 0 25 0 1 0 191947997 23588864 3350 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5759 3350 198 640 0 5115 0
Current children cumulated CPU time (s) 545.34
Current children cumulated vsize (KiB) 23036

[startup+546.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1786920/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=23036 CPUtime=546.13
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3372 0 0 0 54587 26 0 0 25 0 1 0 191947997 23588864 3350 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5759 3350 198 640 0 5115 0
Current children cumulated CPU time (s) 546.13
Current children cumulated vsize (KiB) 23036

[startup+546.705 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1786920/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=23036 CPUtime=546.54
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3372 0 0 0 54628 26 0 0 25 0 1 0 191947997 23588864 3350 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5759 3350 198 640 0 5115 0
Current children cumulated CPU time (s) 546.54
Current children cumulated vsize (KiB) 23036

[startup+547.101 s]
/proc/loadavg: 1.00 1.00 0.93 2/65 7162
/proc/meminfo: memFree=1786920/2055920 swapFree=4181660/4192956
[pid=7155] ppid=7153 vsize=23036 CPUtime=546.93
/proc/7155/stat : 7155 (bsolo) R 7153 7155 6484 0 -1 4194304 3372 0 0 0 54667 26 0 0 25 0 1 0 191947997 23588864 3350 1992294400 134512640 137136520 4294956256 18446744073709551615 134605804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7155/statm: 5759 3350 198 640 0 5115 0
Current children cumulated CPU time (s) 546.93
Current children cumulated vsize (KiB) 23036

Child status: 0
Real time (s): 547.111
CPU time (s): 546.952
CPU user time (s): 546.687
CPU system time (s): 0.264959
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 23036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 546.687
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3374
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= 1018

runsolver used 0.421935 second user time and 1.13083 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-17 14:57:58
IDJOB=1879342
IDBENCH=47892
IDSOLVER=701
FILE ID=node18/1879342-1245243478
PBS_JOBID= 9372320
Free space on /tmp= 66172 MiB

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

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

MD5SUM BENCH= a92642ddb77f2466b803e375801dde37
RANDOM SEED=800578631

node18.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.236
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.236
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:       1800520 kB
Buffers:         38948 kB
Cached:         143616 kB
SwapCached:       5592 kB
Active:          72588 kB
Inactive:       117948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800520 kB
SwapTotal:     4192956 kB
SwapFree:      4181660 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          13044 kB
Slab:            50900 kB
Committed_AS:   171020 kB
PageTables:       1376 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-1879342-1245243478.opb

Free space on /tmp at the end= 66168 MiB
End job on node18 at 2009-06-17 15:07:06