Trace number 2670461

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 CardSAT3 1798.01 1798.49

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb
MD5SUMfb1c97600aa303ca13bb2482d5ad3e27
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 benchmark5.82811
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 variables81
Total number of constraints7
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 constraints7
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

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-2670461-1276702239.opb
0.00/0.00	c File size is 17960 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
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: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.00	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.00	c Pre-processing Time: 0.006 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    324      496     2070    4     1781    2762      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
32.78/32.84	c      103    324      692    13100   18     2296    3039    196   2710 0.04
32.78/32.84	c      254    324      972    28471   29     3046    3343    476   3386 0.07
32.78/32.84	c      480    324     1410    54529   38     4227    3678    914   3404 0.14
32.78/32.84	c      820    324     2079    97856   47     6043    4046   1583   3190 0.26
32.78/32.84	c     1328    324     3072   163434   53     8734    4451   2576   2795 0.47
32.78/32.84	c     2092    324     4578   261782   57    12887    4897   4082   2390 0.88
32.78/32.84	c     3239    324     3985   257448   64    10123    5387   3489   2311 1.40
32.78/32.84	c     4962    324     4280   269936   63    10826    5926   3784   2091 2.37
32.78/32.84	c     7547    324     5938   402367   67    14685    6519   5442   1906 3.96
32.78/32.84	c    11426    324     6684   385425   57    17880    7171   6188   1743 6.55
32.78/32.84	c    17248    324     6994   425764   60    18218    7889   6498   1518 11.36
32.78/32.84	c    25985    324     7747   472024   60    19751    8678   7251   1392 18.65
32.78/32.84	c    39095    324     5332   371235   69    13432    9546   4836   1238 31.57
32.78/32.84	o 205
37.18/37.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.18/37.22	c    41070    324     9085   652681   71    22614    2781   8589   1250 32.83
37.18/37.22	c    41172    324     2070   124728   60     5172    3060   1574   1249 32.94
37.18/37.22	c    41423    324     2535   156683   61     6282    3367   2039   1254 33.03
37.18/37.22	c    41900    324     3450   212694   61     8538    3704   2954   1260 33.24
37.18/37.22	c    42714    324     3087   176443   57     7999    4075   2591   1271 33.59
37.18/37.22	c    44036    324     3336   214124   64     8809    4483   2840   1287 34.20
37.18/37.22	c    46118    324     4974   294438   59    13161    4932   4478   1310 35.18
37.18/37.22	c    49341    313     3143   185501   59     8388    5426   2647   1339 36.84
37.18/37.22	o 65
37.58/37.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.58/37.65	c    50207    313     4504   276994   61    11753    2779   4008   1349 37.21
37.58/37.65	c    50307    302     2067   117585   56     5400    3057   1571   1349 37.27
37.58/37.65	c    50557    302     2550   148050   58     6663    3363   2054   1353 37.35
37.58/37.65	c    51032    302     3480   204488   58     9159    3700   2984   1359 37.55
37.58/37.65	o 3
1797.91/1798.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.49	c    51333    302     4075   246315   60    10808    2776   3579   1363 37.65
1797.91/1798.49	c    51435    292     2087   116714   55     5607    3054   1591   1364 37.70
1797.91/1798.49	c    51685    292     2573   143566   55     6910    3360   2077   1367 37.80
1797.91/1798.49	c    52160    292     3494   199260   57     9318    3697   2998   1372 38.02
1797.91/1798.49	c    52973    292     3122   175677   56     8072    4067   2626   1378 38.42
1797.91/1798.49	c    54293    258     3353   210426   62     8637    4474   2857   1391 39.02
1797.91/1798.49	c    56375    258     4999   277078   55    12994    4922   4503   1403 40.17
1797.91/1798.49	c    59598    235     3010   191631   63     7934    5415   2514   1420 41.96
1797.91/1798.49	c    64534    235     3833   225598   58    10019    5957   3337   1447 44.58
1797.91/1798.49	c    72040    235     5126   329065   64    13385    6553   4630   1460 49.34
1797.91/1798.49	c    83401    235     6267   349664   55    16600    7209   5771   1472 56.65
1797.91/1798.49	c   100545    235     4175   254586   60    10972    7930   3679   1442 69.69
1797.91/1798.49	c   126365    235     6985   467763   66    18081    8724   6489   1390 90.87
1797.91/1798.49	c   165198    235     8779   504728   57    22933    9597   8283   1357 121.66
1797.91/1798.49	c   223551    235     8486   558174   65    22260   10557   7990   1218 183.45
1797.91/1798.49	c   311184    235    11114   784503   70    26892   11613  10618   1119 277.85
1797.91/1798.49	c   442736    235     9537   543481   56    24773   12775   9041   1020 434.04
1797.91/1798.49	c   640168    235     7759   504013   64    20080   14053   7263    952 671.76
1797.91/1798.49	c   936420    235    13268   859287   64    35069   15459  12772    870 1075.40
1797.91/1798.49	c  1380902    234    10413   689573   66    27140   17005   9917    816 1690.63
1797.91/1798.49	c Resources Exceeded
1797.91/1798.49	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 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -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 -x161 -x162 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 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 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 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 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 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 
1797.91/1798.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.49	c   45  1456954  14787  1493478    16594  1037705  16098    810 1798.00
1797.91/1798.49	c Objective: 3
1797.91/1798.49	s SATISFIABLE
1797.91/1798.49	c Total time: 1798 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-2670461-1276702239/watcher-2670461-1276702239 -o /tmp/evaluation-result-2670461-1276702239/solver-2670461-1276702239 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670461-1276702239.opb 

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


