Trace number 2670701

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 CardOPT3 1187.33 1187.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=13-P2=53-P3=149-P4=137-B.opb
MD5SUM154cbb2910332fd7a04bd3cd62f6a12f
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 benchmark1.65475
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 variables96
Total number of constraints9
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 constraints9
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)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670701-1276704672.opb
0.00/0.00	c File size is 18984 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.003 s
0.00/0.00	c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354
0.00/0.00	c Obj. Vars: 8 (2.27273 % 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    352      525     2200    4     1890    2949      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
7.60/7.63	c      102    352      727    13744   18     2331    3244    202   3923 0.03
7.60/7.63	c      253    352     1018    30309   29     3027    3569    493   4080 0.06
7.60/7.63	c      478    352     1440    53757   37     4023    3926    915   3918 0.12
7.60/7.63	c      816    352     2071    82521   39     5679    4319   1546   3692 0.22
7.60/7.63	c     1324    352     3034   130493   43     8189    4751   2509   3502 0.38
7.60/7.63	c     2087    352     4465   208953   46    11703    5227   3940   2812 0.74
7.60/7.63	c     3233    352     3986   193006   48     9976    5750   3461   2451 1.32
7.60/7.63	c     4955    352     4353   206036   47    11243    6326   3828   2192 2.26
7.60/7.63	c     7539    352     6072   300036   49    15132    6959   5547   1942 3.88
7.60/7.63	c    11419    352     6183   311781   50    15505    7655   5658   1821 6.27
7.60/7.63	o 71
7.60/7.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.60/7.70	c    13994    352     7059   362230   51    17224    3008   6534   1834 7.63
7.60/7.70	c    14094    342     2213   104699   47     5449    3309   1688   1832 7.69
7.60/7.70	o 65
25.39/25.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.39/25.41	c    14121    342     2259   107077   47     5541    2963   1734   1833 7.70
25.39/25.41	c    14221    342     2454   117789   47     6052    3260   1929   1840 7.73
25.39/25.41	c    14472    342     2930   142149   48     7183    3587   2405   1855 7.80
25.39/25.41	c    14948    342     3829   187858   49     9392    3946   3304   1872 7.99
25.39/25.41	c    15761    342     3357   152819   45     8490    4341   2832   1888 8.35
25.39/25.41	c    17082    342     3659   165724   45     9162    4776   3134   1894 9.02
25.39/25.41	c    19164    342     5183   235109   45    12860    5254   4658   1872 10.24
25.39/25.41	c    22388    342     3313   150505   45     8337    5780   2788   1859 12.04
25.39/25.41	c    27324    342     3549   171617   48     9159    6359   3024   1838 14.86
25.39/25.41	c    34831    342     4459   207901   46    11253    6995   3934   1765 19.73
25.39/25.41	o 3
1187.31/1187.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1187.31/1187.70	c    43369    342     6246   336703   53    15604    2963   5721   1707 25.40
1187.31/1187.70	c    43469    315     2193   105252   47     5807    3260   1668   1706 25.47
1187.31/1187.70	c    43719    315     2688   135512   50     7081    3587   2163   1712 25.53
1187.31/1187.70	c    44194    315     3627   194796   53     9614    3946   3102   1722 25.66
1187.31/1187.70	c    45007    281     2995   155864   52     7906    4341   2470   1734 25.95
1187.31/1187.70	c    46328    281     3191   144876   45     8449    4776   2666   1749 26.48
1187.31/1187.70	c    48409    281     4645   216805   46    11906    5254   4120   1761 27.49
1187.31/1187.70	c    51632    281     5265   237648   45    13490    5780   4740   1763 29.27
1187.31/1187.70	c    56569    281     5728   266712   46    14242    6359   5203   1762 32.10
1187.31/1187.70	c    64075    281     6085   311500   51    15015    6995   5560   1752 36.55
1187.31/1187.70	c    75436    281     5245   257654   49    13571    7695   4720   1712 44.05
1187.31/1187.70	c    92580    281     4380   214620   49    10741    8465   3855   1610 57.49
1187.31/1187.70	c   118400    281     8924   529640   59    22817    9312   8399   1483 79.83
1187.31/1187.70	c   157232    281     8328   441290   52    20958   10244   7803   1342 117.14
1187.31/1187.70	c   215584    281     7544   380217   50    18800   11269   7019   1272 169.45
1187.31/1187.70	c   303217    280    11352   614511   54    27381   12396  10827   1133 267.41
1187.31/1187.70	c   434769    271    12997   655459   50    34548   13636  12472   1016 427.73
1187.31/1187.70	c   632202    271    11238   550276   48    28626   15000  10713    902 700.66
1187.31/1187.70	c   928455    268     8044   345430   42    20663   16501   7519    816 1137.43
1187.31/1187.70	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 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 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 x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 -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 x49 -x50 -x51 -x52 -x53 -x54 x55 x56 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 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 -x274 -x275 -x276 -x277 -x278 x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x81 -x82 -x83 -x84 x85 x86 -x87 -x88 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 -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 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 
1187.31/1187.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1187.31/1187.70	c   41   959712   5604   974593    10797   446841  10272    808 1187.33
1187.31/1187.70	c Objective: 3
1187.31/1187.70	s OPTIMUM FOUND
1187.31/1187.70	c Total time: 1187.33 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-2670701-1276704672/watcher-2670701-1276704672 -o /tmp/evaluation-result-2670701-1276704672/solver-2670701-1276704672 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670701-1276704672.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17491
/proc/meminfo: memFree=1761628/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=10924 CPUtime=0
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 11758116 11186176 271 1992294400 134512640 137138936 4294946112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 2731 271 185 642 0 2087 0

[startup+0.06544 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17491
/proc/meminfo: memFree=1761628/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=11312 CPUtime=0.06
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 464 0 0 0 6 0 0 0 20 0 1 0 11758116 11583488 378 1992294400 134512640 137138936 4294946112 18446744073709551615 134574710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 2828 378 192 642 0 2184 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11312

[startup+0.101445 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17491
/proc/meminfo: memFree=1761628/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=11440 CPUtime=0.09
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 515 0 0 0 9 0 0 0 20 0 1 0 11758116 11714560 429 1992294400 134512640 137138936 4294946112 18446744073709551615 136501708 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 2860 429 192 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.301479 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17491
/proc/meminfo: memFree=1761628/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=12344 CPUtime=0.29
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 747 0 0 0 29 0 0 0 20 0 1 0 11758116 12640256 661 1992294400 134512640 137138936 4294946112 18446744073709551615 134618383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 3086 661 192 642 0 2442 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12344

[startup+0.701545 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 17491
/proc/meminfo: memFree=1761628/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=13896 CPUtime=0.69
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 1112 0 0 0 69 0 0 0 21 0 1 0 11758116 14229504 1026 1992294400 134512640 137138936 4294946112 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 3474 1027 192 642 0 2830 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13896

[startup+1.50168 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17492
/proc/meminfo: memFree=1757776/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=15060 CPUtime=1.5
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 1420 0 0 0 149 1 0 0 23 0 1 0 11758116 15421440 1334 1992294400 134512640 137138936 4294946112 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 3765 1334 192 642 0 3121 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15060

[startup+3.10094 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17492
/proc/meminfo: memFree=1756660/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=15708 CPUtime=3.09
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 1568 0 0 0 308 1 0 0 25 0 1 0 11758116 16084992 1482 1992294400 134512640 137138936 4294946112 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 3927 1482 192 642 0 3283 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15708

[startup+6.30148 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17492
/proc/meminfo: memFree=1755544/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=16744 CPUtime=6.29
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 1842 0 0 0 628 1 0 0 25 0 1 0 11758116 17145856 1756 1992294400 134512640 137138936 4294946112 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 4186 1756 192 642 0 3542 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16744

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17492
/proc/meminfo: memFree=1754800/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=17248 CPUtime=12.69
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 1958 0 0 0 1266 3 0 0 25 0 1 0 11758116 17661952 1872 1992294400 134512640 137138936 4294946112 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 4312 1872 192 642 0 3668 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17248

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17492
/proc/meminfo: memFree=1754800/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=17232 CPUtime=25.49
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 1958 0 0 0 2543 6 0 0 25 0 1 0 11758116 17645568 1872 1992294400 134512640 137138936 4294946112 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 4308 1872 192 642 0 3664 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17232

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17494
/proc/meminfo: memFree=1754552/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=17604 CPUtime=51.08
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 2052 0 0 0 5095 13 0 0 25 0 1 0 11758116 18026496 1966 1992294400 134512640 137138936 4294946112 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 4401 1966 192 642 0 3757 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17604

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17494
/proc/meminfo: memFree=1752320/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=19792 CPUtime=102.27
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 2594 0 0 0 10200 27 0 0 25 0 1 0 11758116 20267008 2508 1992294400 134512640 137138936 4294946112 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 4948 2508 192 642 0 4304 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19792

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17496
/proc/meminfo: memFree=1751576/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=20524 CPUtime=162.24
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 2774 0 0 0 16182 42 0 0 25 0 1 0 11758116 21016576 2688 1992294400 134512640 137138936 4294946112 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5131 2688 192 642 0 4487 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20524

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17498
/proc/meminfo: memFree=1751576/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=20528 CPUtime=222.22
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 2779 0 0 0 22168 54 0 0 25 0 1 0 11758116 21020672 2693 1992294400 134512640 137138936 4294946112 18446744073709551615 134602758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5132 2693 192 642 0 4488 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 20528

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17500
/proc/meminfo: memFree=1750708/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=21432 CPUtime=282.2
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3003 0 0 0 28155 65 0 0 25 0 1 0 11758116 21946368 2917 1992294400 134512640 137138936 4294946112 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5358 2917 192 642 0 4714 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 21432

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17500
/proc/meminfo: memFree=1750336/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=21780 CPUtime=342.18
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3087 0 0 0 34141 77 0 0 25 0 1 0 11758116 22302720 3001 1992294400 134512640 137138936 4294946112 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5445 3001 192 642 0 4801 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 21780

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17502
/proc/meminfo: memFree=1750336/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=21772 CPUtime=402.17
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3087 0 0 0 40126 91 0 0 25 0 1 0 11758116 22294528 3001 1992294400 134512640 137138936 4294946112 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5443 3001 192 642 0 4799 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 21772

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17504
/proc/meminfo: memFree=1749964/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=22136 CPUtime=462.14
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3180 0 0 0 46110 104 0 0 25 0 1 0 11758116 22667264 3094 1992294400 134512640 137138936 4294946112 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5534 3094 192 642 0 4890 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 22136

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17506
/proc/meminfo: memFree=1749964/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=22132 CPUtime=522.12
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3180 0 0 0 52096 116 0 0 25 0 1 0 11758116 22663168 3094 1992294400 134512640 137138936 4294946112 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5533 3094 192 642 0 4889 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 22132

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17508
/proc/meminfo: memFree=1749964/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=22120 CPUtime=582.11
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3180 0 0 0 58084 127 0 0 25 0 1 0 11758116 22650880 3094 1992294400 134512640 137138936 4294946112 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5530 3094 192 642 0 4886 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 22120

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17508
/proc/meminfo: memFree=1749964/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=22116 CPUtime=642.09
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3180 0 0 0 64071 138 0 0 25 0 1 0 11758116 22646784 3094 1992294400 134512640 137138936 4294946112 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5529 3094 192 642 0 4885 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 22116

[startup+702.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 17510
/proc/meminfo: memFree=1748848/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23008 CPUtime=702.07
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3409 0 0 0 70059 148 0 0 25 0 1 0 11758116 23560192 3323 1992294400 134512640 137138936 4294946112 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5752 3323 192 642 0 5108 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 23008

[startup+762.309 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 17512
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23208 CPUtime=762.05
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3447 0 0 0 76046 159 0 0 25 0 1 0 11758116 23764992 3361 1992294400 134512640 137138936 4294946112 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5802 3361 192 642 0 5158 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 23208

[startup+822.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 17514
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23204 CPUtime=822.03
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3447 0 0 0 82031 172 0 0 25 0 1 0 11758116 23760896 3361 1992294400 134512640 137138936 4294946112 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5801 3361 192 642 0 5157 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 23204

[startup+882.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 17516
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23200 CPUtime=882.02
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3447 0 0 0 88020 182 0 0 25 0 1 0 11758116 23756800 3361 1992294400 134512640 137138936 4294946112 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5800 3361 192 642 0 5156 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 23200

[startup+942.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/107 17516
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23196 CPUtime=941.99
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3447 0 0 0 94005 194 0 0 25 0 1 0 11758116 23752704 3361 1992294400 134512640 137138936 4294946112 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5799 3361 192 642 0 5155 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 23196

[startup+1002.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 17518
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23192 CPUtime=1001.97
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3447 0 0 0 99991 206 0 0 25 0 1 0 11758116 23748608 3361 1992294400 134512640 137138936 4294946112 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5798 3361 192 642 0 5154 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 23192

[startup+1062.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 17520
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23188 CPUtime=1061.96
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3447 0 0 0 105980 216 0 0 25 0 1 0 11758116 23744512 3361 1992294400 134512640 137138936 4294946112 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5797 3361 192 642 0 5153 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 23188

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 17522
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23184 CPUtime=1121.93
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3447 0 0 0 111966 227 0 0 25 0 1 0 11758116 23740416 3361 1992294400 134512640 137138936 4294946112 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5796 3361 192 642 0 5152 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 23184

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17524
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23188 CPUtime=1181.92
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3448 0 0 0 117954 238 0 0 25 0 1 0 11758116 23744512 3362 1992294400 134512640 137138936 4294946112 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5797 3362 192 642 0 5153 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 23188

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

[startup+1183.9 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17524
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23188 CPUtime=1183.51
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3448 0 0 0 118113 238 0 0 25 0 1 0 11758116 23744512 3362 1992294400 134512640 137138936 4294946112 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5797 3362 192 642 0 5153 0
Current children cumulated CPU time (s) 1183.51
Current children cumulated vsize (KiB) 23188

[startup+1185.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17524
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23188 CPUtime=1185.12
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3448 0 0 0 118273 239 0 0 25 0 1 0 11758116 23744512 3362 1992294400 134512640 137138936 4294946112 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5797 3362 192 642 0 5153 0
Current children cumulated CPU time (s) 1185.12
Current children cumulated vsize (KiB) 23188

[startup+1187.1 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17524
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23188 CPUtime=1186.71
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3448 0 0 0 118432 239 0 0 25 0 1 0 11758116 23744512 3362 1992294400 134512640 137138936 4294946112 18446744073709551615 134609399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5797 3362 192 642 0 5153 0
Current children cumulated CPU time (s) 1186.71
Current children cumulated vsize (KiB) 23188

[startup+1187.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17524
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23188 CPUtime=1187.11
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3448 0 0 0 118472 239 0 0 25 0 1 0 11758116 23744512 3362 1992294400 134512640 137138936 4294946112 18446744073709551615 136504119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5797 3362 192 642 0 5153 0
Current children cumulated CPU time (s) 1187.11
Current children cumulated vsize (KiB) 23188

[startup+1187.7 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 17524
/proc/meminfo: memFree=1748600/2059040 swapFree=4168596/4192956
[pid=17491] ppid=17489 vsize=23188 CPUtime=1187.31
/proc/17491/stat : 17491 (bsolo_pb10) R 17489 17491 16884 0 -1 4202496 3448 0 0 0 118492 239 0 0 25 0 1 0 11758116 23744512 3362 1992294400 134512640 137138936 4294946112 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17491/statm: 5797 3362 192 642 0 5153 0
Current children cumulated CPU time (s) 1187.31
Current children cumulated vsize (KiB) 23188

Child status: 0
Real time (s): 1187.71
CPU time (s): 1187.33
CPU user time (s): 1184.93
CPU system time (s): 2.39564
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 23208

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

runsolver used 1.83772 second user time and 5.72813 second system time

The end

Launcher Data 

Begin job on node055 at 2010-06-16 18:11:12
IDJOB=2670701
IDBENCH=48067
IDSOLVER=1162
FILE ID=node055/2670701-1276704672
PBS_JOBID= 11174090
Free space on /tmp= 62480 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=13-P2=53-P3=149-P4=137-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670701-1276704672/watcher-2670701-1276704672 -o /tmp/evaluation-result-2670701-1276704672/solver-2670701-1276704672 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670701-1276704672.opb

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

MD5SUM BENCH= 154cbb2910332fd7a04bd3cd62f6a12f
RANDOM SEED=587849728

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1762652 kB
Buffers:         75184 kB
Cached:         117608 kB
SwapCached:       1504 kB
Active:          97240 kB
Inactive:       132208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1762652 kB
SwapTotal:     4192956 kB
SwapFree:      4168596 kB
Dirty:            4072 kB
Writeback:           0 kB
AnonPages:       35136 kB
Mapped:          15036 kB
Slab:            45076 kB
PageTables:       4016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181716 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-2670701-1276704672.opb

Free space on /tmp at the end= 62476 MiB
End job on node055 at 2010-06-16 18:31:00