[startup+0 s]
/proc/loadavg: 0.95 0.99 0.99 3/106 10310
/proc/meminfo: memFree=1843608/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=10924 CPUtime=0
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 354 0 0 0 0 0 0 0 18 0 1 0 43879302 11186176 268 1992294400 134512640 137138936 4287565072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 2731 269 186 642 0 2087 0

[startup+0.0274241 s]
/proc/loadavg: 0.95 0.99 0.99 3/106 10310
/proc/meminfo: memFree=1843608/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=10920 CPUtime=0.02
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 381 0 0 0 2 0 0 0 20 0 1 0 43879302 11182080 295 1992294400 134512640 137138936 4287565072 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 2730 295 192 642 0 2086 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10920

[startup+0.101431 s]
/proc/loadavg: 0.95 0.99 0.99 3/106 10310
/proc/meminfo: memFree=1843608/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=11312 CPUtime=0.09
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 488 0 0 0 9 0 0 0 20 0 1 0 43879302 11583488 402 1992294400 134512640 137138936 4287565072 18446744073709551615 134552089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 2828 402 192 642 0 2184 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11312

[startup+0.301447 s]
/proc/loadavg: 0.95 0.99 0.99 3/106 10310
/proc/meminfo: memFree=1843608/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=12488 CPUtime=0.29
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 763 0 0 0 29 0 0 0 20 0 1 0 43879302 12787712 677 1992294400 134512640 137138936 4287565072 18446744073709551615 134602762 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 3122 677 192 642 0 2478 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12488

[startup+0.701478 s]
/proc/loadavg: 0.95 0.99 0.99 3/106 10310
/proc/meminfo: memFree=1843608/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=14180 CPUtime=0.69
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 1194 0 0 0 69 0 0 0 21 0 1 0 43879302 14520320 1108 1992294400 134512640 137138936 4287565072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 3545 1108 192 642 0 2901 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14180

[startup+1.50054 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 10311
/proc/meminfo: memFree=1839012/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=15972 CPUtime=1.49
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 1627 0 0 0 148 1 0 0 23 0 1 0 43879302 16355328 1541 1992294400 134512640 137138936 4287565072 18446744073709551615 134573854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 3993 1541 192 642 0 3349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15972

[startup+3.10067 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 10311
/proc/meminfo: memFree=1837276/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=17144 CPUtime=3.09
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 1940 0 0 0 308 1 0 0 25 0 1 0 43879302 17555456 1855 1992294400 134512640 137138936 4287565072 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 4286 1855 192 642 0 3642 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17144

[startup+6.30092 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 10313
/proc/meminfo: memFree=1836160/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=17904 CPUtime=6.29
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 2112 0 0 0 627 2 0 0 25 0 1 0 43879302 18333696 2026 1992294400 134512640 137138936 4287565072 18446744073709551615 134610698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 4476 2026 192 642 0 3832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17904

[startup+12.7014 s]
/proc/loadavg: 0.96 0.99 0.99 2/107 10313
/proc/meminfo: memFree=1835664/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=18416 CPUtime=12.68
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 2265 0 0 0 1265 3 0 0 25 0 1 0 43879302 18857984 2179 1992294400 134512640 137138936 4287565072 18446744073709551615 134607151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 4604 2179 192 642 0 3960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18416

[startup+25.5014 s]
/proc/loadavg: 0.96 0.99 0.99 2/107 10313
/proc/meminfo: memFree=1833804/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=20332 CPUtime=25.48
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 2721 0 0 0 2543 5 0 0 25 0 1 0 43879302 20819968 2635 1992294400 134512640 137138936 4287565072 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 5083 2635 192 642 0 4439 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20332

[startup+51.1015 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 10313
/proc/meminfo: memFree=1833556/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=20472 CPUtime=51.08
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 2801 0 0 0 5097 11 0 0 25 0 1 0 43879302 20963328 2693 1992294400 134512640 137138936 4287565072 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 5118 2693 192 642 0 4474 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20472

[startup+102.309 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 10315
/proc/meminfo: memFree=1833308/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=20472 CPUtime=102.27
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 2801 0 0 0 10206 21 0 0 25 0 1 0 43879302 20963328 2693 1992294400 134512640 137138936 4287565072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 5118 2693 192 642 0 4474 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20472

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 10317
/proc/meminfo: memFree=1832440/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=21596 CPUtime=162.25
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3072 0 0 0 16193 32 0 0 25 0 1 0 43879302 22114304 2964 1992294400 134512640 137138936 4287565072 18446744073709551615 136511197 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 5399 2964 192 642 0 4755 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21596

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10317
/proc/meminfo: memFree=1832316/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=21600 CPUtime=222.23
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3073 0 0 0 22178 45 0 0 25 0 1 0 43879302 22118400 2965 1992294400 134512640 137138936 4287565072 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 5400 2965 192 642 0 4756 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 21600

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10319
/proc/meminfo: memFree=1830332/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=23604 CPUtime=282.22
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3568 0 0 0 28163 59 0 0 25 0 1 0 43879302 24170496 3460 1992294400 134512640 137138936 4287565072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 5901 3460 192 642 0 5257 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23604

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10321
/proc/meminfo: memFree=1830208/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=23852 CPUtime=342.2
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3628 0 0 0 34150 70 0 0 25 0 1 0 43879302 24424448 3520 1992294400 134512640 137138936 4287565072 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 5963 3520 192 642 0 5319 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 23852

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10323
/proc/meminfo: memFree=1829836/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=24104 CPUtime=402.18
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3692 0 0 0 40137 81 0 0 25 0 1 0 43879302 24682496 3584 1992294400 134512640 137138936 4287565072 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 6026 3584 192 642 0 5382 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 24104

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10327
/proc/meminfo: memFree=1829216/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=24096 CPUtime=462.17
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3693 0 0 0 46124 93 0 0 25 0 1 0 43879302 24674304 3585 1992294400 134512640 137138936 4287565072 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 6024 3585 192 642 0 5380 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 24096

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10328
/proc/meminfo: memFree=1828596/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=24608 CPUtime=522.16
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3834 0 0 0 52111 105 0 0 25 0 1 0 43879302 25198592 3726 1992294400 134512640 137138936 4287565072 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 6152 3726 192 642 0 5508 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 24608

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10330
/proc/meminfo: memFree=1828596/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=24608 CPUtime=582.14
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3834 0 0 0 58100 114 0 0 25 0 1 0 43879302 25198592 3726 1992294400 134512640 137138936 4287565072 18446744073709551615 134607571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 6152 3726 192 642 0 5508 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 24608

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10332
/proc/meminfo: memFree=1828596/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=24608 CPUtime=642.13
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 3834 0 0 0 64088 125 0 0 25 0 1 0 43879302 25198592 3726 1992294400 134512640 137138936 4287565072 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 6152 3726 192 642 0 5508 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 24608

[startup+702.301 s]

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

/proc/meminfo: memFree=1825124/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1121.99
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 111984 215 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134575602 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 28144

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10346
/proc/meminfo: memFree=1825000/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1181.97
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 117971 226 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134603150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 28144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10348
/proc/meminfo: memFree=1824752/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1241.96
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 123958 238 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 28144

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10350
/proc/meminfo: memFree=1824752/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1301.95
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 129947 248 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134606989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 28144

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10352
/proc/meminfo: memFree=1824752/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1361.92
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 135931 261 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 28144

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10352
/proc/meminfo: memFree=1824752/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1421.92
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 141921 271 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134542958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 28144

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10354
/proc/meminfo: memFree=1824628/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1481.89
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 147904 285 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134600440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 28144

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10356
/proc/meminfo: memFree=1824628/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1541.87
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 153892 295 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 28144

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10358
/proc/meminfo: memFree=1824504/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1601.86
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 159879 307 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 28144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10360
/proc/meminfo: memFree=1824504/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28144 CPUtime=1661.84
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4716 0 0 0 165867 317 0 0 25 0 1 0 43879302 28819456 4608 1992294400 134512640 137138936 4287565072 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7036 4608 192 642 0 6392 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 28144

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10360
/proc/meminfo: memFree=1824380/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1721.83
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 171853 330 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 28152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1824132/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1781.81
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 177839 342 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 134606623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 28152

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1824132/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1791.41
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 178797 344 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 28152

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1824132/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1794.62
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 179117 345 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 28152

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1824132/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1796.21
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 179276 345 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 28152

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1824132/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1797.01
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 179356 345 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 28152

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1824132/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1797.4
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 179395 345 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 28152

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1824132/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1797.8
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 179435 345 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 28152

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10362
/proc/meminfo: memFree=1824132/2059040 swapFree=4136132/4192956
[pid=10310] ppid=10308 vsize=28152 CPUtime=1797.91
/proc/10310/stat : 10310 (bsolo_pb10) R 10308 10310 9973 0 -1 4202496 4718 0 0 0 179446 345 0 0 25 0 1 0 43879302 28827648 4610 1992294400 134512640 137138936 4287565072 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10310/statm: 7038 4610 192 642 0 6394 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 28152

Child status: 0
Real time (s): 1798.49
CPU time (s): 1798.01
CPU user time (s): 1794.55
CPU system time (s): 3.46147
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 28152

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

runsolver used 3.12852 second user time and 8.33173 second system time

The end

Launcher Data 

Begin job on node026 at 2010-06-16 17:30:39
IDJOB=2670461
IDBENCH=47947
IDSOLVER=1162
FILE ID=node026/2670461-1276702239
PBS_JOBID= 11174114
Free space on /tmp= 62560 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670461-1276702239/watcher-2670461-1276702239 -o /tmp/evaluation-result-2670461-1276702239/solver-2670461-1276702239 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670461-1276702239.opb

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

MD5SUM BENCH= fb1c97600aa303ca13bb2482d5ad3e27
RANDOM SEED=1591883945

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1844384 kB
Buffers:         15016 kB
Cached:         107076 kB
SwapCached:       9392 kB
Active:          86048 kB
Inactive:        48504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1844384 kB
SwapTotal:     4192956 kB
SwapFree:      4136132 kB
Dirty:            4116 kB
Writeback:           0 kB
AnonPages:       10884 kB
Mapped:           9284 kB
Slab:            58296 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182092 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-2670461-1276702239.opb

Free space on /tmp at the end= 62556 MiB
End job on node026 at 2010-06-16 18:00:38